中文
相关论文

相关论文: A binary version of the Mahler-Popken complexity f…

200 篇论文

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…

计算机科学中的逻辑 · 计算机科学 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…

概率论 · 数学 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)) =…

组合数学 · 数学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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.

形式语言与自动机理论 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

组合数学 · 数学 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…

逻辑 · 数学 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…

计算几何 · 计算机科学 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…

量子物理 · 物理学 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…

计算复杂性 · 计算机科学 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…

形式语言与自动机理论 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数论 · 数学 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…

形式语言与自动机理论 · 计算机科学 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…

组合数学 · 数学 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…

数据结构与算法 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

统计力学 · 物理学 2015-08-05 Youjin Deng , Jesper Lykke Jacobsen , Xuan-Wen Liu