Showing 1–9 of 9 results for author: Vorel, V

A lower bound on CNF encodings of the at-most-one constraint

Authors: Petr Kučera, Petr Savický, Vojtěch Vorel

Abstract: Constraint "at most one" is a basic cardinality constraint which requires that at most one of its $n$ boolean inputs is set to $1$. This constraint is widely used when translating a problem into a conjunctive normal form (CNF) and we investigate its CNF encodings suitable for this purpose. An encoding differs from a CNF representation of a function in that it can use auxiliary variables. We are es… ▽ More Constraint "at most one" is a basic cardinality constraint which requires that at most one of its $n$ boolean inputs is set to $1$. This constraint is widely used when translating a problem into a conjunctive normal form (CNF) and we investigate its CNF encodings suitable for this purpose. An encoding differs from a CNF representation of a function in that it can use auxiliary variables. We are especially interested in propagation complete encodings which have the property that unit propagation is strong enough to enforce consistency on input variables. We show a lower bound on the number of clauses in any propagation complete encoding of the "at most one" constraint. The lower bound almost matches the size of the best known encodings. We also study an important case of 2-CNF encodings where we show a slightly better lower bound. The lower bound holds also for a related "exactly one" constraint. △ Less

Submitted 12 July, 2018; v1 submitted 28 April, 2017; originally announced April 2017.

Comments: 38 pages, version 3 is significantly reorganized in order to improve readability

MSC Class: 68R01 ACM Class: F.2.2

Journal ref: Theoretical Computer Science, Volume 762, 2019, pp. 51-73

An Extremal Series of Eulerian Synchronizing Automata

Authors: Marek Szykuła, Vojtěch Vorel

Abstract: We present an infinite series of $n$-state Eulerian automata whose reset words have length at least $(n^2-3)/2$. This improves the current lower bound on the length of shortest reset words in Eulerian automata. We conjecture that $(n^2-3)/2$ also forms an upper bound for this class and we experimentally verify it for small automata by an exhaustive computation. We present an infinite series of $n$-state Eulerian automata whose reset words have length at least $(n^2-3)/2$. This improves the current lower bound on the length of shortest reset words in Eulerian automata. We conjecture that $(n^2-3)/2$ also forms an upper bound for this class and we experimentally verify it for small automata by an exhaustive computation. △ Less

Submitted 3 August, 2016; v1 submitted 11 April, 2016; originally announced April 2016.

Comments: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-53132-7_31

Journal ref: Developments in Language Theory (DLT 2016), volume 9840 of LNCS, pages 380--392, 2016

Characterization and Complexity Results on Jum** Finite Automata

Authors: Henning Fernau, Meenakshi Paramasivan, Markus L. Schmid, Vojtěch Vorel

Abstract: In a jum** finite automaton, the input head can jump to an arbitrary position within the remaining input after reading and consuming a symbol. We characterize the corresponding class of languages in terms of special shuffle expressions and survey other equivalent notions from the existing literature. Moreover, we present several results concerning computational hardness and algorithms for pa… ▽ More In a jum** finite automaton, the input head can jump to an arbitrary position within the remaining input after reading and consuming a symbol. We characterize the corresponding class of languages in terms of special shuffle expressions and survey other equivalent notions from the existing literature. Moreover, we present several results concerning computational hardness and algorithms for parsing and other basic tasks concerning jum** finite automata. △ Less

Submitted 1 December, 2015; originally announced December 2015.

Two Results on Discontinuous Input Processing

Authors: Vojtěch Vorel

Abstract: First, we show that universality and other properties of general jum** finite automata are undecidable, which answers a question asked by Meduna and Zemek in 2012. Second, we close the study raised by Černo and Mráz in 2010 by proving that clearing restarting automata using contexts of size two can accept binary non-context-free languages. First, we show that universality and other properties of general jum** finite automata are undecidable, which answers a question asked by Meduna and Zemek in 2012. Second, we close the study raised by Černo and Mráz in 2010 by proving that clearing restarting automata using contexts of size two can accept binary non-context-free languages. △ Less

Submitted 27 November, 2015; originally announced November 2015.

On Basic Properties of Jum** Finite Automata

Authors: Vojtěch Vorel

Abstract: We complete the initial study of jum** finite automata, which was started in a former article of Meduna and Zemek \citep{athMED1}. The open questions about basic closure properties are solved. Besides this, we correct erroneous results presented in the article. Finally, we point out important relations between jum** finite automata and some other models studied in the literature. We complete the initial study of jum** finite automata, which was started in a former article of Meduna and Zemek \citep{athMED1}. The open questions about basic closure properties are solved. Besides this, we correct erroneous results presented in the article. Finally, we point out important relations between jum** finite automata and some other models studied in the literature. △ Less

