1,998 research outputs found
Gray codes for necklaces
AbstractAn n-bit necklace of density m is an equivalence class of binary strings having m 1's and n−m 0's with respect to the equivalence relation of rotation. An n-bit necklace is called prime if it has n distinct elements. Construction of a kind of Gray codes for prime necklaces and for general necklaces is presented here. That is, according to one algorithm, exactly one representative of each prime n-bit necklace of density m appears on the generated list, and successive representatives differ by a single transposition of a 0 and 1. The same is also true for general n-bit necklaces of density m according to a similar algorithm
Constructions of Snake-in-the-Box Codes for Rank Modulation
Snake-in-the-box code is a Gray code which is capable of detecting a single
error. Gray codes are important in the context of the rank modulation scheme
which was suggested recently for representing information in flash memories.
For a Gray code in this scheme the codewords are permutations, two consecutive
codewords are obtained by using the "push-to-the-top" operation, and the
distance measure is defined on permutations. In this paper the Kendall's
-metric is used as the distance measure. We present a general method for
constructing such Gray codes. We apply the method recursively to obtain a snake
of length for permutations of ,
from a snake of length for permutations of~. Thus, we have
, improving
on the previous known ratio of . By using the general method we also present a direct construction. This
direct construction is based on necklaces and it might yield snakes of length
for permutations of . The direct
construction was applied successfully for and , and hence
.Comment: IEEE Transactions on Information Theor
Constant-Weight Gray Codes for Local Rank Modulation
We consider the local rank-modulation scheme in which a sliding window going
over a sequence of real-valued variables induces a sequence of permutations.
The local rank-modulation, as a generalization of the rank-modulation scheme,
has been recently suggested as a way of storing information in flash memory.
We study constant-weight Gray codes for the local rank-modulation scheme in
order to simulate conventional multi-level flash cells while retaining the
benefits of rank modulation. We provide necessary conditions for the existence
of cyclic and cyclic optimal Gray codes. We then specifically study codes of
weight 2 and upper bound their efficiency, thus proving that there are no such
asymptotically-optimal cyclic codes. In contrast, we study codes of weight 3
and efficiently construct codes which are asymptotically-optimal
Constant-Weight Gray Codes for Local Rank Modulation
We consider the local rank-modulation scheme in which a sliding window going over a sequence of real-valued variables induces a sequence of permutations. Local rank- modulation is a generalization of the rank-modulation scheme, which has been recently suggested as a way of storing information in flash memory.
We study constant-weight Gray codes for the local rank- modulation scheme in order to simulate conventional multi-level flash cells while retaining the benefits of rank modulation. We provide necessary conditions for the existence of cyclic and cyclic optimal Gray codes. We then specifically study codes of weight 2 and upper bound their efficiency, thus proving that there are no such asymptotically-optimal cyclic codes. In contrast, we study codes of weight 3 and efficiently construct codes which are asymptotically-optimal. We conclude with a construction of codes with asymptotically-optimal rate and weight asymptotically half the length, thus having an asymptotically-optimal charge difference between adjacent cells
Partitioning de Bruijn Graphs into Fixed-Length Cycles for Robot Identification and Tracking
We propose a new camera-based method of robot identification, tracking and
orientation estimation. The system utilises coloured lights mounted in a circle
around each robot to create unique colour sequences that are observed by a
camera. The number of robots that can be uniquely identified is limited by the
number of colours available, , the number of lights on each robot, , and
the number of consecutive lights the camera can see, . For a given set of
parameters, we would like to maximise the number of robots that we can use. We
model this as a combinatorial problem and show that it is equivalent to finding
the maximum number of disjoint -cycles in the de Bruijn graph
.
We provide several existence results that give the maximum number of cycles
in in various cases. For example, we give an optimal
solution when . Another construction yields many cycles in larger
de Bruijn graphs using cycles from smaller de Bruijn graphs: if
can be partitioned into -cycles, then
can be partitioned into -cycles for any divisor of
. The methods used are based on finite field algebra and the combinatorics
of words.Comment: 16 pages, 4 figures. Accepted for publication in Discrete Applied
Mathematic
Gray code order for Lyndon words
International audienceAt the 4th Conference on Combinatorics on Words, Christophe Reutenauer posed the question of whether the dual reflected order yields a Gray code on the Lyndon family. In this paper we give a positive answer. More precisely, we present an O(1)-average-time algorithm for generating length n binary pre-necklaces, necklaces and Lyndon words in Gray code order
Enumeration of three term arithmetic progressions in fixed density sets
Additive combinatorics is built around the famous theorem by Szemer\'edi
which asserts existence of arithmetic progressions of any length among the
integers. There exist several different proofs of the theorem based on very
different techniques. Szemer\'edi's theorem is an existence statement, whereas
the ultimate goal in combinatorics is always to make enumeration statements. In
this article we develop new methods based on real algebraic geometry to obtain
several quantitative statements on the number of arithmetic progressions in
fixed density sets. We further discuss the possibility of a generalization of
Szemer\'edi's theorem using methods from real algebraic geometry.Comment: 62 pages. Update v2: Corrected some references. Update v3:
Incorporated feedbac
An update on the middle levels problem
The middle levels problem is to find a Hamilton cycle in the middle levels,
M_{2k+1}, of the Hasse diagram of B_{2k+1} (the partially ordered set of
subsets of a 2k+1-element set ordered by inclusion). Previously, the best
result was that M_{2k+1} is Hamiltonian for all positive k through k=15. In
this note we announce that M_{33} and M_{35} have Hamilton cycles. The result
was achieved by an algorithmic improvement that made it possible to find a
Hamilton path in a reduced graph of complementary necklace pairs having
129,644,790 vertices, using a 64-bit personal computer.Comment: 11 pages, 5 figure
- …