activity
20132026
most citedShort lists with short programs for functions

3 citations · 3 across the 5 of their papers we have counts for

collaborators

7 papers

cs.IT2026

Maximal Kolmogorov Complexity in a Hamming Ball

Alexander Kozachinskiy, Nikolay Vereshchagin

The minimal Kolmogorov complexity of a string within Hamming distance r of a given string x is the algorithmic rate-distortion function of x, and Vereshchagin and Vitanyi character…

math.DS2026

Matching Rules for Substitution and Hierarchical Tilings for any Substitution with Finite Local Complexity

Nikolay Vereshchagin

The Goodman-Strauss theorem states that for ``almost every'' substitution , the family of substitution tilings is sofic, that is, it can be defined by local matching rules for s…

math.CO2025

Goodman-Strauss theorem revisited

Nikolay Vereshchagin

The Goodman-Strauss theorem states that for ``almost every" substitution, the family of substitution tilings is sofic, that is, it can be defined by local rules for some decoration…

math.LO2023

Kolmogorov Last Discovery? (Kolmogorov and Algorithmic Statictics)

Alexey Semenov, Alexander Shen, Nikolay Vereshchagin

The last theme of Kolmogorov's mathematics research was algorithmic theory of information, now often called Kolmogorov complexity theory. There are only two main publications of Ko…

math.LO2019

Descriptive Complexity of Computable Sequences Revisited

Nikolay Vereshchagin

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 Sci…

math.LO2014★ 3 cited

Short lists with short programs for functions

Nikolay Vereshchagin

Let be an optimal Gödel numbering of the family of computable functions (in Schnorr's sense), where ranges over binary strings. Assume that a list of strings i…

cs.CC2013

Short lists with short programs in short time

Bruno Bauwens, Anton Makhlin, Nikolay Vereshchagin +1

Given a machine , a -short program for is a string such that and the length of is bounded by + (the length of a shortest program for ). We show th…