4,773 research outputs found
Isomorphism of graph classes related to the circular-ones property
We give a linear-time algorithm that checks for isomorphism between two 0-1
matrices that obey the circular-ones property. This algorithm leads to
linear-time isomorphism algorithms for related graph classes, including Helly
circular-arc graphs, \Gamma-circular-arc graphs, proper circular-arc graphs and
convex-round graphs.Comment: 25 pages, 9 figure
Mace4 Reference Manual and Guide
Mace4 is a program that searches for finite models of first-order formulas.
For a given domain size, all instances of the formulas over the domain are
constructed. The result is a set of ground clauses with equality. Then, a
decision procedure based on ground equational rewriting is applied. If
satisfiability is detected, one or more models are printed. Mace4 is a useful
complement to first-order theorem provers, with the prover searching for proofs
and Mace4 looking for countermodels, and it is useful for work on finite
algebras. Mace4 performs better on equational problems than did our previous
model-searching program Mace2.Comment: 17 page
Trivalent Graph isomorphism in polynomial time
It's important to design polynomial time algorithms to test if two graphs are
isomorphic at least for some special classes of graphs.
An approach to this was presented by Eugene M. Luks(1981) in the work
\textit{Isomorphism of Graphs of Bounded Valence Can Be Tested in Polynomial
Time}. Unfortunately, it was a theoretical algorithm and was very difficult to
put into practice. On the other hand, there is no known implementation of the
algorithm, although Galil, Hoffman and Luks(1983) shows an improvement of this
algorithm running in .
The two main goals of this master thesis are to explain more carefully the
algorithm of Luks(1981), including a detailed study of the complexity and, then
to provide an efficient implementation in SAGE system. It is divided into four
chapters plus an appendix.Comment: 48 pages. It is a Master Thesi
Decision problems and profinite completions of groups
We consider pairs of finitely presented, residually finite groups
P\hookrightarrow\G for which the induced map of profinite completions \hat
P\to \hat\G is an isomorphism. We prove that there is no algorithm that, given
an arbitrary such pair, can determine whether or not is isomorphic to \G.
We construct pairs for which the conjugacy problem in \G can be solved in
quadratic time but the conjugacy problem in is unsolvable.
Let be the class of super-perfect groups that have a compact
classifying space and no proper subgroups of finite index. We prove that there
does not exist an algorithm that, given a finite presentation of a group \G
and a guarantee that \G\in\mathcal J, can determine whether or not
\G\cong\{1\}.
We construct a finitely presented acyclic group \H and an integer such
that there is no algorithm that can determine which -generator subgroups of
\H are perfect
The Complexity of Orbits of Computably Enumerable Sets
The goal of this paper is to announce there is a single orbit of the c.e.
sets with inclusion, \E, such that the question of membership in this orbit
is -complete. This result and proof have a number of nice
corollaries: the Scott rank of \E is \wock +1; not all orbits are
elementarily definable; there is no arithmetic description of all orbits of
\E; for all finite , there is a properly
orbit (from the proof).
A few small corrections made in this versionComment: To appear in the Bulletion of Symbolic Logi
When Are Two Workflows the Same?
In the area of workflow management, one is confronted with a large number of competing languages and the relations between them (e.g. relative expressiveness) are usually not clear. Moreover, even within the same language it is generally possible to express the same workflow in different ways, a feature known as variability. This paper aims at providing some of the formal groundwork for studying relative expressiveness and variability by defining notions of equivalence capturing different views on how workflow systems operate. Firstly, a notion of observational equivalence in the absence of silent steps is defined and related to classical bisimulation. Secondly, a number of equivalence notions in the presence of silent steps are defined. A distinction is made between the case where silent steps are visible (but not controllable) by the environment and the case where silent steps are not visible, i.e., there is an alternation between system events and environment interactions. It is shown that these notions of equivalence are different and do not coincide with classical notions of bisimulation with silent steps (e.g. weak and branching)
- …