DOCSLIB.ORG

Computing K-Th Lyndon Word and Decoding Lexicographically Minimal De Bruijn Sequence

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Computing K-Th Lyndon Word and Decoding Lexicographically Minimal De Bruijn Sequence Computing k-th Lyndon Word and Decoding Lexicographically Minimal de Bruijn Sequence Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter University of Warsaw CPM 2014 Moscow, June 18, 2014 Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 1/17 Examples: 0010011, 000001, 1. Non-examples: 010011 (010011 > 001101) 001001 (001001 = (001)2) Lyndon words Definition (Lyndon, 1954) A Lyndon word is a word that is strictly smaller than all its nontrivial cyclic rotations. Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 2/17 Non-examples: 010011 (010011 > 001101) 001001 (001001 = (001)2) Lyndon words Definition (Lyndon, 1954) A Lyndon word is a word that is strictly smaller than all its nontrivial cyclic rotations. Examples: 0010011, 000001, 1. Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 2/17 Lyndon words Definition (Lyndon, 1954) A Lyndon word is a word that is strictly smaller than all its nontrivial cyclic rotations. Examples: 0010011, 000001, 1. Non-examples: 010011 (010011 > 001101) 001001 (001001 = (001)2) Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 2/17 jLynd(001110)j = 6; jLynd(011010)j = 8: We define Lynd(w) = fx 2 Ljwj : x ≤ wg: Example: Σ = f0; 1g; L6 = f000001; 000011; 000101; 000111; 001011 001101; 001111; 010111; 011111g; Enumerating Lyndon words Notation: Σ a fixed finite totally-ordered alphabet, L all Lyndon words in Σ+, n Ln all Lyndon words in Σ . Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 3/17 jLynd(001110)j = 6; jLynd(011010)j = 8: Example: Σ = f0; 1g; L6 = f000001; 000011; 000101; 000111; 001011 001101; 001111; 010111; 011111g; Enumerating Lyndon words Notation: Σ a fixed finite totally-ordered alphabet, L all Lyndon words in Σ+, n Ln all Lyndon words in Σ . We define Lynd(w) = fx 2 Ljwj : x ≤ wg: Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 3/17 jLynd(001110)j = 6; jLynd(011010)j = 8: Enumerating Lyndon words Notation: Σ a fixed finite totally-ordered alphabet, L all Lyndon words in Σ+, n Ln all Lyndon words in Σ . We define Lynd(w) = fx 2 Ljwj : x ≤ wg: Example: Σ = f0; 1g; L6 = f000001; 000011; 000101; 000111; 001011 001101; 001111; 010111; 011111g; Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 3/17 jLynd(011010)j = 8: Enumerating Lyndon words Notation: Σ a fixed finite totally-ordered alphabet, L all Lyndon words in Σ+, n Ln all Lyndon words in Σ . We define Lynd(w) = fx 2 Ljwj : x ≤ wg: Example: Σ = f0; 1g; L6 = f000001; 000011; 000101; 000111; 001011 001101; 001111; 010111; 011111g; jLynd(001110)j = 6; Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 3/17 Enumerating Lyndon words Notation: Σ a fixed finite totally-ordered alphabet, L all Lyndon words in Σ+, n Ln all Lyndon words in Σ . We define Lynd(w) = fx 2 Ljwj : x ≤ wg: Example: Σ = f0; 1g; L6 = f000001; 000011; 000101; 000111; 001011 001101; 001111; 010111; 011111g; jLynd(001110)j = 6; jLynd(011010)j = 8: Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 3/17 Technical assumptions: word-RAM model, Σ = f0; 1; : : : ; σ − 1g, σ fits in a machine word. Corollary The k-th lexicographically smallest Lyndon word in Ln can be computed in O(n4 log σ) time. Proof. Binary search over Σn. Our results (Lyndon words) Theorem Given a word w of length n the value jLynd(w)j can be computed in O(n3) time. Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 4/17 Corollary The k-th lexicographically smallest Lyndon word in Ln can be computed in O(n4 log σ) time. Proof. Binary search over Σn. Our results (Lyndon words) Theorem Given a word w of length n the value jLynd(w)j can be computed in O(n3) time. Technical assumptions: word-RAM model, Σ = f0; 1; : : : ; σ − 1g, σ fits in a machine word. Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 4/17 Our results (Lyndon words) Theorem Given a word w of length n the value jLynd(w)j can be computed in O(n3) time. Technical assumptions: word-RAM model, Σ = f0; 1; : : : ; σ − 1g, σ fits in a machine word. Corollary The k-th lexicographically smallest Lyndon word in Ln can be computed in O(n4 log σ) time. Proof. Binary search over Σn. Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 4/17 no polynomial-time algorithm known previously for Ln. combinatorics of words, text algorithms, algebra. Generating k-th smallest element is a natural question for any combinatorial object; Generalization of the known formula: 1 X n d jLnj = n µ( d )σ : djn Applications to decoding the minimal de Bruijn sequence. Motivation Lyndon words have numerous applications: Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 5/17 no polynomial-time algorithm known previously for Ln. text algorithms, algebra. Generating k-th smallest element is a natural question for any combinatorial object; Generalization of the known formula: 1 X n d jLnj = n µ( d )σ : djn Applications to decoding the minimal de Bruijn sequence. Motivation Lyndon words have numerous applications: combinatorics of words, Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 5/17 no polynomial-time algorithm known previously for Ln. algebra. Generating k-th smallest element is a natural question for any combinatorial object; Generalization of the known formula: 1 X n d jLnj = n µ( d )σ : djn Applications to decoding the minimal de Bruijn sequence. Motivation Lyndon words have numerous applications: combinatorics of words, text algorithms, Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 5/17 no polynomial-time algorithm known previously for Ln. Generating k-th smallest element is a natural question for any combinatorial object; Generalization of the known formula: 1 X n d jLnj = n µ( d )σ : djn Applications to decoding the minimal de Bruijn sequence. Motivation Lyndon words have numerous applications: combinatorics of words, text algorithms, algebra. Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 5/17 no polynomial-time algorithm known previously for Ln. Generalization of the known formula: 1 X n d jLnj = n µ( d )σ : djn Applications to decoding the minimal de Bruijn sequence. Motivation Lyndon words have numerous applications: combinatorics of words, text algorithms, algebra. Generating k-th smallest element is a natural question for any combinatorial object; Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 5/17 Generalization of the known formula: 1 X n d jLnj = n µ( d )σ : djn Applications to decoding the minimal de Bruijn sequence. Motivation Lyndon words have numerous applications: combinatorics of words, text algorithms, algebra. Generating k-th smallest element is a natural question for any combinatorial object; no polynomial-time algorithm known previously for Ln. Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 5/17 Applications to decoding the minimal de Bruijn sequence. Motivation Lyndon words have numerous applications: combinatorics of words, text algorithms, algebra. Generating k-th smallest element is a natural question for any combinatorial object; no polynomial-time algorithm known previously for Ln. Generalization of the known formula: 1 X n d jLnj = n µ( d )σ : djn Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 5/17 Motivation Lyndon words have numerous applications: combinatorics of words, text algorithms, algebra. Generating k-th smallest element is a natural question for any combinatorial object; no polynomial-time algorithm known previously for Ln. Generalization of the known formula: 1 X n d jLnj = n µ( d )σ : djn Applications to decoding the minimal de Bruijn sequence. Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 5/17 1 0 1 0 0 0 0 0 0 0 0 0 0 0 De Bruijn sequences Definition A de Bruijn sequence of rank n is a cyclic sequence in which every word from Σn appears as a subword exactly once. 1 1 0 1 1 0 1 0 0 0 1 0 0 1 0 1 n = 4; Σ = f0; 1g Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 6/17 1 0 1 0 0 0 0 0 0 0 0 0 0 0 De Bruijn sequences Definition A de Bruijn sequence of rank n is a cyclic sequence in which every word from Σn appears as a subword exactly once. 1 1 0 1 1 0 1 0 0 0 1 0 0 1 0 1 n = 4; Σ = f0; 1g Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 6/17 1 0 1 0 0 0 0 0 0 0 0 0 0 0 De Bruijn sequences Definition A de Bruijn sequence of rank n is a cyclic sequence in which every word from Σn appears as a subword exactly once. 1 1 0 1 1 0 1 0 0 0 1 0 0 1 0 1 n = 4; Σ = f0; 1g Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 6/17 1 0 1 0 0 0 0 0 0 0 0 0 0 0 De Bruijn sequences Definition A de Bruijn sequence of rank n is a cyclic sequence in which every word from Σn appears as a subword exactly once. 1 1 0 1 1 0 1 0 0 0 1 0 0 1 0 1 n = 4; Σ = f0; 1g Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter Lyndon Words and de Bruijn Sequences 6/17 1 0 1 0 0 0 0 0 0 0 0 0 0 0 De Bruijn sequences Definition A de Bruijn sequence of rank n is a cyclic sequence in which every word from Σn appears as a subword exactly once.
Load more

