English
Related papers

Related papers: On randomized generation of slowly synchronizing a…

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

Most slowly synchronizing automata over binary alphabets are circular, i.e., containing a letter permuting the states in a single cycle, and their set of synchronizing words has maximal state complexity, which also implies complete…

Formal Languages and Automata Theory · Computer Science 2020-12-01 Stefan Hoffmann

In this paper we prove that a uniformly distributed random circular automaton $\mathcal{A}_n$ of order $n$ synchronizes with high probability (whp). More precisely, we prove that $$ \mathbb{P}\left[\mathcal{A}_n \text{ synchronizes}\right]…

An automaton is said to be synchronizing if there is a word in the transitions which sends all states of the automaton to a single state. Research on this topic has been driven by the \v{C}ern\'y conjecture, one of the oldest and most…

Group Theory · Mathematics 2019-05-31 João Araújo , Peter J. Cameron , Benjamin Steinberg

Let $\Omega$ be a set of cardinality $n$, $G$ a permutation group on $\Omega$, and $f:\Omega\to\Omega$ a map which is not a permutation. We say that $G$ \emph{synchronizes} $f$ if the transformation semigroup $\langle G,f\rangle$ contains a…

Group Theory · Mathematics 2018-05-16 João Araújo , Wolfram Bentz , Peter J. Cameron , Gordon Royle , Artur Schaefer

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

Randomized algorithms are overwhelming methods for low-rank approximation that can alleviate the computational expenditure with great reliability compared to deterministic algorithms. A crucial thought is generating a standard Gaussian…

Computation · Statistics 2025-06-05 Dandan Jiang , Bo Fu , Weiwei Xu

A synchronizing word for an automaton is a word that brings that automaton into one and the same state, regardless of the starting position. Cerny conjectured in 1964 that if a n-state deterministic automaton has a synchronizing word, then…

Formal Languages and Automata Theory · Computer Science 2014-09-02 Cyril Nicaud

Using combinatorial properties of incomplete sets in a free monoid we construct a series of n-state deterministic automata with zero whose shortest synchronizing word has length n^2/4+n/2-1.

Formal Languages and Automata Theory · Computer Science 2009-07-28 E. V. Pribavkina

Various specifiable combinatorial structures, with d extensive parameters, can be exactly sampled both by the recursive method, with linear arithmetic complexity if a heavy preprocessing is performed, or by the Boltzmann method, with…

Data Structures and Algorithms · Computer Science 2013-07-09 Frederique Bassino , Andrea Sportiello

We show a simple local norm regularization algorithm that works with high probability. Namely, we prove that if the entries of a $n \times n$ matrix $A$ are i.i.d. symmetrically distributed and have finite second moment, it is enough to…

Probability · Mathematics 2018-09-12 Elizaveta Rebrova

In this paper we are dealing with the issue of finding possibly short synchronizing words in automata with weight assigned to each letter in the alphabet $\Sigma$. First we discuss some complexity problems, and then we present new…

Formal Languages and Automata Theory · Computer Science 2021-03-31 Jakub Ruszil

When primed with only a handful of training samples, very large, pretrained language models such as GPT-3 have shown competitive results when compared to fully-supervised, fine-tuned, large, pretrained language models. We demonstrate that…

Computation and Language · Computer Science 2022-03-04 Yao Lu , Max Bartolo , Alastair Moore , Sebastian Riedel , Pontus Stenetorp

Some randomized algorithms, used to obtain a random $n^2 \times n^2$ Sudoku matrix, where $n$ is a natural number, is reviewed in this study. Below is described the set $\Pi_n$ of all $(2n) \times n$ matrices, consisting of elements of the…

Combinatorics · Mathematics 2013-12-03 Krasimir Yordzhev

We have improved an algorithm generating synchronizing automata with a large length of the shortest reset words. This has been done by refining some known results concerning bounds on the reset length. Our improvements make possible to…

Formal Languages and Automata Theory · Computer Science 2016-07-15 Andrzej Kisielewicz , Jakub Kowalski , Marek Szykuła

A set of nonnegative matrices $\mathcal{M}=\{M_1, M_2, \ldots, M_k\}$ is called primitive if there exist indices $i_1, i_2, \ldots, i_m$ such that $M_{i_1} M_{i_2} \ldots M_{i_m}$ is positive (i.e. has all its entries $>0$). The length of…

Formal Languages and Automata Theory · Computer Science 2016-02-25 Balázs Gerencsér , Vladimir V. Gusev , Raphaël M. Jungers

In this paper we address the problem of the uniform random generation of non deterministic automata (NFA) up to isomorphism. First, we show how to use a Monte-Carlo approach to uniformly sample a NFA. Secondly, we show how to use the…

Formal Languages and Automata Theory · Computer Science 2015-12-10 Pierre-Cyrille Heam , Jean-Luc Joly

We study extremal and algorithmic questions of subset and careful synchronization in monotonic automata. We show that several synchronization problems that are hard in general automata can be solved in polynomial time in monotonic automata,…

Formal Languages and Automata Theory · Computer Science 2017-11-27 Andrew Ryzhikov , Anton Shemyakov

Recently, Pagh presented a randomized approximation algorithm for the multiplication of real-valued matrices building upon work for detecting the most frequent items in data streams. We continue this line of research and present new {\em…

Data Structures and Algorithms · Computer Science 2012-09-21 Konstantin Kutzkov

1. A standard Gaussian random matrix has full rank with probability 1 and is well-conditioned with a probability quite close to 1 and converging to 1 fast as the matrix deviates from square shape and becomes more rectangular. 2. If we…

Numerical Analysis · Mathematics 2016-03-17 Victor Y. Pan , Liang Zhao