eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Dagstuhl Seminar Proceedings
1862-4405
2007-04-23
6451
1
10
10.4230/DagSemProc.06451.1
article
06451 Abstracts Collection – Circuits, Logic, and Games
Schwentick, Thomas
Thérien, Denis
Vollmer, Heribert
From 08.11.06 to 10.11.06, the Dagstuhl Seminar 06451 ``Circuits, Logic, and Games'' 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.
https://drops.dagstuhl.de/storage/16dagstuhl-seminar-proceedings/dsp-vol06451/DagSemProc.06451.1/DagSemProc.06451.1.pdf
Computational complexity theory
finite model theory
Boolean circuits
regular languages
finite monoids
Ehrenfeucht-Fra\"{\i}ss\'{e} games
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Dagstuhl Seminar Proceedings
1862-4405
2007-04-23
6451
1
3
10.4230/DagSemProc.06451.2
article
06451 Executive Summary – Circuits, Logic, and Games
Schwentick, Thomas
Thérien, Denis
Vollmer, Heribert
In this document we describe the original motivation and goals of the seminar as well as the sequence of talks given during the seminar.
https://drops.dagstuhl.de/storage/16dagstuhl-seminar-proceedings/dsp-vol06451/DagSemProc.06451.2/DagSemProc.06451.2.pdf
Circuits
Logics
Games
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Dagstuhl Seminar Proceedings
1862-4405
2007-04-23
6451
1
9
10.4230/DagSemProc.06451.3
article
A note on the size of Craig Interpolants
Schöning, Uwe
Torán, Jacobo
Mundici considered the question of whether the interpolant of two
propositional formulas of the form $F
ightarrow G$ can always have
a short circuit description, and showed that if this is the case then
every problem in NP $cap$ co-NP would have polynomial size circuits.
In this note we observe further consequences of the interpolant having
short circuit descriptions, namely that
UP $subseteq$ P$/$poly, and that every single valued NP function has a
total extension in FP$/$poly. We also relate
this question with other
Complexity Theory assumptions.
https://drops.dagstuhl.de/storage/16dagstuhl-seminar-proceedings/dsp-vol06451/DagSemProc.06451.3/DagSemProc.06451.3.pdf
Interpolant
non-uniform complexity
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Dagstuhl Seminar Proceedings
1862-4405
2007-04-23
6451
1
11
10.4230/DagSemProc.06451.4
article
Counting Results in Weak Formalisms
Durand, Arnaud
Lautemann, Clemens
More, Malika
The counting ability of weak formalisms is of interest as a measure of their expressive
power. The question was investigated in the 1980's in several papers in complexity theory and in weak arithmetic. In each case, the considered formalism (AC$^0$--circuits, first--order logic, $Delta_0$, respectively) was shown to be able to count precisely up to a polylogarithmic number. An essential part of each of the proofs is the construction of a 1--1
mapping from a small subset of ${0,ldots,N-1}$ into a small initial segment. In each case the expressibility of such a mapping depends on some strong argument (group theoretic device or prime number theorem) or intricate construction. We present a coding device based on a collision-free hashing technique, leading to a completely elementary proof for the polylog counting capability of first--order logic (with built--in arithmetic), $AC^0$--circuits, rudimentary arithmetic, the Linear Hierarchy, and monadic--second order logic with addition.
https://drops.dagstuhl.de/storage/16dagstuhl-seminar-proceedings/dsp-vol06451/DagSemProc.06451.4/DagSemProc.06451.4.pdf
Small complexity classes
logic
polylog counting
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Dagstuhl Seminar Proceedings
1862-4405
2007-04-23
6451
1
3
10.4230/DagSemProc.06451.5
article
Some Algebraic Problems with Connections to Circuit Complexity of Dynamic Data Structures
Hesse, William
While researching dynamic data structures of polynomial size that
are updated by extremely simple circuits, we have come across
many interesting algebraic problems. Some of these simple
questions about small sums and products in an algebra would
give lower bounds on the complexity of dynamic data structures.
https://drops.dagstuhl.de/storage/16dagstuhl-seminar-proceedings/dsp-vol06451/DagSemProc.06451.5/DagSemProc.06451.5.pdf
Boolean Functions
auxiliary data
circuit complexity
lower bounds
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Dagstuhl Seminar Proceedings
1862-4405
2007-04-23
6451
1
22
10.4230/DagSemProc.06451.6
article
Structure Theorem and Strict Alternation Hierarchy for FOÃ‚Â² on Words
Weis, Philipp
Immerman, Neil
It is well-known that every first-order property on words is
expressible using at most three variables. The subclass of properties
expressible with only two variables is also quite interesting and
well-studied. We prove precise structure
theorems that characterize the exact expressive power of first-order
logic with two variables on words. Our results apply to
FO$^2[<]$ and FO$^2[<,suc]$, the latter of which includes the
binary successor relation in addition to the linear ordering on
string positions.
For both languages, our structure theorems show exactly what is
expressible using a given quantifier depth, $n$, and using $m$ blocks
of alternating quantifiers, for any $mleq n$. Using these
characterizations, we prove, among other results, that there is a
strict hierarchy of alternating quantifiers for both languages. The
question whether there was such a hierarchy had been completely open
since it was asked in [Etessami, Vardi, and Wilke 1997].
https://drops.dagstuhl.de/storage/16dagstuhl-seminar-proceedings/dsp-vol06451/DagSemProc.06451.6/DagSemProc.06451.6.pdf
Descriptive complexity
finite model theory
alternation hierarchy
Ehrenfeucht-Fraisse games