Masalah yang status kepesertaannya tidak diketahui tetapi diketahui lebih sulit daripada masalah penghentian

Apakah ada masalah decidability yang tidak diketahui tetapi diketahui pasti bahwa masalahnya kurang sulit daripada masalah penghentian.

computability reference-request undecidability

— ARi
sumber

lihat Masalah sederhana yang sifat keputus-asaannya tidak diketahui di Theoretical Computer Science .

— Kaveh

Dengan asumsi bahwa dengan "kurang keras" yang Anda maksudkan "dapat direduksi menjadi", maka masalah apa pun yang diketahui ada di dalamnya $RE$ tetapi tidak diketahui berada di $R$ memenuhi kondisi ini.

Sebagai contoh, ambil masalah PCP dengan 4 petak, yang kepatutannya terbuka. Ini adalah latihan yang mudah untuk mengurangi masalah (atau masalah lainnya dalam RE) menjadi HALT.

— Shaull
sumber

Tidak diketahui bahwa HALT dapat direduksi menjadi PCP dengan 4 ubin . Yang terakhir adalah masalah terbuka.

— Shaull

Disebutkan (saya menulis bahwa decidability tidak diketahui, disiratkan bahwa tidak ada pengurangan yang diketahui dari HALT).

— Shaull