Di bawah ini, MSO menunjukkan logika urutan kedua monadik dari grafik dengan kuantifikasi himpunan sudut dan himpunan tepi.
Biarkan menjadi kelompok kecil grafik tertutup. Ini mengikuti dari teori minor minor Robertson dan Seymour bahwa ditandai dengan daftar berhingga dari anak di bawah umur yang terlarang. Dengan kata lain, untuk setiap grafik , kita memiliki bahwa milik jika dan hanya jika mengecualikan semua grafik sebagai anak di bawah umur.
Sebagai konsekuensi dari fakta ini, kami memiliki rumus MSO yang benar pada grafik jika dan hanya jika . Sebagai contoh, grafik planar dicirikan oleh tidak adanya grafik K 3 , 3 dan K 5 sebagai anak di bawah umur, dan oleh karena itu mudah untuk secara eksplisit menulis rumus MSO yang mencirikan grafik planar.
Masalahnya adalah bahwa bagi banyak properti grafik tertutup kecil yang bagus, daftar anak terlarang tidak diketahui. Jadi, sementara kita tahu bahwa rumus MSO mencirikan bahwa keluarga grafik ada, kita mungkin tidak tahu apa rumus ini.
Di sisi lain, itu mungkin terjadi bahwa seseorang dapat datang dengan formula eksplisit untuk properti yang diberikan tanpa menggunakan teorema minor grafik. Pertanyaan saya terkait dengan kemungkinan ini.
Pertanyaan 1: Apakah ada keluarga kecil tertutup dari grafik , sehingga himpunan anak di bawah umur terlarang tidak diketahui, tetapi beberapa rumus MSO φ yang mengkarakterisasi bahwa himpunan grafik diketahui?
Pertanyaan 2: Apakah beberapa formula MSO eksplisit diketahui mengkarakterisasi beberapa properti berikut?
- Genus 1 (grafik dapat ditanam dalam torus) (lihat EDIT di bawah)
- Genus k untuk beberapa tetap > 1 (lihat EDIT di bawah)
- k-outerplanarity untuk beberapa fixed
Saya akan sangat menghargai referensi atau pemikiran tentang masalah ini. Jangan ragu untuk mempertimbangkan properti tertutup kecil lainnya, daftar yang diberikan di atas hanya ilustrasi.
Obs: Secara eksplisit maksud saya bukan berarti kecil. Cukup memberikan argumen atau algoritme eksplisit yang menunjukkan cara membuat rumus yang mengkarakterisasi properti yang diberikan. Demikian pula, dalam konteks pertanyaan ini saya menganggap keluarga anak di bawah umur terlarang diketahui jika seseorang telah memberikan algoritma eksplisit membangun keluarga itu.
EDIT: Saya menemukan sebuah makalah oleh Adler, Kreutzer, Grohe yang menyusun rumus yang mencirikan grafik genus dengan dasar rumus mencirikan grafik genus k-1. Jadi makalah ini menjawab dua item pertama dari Pertanyaan 2. Di sisi lain, ini tidak menjawab Pertanyaan 1 karena memang ada algoritma yang membangun untuk setiap k, keluarga anak-anak terlarang yang mencirikan grafik genus k (Lihat bagian 4.2). Karena itu keluarga ini "dikenal" dalam arti pertanyaan.