English
Related papers

Related papers: Beyond the Runs Theorem

200 papers

Given a word $w$ and a Parikh vector $\mathcal{P}$, an abelian run of period $\mathcal{P}$ in $w$ is a maximal occurrence of a substring of $w$ having abelian period $\mathcal{P}$. We give an algorithm that finds all the abelian runs of…

Formal Languages and Automata Theory · Computer Science 2015-01-08 Gabriele Fici , Thierry Lecroq , Arnaud Lefebvre , Élise Prieur-Gaston

In a paper entitled Binary lambda calculus and combinatory logic, John Tromp presents a simple way of encoding lambda calculus terms as binary sequences. In what follows, we study the numbers of binary strings of a given size that represent…

Logic in Computer Science · Computer Science 2014-01-03 Katarzyna Grygiel , Pierre Lescanne

Let $M_n$ be the minimal position at generation $n$, of a real-valued branching random walk in the boundary case. As $n \to \infty$, $M_n- {3 \over 2} \log n$ is tight (see [1][9][2]). We establish here a law of iterated logarithm for the…

Probability · Mathematics 2017-07-06 Yueyun Hu

We find the lexicographically least infinite binary rich word having critical exponent $2+\sqrt{2}/2$

Formal Languages and Automata Theory · Computer Science 2023-10-12 James Currie , Narad Rampersad

In this note, we obtain an upper bound on the maximum number of distinct non-empty palindromes in starlike trees. This bound implies, in particular, that there are at most $4n$ distinct non-empty palindromes in a starlike tree with three…

Combinatorics · Mathematics 2018-05-29 Amy Glen , Jamie Simpson , W. F. Smyth

The sequence counting the number of unique tournaments with n people is the same as the sequence counting non-tracking binary strings corresponding to n-2 radar observations with the tracking rule "3 out of 5 with loss 2." This fact allows…

Combinatorics · Mathematics 2007-12-12 Tanya Khovanova

Let $R(n,k)$ denote the number of permutations of ${1,2,...,n}$ with $k$ alternating runs. In this note we present an explicit formula for the numbers $R(n,k)$.

Combinatorics · Mathematics 2011-11-22 Shi-Mei Ma

This paper performs the analysis necessary to bound the running time of known, efficient algorithms for generating all longest common subsequences. That is, we bound the running time as a function of input size for algorithms with time…

Discrete Mathematics · Computer Science 2007-05-23 Ronald I. Greenberg

We combinatorially prove that the number $R(n,k)$ of permutations of length $n$ having $k$ runs is a log-concave sequence in $k$, for all $n$. We also give a new combinatorial proof for the log-concavity of the Eulerian numbers.

Combinatorics · Mathematics 2007-05-23 Miklós Bóna , Richard Ehrenborg

We find the generating function for $C(n,k,r)$, the number of compositions of $n$ into $k$ positive parts all of whose runs (contiguous blocks of constant parts) have lengths less than $r$, using recent generalizations of the method of…

Combinatorics · Mathematics 2009-06-30 Herbert S. Wilf

Kelly's theorem states that a set of $n$ points affinely spanning $\mathbb{C}^3$ must determine at least one ordinary complex line (a line passing through exactly two of the points). Our main theorem shows that such sets determine at least…

Combinatorics · Mathematics 2021-11-11 Abdul Basit , Zeev Dvir , Shubhangi Saraf , Charles Wolf

A problem of reconstructing words from their subwords involves determining the minimum amount of information needed, such as multisets of scattered subwords of a specific length or the frequency of scattered subwords from a given set, in…

Discrete Mathematics · Computer Science 2025-12-04 Sergey Luchinin , Svetlana Puzynina , Michaël Rao

It is proven that for any numbers n=2^m-1, m >= 4 and r, such that n - log(n+1)<= r <= n excluding n = r = 63, n = 127, r in {126,127} and n = r = 2047 there exists a propelinear perfect binary code of length n and rank r.

Combinatorics · Mathematics 2012-11-01 George K. Guskov , Ivan Yu. Mogilnykh , Faina I. Solov'eva

Nonlinear complexity, as an important measure for assessing the randomness of sequences, is defined as the length of the shortest feedback shift registers that can generate a given sequence. In this paper, the structure of n-periodic binary…

Information Theory · Computer Science 2026-02-03 Qin Yuan , Chunlei Li , Xiangyong Zeng

This paper presents results on maximal runs, order of squares, palindromes, and unbordered factors of members of the family of binary pattern sequences with the all-one pattern. Restricting ourselves to binary pattern sequences with the…

Formal Languages and Automata Theory · Computer Science 2025-11-18 Russell Jay Hendel

Many problems in Computer Science can be abstracted to the following question: given a set of objects and rules respectively, which new objects can be produced? In the paper, we consider a succinct version of the question: given a set of…

Data Structures and Algorithms · Computer Science 2012-01-04 Tian-Ming Bu , Chen Yuan , Peng Zhang

In this paper, we define two particular forms of non-termination, namely loops and binary chains, in an abstract framework that encompasses term rewriting and logic programming. The definition of loops relies on the notion of compatibility…

Logic in Computer Science · Computer Science 2023-12-22 Etienne Payet

This paper examines linear binary codes capable of correcting one or more errors. For the single-error-correcting case, it is shown that the Hamming bound is achieved by a constructive method, and an exact expression for the minimal…

Information Theory · Computer Science 2025-12-16 Timofei Izhitskii

In a recent paper by Kitaev and Remmel, several formulas for the number of words of length n avoiding some generalized patterns were established. Each time the obtained function of n had been found in Sloane's Encyclopedia as the number of…

Combinatorics · Mathematics 2009-11-03 Alexander Valyuzhenich

We re-examine previous constructions of infinite binary words containing few distinct squares with the goal of finding the "simplest", in a certain sense. We exhibit several new constructions. Rather than using tedious case-based arguments…

Formal Languages and Automata Theory · Computer Science 2020-07-17 Daniel Gabric , Jeffrey Shallit
‹ Prev 1 4 5 6 7 8 10 Next ›