68 research outputs found
On factorisation forests
The theorem of factorisation forests shows the existence of nested
factorisations -- a la Ramsey -- for finite words. This theorem has important
applications in semigroup theory, and beyond. The purpose of this paper is to
illustrate the importance of this approach in the context of automata over
infinite words and trees. We extend the theorem of factorisation forest in two
directions: we show that it is still valid for any word indexed by a linear
ordering; and we show that it admits a deterministic variant for words indexed
by well-orderings. A byproduct of this work is also an improvement on the known
bounds for the original result. We apply the first variant for giving a
simplified proof of the closure under complementation of rational sets of words
indexed by countable scattered linear orderings. We apply the second variant in
the analysis of monadic second-order logic over trees, yielding new results on
monadic interpretations over trees. Consequences of it are new caracterisations
of prefix-recognizable structures and of the Caucal hierarchy.Comment: 27 page
Cliquewidth and dimension
We prove that every poset with bounded cliquewidth and with sufficiently
large dimension contains the standard example of dimension as a subposet.
This applies in particular to posets whose cover graphs have bounded treewidth,
as the cliquewidth of a poset is bounded in terms of the treewidth of the cover
graph. For the latter posets, we prove a stronger statement: every such poset
with sufficiently large dimension contains the Kelly example of dimension
as a subposet. Using this result, we obtain a full characterization of the
minor-closed graph classes such that posets with cover graphs in
have bounded dimension: they are exactly the classes excluding
the cover graph of some Kelly example. Finally, we consider a variant of poset
dimension called Boolean dimension, and we prove that posets with bounded
cliquewidth have bounded Boolean dimension.
The proofs rely on Colcombet's deterministic version of Simon's factorization
theorem, which is a fundamental tool in formal language and automata theory,
and which we believe deserves a wider recognition in structural and algorithmic
graph theory
The separation problem for regular languages by piecewise testable languages
Separation is a classical problem in mathematics and computer science. It
asks whether, given two sets belonging to some class, it is possible to
separate them by another set of a smaller class. We present and discuss the
separation problem for regular languages. We then give a direct polynomial time
algorithm to check whether two given regular languages are separable by a
piecewise testable language, that is, whether a sentence can
witness that the languages are indeed disjoint. The proof is a reformulation
and a refinement of an algebraic argument already given by Almeida and the
second author
07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures
From 28.10. to 02.11.2007, the Dagstuhl Seminar 07441 ``Algorithmic-Logical Theory of Infinite Structures\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.
During the seminar, several participants presented their current
research, and ongoing work and open problems were discussed. Abstracts of
the presentations given during the seminar as well as abstracts of
seminar results and ideas are put together in this paper. The first section
describes the seminar topics and goals in general.
Links to extended abstracts or full papers are provided, if available
The complexity of satisfaction problems in reverse mathematics
Satisfiability problems play a central role in computer science and
engineering as a general framework for studying the complexity of various
problems. Schaefer proved in 1978 that truth satisfaction of propositional
formulas given a language of relations is either NP-complete or tractable. We
classify the corresponding satisfying assignment construction problems in the
framework of reverse mathematics and show that the principles are either
provable over RCA or equivalent to WKL. We formulate also a Ramseyan version of
the problems and state a different dichotomy theorem. However, the different
classes arising from this classification are not known to be distinct.Comment: 19 page
Properties and powers
This thesis concerns the relation between the fundamental properties and the powers they confer. The views
considered are introduced in terms of their acceptance or rejection of the quiddistic thesis. Essentially the
quiddistic thesis claims that properties confer the powers they do neither necessarily nor sufficiently.
Quidditism is the view that accepts the quiddistic thesis. The other two views to be considered, the pure powers
view and the grounded view reject the quiddistic thesis. The pure powers view supports its denial of the
quiddistic thesis with the claim that properties consist in conferring the powers they do; the possession of a
property just is the possession of a power. The grounded view, the positive view of this thesis, rejects the idea
that properties are constituted by conferring the causal powers they do. Rather on the grounded view, it is the
natures of the fundamental properties that metaphysically explain why they confer the powers they do
Panpsychism and Structural Realism
Paper on structural realism and how its problems lend support to some kind of panpsychism
- …