O problema da parada para as máquinas de Turing é talvez o conjunto indecidível canônico. No entanto, provamos que existe um algoritmo que decide quase todas as instâncias dele. O problema da parada está, portanto, entre a crescente coleção daqueles que exibem o fenômeno da teoria da complexidade do “buraco negro”, pelo qual a dificuldade de um problema inviável ou indecidível se limita a uma região muito pequena, um buraco negro, fora do qual o problema está fácil.
[Joel David Hamkins e Alexei Miasnikov, " O problema da parada é decidível em um conjunto de probabilidade assintótica 1 ", 2005]
Alguém pode fornecer referências a outros "buracos negros" na teoria da complexidade ou a outro local em que esse ou outros conceitos relacionados são discutidos?