English
Related papers

Related papers: Checking whether a word is Hamming-isometric in li…

200 papers

We consider two graph models of semantic change. The first is a time-series model that relates embedding vectors from one time period to embedding vectors of previous time periods. In the second, we construct one graph for each word: nodes…

Computation and Language · Computer Science 2017-04-11 Steffen Eger , Alexander Mehler

We consider the problem of finding repetitive structures and inherent patterns in a given string $\s{s}$ of length $n$ over a finite totally ordered alphabet. A border $\s{u}$ of a string $\s{s}$ is both a prefix and a suffix of $\s{s}$…

Data Structures and Algorithms · Computer Science 2015-06-24 Ali Alatabbi , Jacqueline W. Daykin , M. Sohel Rahman

A locally threshold testable language L is a language with the property that for some non negative integers k and l and for some word u from L, a word v belongs to L if and only if (1) the prefixes [suffixes] of length k-1 of words u and v…

Formal Languages and Automata Theory · Computer Science 2020-11-13 A. N. Trahtman

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

Given two finite words $u$ and $v$ of equal length, define the \emph{overlap gap between $u$ and $v$}, denoted $og(u,v)$, as the least integer $m$ for which there exist words $x$ and $x'$ of length $m$ such that $xu=vx'$ or $ux=x'v$.…

Combinatorics · Mathematics 2018-04-30 J. C. Costa , C. Nogueira , M. L. Teixeira

Let $L_{K}(A)$ be the free Lie algebra on a finite alphabet $A$ over a commutative ring $K$ with unity. For a word $u$ in the free monoid $A^{*}$ let $\tilde{u}$ denote its reversal. Two words in $A^{*}$ are called twin (resp. anti-twin) if…

Combinatorics · Mathematics 2010-11-09 Ioannis C. Michos

The avoidability, or unavoidability of patterns in words over finite alphabets has been studied extensively. A word (pattern) over a finite set is said to be unavoidable if, for all but finitely many words, there exists a morphism mapping…

Formal Languages and Automata Theory · Computer Science 2019-07-16 Paul Sauer

Despite recent concerns about undesirable behaviors generated by large language models (LLMs), including non-factual, biased, and hateful language, we find LLMs are inherent multi-task language checkers based on their latent representations…

Computation and Language · Computer Science 2023-04-10 Tianhua Zhang , Hongyin Luo , Yung-Sung Chuang , Wei Fang , Luc Gaitskell , Thomas Hartvigsen , Xixin Wu , Danny Fox , Helen Meng , James Glass

We study words that barely avoid repetitions, for several senses of "barely". A squarefree (respectively, overlap-free, cubefree) word is irreducible if removing any one of its interior letters creates a square (respectively, overlap,…

Combinatorics · Mathematics 2021-08-25 Benjamin Przybocki

Let n be an even positive integer and F be the field \GF(2). A word in F^n is called balanced if its Hamming weight is n/2. A subset C \subseteq F^n$ is called a balancing set if for every word y \in F^n there is a word x \in C such that y…

Information Theory · Computer Science 2010-12-17 Arya Mazumdar , Ron M. Roth , Pascal O. Vontobel

This paper introduces a novel method, referred to as "hashing", which involves masking potentially bias-inducing words in large language models (LLMs) with hash-like meaningless identifiers to reduce cognitive biases and reliance on…

Computation and Language · Computer Science 2025-06-12 Milena Chadimová , Eduard Jurášek , Tomáš Kliegr

We study 4 problems in string matching, namely, regular expression matching, approximate regular expression matching, string edit distance, and subsequence indexing, on a standard word RAM model of computation that allows logarithmic-sized…

Data Structures and Algorithms · Computer Science 2008-09-22 Philip Bille , Martin Farach-Colton

In runtime verification, pattern matching, which searches for occurrences of a specific pattern within a word, provides more information than a simple violation detection of the monitored property, by locating concrete evidence of the…

Formal Languages and Automata Theory · Computer Science 2025-07-17 Masaki Waga , Étienne André

A frame is an overcomplete set that can represent vectors(signals) faithfully and stably. Two frames are equivalent if signals can be essentially represented in the same way, which means two frames differ by a permutation, sign change or…

Information Theory · Computer Science 2019-11-19 Xuemei Chen , Yang Chu , Min Zheng

Two finite words $u,v$ are 2-binomially equivalent if, for all words $x$ of length at most 2, the number of occurrences of $x$ as a (scattered) subword of $u$ is equal to the number of occurrences of $x$ in $v$. This notion is a refinement…

Formal Languages and Automata Theory · Computer Science 2013-10-18 M. Rao , M. Rigo , P. Salimov

Information set decoding (ISD) algorithms are the best known procedures to solve the decoding problem for general linear codes. These algorithms are hence used for codes without a visible structure, or for which efficient decoders…

Cryptography and Security · Computer Science 2021-02-19 Violetta Weger , Massimo Battaglioni , Paolo Santini , Franco Chiaraluce , Marco Baldi , Edoardo Persichetti

Given a pattern of length $m$ and a text of length $n$, the goal in $k$-mismatch pattern matching is to compute, for every $m$-substring of the text, the exact Hamming distance to the pattern or report that it exceeds $k$. This can be…

Data Structures and Algorithms · Computer Science 2017-04-06 Paweł Gawrychowski , Przemysław Uznański

We characterize the words that can be mapped to arbitrarily high powers by injective morphisms. For all other words, we prove a linear upper bound for the highest power that they can be mapped to, and this bound is optimal up to a constant…

Formal Languages and Automata Theory · Computer Science 2025-03-04 Aleksi Saarela

Sequence comparison is a prerequisite to virtually all comparative genomic analyses. It is often realized by sequence alignment techniques, which are computationally expensive. This has led to increased research into alignment-free…

Data Structures and Algorithms · Computer Science 2015-12-23 Maxime Crochemore , Gabriele Fici , Robert Mercaş , Solon P. Pissis

An overlap-free (or $\beta$-free) word $w$ over a fixed alphabet $\Sigma$ is extremal if every word obtained from $w$ by inserting a single letter from $\Sigma$ at any position contains an overlap (or a factor of exponent at least $\beta$,…

Combinatorics · Mathematics 2020-06-19 Lucas Mol , Narad Rampersad , Jeffrey Shallit