Take the 2-minute tour ×
Theoretical Computer Science Stack Exchange is a question and answer site for theoretical computer scientists and researchers in related fields. It's 100% free, no registration required.

The halting problem for Turing machines is perhaps the canonical undecidable set. Nevertheless, we prove that there is an algorithm deciding almost all instances of it. The halting problem is therefore among the growing collection of those exhibiting the “black hole” phenomenon of complexity theory, by which the difficulty of an unfeasible or undecidable problem is confined to a very small region, a black hole, outside of which the problem is easy.

[Joel David Hamkins and Alexei Miasnikov, "The halting problem is decidable on a set of asymptotic probability one", 2005]

Can anyone provide references to other “black holes” in complexity theory, or another place where this or related concepts are discussed?

share|improve this question
3  
Joel regularly visits MathOverflow, you can ask the question here to get an answer from him. IIRC there was a question about the result there. –  Kaveh Mar 13 at 21:54
3  
See also HeurP. –  Kaveh Mar 13 at 21:59
1  
Perhaps another example is Graph Isomorphism (which is an NP-intermediate problem). On "real instances" it is very easy (trivial for random instances?) and for many graph classes there is a polynomial time algorithm. The "black hole" seems so tight that it is not so easy to generate hard instances and nauty, one of the most efficient tool to solve it, is often used to generate (hard) instances. But perhaps, the "black hole" will vanish and will leave the poor GI in P :-D –  Marzio De Biasi Mar 13 at 23:42
    
@Marzio, non-real world examples are not usually a small fraction of all instances and is different from what they are referring to in the paper. –  Kaveh Mar 14 at 1:33
    
HeurP sounds like it assumes a probability distribution on instances, but I think a nice different formalization of the phenomenon would be this: The language $A$ is hard for some class, but there exists a promise problem $A' = (A'_y,A'_n)$ that is in some easier class with $A'_y$ "asmyptotically dense" in $A$ and $A'_n$ "asymptotically dense" in $\bar{A}$, where asmyptotically is as the size of the strings in the languages goes to infinity. –  usul Mar 14 at 1:37

2 Answers 2

up vote 15 down vote accepted

I'm not sure whether this is what you're looking, but the phase transition in random SAT is an example. Let $\rho$ be the ratio of number of clauses to number of variables. Then a random SAT instance with parameter $\rho$ is very likely to be satisfiable if $\rho$ is less than a fixed constant (near 4.2) and is very likely to be unsatisfiable if $\rho$ is a little bit more than this constant. The "black hole" is the phase transition.

share|improve this answer
1  
Similar to this, Ham Cycle can be shown to be polytime solvable on a random graph (according to some reasonable random generation process), yet it is NP-hard just because of very specially-constructed examples. There are many other examples along this line. –  Jim Nastos Mar 14 at 0:52

Like the Halting problem, Post's Correspondence Problem is undecidable in general. Ling Zhao's Master's thesis describes a large set of solvable instances of the PCP problem, including some "hard" instances. But I don't know if the size/density/measure of his set of solvable instances is on par with the Halting Problem result you cite.

http://webdocs.cs.ualberta.ca/~games/PCP/paper/CG2002.pdf

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.