Apakah ada algoritma yang menemukan anak di bawah umur terlarang?


9

The Robertson-Seymour teorema mengatakan bahwa setiap keluarga kecil-tertutup grafik dapat dicirikan oleh finitely banyak anak di bawah umur dilarang.G

Apakah ada algoritma yang untuk input G menghasilkan anak di bawah umur terlarang atau apakah ini tidak dapat diputuskan?

Jelas, jawabannya mungkin tergantung pada bagaimana G dijelaskan dalam input. Misalnya, jika G diberikan oleh M.G yang dapat memutuskan keanggotaan, kita bahkan tidak bisa memutuskan apakah M.G pernah menolak apa-apa. Jika G diberikan oleh banyak anak di bawah umur terlarang - yah, itulah yang kami cari. Saya akan penasaran ingin tahu jawabannya jika M.G dijamin untuk berhenti di setiap G di beberapa jumlah waktu yang tetap di |G|. Saya juga tertarik pada hasil yang terkait, di mana G terbukti menjadi kecil-tertutup dengan beberapa sertifikat lain (seperti dalam kasus TFNP atauBUKTI SALAH).

Pembaruan: Versi pertama pertanyaan saya ternyata cukup mudah, berdasarkan gagasan Marzio dan Kimpel, pertimbangkan konstruksi berikut. M.G menerima grafik pada n simpul jika dan hanya jika M. tidak menghentikan dalam n langkah. Ini sedikit tertutup dan waktu berjalan hanya bergantung pada |G|.


