English
Related papers

Related papers: On the piecewise complexity of words

200 papers

We define a notion of complexity for shake-slice knots which is analogous to the definition of complexity for h-cobordisms studied by Morgan-Szab\'o. We prove that for each framing $n \ne 0$ and complexity $c \ge 0$, there is an…

Geometric Topology · Mathematics 2022-11-14 Charles Ransome Stine

The assembly index of assembly theory quantifies the minimal number of composition steps required to construct an object from elementary components. The study proves that the decision version of the assembly index problem is NP-complete,…

Computational Complexity · Computer Science 2026-04-21 Piotr Masierak

Every countable structure has a sentence of the infinitary logic $\mathcal{L}_{\omega_1 \omega}$ which characterizes that structure up to isomorphism among countable structures. Such a sentence is called a Scott sentence, and can be thought…

Logic · Mathematics 2020-11-10 Matthew Harrison-Trainor

A factor $u$ of a word $w$ is a cover of $w$ if every position in $w$ lies within some occurrence of $u$ in $w$. A word $w$ covered by $u$ thus generalizes the idea of a repetition, that is, a word composed of exact concatenations of $u$.…

Data Structures and Algorithms · Computer Science 2014-01-03 Tomasz Kociumaka , Jakub Radoszewski , Wojciech Rytter , Solon P. Pissis , Tomasz Waleń

We study two complexity notions of groups - a computable Scott sentence and the index set of a group. Finding the exact complexity of one of them usually involves finding the complexity of the other, but this is not the case sometimes. J.…

Logic · Mathematics 2016-04-19 Meng-Che Ho

We analyze the algorithm in [Holub, 2009], which decides whether a given word is a fixed point of a nontrivial morphism. We show that it can be implemented to have complexity in O(mn), where n is the length of the word and m the size of the…

Formal Languages and Automata Theory · Computer Science 2013-10-04 Vojtěch Matocha , Štěpán Holub

For a non-negative integer $k$, a language is $k$-piecewise test\-able ($k$-PT) if it is a finite boolean combination of languages of the form $\Sigma^* a_1 \Sigma^* \cdots \Sigma^* a_n \Sigma^*$ for $a_i\in\Sigma$ and $0\le n \le k$. We…

Formal Languages and Automata Theory · Computer Science 2015-06-10 Tomáš Masopust , Michaël Thomazo

The Kolmogorov complexity of a string is the length of its shortest description. We define a second quantised Kolmogorov complexity where the length of a description is defined to be the average length of its superposition. We discuss this…

Quantum Physics · Physics 2008-09-17 Caroline Rogers , Vlatko Vedral , Rajagopal Nagarajan

Given a digraph D, the minimum semi-degree of D is the minimum of its minimum indegree and its minimum outdegree. D is k-ordered Hamiltonian if for every ordered sequence of k distinct vertices there is a directed Hamilton cycle which…

Combinatorics · Mathematics 2007-07-12 Daniela Kühn , Deryk Osthus , Andrew Young

We consider rotations on the torus $\mathbb{T}^2$, and we classify them with respect to the complexity functions. In dimension one, a minimal rotation can be coded by a sturmian word. A sturmian word has complexity $n+1$ by the…

Dynamical Systems · Mathematics 2012-05-24 Nicolas Bédaride

A word $u=u_1\dots u_n$ is a scattered factor of a word $w$ if $u$ can be obtained from $w$ by deleting some of its letters: there exist the (potentially empty) words $v_0,v_1,..,v_n$ such that $w = v_0u_1v_1...u_nv_n$. The set of all…

Formal Languages and Automata Theory · Computer Science 2020-03-11 Laura Barker , Pamela Fleischmann , Katharina Harwardt , Florin Manea , Dirk Nowotka

Current lexical simplification approaches rely heavily on heuristics and corpus level features that do not always align with human judgment. We create a human-rated word-complexity lexicon of 15,000 English words and propose a novel neural…

Computation and Language · Computer Science 2018-10-16 Mounica Maddela , Wei Xu

A reduced word of a permutation $w$ is a minimal length expression of $w$ as a product of simple transpositions. We examine the computational complexity, formulas and (randomized) algorithms for their enumeration. In particular, we prove…

Combinatorics · Mathematics 2022-06-08 Cara Monical , Benjamin Pankow , Alexander Yong

Indexed languages are a classical notion in formal language theory. As the language equivalent of second-order pushdown automata, they have received considerable attention in higher-order model checking. Unfortunately, counting properties…

Formal Languages and Automata Theory · Computer Science 2024-05-14 Laura Ciobanu , Georg Zetzsche

We investigate the function $L(h,p,q)$, called here the threshold function, related to periodicity of partial words (words with holes). The value $L(h,p,q)$ is defined as the minimum length threshold which guarantees that a natural…

Discrete Mathematics · Computer Science 2018-01-04 Tomasz Kociumaka , Jakub Radoszewski , Wojciech Rytter , Tomasz Waleń

The integer complexity $f(n)$ of a positive integer $n$ is defined as the minimum number of 1's needed to represent $n$, using additions, multiplications and parentheses. We present two simple and faster algorithms for computing the integer…

Data Structures and Algorithms · Computer Science 2023-09-14 Qizheng He

In this paper we explore a new hierarchy of classes of languages and infinite words and its connection with complexity classes. Namely, we say that a language belongs to the class $L_k$ if it is a subset of the catenation of $k$ languages…

Formal Languages and Automata Theory · Computer Science 2014-06-17 J. Cassaigne , A. E. Frid , S. Puzynina , L. Q. Zamboni

An infinite permutation is a linear ordering of the set of natural numbers. An infinite permutation can be defined by a sequence of real numbers where only the order of elements is taken into account. In the paper we investigate a new class…

Combinatorics · Mathematics 2016-12-15 Sergey V. Avgustinovich , Anna E. Frid , Svetlana Puzynina

Existing image complexity metrics cannot distinguish meaningful content from noise. This means that white noise images, which contain no meaningful information, are judged as highly complex. We present a new image complexity metric through…

Computer Vision and Pattern Recognition · Computer Science 2023-08-24 Louis Mahon , Thomas Lukasiewicz

The Krohn-Rhodes Theorem proves that a finite semigroup divides a wreath product of groups and aperiodic semigroups. Krohn-Rhodes complexity equals the minimal number of groups that are needed. Determining an algorithm to compute complexity…

Group Theory · Mathematics 2024-06-27 Stuart Margolis , John Rhodes , Anne Schilling