Julien Destombes

dblp:220/3460 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
1since 2021 · last 2022
0000-0003-4041-9239ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 first-author · 1 since 2021
YearPublicationVenuePosition
2022 Resource-bounded Kolmogorov complexity provides an obstacle to soficness of multidimensional shifts
abstract
We suggest necessary conditions for soficness of multidimensional shifts formulated in terms of resource-bounded Kolmogorov complexity . Using this technique we provide examples of effective and non-sofic shifts on Z 2 with very low block complexity: the number of globally admissible patterns of size n × n grows only as a polynomial in n . We also show that more conventional proofs of non-soficness for multi-dimensional effective shifts, including the techniques of Pavlov (2013) [15] and Kass and Madden (2013) [6] , can be expressed in terms of Kolmogorov complexity with unbounded computational resources .
Julien Destombes, Andrei Romashchenko
J. Comput. Syst. Sci.1
2019 Resource-Bounded Kolmogorov Complexity Provides an Obstacle to Soficness of Multidimensional Shifts
abstract
Extended version: 18 pages, 5 figures
Julien Destombes, Andrei Romashchenko
STACS1