Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 0709.1197

An efficient algorithm finds noticeable trends and examples concerning the Černy conjecture

A. N. Trahtman
View original source ↗Read source document ↗Export metadata ↓

Abstract

A word w is called synchronizing (recurrent, reset, directed) word of a deterministic finite automaton (DFA) if w sends all states of the automaton on a unique state. Jan Cerny had found in 1964 a sequence of n-state complete DFA with shortest synchronizing word of length (n-1)^2. He had conjectured that it is an upper bound for the length of the shortest synchronizing word for any $n$-state complete DFA. The examples of DFA with shortest synchronizing word of length (n-1)^2 are relatively rare. To the Cerny sequence were added in all examples of Cerny, Piricka and Rosenauerova (1971), of Kari (2001) and of Roman (2004). By help of a program based on some effective algorithms, a wide class of automata of size less than 11 was checked. The order of the algorithm finding synchronizing word is quadratic for overwhelming majority of known to date automata. Some new examples of n-state DFA with minimal synchronizing word of length (n-1)^2 were discovered. The program recognized some remarkable trends concerning the length of the minimal synchronizing word. http://www.cs.biu.ac.il/~trakht/Testas.html

Explore related subjects

cs.DM

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

A. N. Trahtman. 2007-09-08. An efficient algorithm finds noticeable trends and examples concerning the Černy conjecture. https://arxiv.org/abs/0709.1197

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Ternary Binomial and Trinomial Bent Functions in the Completed Maiorana-McFarland Class

Two classes of ternary (vectorial) bent functions of degree four with two and three terms in the univariate representation that belong to the completed Maiorana-McFarland original class are found. Binomials are mappings $\F_{3^{4k}}\mapsto\fthreek$ given by $\Tr^{4k}_k\big(a_1 x^{2(3^k+1)}+a_2 x^{(3^k+1)^2}\big)$, where $a_1$ is a nonsquare in $\F_{3^{4k}}$ and $a_2$ is defined explicitly by $a_1$. Particular subclass of such binomial vectorial bent function is represented by the exceptional polynomials over $\fthreek$. Bent trinomials are mappings $\F_{3^{2k}}\mapsto\fthree$ given by $\Tr_{2k}\big(a_1 x^{2(3^k+2)} + a_2 x^{3^k+5} + a_3 x^2\big)$ with $k>1$ not divisible by four and coefficients explicitly defined depending on the parity of $k$. The proof is based on new criterion that allows checking bentness by analyzing the first-order derivatives of $f$ in the direction of a chosen $n/2$-dimensional subspace ($n$ is the degree of the domain of $f$ over $\fp$).

cs.DM↗
arXiv2026

Minimizing the makespan in job shop scheduling under conflict graph constraints

We study the job shop scheduling problem with a conflict graph, in which adjacent jobs cannot be processed simultaneously on different machines, with the objective of minimizing the makespan. We establish a polynomial equivalence with a resource-constrained job shop problem having unit-capacity resources and binary resource requirements The problem is strongly NP-hard even on two machines with unit-time operations. For this setting, we derive an optimal-makespan formula and a linear-time algorithm when the conflict graph is a cluster graph, given the clique partition. We also develop a polynomial-time $4/3$-approximation algorithm for arbitrary conflict graphs on two machines when each job has exactly two unit-time operations. For the general problem, we propose four mixed-integer linear formulations, lower bounds, and a genetic algorithm with active, non-delay, and hybrid decoding procedures. Computational experiments on instances derived from the Lawrence and Taillard benchmarks and on randomly generated generalized job shop instances evaluate the proposed methods and show that the genetic algorithm generally improves on constructive heuristics.

cs.DM↗
arXiv2026

A Linear-Time Algorithm for the Unbiased Claw Game on Graphs with Maximum Degree 4

We study the unbiased Maker-Breaker $K_{1,3}$-game, the unbiased claw game, played on the edge set of a general graph $G$. In this game, Maker and Breaker alternatingly claim edges of $G$, and Maker wins if his claimed edges contain a claw once no more edges are available. Graphs with maximum degree at least 5 are Maker's win. A graph $G$ is claw-connected if the hypergraph modeling the unbiased claw game played on $G$ is connected. We characterize Maker's win in the unbiased claw game on every claw-connected graph whose maximum degree is different from 3. Our main structural result is a complete characterization of Maker's win for claw-connected graphs with exactly one vertex of degree 4. The analysis is based on the fact that vertices of degree 4 act as forcing structures. Our characterization results in a linear-time algorithm for the unbiased claw game on claw-connected graphs with maximum degree different from 3. We also obtain a linear-time decomposition algorithm reducing the game on general graphs to a collection of pairwise edge-disjoint claw-connected subgraphs of maximum degree exactly 3, thereby isolating the only remaining case. This decomposition yields an $\mathcal{O}(|V(G)|^3)$-time algorithm for the unbiased claw game on general graphs, improving on the $\mathcal{O}(|V(G)|^7)$-time algorithm implied by the work of Galliot, Gravier and Sivignon (arXiv 2026). For a lower bound on the decision complexity, we prove that any agent deciding the game in the adjacency-array model makes at least $Ω(|V(G)|)$ queries in the worst case, indicating the optimality of our linear-time algorithm.

cs.DM↗