Jakub Kowalski

Computing the shortest reset words of synchronizing automata

In this paper we give the details of our new algorithm for finding minimal reset words of finite synchronizing automata. The problem is known to be computationally hard, so our algorithm is exponential in the worst case, but it is faster than the algorithms used so far and it performs well on average. The main idea is to use a bidirectional breadth-first-search and radix (Patricia) tries to store and compare subsets. A good performance is due to a number of heuristics we apply and describe here in a suitable detail. We give both theoretical and practical arguments showing that the effective branching factor is considerably reduced. As a practical test we perform an experimental study of the length of the shortest reset word for random automata with up to

PHASE TRANSITION IN THE GENOME EVOLUTION FAVORS NONRANDOM DISTRIBUTION OF GENES ON CHROMOSOMES

n=350

Evolving Chess-like Games Using Relative Algorithm Performance Profiles

n=350 states and up to

Evaluating Chess-Like Games Using Generated Natural Language Descriptions

k=10

Testing general game players against a Simplified Boardgames player using temporal-difference learning

k=10 input letters. In particular, we obtain a new estimation of the expected length of the shortest reset word