English
Related papers

Related papers: A binary version of the Mahler-Popken complexity f…

200 papers

While looking for abductive explanations of a given set of manifestations, an ordering between possible solutions is often assumed. The complexity of finding/verifying optimal solutions is already known. In this paper we consider the…

Logic in Computer Science · Computer Science 2021-04-09 Paolo Liberatore , Marco Schaerf

Let $B_n(m)$ be a set picked uniformly at random among all $m$-elements subsets of $\{1,2,\ldots,n\}$. We provide a pathwise construction of the collection $(B_n(m))_{1\leq m\leq n}$ and prove that the logarithm of the least common multiple…

Probability · Mathematics 2020-04-14 Dariusz Buraczewski , Alexander Iksanov , Alexander Marynych

This thesis addresses the question of the maximal number of $d$-simplices for a simplicial complex which is embeddable into $\mathbb{R}^r$ for some $d \leq r \leq 2d$. A lower bound of $f_d(C_{r + 1}(n)) =…

Combinatorics · Mathematics 2018-12-21 Anna Gundert

The size $b$ of the smallest bidirectional macro scheme, which is arguably the most general copy-paste scheme to generate a given sequence, is considered to be the strictest reachable measure of repetitiveness. It is strictly lower-bounded…

Data Structures and Algorithms · Computer Science 2021-05-31 Gonzalo Navarro , Cristian Urbina

A Lyndon word is a primitive string which is lexicographically smallest among cyclic permutations of its characters. Lyndon words are used for constructing bases in free Lie algebras, constructing de Bruijn sequences, finding the…

Data Structures and Algorithms · Computer Science 2013-01-03 Shoshana Marcus , Dina Sokol

In this note, we give a construction that provides a tight lower bound of mn-1 for the length of the shortest word in the intersection of two regular languages with state complexities m and n.

Formal Languages and Automata Theory · Computer Science 2009-10-09 Thomas Ang , Jeffrey Shallit

Deciding whether a diagram of a knot can be untangled with a given number of moves (as a part of the input) is known to be NP-complete. In this paper we determine the parameterized complexity of this problem with respect to a natural…

Computational Complexity · Computer Science 2021-11-10 Clément Legrand-Duchesne , Ashutosh Rai , Martin Tancer

In the Structure of Appearance and in Problems and Projects, Nelson Goodman has constructed a theory of complexity whose elements are the predicates of a system. One of his main results is a closed formula to evaluate v[n-pl], the maximum…

Combinatorics · Mathematics 2013-06-19 Godofredo Iommi Amunategui

The (prefix-free) Kolmogorov complexity of a finite binary string is the length of the shortest description of the string. This gives rise to some `standard' lowness notions for reals: A is K-trivial if its initial segments have the lowest…

Logic · Mathematics 2014-10-15 Ian Herbert

Finding the smallest $d$-chain with a specific $(d-1)$-boundary in a simplicial complex is known as the \textsc{Minimum Bounded Chain} (MBC$_d$) problem. The MBC$_d$ problem is NP-hard for all $d\geq 2$. In this paper, we prove that it is…

Computational Geometry · Computer Science 2021-08-13 Nello Blaser , Morten Brun , Lars M. Salbu , Erlend Raa Vågset

We propose a new finding $k$-minima algorithm and prove that its query complexity is $\mathcal{O}(\sqrt{kN})$, where $N$ is the number of data indices. Though the complexity is equivalent to that of an existing method, the proposed is…

Quantum Physics · Physics 2019-07-09 Kohei Miyamoto , Masakazu Iwamura , Koichi Kise

For the computational model where only additions are allowed, the $\Omega(n^2\log n)$ lower bound on operations count with respect to image size $n\times n$ is obtained for two types of the discrete Radon transform implementations: the fast…

Computational Complexity · Computer Science 2018-01-04 Timur M. Khanipov

The state complexity of a regular language is the number of states in a minimal deterministic finite automaton accepting the language. The syntactic complexity of a regular language is the cardinality of its syntactic semigroup. The…

Formal Languages and Automata Theory · Computer Science 2017-01-16 Janusz A. Brzozowski , Marek Szykuła , Yuli Ye

The matrix chain problem consists in finding the parenthesization of a matrix product $M := A_1 A_2 \cdots A_n$ that minimizes the number of scalar operations. In practical applications, however, one frequently encounters more complicated…

Data Structures and Algorithms · Computer Science 2016-11-18 Henrik Barthels , Paolo Bientinesi

This is the English version of the paper: "Complejidad de los n\'umeros naturales", Gaceta de la Real Sociedad Matem\'atica Espa\~nola 3 (2000) 230--250. In this paper, several conjectures about the complexity of natural numbers are…

Number Theory · Mathematics 2021-11-08 J. Arias de Reyna

The syntactic complexity of a regular language is the cardinality of its syntactic semigroup. The syntactic complexity of a subclass of the class of regular languages is the maximal syntactic complexity of languages in that class, taken as…

Formal Languages and Automata Theory · Computer Science 2011-11-21 Janusz Brzozowski , Baiyu Li , Yuli Ye

We consider a probability distribution on the set of Boolean functions in n variables which is induced by random Boolean expressions. Such an expression is a random rooted plane tree where the internal vertices are labelled with connectives…

Combinatorics · Mathematics 2015-09-28 Antoine Genitrini , Bernhard Gittenberger , Veronika Kraus , Cécile Mailler

Shannon's entropy is a definitive lower bound for statistical compression. Unfortunately, no such clear measure exists for the compressibility of repetitive strings. Thus, ad hoc measures are employed to estimate the repetitiveness of…

Data Structures and Algorithms · Computer Science 2023-11-16 Giulia Bernardini , Gabriele Fici , Paweł Gawrychowski , Solon P. Pissis

The regular expression matching problem asks whether a given regular expression of length $m$ matches a given string of length $n$. As is well known, the problem can be solved in $O(nm)$ time using Thompson's algorithm. Moreover, recent…

Computational Complexity · Computer Science 2026-04-03 Taisei Nogami , Yoshiki Nakamura , Tachio Terauchi

We introduce a simple lattice model in which percolation is constructed on top of critical percolation clusters, and show that it can be repeated recursively any number $n$ of generations. In two dimensions, we determine the percolation…

Statistical Mechanics · Physics 2015-08-05 Youjin Deng , Jesper Lykke Jacobsen , Xuan-Wen Liu
‹ Prev 1 3 4 5 6 7 10 Next ›