English
Related papers

Related papers: Reconstructing Words from Right-Bounded-Block Word…

200 papers

Topics models, such as LDA, are widely used in Natural Language Processing. Making their output interpretable is an important area of research with applications to areas such as the enhancement of exploratory search interfaces and the…

Computation and Language · Computer Science 2019-04-01 Areej Alokaili , Nikolaos Aletras , Mark Stevenson

Let S be a finite set of words over an alphabet Sigma. The set S is said to be complete if every word w over the alphabet Sigma is a factor of some element of S*, i.e. w belongs to Fact(S*). Otherwise if S is not complete, we are interested…

Formal Languages and Automata Theory · Computer Science 2010-04-26 Gabriele Fici , Elena V. Pribavkina , Jacques Sakarovitch

In this letter, we consider a problem of reconstructing an unknown discrete signal taking values in a finite alphabet from incomplete linear measurements. The difficulty of this problem is that the computational complexity of the…

Information Theory · Computer Science 2015-03-19 Masaaki Nagahara

Motivated by applications to string processing, we introduce variants of the Lyndon factorization called inverse Lyndon factorizations. Their factors, named inverse Lyndon words, are in a class that strictly contains anti-Lyndon words, that…

Formal Languages and Automata Theory · Computer Science 2018-09-06 Paola Bonizzoni , Clelia De Felice , Rocco Zaccagnino , Rosalba Zizza

We investigate the problem of the maximum number of cubic subwords (of the form $www$) in a given word. We also consider square subwords (of the form $ww$). The problem of the maximum number of squares in a word is not well understood.…

Formal Languages and Automata Theory · Computer Science 2015-05-14 Marcin Kubica , Jakub Radoszewski , Wojciech Rytter , Tomasz Walen

We introduce constraints necessary for type checking a higher-order concurrent constraint language, and solve them with an incremental algorithm. Our constraint system extends rational unification by constraints x$\subseteq$ y saying that…

cmp-lg · Computer Science 2008-02-03 Martin Mueller , Joachim Niehren

This paper describes the probabilistic behaviour of a random Sturmian word. It performs the probabilistic analysis of the recurrence function which can be viewed as a waiting time to discover all the factors of length $n$ of the Sturmian…

Discrete Mathematics · Computer Science 2016-10-06 Pablo Rotondo , Brigitte Vallee

We study the cycle structure of words in several random permutations. We assume that the permutations are independent and that their distribution is conjugation invariant, with a good control on their short cycles. If, after successive…

Combinatorics · Mathematics 2023-10-24 Mohamed Slim Kammoun , Mylène Maïda

Free words are elements of a free monoid, generated over an alphabet via the binary operation of concatenation. Casually speaking, a free word is a finite string of letters. Henceforth, we simply refer to them as words. Motivated by recent…

Combinatorics · Mathematics 2015-09-16 Danny Rorabaugh

Fix two words over the binary alphabet $\{0,1\}$, and generate iid Bernoulli$(p)$ bits until one of the words occurs in sequence. This setup, commonly known as Penney's ante, was popularized by Conway, who found (in unpublished work) a…

Combinatorics · Mathematics 2024-10-01 Mathew Drexel , Xuanshan Peng , Jacob Richey

We consider several novel aspects of unique factorization in formal languages. We reprove the familiar fact that the set uf(L) of words having unique factorization into elements of L is regular if L is regular, and from this deduce an…

Formal Languages and Automata Theory · Computer Science 2015-03-24 Paul Bell , Daniel Reidenbach , Jeffrey Shallit

We determine the probability, structure dependent, that the block Wiedemann algorithm correctly computes leading invariant factors. This leads to a tight lower bound for the probability, structure independent. We show, using block size…

Symbolic Computation · Computer Science 2018-03-13 Gavin Harrison , Jeremy Johnson , B. David Saunders

In this paper, we investigate the reconstruction of permutations on {1, 2, ..., n} from betweenness constraints involving the minimum and the maximum element located between t and t+1, for all t=1, 2, ..., n-1. We propose two variants of…

Data Structures and Algorithms · Computer Science 2014-12-15 Irena Rusu

A \emph{palindrome} is a word that reads the same forwards and backwards. A \emph{block palindrome factorization} (or \emph{BP-factorization}) is a factorization of a word into blocks that becomes palindrome if each identical block is…

Combinatorics · Mathematics 2023-04-17 Daniel Gabric , Jeffrey Shallit

The sequence reconstruction problem asks for the recovery of a sequence from multiple noisy copies, where each copy may contain up to $r$ errors. In the case of permutations on \(n\) letters under the Hamming metric, this problem is closely…

Group Theory · Mathematics 2026-01-08 A. Abdollahi , J. Bagherian , H. Eskandari , F. Jafari , M. Khatami , F. Parvaresh , R. Sobhani

An $n$-length binary word is $q$-decreasing, $q\geq 1$, if every of its length maximal factor of the form $0^a1^b$ satisfies $a=0$ or $q\cdot a > b$.We show constructively that these words are in bijection with binary words having no…

Discrete Mathematics · Computer Science 2021-12-08 Jean-Luc Baril , Sergey Kirgizov , Vincent Vajnovszki

A word $w$ is called rich if it contains $| w|+1$ palindromic factors, including the empty word. We say that a rich word $w$ can be extended in at least two ways if there are two distinct letters $x,y$ such that $wx,wy$ are rich. Let $R$…

Discrete Mathematics · Computer Science 2021-10-26 Josef Rukavicka

We study the complexity of computation in finitely generated free left, right and two-sided adequate semigroups and monoids. We present polynomial time (quadratic in the RAM model of computation) algorithms to solve the word problem and…

Rings and Algebras · Mathematics 2013-12-02 Mark Kambites , Alexandr Kazda

Following (Kolpakov et al., 2013; Gawrychowski and Manea, 2015), we continue the study of {\em $\alpha$-gapped repeats} in strings, defined as factors $uvu$ with $|uv|\leq \alpha |u|$. Our main result is the $O(\alpha n)$ bound on the…

Formal Languages and Automata Theory · Computer Science 2015-10-05 Maxime Crochemore , Roman Kolpakov , Gregory Kucherov

Random instances of Constraint Satisfaction Problems (CSP's) appear to be hard for all known algorithms, when the number of constraints per variable lies in a certain interval. Contributing to the general understanding of the structure of…

Discrete Mathematics · Computer Science 2009-04-20 Andrea Montanari , Ricardo Restrepo , Prasad Tetali