11,584 research outputs found
Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique
In this paper, we first introduce a lower bound technique for the state
complexity of transformations of automata. Namely we suggest first considering
the class of full automata in lower bound analysis, and later reducing the size
of the large alphabet via alphabet substitutions. Then we apply such technique
to the complementation of nondeterministic \omega-automata, and obtain several
lower bound results. Particularly, we prove an \omega((0.76n)^n) lower bound
for B\"uchi complementation, which also holds for almost every complementation
or determinization transformation of nondeterministic omega-automata, and prove
an optimal (\omega(nk))^n lower bound for the complementation of generalized
B\"uchi automata, which holds for Streett automata as well
Complementation, Local Complementation, and Switching in Binary Matroids
In 2004, Ehrenfeucht, Harju, and Rozenberg showed that any graph on a vertex
set can be obtained from a complete graph on via a sequence of the
operations of complementation, switching edges and non-edges at a vertex, and
local complementation. The last operation involves taking the complement in the
neighbourhood of a vertex. In this paper, we consider natural generalizations
of these operations for binary matroids and explore their behaviour. We
characterize all binary matroids obtainable from the binary projective geometry
of rank under the operations of complementation and switching. Moreover, we
show that not all binary matroids of rank at most can be obtained from a
projective geometry of rank via a sequence of the three generalized
operations. We introduce a fourth operation and show that, with this additional
operation, we are able to obtain all binary matroids.Comment: Fixed an error in the proof of Theorem 5.3. Adv. in Appl. Math.
(2020
Graph Concatenation for Quantum Codes
Graphs are closely related to quantum error-correcting codes: every
stabilizer code is locally equivalent to a graph code, and every codeword
stabilized code can be described by a graph and a classical code. For the
construction of good quantum codes of relatively large block length,
concatenated quantum codes and their generalizations play an important role. We
develop a systematic method for constructing concatenated quantum codes based
on "graph concatenation", where graphs representing the inner and outer codes
are concatenated via a simple graph operation called "generalized local
complementation." Our method applies to both binary and non-binary concatenated
quantum codes as well as their generalizations.Comment: 26 pages, 12 figures. Figures of concatenated [[5,1,3]] and [[7,1,3]]
are added. Submitted to JM
Can Nondeterminism Help Complementation?
Complementation and determinization are two fundamental notions in automata
theory. The close relationship between the two has been well observed in the
literature. In the case of nondeterministic finite automata on finite words
(NFA), complementation and determinization have the same state complexity,
namely Theta(2^n) where n is the state size. The same similarity between
determinization and complementation was found for Buchi automata, where both
operations were shown to have 2^\Theta(n lg n) state complexity. An intriguing
question is whether there exists a type of omega-automata whose determinization
is considerably harder than its complementation. In this paper, we show that
for all common types of omega-automata, the determinization problem has the
same state complexity as the corresponding complementation problem at the
granularity of 2^\Theta(.).Comment: In Proceedings GandALF 2012, arXiv:1210.202
Tight Upper Bounds for Streett and Parity Complementation
Complementation of finite automata on infinite words is not only a
fundamental problem in automata theory, but also serves as a cornerstone for
solving numerous decision problems in mathematical logic, model-checking,
program analysis and verification. For Streett complementation, a significant
gap exists between the current lower bound and upper
bound , where is the state size, is the number of
Streett pairs, and can be as large as . Determining the complexity
of Streett complementation has been an open question since the late '80s. In
this paper show a complementation construction with upper bound for and for ,
which matches well the lower bound obtained in \cite{CZ11a}. We also obtain a
tight upper bound for parity complementation.Comment: Corrected typos. 23 pages, 3 figures. To appear in the 20th
Conference on Computer Science Logic (CSL 2011
Merkityn kaksoisnegaation sovellukset
Nested complementation plays an important role in expressing counter- i.e. star-free and first-order definable languages and their hierarchies. In addition, methods that compile phonological rules into finite-state networks use double-nested complementation or "double negation". This paper reviews how the double-nested complementation extends to a relatively new operation, generalized restriction (GR), coined by the author. ... The paper demonstrates that the GR operation has an interesting potential in expressing regular languages, various kinds of grammars, bimorphisms and relations. This motivates a further study of optimized implementation of the operation.Non peer reviewe
Boundedness in languages of infinite words
We define a new class of languages of -words, strictly extending
-regular languages.
One way to present this new class is by a type of regular expressions. The
new expressions are an extension of -regular expressions where two new
variants of the Kleene star are added: and . These new
exponents are used to say that parts of the input word have bounded size, and
that parts of the input can have arbitrarily large sizes, respectively. For
instance, the expression represents the language of infinite
words over the letters where there is a common bound on the number of
consecutive letters . The expression represents a similar
language, but this time the distance between consecutive 's is required to
tend toward the infinite.
We develop a theory for these languages, with a focus on decidability and
closure. We define an equivalent automaton model, extending B\"uchi automata.
The main technical result is a complementation lemma that works for languages
where only one type of exponent---either or ---is used.
We use the closure and decidability results to obtain partial decidability
results for the logic MSOLB, a logic obtained by extending monadic second-order
logic with new quantifiers that speak about the size of sets
- …