Recommended publications
  • Free Lie Algebras
    Last revised 3:11 p.m. April 10, 2020 Free Lie algebras Bill Casselman University of British Columbia [email protected] The purpose of this essay is to give an introduction to free Lie algebras and a few of their applications. My principal references are [Serre:1965], [Reutenauer:1993], and [de Graaf:2000]. My interest in free Lie algebras has been motivated by the well known conjecture that Kac•Moody algebras can be defined by generators and relations analogous to those introduced by Serre for finite•dimensional semi•simple Lie algebras. I have had this idea for a long time, but it was coming across the short note [de Graaf:1999] that acted as catalyst for this (alas! so far unfinished) project. Fix throughout this essay a commutative ring R. I recall that a Lie algebra over R is an R•module g together with a Poisson bracket [x, y] such that [x, x]=0 [x, [y,z]] + [y, [z, x]] + [z, [x, y]]=0 Since [x + y, x + y] = [x, x] + [x, y] + [y, x] + [y,y], the first condition implies that [x, y] = [y, x]. The − second condition is called the Jacobi identity. In a later version of this essay, I’ll discuss the Baker•Campbell•Hausdorff Theorem (in the form due to Dynkin). Contents 1. Magmas........................................... ................................ 1 2. ThefreeLiealgebra ................................ ................................ 3 3. Poincare•Birkhoff•Witt´ .................................... ......................... 5 4. FreeLiealgebrasandtensorproducts ................. .............................. 8 5. Hallsets—motivation
    [Show full text]
  • Grammar-Compressed Self-Index with Lyndon Words
    Grammar-compressed Self-index with Lyndon Words Kazuya Tsuruta1 Dominik K¨oppl1;2 Yuto Nakashima1 Shunsuke Inenaga1;3 Hideo Bannai1 Masayuki Takeda1 1Department of Informatics, Kyushu University, Fukuoka, Japan, fkazuya.tsuruta, yuto.nakashima, inenaga, bannai, [email protected] 2Japan Society for Promotion of Science, [email protected] 3Japan Science and Technology Agency Abstract We introduce a new class of straight-line programs (SLPs), named the Lyndon SLP, in- spired by the Lyndon trees (Barcelo, 1990). Based on this SLP, we propose a self-index data structure of O(g) words of space that can be built from a string T in O(n lg n) ex- pected time, retrieving the starting positions of all occurrences of a pattern P of length m in O(m + lg m lg n + occ lg g) time, where n is the length of T , g is the size of the Lyndon SLP for T , and occ is the number of occurrences of P in T . 1 Introduction A context-free grammar is said to represent a string T if it generates the language consisting of T and only T . Grammar-based compression [29] is, given a string T , to find a small size descrip- tion of T based on a context-free grammar that represents T . The grammar-based compression scheme is known to be most suitable for compressing highly-repetitive strings. Due to its ease of manipulation, grammar-based representation of strings is a frequently used model for compressed string processing, where the aim is to efficiently process compressed strings without explicit de- compression.
    [Show full text]
  • Standard Lyndon Bases of Lie Algebras and Enveloping Algebras
    transactions of the american mathematical society Volume 347, Number 5, May 1995 STANDARD LYNDON BASES OF LIE ALGEBRAS AND ENVELOPING ALGEBRAS PIERRE LALONDE AND ARUN RAM Abstract. It is well known that the standard bracketings of Lyndon words in an alphabet A form a basis for the free Lie algebra Lie(^) generated by A . Suppose that g = Lie(A)/J is a Lie algebra given by a generating set A and a Lie ideal J of relations. Using a Gröbner basis type approach we define a set of "standard" Lyndon words, a subset of the set Lyndon words, such that the standard bracketings of these words form a basis of the Lie algebra g . We show that a similar approach to the universal enveloping algebra g naturally leads to a Poincaré-Birkhoff-Witt type basis of the enveloping algebra of 0 . We prove that the standard words satisfy the property that any factor of a standard word is again standard. Given root tables, this property is nearly sufficient to determine the standard Lyndon words for the complex finite-dimensional simple Lie algebras. We give an inductive procedure for computing the standard Lyndon words and give a complete list of the standard Lyndon words for the complex finite-dimensional simple Lie algebras. These results were announced in [LR]. 1. Lyndon words and the free Lie algebra In this section we give a short summary of the facts about Lyndon words and the free Lie algebra which we shall use. All of the facts in this section are well known. A comprehensive treatment of free Lie algebras (and Lyndon words) appears in the book by C.
    [Show full text]
  • Lyndon Words, Free Algebras and Shuffles
    Can. J. Math., Vol. XLI, No. 4, 1989, pp. 577-591 LYNDON WORDS, FREE ALGEBRAS AND SHUFFLES GUY MELANÇON AND CHRISTOPHE REUTENAUER 1. Introduction. A Lyndon word is a primitive word which is minimum in its conjugation class, for the lexicographical ordering. These words have been introduced by Lyndon in order to find bases of the quotients of the lower central series of a free group or, equivalently, bases of the free Lie algebra [2], [7]. They have also many combinatorial properties, with applications to semigroups, pi-rings and pattern-matching, see [1], [10]. We study here the Poincaré-Birkhoff-Witt basis constructed on the Lyndon basis (PBWL basis). We give an algorithm to write each word in this basis: it reads the word from right to left, and the first encountered inversion is either bracketted, or straightened, and this process is iterated: the point is to show that each bracketting is a standard one: this we show by introducing a loop invariant (property (S)) of the algorithm. This algorithm has some analogy with the collecting process of P. Hall [5], but was never described for the Lyndon basis, as far we know. A striking consequence of this algorithm is that any word, when written in the PBWL basis, has coefficients in N (see Theorem 1). This will be proved twice in fact, and is similar to the same property for the Shirshov-Hall basis, as shown by M.P. Schutzenberger [11]. Our next result is a precise description of the dual basis of the PBWL basis. The former is denoted (Sw), where w is any word, and we show that if w = au is a Lyndon word beginning with the letter a, and that 1 , Sw = (ti!...*II!r 5* o...oS*- x k n if w = l\ ..
    [Show full text]
  • Burrows-Wheeler Transformations and De Bruijn Words
    Burrows-Wheeler transformations and de Bruijn words Peter M. Higgins, University of Essex, U.K. Abstract We formulate and explain the extended Burrows-Wheeler trans- form of Mantaci et al from the viewpoint of permutations on a chain taken as a union of partial order-preserving mappings. In so doing we establish a link with syntactic semigroups of languages that are themselves cyclic semigroups. We apply the extended transform with a view to generating de Bruijn words through inverting the transform. We also make use of de Bruijn words to facilitate a proof that the max- imum number of distinct factors of a word of length n has the form 1 2 2 n − O(n log n). 1 Introduction 1.1 Definitions and Example arXiv:1901.08392v1 [math.GR] 24 Jan 2019 The original notion of a Burrows-Wheeler (BW) transform, introduced in [2], has become a major tool in lossless data compression. It replaces a primi- tive word w (one that is not a power of some other word) by another word BW (w) of the same length over the same alphabet but in a way that is gen- erally rich in letter repetition and so lends to easy compression. Moreover the transform can be inverted in linear time; see for example [3]. Unfor- tunately, not all words arise as Burrows-Wheeler transforms of a primitive word so, in the original format, it was not possible to invert an arbitrary string. The extended BW transform however does allow the inversion of an arbitrary word and the result in general is a multiset (a set allowing repeats) 1 of necklaces, which are conjugacy classes of primitive words.
    [Show full text]
  • Combinatorics of Hall Trees and Hall Words
    CORE Metadata, citation and similar papers at core.ac.uk Provided by Elsevier - Publisher Connector JOURNAL OF COMBINATORIAL THEORY, Series A 59, 285-308 (1992) Combinatorics of Hall Trees and Hall Words GUY MELANCON DPpartemenr de Mathkmatiques et d’lnformatique, UniversitP du Quebec ci Montr&al, C.P. 8888 WCC. A, Montrkal, Qukbec. Canada H3C3P8 Communicated by Gian-Carlo Rota Received May 30, 1990 We present combinatorial properties of Hall trees and Hall words. We give new proofs of the unique factorisation of w.ords into decreasing products of Hall words. An order cH on the free monoid is then constructed upon the unique factorisation of words. When the Hall set is the set of Lyndon words, the order cH coincides with the lexicographical order (with which Lyndon words are defined). Motivated by this fact, we give combinatorial properties of Hall words, related to the order c,,, which generalize known properties of Lyndon words to Hall words. 0 1992 Academic Press, Inc. INTRODUCTION Bases of the free Lie algebra appeared for the first time in an article by M. Hall [4], although they were implicit in the work of P. Hall [6] and Magnus [9] on the commutator calculus in free groups. Known as “Hall bases,” they inspired many authors and led to many generalizations: Meier-Wunderli [lo], Schiitzenberger [ 121, Shirshov [ 141, Gorchakov [3], and Ward [16]. Lyndon [8] introduced bases which were originally thought to be different. Viennot gave a generalization of all these constructions and showed that, in a sense, it was optimal [ 15, Theorem 1.21. He also showed that this generalization was equivalent to Lazard’s elimination process.
    [Show full text]
  • Gray Code Order for Lyndon Words Vincent Vajnovszki
    Gray code order for Lyndon words Vincent Vajnovszki To cite this version: Vincent Vajnovszki. Gray code order for Lyndon words. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2007, 9 (2), pp.145–151. hal-00966527 HAL Id: hal-00966527 https://hal.inria.fr/hal-00966527 Submitted on 26 Mar 2014 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Discrete Mathematics and Theoretical Computer Science DMTCS vol. 9:2, 2007, 145–152 Gray code order for Lyndon words Vincent Vajnovszki1 1 LE2I – UMR CNRS, Universit´ede Bourgogne, B.P. 47 870, 21078 DIJON-Cedex France [email protected] received 29 Dec 2004, revised 8 Jun 2005, accepted 21 Jun 2005. At 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. Keywords: Lyndon words, Gray codes, generating algorithms 1 Introduction and motivation A k-Gray code for a set of binary strings B ⊂ {0, 1}n is an ordered list for B such that the Hamming distance between any two consecutive strings in the list is at most k; if k is minimal then the list is called a minimal Gray code.
    [Show full text]
  • On Minimal Change Musical Morphologies
    On minimal change musical morphologies Michael Winter Abstract In this paper, we examine a number of minimal change musical morpholo- gies. Each morphology has an analogous representation in mathematics. Our math- ematical objects of study are Gray codes, de Bruijn sequences, aperiodic necklaces, disjoint subset pairs, and multiset permutations with musically motivated constraints that result in several open problems. Key words: minimal change morphologies, minimalism, de Bruijn sequences, Gray codes, generative music, Lyndon words, aperiodic necklaces, disjoint subsets, multiset permutations, graph theory, constraint programming. 1 Introduction and Preliminaries Several different minimalist trends exist in art and music. In this paper, we focus on minimal change musical morphologies where the word “minimal” primarily de- notes “minimal change” between adjacent elements in a given morphology. Each morphology has an analogous representation in mathematics. Our mathematical ob- jects of study are Gray codes, de Bruijn sequences, aperiodic necklaces, disjoint subset pairs, and multiset permutations with musically motivated constraints that result in several open problems. First, we discuss a taxonomy of “morphological constraints” used to contextual- ize the definition of each morphology. Next, we review previous research in order to show the genesis of our current formalization. Section 2 focusses on examples of minimal change musical morphologies and the open mathematical problems that result from musically motivated constraints on the analogous
    [Show full text]
  • Enhanced String Factoring from Alphabet Orderings$,$$
    Enhanced string factoring from alphabet orderingsI,II Amanda Clarea,∗, Jacqueline W. Daykina,b,c aDepartment of Computer Science, Aberystwyth University, SY23 3DB, UK fafc,[email protected] bDepartment of Informatics, King's College London, WC2B 4BG, UK [email protected] cDepartment of Information Science, Stellenbosch University, South Africa Abstract In this note we consider the concept of alphabet ordering in the context of string factoring. We propose a greedy-type algorithm which produces Lyndon factorizations with small numbers of factors along with a modification for large numbers of factors. For the technique we introduce the Exponent Parikh vector. Applications and research directions derived from circ-UMFFs are discussed. Keywords: alphabet order, big data, circ-UMFF, factor, factorization, greedy algorithm, lexicographic orderings, Lyndon word, sequence alignment, string 1. Introduction Factoring strings is a powerful form of the divide and conquer problem- solving paradigm for strings or words. Notably the Lyndon factorization is both efficient to compute and useful in practice [1, 2]. We study the effect of an alphabet's order on the number of factors in a Lyndon factorization and propose a greedy-type algorithm for assigning an order to the alphabet. In addition, arXiv:1806.05942v1 [cs.DS] 15 Jun 2018 we formalize the distinction between the sets of Lyndon and co-Lyndon words as avenues for alternative string factorizations. More generally, circ-UMFFs provide the opportunity for achieving further diversity with string factors [3, 4]. IThe authors were part-funded by the European Regional Development Fund through the Welsh Government IIA preliminary version of this paper was accepted as a poster in IWOCA 2018 (Interna- tional Workshop on Combinatorial Algorithms) ∗Corresponding author Preprint submitted to Information Processing Letters August 23, 2018 1.1.
    [Show full text]
  • Nyldon Words
    Nyldon words Émilie Charlier Manon Philibert Department of Mathematics Laboratoire d’Informatique et Systèmes University of Liège Aix-Marseille University Allée de la Découverte 12 52 Av. Escadrille Normandie Niemen 4000 Liège, Belgium 13397 Marseille, France [email protected] [email protected] Manon Stipulanti∗ Department of Mathematics University of Liège Allée de la Découverte 12 4000 Liège, Belgium [email protected] February 1, 2019 Abstract The Chen-Fox-Lyndon theorem states that every finite word over a fixed alphabet can be uniquely factorized as a lexicographically nonincreasing sequence of Lyndon words. This theorem can be used to define the family of Lyndon words in a recursive way. If the lexicographic order is reversed in this definition, we obtain a new family of words, which are called the Nyldon words. In this paper, we show that every finite word can be uniquely factorized into a lexicographically nondecreasing sequence of Nyldon words. Otherwise stated, Nyldon words form a complete factorization of the free monoid with respect to the decreasing lexicographic order. Then we investigate this new family of words. In particular, we show that Nyldon words form a right Lazard set. arXiv:1804.09735v2 [math.CO] 30 Jan 2019 2010 Mathematics Subject Classification: 68R15, 94A45. Keywords: Lyndon words, Nyldon words, complete factorization of the free monoid, Lazard factorization, Hall set, comma-free code 1 Introduction The Chen-Fox-Lyndon theorem states that every finite word w can be uniquely factorized as w = ℓ1ℓ2 · · · ℓk where ℓ1,...,ℓk are Lyndon words such that ℓ1 ≥lex ··· ≥lex ℓk. This theorem can be used to define the family of Lyndon words over some totally ordered ∗Corresponding author.
    [Show full text]
  • A Hyperoctahedral Analogue of the Free Lie Algebra
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF COMBINATORIAL THEORY, Series A 58, 256-278 (1991) A Hyperoctahedral Analogue of the Free Lie Algebra NAN-EL BERGERON* Department of Mathematics (C-012), University of California, San Diego, La Jolla, Calgornia 92093 Communicated by the Managing Editors Received May 19, 1989 Using the combinatorial techniques developed by Barcelo and Bergeron, we construct a B,-module, called U(n), related to the Orlik-Solomon algebra of the hyperoctahedral hyperplane complements lattice (OS(&)) [lo, 13). The &-modules Z(n) and os(B,) are analogous to the modules for the symmetric group which occur in the context of the free Lie algebra and the partition lattice. In particular we show that the module U(n) is the transpose of the module OS@,) tensored by a sign representation. As a by-product we show that the action of B, on a natural basis of Y(n) is block triangular. The blocks are indexed by the conjugacy classes of B, and have dimension equal to the number of elements in such a class. We also compute the characters of this action restricted to each block. 0 1991 Academic Press. Inc. I. INTRODUCTION The relation between the free Lie algebra and the partition lattice (hypertetrahedral hyperplane complements lattice) has received considerable attention recently [16, 8,2, 1, 3, 9, 71. Here we want to extend the work of [2] to the case of the hyperoctahedral group B,. Our goal is to construct, for B,, a space with properties analogous to those between the free Lie algebra and the partition lattice.
    [Show full text]
  • Combinatorics on Words: Christoffel Words and Repetitions in Words
    Combinatorics on Words: Christoffel Words and Repetitions in Words Jean Berstel Aaron Lauve Christophe Reutenauer Franco Saliola 2008 Ce livre est d´edi´e`ala m´emoire de Pierre Leroux (1942–2008). Contents I Christoffel Words 1 1 Christoffel Words 3 1.1 Geometric definition ....................... 3 1.2 Cayley graph definition ..................... 6 2 Christoffel Morphisms 9 2.1 Christoffel morphisms ...................... 9 2.2 Generators ............................ 15 3 Standard Factorization 19 3.1 The standard factorization .................... 19 3.2 The Christoffel tree ........................ 23 4 Palindromization 27 4.1 Christoffel words and palindromes ............... 27 4.2 Palindromic closures ....................... 28 4.3 Palindromic characterization .................. 36 5 Primitive Elements in the Free Group F2 41 5.1 Positive primitive elements of the free group .......... 41 5.2 Positive primitive characterization ............... 43 6 Characterizations 47 6.1 The Burrows–Wheeler transform ................ 47 6.2 Balanced1 Lyndon words ..................... 50 6.3 Balanced2 Lyndon words ..................... 50 6.4 Circular words .......................... 51 6.5 Periodic phenomena ....................... 54 i 7 Continued Fractions 57 7.1 Continued fractions ........................ 57 7.2 Continued fractions and Christoffel words ........... 58 7.3 The Stern–Brocot tree ...................... 62 8 The Theory of Markoff Numbers 67 8.1 Minima of quadratic forms .................... 67 8.2 Markoff numbers ......................... 69 8.3 Markoff’s condition ........................ 71 8.4 Proof of Markoff’s theorem ................... 75 II Repetitions in Words 81 1 The Thue–Morse Word 83 1.1 The Thue–Morse word ...................... 83 1.2 The Thue–Morse morphism ................... 84 1.3 The Tarry-Escott problem .................... 86 1.4 Magic squares ........................... 90 2 Combinatorics of the Thue–Morse Word 93 2.1 Automatic sequences ......................
    [Show full text]