English
Related papers

Related papers: A loopless and branchless $O(1)$ algorithm to gene…

200 papers

This note is an attempt to unconditionally prove the existence of weak one way functions (OWF). Starting from a provably intractable decision problem $L_D$ (whose existence is nonconstructively assured from the well-known discrete…

Computational Complexity · Computer Science 2023-07-19 Stefan Rass

We show that for all given $n,t,w \in \{1,2,...\}$ with $n<2^w$, an array of $n$ entries of $w$ bits each can be represented on a word RAM with a word length of $w$ bits in at most $nw+\lceil n(t/(2 w))^t\rceil$ bits of uninitialized memory…

Data Structures and Algorithms · Computer Science 2017-10-02 Torben Hagerup , Frank Kammer

In this paper we present a simple linear-time algorithm constructing a context-free grammar of size O(g log(N/g)) for the input string, where N is the size of the input string and g the size of the optimal grammar generating this string.…

Data Structures and Algorithms · Computer Science 2013-11-08 Artur Jeż

A subsequence of a word $w$ is a word $u$ such that $u = w[i_1] w[i_2] \dots w[i_{k}]$, for some set of indices $1 \leq i_1 < i_2 < \dots < i_k \leq \lvert w\rvert$. A word $w$ is $k$-subsequence universal over an alphabet $\Sigma$ if every…

Formal Languages and Automata Theory · Computer Science 2023-11-20 Duncan Adamson , Pamela Fleischmann , Annika Huch , Tore Koß , Florin Manea , Dirk Nowotka

This paper focuses on Watson-Crick languages inspired by DNA computing, their models, and algorithms for deciding the language membership. It analyzes a recently introduced algorithm called WK-CYK and introduces a state space search…

Formal Languages and Automata Theory · Computer Science 2022-09-09 Jan Hammer , Zbyněk Křivka

We study various aspects of Dyck words appearing in binary sequences, where $0$ is treated as a left parenthesis and $1$ as a right parenthesis. We show that binary words that are $7/3$-power-free have bounded nesting level, but this no…

Discrete Mathematics · Computer Science 2026-05-27 Lucas Mol , Narad Rampersad , Jeffrey Shallit

Dynamic Time Warping (DTW) is a widely used similarity measure for comparing strings that encode time series data, with applications to areas including bioinformatics, signature verification, and speech recognition. The standard…

Data Structures and Algorithms · Computer Science 2022-07-05 Zoe Xi , William Kuszmaul

In this article, we count the number of return words in some infinite words with complexity 2n+1. We also consider some infinite words given by codings of rotation and interval exchange transformations on k intervals. We prove that the…

Combinatorics · Mathematics 2007-05-23 Laurent Vuillon

In this paper, we consider a variant of the classical algorithmic problem of checking whether a given word $v$ is a subsequence of another word $w$. More precisely, we consider the problem of deciding, given a number $p$ (defining a…

Formal Languages and Automata Theory · Computer Science 2024-09-16 Maria Kosche , Tore Koß , Florin Manea , Viktoriya Pak

Let w be a binary string and let a_w (n) be the number of occurrences of the word w in the binary expansion of n. As usual we let s(n) denote the Stern sequence; that is, s(0)=0, s(1)=1, and for n >= 1, s(2n)=s(n) and s(2n+1)=s(n)+s(n+1).…

Number Theory · Mathematics 2011-07-08 Michael Coons , Jeffrey Shallit

Tandem duplication in DNA is the process of inserting a copy of a segment of DNA adjacent to the original position. Motivated by applications that store data in living organisms, Jain {\em et al.} (2016) proposed the study of codes that…

Combinatorics · Mathematics 2017-11-20 Yeow Meng Chee , Johan Chrisnata , Han Mao Kiah , Tuan Thanh Nguyen

We improve the Solovay--Kitaev theorem and algorithm for a general finite, inverse-closed generating set acting on a qudit. Prior versions of the algorithm efficiently find a word of length $O(n^{3+\delta})$ to approximate an arbitrary…

Quantum Physics · Physics 2025-10-09 Greg Kuperberg

For a stationary stochastic process $\{X_n\}$ with values in some set $A$, a finite word $w \in A^K$ is called a memory word if the conditional probability of $X_0$ given the past is constant on the cylinder set defined by $X_{-K}^{-1}=w$.…

Information Theory · Computer Science 2008-08-22 Gusztav Morvai , Benjamin Weiss

We use results on Dyck words and lattice paths to derive a formula for the exact number of binary words of a given length with a given minimal abelian border length, tightening a bound on that number from Christodoulakis et al. (Discrete…

Formal Languages and Automata Theory · Computer Science 2017-08-23 F. Blanchet-Sadri , Kun Chen , Kenneth Hawes

We introduce some new classes of words and permutations characterized by the second difference condition $\pi(i-1) + \pi(i+1) - 2\pi(i) \leq k$, which we call the $k$-convexity condition. We demonstrate that for any sized alphabet and…

Combinatorics · Mathematics 2015-07-08 Christopher Coscia , Jonathan DeWitt

We introduce an algorithm for the uniform generation of infinite traces, i.e., infinite words up to commutation of some letters. The algorithm outputs on-the-fly approximations of a theoretical infinite trace, the latter being distributed…

Combinatorics · Mathematics 2025-05-27 Samy Abbes , Vincent Jugé

A string $w$ is called a minimal absent word (MAW) for a string $S$ if $w$ does not occur as a substring in $S$ and all proper substrings of $w$ occur in $S$. MAWs are well-studied combinatorial string objects that have potential…

Data Structures and Algorithms · Computer Science 2023-08-01 Kouta Okabe , Takuya Mieno , Yuto Nakashima , Shunsuke Inenaga , Hideo Bannai

Given an item and a list of values of size $N$. It is required to decide if such item exists in the list. Classical computer can search for the item in O(N). The best known quantum algorithm can do the job in $O(\sqrt{N})$. In this paper, a…

Quantum Physics · Physics 2008-11-27 Ahmed Younes

A choice dictionary is a data structure that can be initialized with a parameter $n\in\{1,2,\ldots\}$ and subsequently maintains an initially empty subset $S$ of $\{1,\ldots,n\}$ under insertion, deletion, membership queries and an…

Data Structures and Algorithms · Computer Science 2017-11-03 Torben Hagerup

The integer division of a numerator n by a divisor d gives a quotient q and a remainder r. Optimizing compilers accelerate software by replacing the division of n by d with the division of c * n (or c * n + c) by m for convenient integers c…

Data Structures and Algorithms · Computer Science 2021-11-16 Daniel Lemire , Colin Bartlett , Owen Kaser