86 research outputs found
Solving Commutative Relaxations of Word Problems
We present an algebraic characterization of the standard commutative relaxation of the word problem in terms of a polynomial equality. We then consider a variant of the
commutative word problem, referred to as the âZero-to-All
reachabilityâ problem. We show that this problem is equivalent to a finite number of commutative word problems, and we use this insight to derive necessary conditions for Zero-to-All reachability. We conclude with a set of illustrative examples
The complexity of the word problems for commutative semigroups and polynomial ideals
AbstractAny decision procedure for the word problems for commutative semigroups and polynomial deals inherently requires computational storage space growing exponentially with the size of the problem instance to which the procedure is applied. This bound is achieved by a simple procedure for the semigroup problem
The Parametric Ordinal-Recursive Complexity of Post Embedding Problems
Post Embedding Problems are a family of decision problems based on the
interaction of a rational relation with the subword embedding ordering, and are
used in the literature to prove non multiply-recursive complexity lower bounds.
We refine the construction of Chambart and Schnoebelen (LICS 2008) and prove
parametric lower bounds depending on the size of the alphabet.Comment: 16 + vii page
Geodesic rewriting systems and pregroups
In this paper we study rewriting systems for groups and monoids, focusing on
situations where finite convergent systems may be difficult to find or do not
exist. We consider systems which have no length increasing rules and are
confluent and then systems in which the length reducing rules lead to
geodesics. Combining these properties we arrive at our main object of study
which we call geodesically perfect rewriting systems. We show that these are
well-behaved and convenient to use, and give several examples of classes of
groups for which they can be constructed from natural presentations. We
describe a Knuth-Bendix completion process to construct such systems, show how
they may be found with the help of Stallings' pregroups and conversely may be
used to construct such pregroups.Comment: 44 pages, to appear in "Combinatorial and Geometric Group Theory,
Dortmund and Carleton Conferences". Series: Trends in Mathematics.
Bogopolski, O.; Bumagin, I.; Kharlampovich, O.; Ventura, E. (Eds.) 2009,
Approx. 350 p., Hardcover. ISBN: 978-3-7643-9910-8 Birkhause
Perspectives for proof unwinding by programming languages techniques
In this chapter, we propose some future directions of work, potentially
beneficial to Mathematics and its foundations, based on the recent import of
methodology from the theory of programming languages into proof theory. This
scientific essay, written for the audience of proof theorists as well as the
working mathematician, is not a survey of the field, but rather a personal view
of the author who hopes that it may inspire future and fellow researchers
Proceedings of Sixth International Workshop on Unification
Swiss National Science Foundation; Austrian Federal Ministry of Science and Research; Deutsche Forschungsgemeinschaft (SFB 314); Christ Church, Oxford; Oxford University Computing Laborator
Repetitive subwords
The central notionof thisthesisis repetitionsin words. We studyproblemsrelated to contiguous repetitions. More specifically we will consider repeating scattered subwords of non-primitive words, i.e. words which are complete repetitions of other words. We will present inequalities concerning these occurrences as well as giving apartial solutionto an openproblemposedby Salomaaet al. We will characterize languages, whichare closed under the operation ofduplication, thatis repeating any factor of a word. We alsogive newbounds onthe number of occurrencesof certain types of repetitions of words. We give a solution to an open problem posed by Calbrix and Nivat concerning regular languages consisting of non-primitive words. We alsopresentsomeresultsregarding theduplication closureoflanguages,among which a new proof to a problem of Bovet and Varricchio
- âŠ