中文
相关论文

相关论文: Short lists for shortest descriptions in short tim…

200 篇论文

The incompressibility method is a counting argument in the framework of algorithmic complexity that permits discovering properties that are satisfied by most objects of a class. This paper gives a preliminary insight into Kolmogorov's…

信息论 · 计算机科学 2024-07-25 Carles Cardó

Given a machine $U$, a $c$-short program for $x$ is a string $p$ such that $U(p)=x$ and the length of $p$ is bounded by $c$ + (the length of a shortest program for $x$). We show that for any standard Turing machine, it is possible to…

计算复杂性 · 计算机科学 2017-03-31 Bruno Bauwens , Anton Makhlin , Nikolay Vereshchagin , Marius Zimand

Many combinatorial optimization problems can be formulated as the search for a subgraph that satisfies certain properties and minimizes the total weight. We assume here that the vertices correspond to points in a metric space and can take…

数据结构与算法 · 计算机科学 2024-12-25 Marin Bougeret , Jérémy Omer , Michael Poss

In this note, we leverage some of our results from arXiv:1706.06319 to produce a concise and rigorous proof for the complexity of the generalized MinRank Problem in the under-defined and well-defined case. Our main theorem recovers and…

符号计算 · 计算机科学 2022-03-11 Alessio Caminata , Elisa Gorla

Bitstrings can be permuted via permutations and compared via the lexicographic order. In this paper we study the complexity of finding a minimum of a bitstring via given permutations. As a global optima is known to be NP-complete, we study…

计算复杂性 · 计算机科学 2025-07-18 Dominik Scheder , Johannes Tantow

The search is based on the preliminary transformation of matrices or adjacency lists traditionally used in the study of graphs into projections cleared of redundant information (refined) followed by the selection of the desired shortest…

分布式、并行与集群计算 · 计算机科学 2026-01-16 V. A. Melent'ev

The word "complexity" is most often used as a meta--linguistic expression referring to certain intuitive characteristics of a natural system and/or its scientific description. These characteristics may include: sheer amount of data that…

历史与综述 · 数学 2013-01-03 Yuri I. Manin

We study the fundamental problem of finding the best string to represent a given set, in the form of the Closest String problem: Given a set $X \subseteq \Sigma^d$ of $n$ strings, find the string $x^*$ minimizing the radius of the smallest…

计算复杂性 · 计算机科学 2023-05-30 Amir Abboud , Nick Fischer , Elazar Goldenberg , Karthik C. S. , Ron Safier

A real number is called left-computable if there exists a computable increasing sequence of rational numbers converging to it. In this article we investigate the Kolmogorov complexity and the binary expansions of a very specific subset of…

逻辑 · 数学 2025-09-29 Peter Hertling , Philip Janicki

The purpose of this paper is to answer two questions left open in [B. Durand, A. Shen, and N. Vereshchagin, Descriptive Complexity of Computable Sequences, Theoretical Computer Science 171 (2001), pp. 47--58]. Namely, we consider the…

逻辑 · 数学 2019-02-05 Nikolay Vereshchagin

We completely classify the computational complexity of the list H-colouring problem for graphs (with possible loops) in combinatorial and algebraic terms: for every graph H the problem is either NP-complete, NL-complete, L-complete or is…

计算复杂性 · 计算机科学 2010-02-03 Laszlo Egri , Andrei Krokhin , Benoit Larose , Pascal Tesson

Let $s$ be a finite sequence over a field of length $n$. It is well-known that if $s$ satisfies a linear recurrence of order $d$ with non-zero constant term, then the reverse of $s$ also satisfies a recurrence of order $d$ (with…

信息论 · 计算机科学 2010-07-26 Graham H. Norton

The halting problem is undecidable --- but can it be solved for "most" inputs? This natural question was considered in a number of papers, in different settings. We revisit their results and show that most of them can be easily proven in a…

逻辑 · 数学 2017-01-11 Laurent Bienvenu , Damien Desfontaines , Alexander Shen

In binary jumbled pattern matching we wish to preprocess a binary string $S$ in order to answer queries $(i,j)$ which ask for a substring of $S$ that is of size $i$ and has exactly $j$ 1-bits. The problem naturally generalizes to…

数据结构与算法 · 计算机科学 2014-07-01 Danny Hermelin , Gad M. Landau , Yuri Rabinovich , Oren Weimann

Depth of an object concerns a tradeoff between computation time and excess of program length over the shortest program length required to obtain the object. It gives an unconditional lower bound on the computation time from a given program…

计算复杂性 · 计算机科学 2008-09-16 Luis Antunes , Armando Matos , Andre Souto , Paul Vitanyi

We consider the problem of binary string reconstruction from the multiset of its substring compositions, i.e., referred to as the substring composition multiset, first introduced and studied by Acharya et al. We introduce a new algorithm…

信息论 · 计算机科学 2023-06-05 Utkarsh Gupta , Hessam Mahdavifar

Motivated by mass-spectrometry protein sequencing, we consider a simply-stated problem of reconstructing a string from the multiset of its substring compositions. We show that all strings of length 7, one less than a prime, or one less than…

离散数学 · 计算机科学 2014-03-12 Jayadev Acharya , Hirakendu Das , Olgica Milenkovic , Alon Orlitsky , Shengjun Pan

Consider a binary string $x$ of length $n$ whose Kolmogorov complexity is $\alpha n$ for some $\alpha<1$. We want to increase the complexity of $x$ by changing a small fraction of bits in $x$. This is always possible: Buhrman, Fortnow,…

信息论 · 计算机科学 2019-01-17 Gleb Posobin , Alexander Shen

We construct a universal decompressor $U$ for plain Kolmogorov complexity $\mathrm{C}_U$ such that the Halting Problem cannot be decided by any polynomial-time oracle machine with access to the set of random strings $R_{\mathrm{C}_U} = \{x…

计算复杂性 · 计算机科学 2026-05-20 Alexey Milovanov

The Longest Common Subsequence (LCS) is a fundamental string similarity measure, and computing the LCS of two strings is a classic algorithms question. A textbook dynamic programming algorithm gives an exact algorithm in quadratic time, and…

数据结构与算法 · 计算机科学 2023-02-13 Xiaoyu He , Ray Li