5 research outputs found
Asymptotic Proportion of Hard Instances of the Halting Problem
Although the halting problem is undecidable, imperfect testers that fail on
some instances are possible. Such instances are called hard for the tester. One
variant of imperfect testers replies "I don't know" on hard instances, another
variant fails to halt, and yet another replies incorrectly "yes" or "no". Also
the halting problem has three variants: does a given program halt on the empty
input, does a given program halt when given itself as its input, or does a
given program halt on a given input. The failure rate of a tester for some size
is the proportion of hard instances among all instances of that size. This
publication investigates the behaviour of the failure rate as the size grows
without limit. Earlier results are surveyed and new results are proven. Some of
them use C++ on Linux as the computational model. It turns out that the
behaviour is sensitive to the details of the programming language or
computational model, but in many cases it is possible to prove that the
proportion of hard instances does not vanish.Comment: 18 pages. The differences between this version and arXiv:1307.7066v1
are significant. They have been listed in the last paragraph of Section 1.
Excluding layout, this arXiv version is essentially identical to the Acta
Cybernetica versio
Generic algorithms for halting problem and optimal machines revisited
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 natural framework of optimal machines (considered in
algorithmic information theory) using the notion of Kolmogorov complexity. We
also consider some related questions about this framework and about asymptotic
properties of the halting problem. In particular, we show that the fraction of
terminating programs cannot have a limit, and all limit points are Martin-L\"of
random reals. We then consider mass problems of finding an approximate solution
of halting problem and probabilistic algorithms for them, proving both positive
and negative results. We consider the fraction of terminating programs that
require a long time for termination, and describe this fraction using the busy
beaver function. We also consider approximate versions of separation problems,
and revisit Schnorr's results about optimal numberings showing how they can be
generalized.Comment: a preliminary version was presented at the ICALP 2015 conferenc