The Robertson-Seymour teorema mengatakan bahwa setiap keluarga kecil-tertutup grafik dapat dicirikan oleh finitely banyak anak di bawah umur dilarang.
Apakah ada algoritma yang untuk input menghasilkan anak di bawah umur terlarang atau apakah ini tidak dapat diputuskan?
Jelas, jawabannya mungkin tergantung pada bagaimana dijelaskan dalam input. Misalnya, jika diberikan oleh yang dapat memutuskan keanggotaan, kita bahkan tidak bisa memutuskan apakah pernah menolak apa-apa. Jika diberikan oleh banyak anak di bawah umur terlarang - yah, itulah yang kami cari. Saya akan penasaran ingin tahu jawabannya jika dijamin untuk berhenti di setiap di beberapa jumlah waktu yang tetap di . Saya juga tertarik pada hasil yang terkait, di mana terbukti menjadi kecil-tertutup dengan beberapa sertifikat lain (seperti dalam kasus atauBUKTI SALAH).
Pembaruan: Versi pertama pertanyaan saya ternyata cukup mudah, berdasarkan gagasan Marzio dan Kimpel, pertimbangkan konstruksi berikut. menerima grafik pada simpul jika dan hanya jika tidak menghentikan dalam langkah. Ini sedikit tertutup dan waktu berjalan hanya bergantung pada .