7,450 research outputs found
Transition Property For Cube-Free Words
We study cube-free words over arbitrary non-unary finite alphabets and prove
the following structural property: for every pair of -ary cube-free
words, if can be infinitely extended to the right and can be infinitely
extended to the left respecting the cube-freeness property, then there exists a
"transition" word over the same alphabet such that is cube free. The
crucial case is the case of the binary alphabet, analyzed in the central part
of the paper.
The obtained "transition property", together with the developed technique,
allowed us to solve cube-free versions of three old open problems by Restivo
and Salemi. Besides, it has some further implications for combinatorics on
words; e.g., it implies the existence of infinite cube-free words of very big
subword (factor) complexity.Comment: 14 pages, 5 figure
Approximate Hamming distance in a stream
We consider the problem of computing a -approximation of the
Hamming distance between a pattern of length and successive substrings of a
stream. We first look at the one-way randomised communication complexity of
this problem, giving Alice the first half of the stream and Bob the second
half. We show the following: (1) If Alice and Bob both share the pattern then
there is an bit randomised one-way communication
protocol. (2) If only Alice has the pattern then there is an
bit randomised one-way communication protocol.
We then go on to develop small space streaming algorithms for
-approximate Hamming distance which give worst case running time
guarantees per arriving symbol. (1) For binary input alphabets there is an
space and
time streaming -approximate Hamming distance algorithm. (2) For
general input alphabets there is an
space and time streaming
-approximate Hamming distance algorithm.Comment: Submitted to ICALP' 201
The Non-Archimedean Theory of Discrete Systems
In the paper, we study behavior of discrete dynamical systems (automata)
w.r.t. transitivity; that is, speaking loosely, we consider how diverse may be
behavior of the system w.r.t. variety of word transformations performed by the
system: We call a system completely transitive if, given arbitrary pair
of finite words that have equal lengths, the system , while
evolution during (discrete) time, at a certain moment transforms into .
To every system , we put into a correspondence a family of continuous maps of a suitable non-Archimedean metric space
and show that the system is completely transitive if and only if the family
is ergodic w.r.t. the Haar measure; then we find
easy-to-verify conditions the system must satisfy to be completely transitive.
The theory can be applied to analyze behavior of straight-line computer
programs (in particular, pseudo-random number generators that are used in
cryptography and simulations) since basic CPU instructions (both numerical and
logical) can be considered as continuous maps of a (non-Archimedean) metric
space of 2-adic integers.Comment: The extended version of the talk given at MACIS-201
Detecting palindromes, patterns, and borders in regular languages
Given a language L and a nondeterministic finite automaton M, we consider
whether we can determine efficiently (in the size of M) if M accepts at least
one word in L, or infinitely many words. Given that M accepts at least one word
in L, we consider how long a shortest word can be. The languages L that we
examine include the palindromes, the non-palindromes, the k-powers, the
non-k-powers, the powers, the non-powers (also called primitive words), the
words matching a general pattern, the bordered words, and the unbordered words.Comment: Full version of a paper submitted to LATA 2008. This is a new version
with John Loftus added as a co-author and containing new results on
unbordered word
- …