Search results for "Crete"

Pattern Matching and Pattern Discovery Algorithms for Protein Topologies

2001

We describe algorithms for pattern-matching and pattern-learning in TOPS diagrams (formal descriptions of protein topologies). These problems can be reduced to checking for subgraph isomorphism and finding maximal common subgraphs in a restricted class of ordered graphs. We have developed a subgraph isomorphism algorithm for ordered graphs, which performs well on the given set of data. The maximal common subgraph problem then is solved by repeated subgraph extension and checking for isomorphisms. Despite its apparent inefficiency, this approach yields an algorithm with time complexity proportional to the number of graphs in the input set and is still practical on the given set of data. As a…

Embeddings of Danielewski surfaces

2003

A Danielewski surface is defined by a polynomial of the form P=x nz −p(y). Define also the polynomial P ′ =x nz −r(x)p(y) where r(x) is a non-constant polynomial of degree ≤n−1 and r(0)=1. We show that, when n≥2 and deg p(y)≥2, the general fibers of P and P ′ are not isomorphic as algebraic surfaces, but that the zero fibers are isomorphic. Consequently, for every non-special Danielewski surface S, there exist non-equivalent algebraic embeddings of S in ℂ3. Using different methods, we also give non-equivalent embeddings of the surfaces xz=(y d n >−1) for an infinite sequence of integers d n . We then consider a certain algebraic action of the orthogonal group $\mathcal O(2)$ on ℂ4 which was…

Central Units, Class Sums and Characters of the Symmetric Group

2010

In the search for central units of a group algebra, we look at the class sums of the group algebra of the symmetric group S n in characteristic zero, and we show that they are units in very special instances.

On the decision problem for the guarded fragment with transitivity

2002

The guarded fragment with transitive guards, [GF+TG], is an extension of GF in which certain relations are required to be transitive, transitive predicate letters appear only in guards of the quantifiers and the equality symbol may appear everywhere. We prove that the decision problem for [GF+TG] is decidable. This answers the question posed in (Ganzinger et al., 1999). Moreover, we show that the problem is 2EXPTIME-complete. This result is optimal since the satisfiability problem for GF is 2EXPTIME-complete (Gradel, 1999). We also show that the satisfiability problem for two-variable [GF+TG] is NEXPTIME-hard in contrast to GF with bounded number of variables for which the satisfiability pr…

On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity

2005

We study the finite satisfiability problem for the guarded fragment with transitivity. We prove that in case of one transitive predicate the problem is decidable and its complexity is the same as the general satisfiability problem, i.e. 2Exptime-complete. We also show that finite models for sentences of GF with more transitive predicate letters used only in guards have essentially different properties than infinite ones.

Optical Routing of Uniform Instances in Cayley Graphs

2001

Abstract Abstract We consider the problem of routing uniform communication instances in Cayley graphs. Such instances consist of all pairs of nodes whose distance is included in a specified set U. We give bounds on the load induced by these instances on the links and for the wavelength assignment problem as well. For some classes of Cayley graphs that have special symmetry property (rotational graphs), we are able to construct routings for uniform instances such that the load is the same for each link of the graph.

On the Low-Dimensional Steiner Minimum Tree Problem in Hamming Metric

2011

It is known that the d-dimensional Steiner Minimum Tree Problem in Hamming metric is NP-complete if d is considered to be a part of the input. On the other hand, it was an open question whether the problem is also NP-complete in fixed dimensions. In this paper we answer this question by showing that the problem is NP-complete for any dimension strictly greater than 2. We also show that the Steiner ratio is 2 - 2/d for d ≥ 2. Using this result, we tailor the analysis of the so-called k-LCA approximation algorithm and show improved approximation guarantees for the special cases d = 3 and d = 4.

Covering and differentiation

1995

Hypergraph functor and attachment

2010

Using an arbitrary variety of algebras, the paper introduces a fuzzified version of the notion of attachment in a complete lattice of Guido, to provide a common framework for the concept of hypergraph functor considered by different authors in the literature. The new notion also gives rise to a category of variable-basis topological spaces which is a proper supercategory of the respective category of Rodabaugh.

ℓ-distant Hamiltonian walks in Cartesian product graphs

2009

Abstract We introduce and study a generalisation of Hamiltonian cycles: an l-distant Hamiltonian walk in a graph G of order n is a cyclic ordering of its vertices in which consecutive vertices are at distance l. Conditions for a Cartesian product graph to possess such an l-distant Hamiltonian walk are given and more specific results are presented concerning toroidal grids.