16,036 research outputs found
Cyclic Complexity of Words
We introduce and study a complexity function on words called
\emph{cyclic complexity}, which counts the number of conjugacy classes of
factors of length of an infinite word We extend the well-known
Morse-Hedlund theorem to the setting of cyclic complexity by showing that a
word is ultimately periodic if and only if it has bounded cyclic complexity.
Unlike most complexity functions, cyclic complexity distinguishes between
Sturmian words of different slopes. We prove that if is a Sturmian word and
is a word having the same cyclic complexity of then up to renaming
letters, and have the same set of factors. In particular, is also
Sturmian of slope equal to that of Since for some
implies is periodic, it is natural to consider the quantity
We show that if is a Sturmian word,
then We prove however that this is
not a characterization of Sturmian words by exhibiting a restricted class of
Toeplitz words, including the period-doubling word, which also verify this same
condition on the limit infimum. In contrast we show that, for the Thue-Morse
word , Comment: To appear in Journal of Combinatorial Theory, Series
Horn Renamability and Hypergraphs
Satisfiability testing in the context of directed hypergraphs is discussed. A characterization of Horn-renamable formulae is given and a subclass of SAT that belongs to is described. An algorithm for Horn renaming with linear time complexity is presented
Randomized loose renaming in O(log log n) time
International audienceRenaming is a classic distributed coordination task in which a set of processes must pick distinct identifiers from a small namespace. In this paper, we consider the time complexity of this problem when the namespace is linear in the number of participants, a variant known as loose renaming. We give a non-adaptive algorithm with (individual) step complexity, where is a known upper bound on contention, and an adaptive algorithm with step complexity , where is the actual contention in the execution. We also present a variant of the adaptive algorithm which requires \emph{total} process steps. All upper bounds hold with high probability against a strong adaptive adversary. We complement the algorithms with an expected time lower bound on the complexity of randomized renaming using test-and-set operations and linear space. The result is based on a new coupling technique, and is the first to apply to non-adaptive randomized renaming. Since our algorithms use test-and-set objects, our results provide matching bounds on the cost of loose renaming in this setting
- …