Submitted 2 December, 2015; v1 submitted 26 November, 2015; originally announced November 2015.

Complexity of Road Coloring with Prescribed Reset Words

Authors: Vojtěch Vorel, Adam Roman

Abstract: By the Road Coloring Theorem (Trahtman, 2008), the edges of any aperiodic directed multigraph with a constant out-degree can be colored such that the resulting automaton admits a reset word. There may also be a need for a particular reset word to be admitted. For certain words it is NP-complete to decide whether there is a suitable coloring of a given multigraph. We present a classification of all… ▽ More By the Road Coloring Theorem (Trahtman, 2008), the edges of any aperiodic directed multigraph with a constant out-degree can be colored such that the resulting automaton admits a reset word. There may also be a need for a particular reset word to be admitted. For certain words it is NP-complete to decide whether there is a suitable coloring of a given multigraph. We present a classification of all words over the binary alphabet that separates such words from those that make the problem solvable in polynomial time. We show that the classification becomes different if we consider only strongly connected multigraphs. In this restricted setting the classification remains incomplete. △ Less

Submitted 2 December, 2014; originally announced December 2014.

Comments: To be presented at LATA 2015

Complexity of a Problem Concerning Reset Words for Eulerian Binary Automata

Authors: Vojtěch Vorel

Abstract: A word is called a reset word for a deterministic finite automaton if it maps all the states of the automaton to a unique state. Deciding about the existence of a reset word of a given maximum length for a given automaton is known to be an NP-complete problem. We prove that it remains NP-complete even if restricted to Eulerian automata with binary alphabets, as it has been conjectured by Martyugin… ▽ More A word is called a reset word for a deterministic finite automaton if it maps all the states of the automaton to a unique state. Deciding about the existence of a reset word of a given maximum length for a given automaton is known to be an NP-complete problem. We prove that it remains NP-complete even if restricted to Eulerian automata with binary alphabets, as it has been conjectured by Martyugin (2011). △ Less

Submitted 6 September, 2014; originally announced September 2014.

Comments: Extended version of a paper presented at LATA 2014

Parameterized Complexity of Synchronization and Road Coloring

Authors: Vojtěch Vorel, Adam Roman

Abstract: First, we close the multivariate analysis of a canonical problem concerning short reset words (SYN), as it was started by Fernau et al. (2013). Namely, we prove that the problem, parameterized by the number of states, does not admit a polynomial kernel unless the polynomial hierarchy collapses. Second, we consider a related canonical problem concerning synchronizing road colorings (SRCP). Here we… ▽ More First, we close the multivariate analysis of a canonical problem concerning short reset words (SYN), as it was started by Fernau et al. (2013). Namely, we prove that the problem, parameterized by the number of states, does not admit a polynomial kernel unless the polynomial hierarchy collapses. Second, we consider a related canonical problem concerning synchronizing road colorings (SRCP). Here we give a similar complete multivariate analysis. Namely, we show that the problem, parameterized by the number of states, admits a polynomial kernel and we close the previous research of restrictions to particular values of both the alphabet size and the maximum word length. △ Less

Submitted 23 June, 2014; v1 submitted 19 March, 2014; originally announced March 2014.

ACM Class: F.1.1; F.2.2

Subset Synchronization and Careful Synchronization of Binary Finite Automata

Authors: Vojtěch Vorel

Abstract: We present a strongly exponential lower bound that applies both to the subset synchronization threshold for binary deterministic automata and to the careful synchronization threshold for binary partial automata. In the later form, the result finishes the research initiated by Martyugin (2013). Moreover, we show that both the thresholds remain strongly exponential even if restricted to strongly con… ▽ More We present a strongly exponential lower bound that applies both to the subset synchronization threshold for binary deterministic automata and to the careful synchronization threshold for binary partial automata. In the later form, the result finishes the research initiated by Martyugin (2013). Moreover, we show that both the thresholds remain strongly exponential even if restricted to strongly connected binary automata. In addition, we apply our methods to computational complexity. Existence of a subset reset word is known to be PSPACE-complete; we show that this holds even under the restriction to strongly connected binary automata. The results apply also to the corresponding thresholds in two more general settings: D1- and D3-directable nondeterministic automata and composition sequences over finite domains. △ Less

Submitted 14 February, 2016; v1 submitted 16 March, 2014; originally announced March 2014.

Comments: An extended version of the paper "Subset Synchronization of Transitive Automata" presented at AFL 2014

ACM Class: F.1.1; F.4.3