English
Related papers

Related papers: Reset thresholds of automata with two cycle length…

200 papers

We present several infinite series of synchronizing automata for which the minimum length of reset words is close to the square of the number of states. These automata are closely related to primitive digraphs with large exponent.

Formal Languages and Automata Theory · Computer Science 2014-11-25 Dmitry S. Ananichev , Vladimir V. Gusev , Mikhail V. Volkov

We present several infinite series of synchronizing automata for which the minimum length of reset words is close to the square of the number of states. All these automata are tightly related to primitive digraphs with large exponent.

Formal Languages and Automata Theory · Computer Science 2014-11-25 Dmitry S. Ananichev , Vladimir V. Gusev , Mikhail V. Volkov

We review recent progress on the statiscal physics study of the problem of coloring random graphs with q colors. We discuss the existence of a threeshold at connectivity c_q=2q log q-log q-1+o(1) separting two phases which are respectivily…

Statistical Mechanics · Physics 2009-11-10 Florent Krzakala

We examine the reset threshold of randomly generated deterministic automata. We present a simple proof that an automaton with a random mapping and two random permutation letters has a reset threshold of $\mathcal{O}\big( \sqrt{n \log^3 n}…

Combinatorics · Mathematics 2023-12-05 Balázs Gerencsér , Zsombor Várkonyi

We find exact and asymptotic formulas for the number of pairs $(p,q)$ of $N$-cycles such that the all cycles of the product $p\cdot q$ have lengths from a given integer set. We then apply these results to prove a surprisingly high lower…

Combinatorics · Mathematics 2024-10-28 Miklos Bona , Boris Pittel

We present a few classes of synchronizing automata exhibiting certain extremal properties with regard to synchronization. The first is a series of automata with subsets whose shortest extending words are of length $\varTheta(n^2)$, where…

Formal Languages and Automata Theory · Computer Science 2016-08-04 Andrzej Kisielewicz , Marek Szykuła

Motivated by the Babai conjecture and the Cerny conjecture, we study the reset thresholds of automata with the transition monoid equal to the full monoid of transformations of the state set. For automata with $n$ states in this class, we…

Formal Languages and Automata Theory · Computer Science 2017-08-08 François Gonze , Vladimir Gusev , Balázs Gerencsér , Raphaël M. Jungers , Mikhail V. Volkov

In 1964 \v{C}ern\'{y} conjectured that each $n$-state synchronizing automaton posesses a reset word of length at most $(n-1)^2$. From the other side the best known upper bound on the reset length (minimum length of reset words) is cubic in…

Formal Languages and Automata Theory · Computer Science 2012-03-16 Mikhail V. Berlinkov

We consider one-dimensional cellular automata $F_{p,q}$ which multiply numbers by $p/q$ in base $pq$ for relatively prime integers $p$ and $q$. By studying the structure of traces with respect to $F_{p,q}$ we show that for $p\geq 2q-1$ (and…

Number Theory · Mathematics 2017-10-17 Jarkko Kari , Johan Kopra

We present a new series of examples of binary slowly synchronizing automata with sink state. The reset threshold of the $n$-state automaton in this series is $\frac{n^2}{4}+2n-9$. This improves on the previously known lower bound for the…

Formal Languages and Automata Theory · Computer Science 2017-01-30 Dmitry Ananichev

We study in this paper the structure of solutions in the random hypergraph coloring problem and the phase transitions they undergo when the density of constraints is varied. Hypergraph coloring is a constraint satisfaction problem where…

Disordered Systems and Neural Networks · Physics 2018-02-19 Marylou Gabrié , Varsha Dani , Guilhem Semerjian , Lenka Zdeborová

Under the assumption $\mathcal{P} \neq \mathcal{NP}$, we prove that two natural problems from the theory of synchronizing automata cannot be solved in polynomial time. The first problem is to decide whether a given reachable partial…

Formal Languages and Automata Theory · Computer Science 2018-03-26 Mikhail V. Berlinkov

We consider the problem of coloring Erdos-Renyi and regular random graphs of finite connectivity using q colors. It has been studied so far using the cavity approach within the so-called one-step replica symmetry breaking (1RSB) ansatz. We…

Disordered Systems and Neural Networks · Physics 2007-05-23 Florent Krzakala , Andrea Pagnani , Martin Weigt

We define and study two structures associated to permutation groups: Dirichlet characters on permutation groups, and the "cycle form," a bilinear form on the group algebras of permutation groups. We use Dirichlet characters and the cycle…

Combinatorics · Mathematics 2024-07-11 A. Salch

Random Constraint Satisfaction Problems exhibit several phase transitions when their density of constraints is varied. One of these threshold phenomena, known as the clustering or dynamic transition, corresponds to a transition for an…

Disordered Systems and Neural Networks · Physics 2020-11-19 Louise Budzynski , Guilhem Semerjian

In this paper, we determine the achromatic and diachromatic numbers of some circulant graphs and digraphs each one with two lengths and give bounds for other circulant graphs and digraphs with two lengths. In particular, for the achromatic…

We investigate the recoverable robust single machine scheduling problem under interval uncertainty. In this setting, jobs have first-stage processing times p and second-stage processing times q and we aim to find a first-stage and…

Data Structures and Algorithms · Computer Science 2022-03-08 Matthew Bold , Marc Goerigk

Motivated by the \v{C}ern\'y conjecture for automata, we introduce the concept of monoidal automata, which allows the formulation of the \v{C}ern\'y conjecture for monoids. We show upper bounds on the reset threshold of monoids with certain…

Formal Languages and Automata Theory · Computer Science 2025-09-16 Igor Rystsov , Marek Szykuła

Motivated by the randomized generation of slowly synchronizing automata, we study automata made of permutation letters and a merging letter of rank $ n\!-\!1 $. We present a constructive randomized procedure to generate synchronizing…

Formal Languages and Automata Theory · Computer Science 2018-06-27 Costanza Catalano , Raphaël M. Jungers

We study the problem of sampling almost uniform proper $q$-colourings in $k$-uniform simple hypergraphs with maximum degree $\Delta$. For any $\delta > 0$, if $k \geq\frac{20(1+\delta)}{\delta}$ and $q \geq…

Data Structures and Algorithms · Computer Science 2022-02-14 Weiming Feng , Heng Guo , Jiaheng Wang
‹ Prev 1 2 3 10 Next ›