Masalah penghentian untuk mesin Turing mungkin adalah set kanonik yang tidak dapat ditentukan. Namun demikian, kami membuktikan bahwa ada algoritma yang memutuskan hampir semua instance dari itu. Masalah penghentian karena itu di antara koleksi yang berkembang dari mereka yang menunjukkan "lubang hitam" fenomena teori kompleksitas, dimana kesulitan dari masalah yang tidak dapat ditentukan atau tidak dapat dipastikan terbatas pada wilayah yang sangat kecil, sebuah lubang hitam, di luar di mana masalahnya adalah mudah.
[Joel David Hamkins dan Alexei Miasnikov, " Masalah yang terputus-putus ditentukan pada seperangkat satu probabilitas asimptotik ", 2005]
Adakah yang bisa memberikan referensi ke "lubang hitam" lainnya dalam teori kompleksitas, atau tempat lain di mana konsep ini atau yang terkait dibahas?