Jika diwakili oleh TM M G yang selalu terhenti , Anda dapat mengurangi masalah penghentian itu: mengingat M build M G ( G x ) yang menghasilkan ya jika dan hanya jika M berhenti tepat dalam langkah x ( ( G 1 , G 2 , . . . adalah grafik pencacahan standar). M G ( G x ) menerima paling banyak satu minor dilarang, sehingga G adalah keluarga kecil tertutup; maka masalahnya adalah diputuskan.GMGMMG(Gx)Mx(G1,G2,...MG(Gx)G
Marzio De Biasi

@ThomasKlimpel: Ops, saya salah paham pertanyaannya. Mungkin perbaikannya adalah: mencari G i pertama , i x sehingga M berhenti tepat di langkah i kemudian menerima jika G i bukan minor dari G x ; tolak sebaliknya. MG(Gx)Gsaya,sayaxM.sayaGsayaGx
Marzio De Biasi

@ Marszio Ya, untuk menyederhanakan: menerima grafik pada n simpul jika dan hanya jika M tidak berhenti dalam n langkah. Ini sedikit tertutup dan waktu berjalan hanya bergantung pada | G | . M.GnM.n|G|
domotorp

1
Baiklah, saya menafsirkan penghentian jika berhenti dalam 2 langkah, maka kami juga mengatakan bahwa berhenti dalam 3 langkah. M.23
domotorp

@domotorp Karena pekerjaan konstruksi Anda (jika saya tidak salah), dan menjawab salah satu pertanyaan Anda (dan karena Marzio De Biasi dan saya mencoba membuat konstruksi sederhana tanpa hasil), saya pikir Anda harus mengubah konstruksi Anda menjadi sebuah jawaban yang tepat. Anda dapat menjadikannya sebagai wiki komunitas, jika Anda merasa tidak nyaman menjawab pertanyaan Anda sendiri. Atau, Anda dapat mengedit pertanyaan Anda dan menambahkan jawabannya di sana.
Thomas Klimpel

Jawaban:


12

Jawaban oleh Mamadou Moustapha Kanté (yang melakukan PhD di bawah pengawasan Bruno Courcelle) untuk pertanyaan serupa mengutip Catatan tentang Komputasi dari Set Grafik Obstruksi Kecil untuk Ide Orde Kedua Monadik (1997) oleh B. Courcelle, R. Downey, dan M. Fellows untuk hasil non-komputabilitas (untuk kelas grafik yang terdefinisi-MSOL , yaitu kelas-kelas yang ditentukan oleh rumus urutan Kedua Monadik) dan Penghalang dari serangkaian grafik kecil-tertutup yang ditentukan oleh tata bahasa bebas konteks (1998) oleh B Courcelle dan G. Sénizergues untuk hasil komputabilitas (untuk kelas grafik yang dapat ditentukan SDM , yaitu kelas yang ditentukan oleh tata bahasa Penggantian Hedgeedge).

Perbedaan penting antara kasus yang dapat dihitung dan yang tidak dapat dihitung adalah bahwa kelas grafik yang dapat didefinisikan HR (minor-closed) telah membatasi treewidth, sedangkan kelas grafik yang didefinisikan-MSOL (tidak tertutup) tidak perlu terikat dengan treewidth. Bahkan, jika kelas grafik MSOL yang dapat didefinisikan (tertutup) telah membatasi treewidth, maka itu juga dapat didefinisikan oleh SDM.

Perjanjian itu tampaknya benar-benar bagian penting untuk memisahkan yang dapat dihitung dari kasus yang tidak dapat dihitung. Hasil lain yang diketahui (oleh M. Fellows dan M􏰊.􏰊 Langston) pada dasarnya mengatakan bahwa jika suatu ikatan untuk treewidth maksimum (atau jalur lebar) dari himpunan terbatas anak-anak yang dikecualikan diketahui, maka set minimal (terbatas) dari anak di bawah umur yang dikecualikan menjadi dapat dihitung.

Bahkan tidak diketahui apakah kumpulan minimal anak-anak yang dikecualikan (terbatas) untuk serikat (terbatas trivial) dari dua kelas grafik kecil-tertutup yang masing-masing diberikan oleh masing-masing kelompok anak-anak yang dikecualikan hingga yang terbatas dapat dihitung, jika tidak ada informasi tentang treewidth (atau jalur lebar) tersedia. Atau mungkin bahkan telah dibuktikan sementara itu secara umum tidak dapat dihitung.


2
Bagian terakhir ini cukup menarik. Jika dipahami dengan baik, ini menyiratkan hal berikut. Untuk keluarga grafik , dilambangkan dengan m ( G ) ukuran minor minor terlarang terbesar. Misalkan f ( n ) = maks { m ( G 1G 2 ) m ( G 1 ) , m ( G 2 ) n } . Maka tidak ada batas atas rekursif yang diketahui untuk f ( n )Gm(G)f(n)=max{m(G1G2)m(G1),m(G2)n}f(n). Apakah Anda tahu beberapa contoh yang menunjukkan bahwa tumbuh sangat cepat? f(n)
domotorp

@domotorp Saya setuju, poin bagus. Saya memang memiliki beberapa ide untuk contoh-contoh seperti itu, tetapi saya memiliki kesan bahwa laju pertumbuhan semua contoh saya (yang pada dasarnya mencoba bermain dengan dimensi "kisi") akan tetap berada dalam ELEMENTARY. Namun, saya percaya bahwa jika saya ingin menginvestasikan waktu pada pertanyaan-pertanyaan itu, maka saya harus terlebih dahulu melakukan studi literatur tentang apa yang terjadi pada tahun 2000-2018, mungkin dengan melihat makalah yang mengutip makalah yang saya ketahui, atau dengan melihat di publikasi selanjutnya dari penulis yang mengerjakan pertanyaan-pertanyaan itu.
Thomas Klimpel

Saya mengerti - yah, saya tidak putus asa untuk mengetahui jawabannya, hanya saja saya terkejut dan menjadi penasaran ...
domotorp

1
@domotorp Set minimal anak di bawah umur yang dikecualikan untuk serikat pekerja telah terbukti dapat dihitung pada tahun 2008: logic.las.tu-berlin.de/Members/Kreutzer/Publications/…
Thomas Klimpel
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.