Anak-anak terlarang untuk grafik treewidth terbatas

17

Pertanyaan ini mirip dengan salah satu pertanyaan saya sebelumnya. Hal ini diketahui bahwa adalah minor dilarang untuk grafik dari treewidth paling t .Kt+2t

Adakah keluarga yang dibangun dengan baik, parameter, dan tak terbatas grafik (selain grafik lengkap dan grafik kisi) yang minimal anak di bawah umur terlarang untuk grafik setiap treewidth. Dengan kata lain, apakah ada grafik eksplisit pada r simpul (yang bukan merupakan grafik lengkap) sehingga G r adalah minor terlarang untuk grafik treewidth paling banyak r , di mana r adalah fungsi dari t ?GrrGrrrt

Set lengkap anak terlarang di bawah umur dikenal untuk grafik treewidth paling banyak tiga. Lihat artikel Wikipedia ini untuk lebih jelasnya.

Apakah set lengkap terlarang anak di bawah umur dari grafik treewidth paling banyak diketahui?

Siwa Kintali
sumber
Dalam pertanyaan pertama, dengan "terlarang minor" yang Anda maksud "minor terlarang minimal", bukan? jika tidak, grafik kotak adalah contohnya.
Diego de Estrada
1
Iya. Maksud saya minor minor terlarang.
Shiva Kintali
2
Anda telah membuat dua komentar yang menambah pertanyaan Anda, satu di sini dan satu di bawah jawaban; akan lebih baik untuk memasukkan perubahan dalam pertanyaan itu sendiri sehingga orang tidak harus membaca berbagai utas komentar untuk memahami pertanyaan itu.
joriki
@ joriki saya memperbarui pertanyaan.
Shiva Kintali

Jawaban:

9

Jika G dibentuk dari grafik yang lebih kecil H yang bukan merupakan klik dengan menambahkan dua simpul x dan y, sedemikian sehingga x dan y tidak berdekatan satu sama lain tetapi berdekatan dengan semua simpul G lainnya, maka . Sebab, dalam setiap dekomposisi pohon G , baik x dantw(G)=tw(H)+2Gx memiliki subtree yang terpisahkan atau mereka memiliki subtree yang tumpang tindih. Jika mereka memiliki sub pohon yang terpisah, semua sub pohon yang lain harus menyertakan jalur terpendek antara pohon untuk x dan y , dari mana diikuti bahwa treewidth adalah n - 2yxyn-2; asumsi bahwa bukan klik kemudian dapat digunakan untuk menunjukkan bahwa n - 2 t w ( H ) + 2 . Atau jika x dan y memiliki subtree yang tumpang tindih, setiap simpul lainnya harus memiliki subtree yang menyentuh persimpangan dari dua subtree x dan y , dan kita dapat membatasi dekomposisi pohon ke persimpangan itu, memberikan dekomposisi pohon di mana x dan y berpartisipasi dalam setiap simpul pohon.Hn-2tw(H)+2xyxyxy

Ini menyiratkan bahwa grafik hyperoctahedral dengan simpul 2 k adalah minor terlarang minimal untuk lebar 2 k - 3 . Sebab, oktahedral grafik KK2,2,2,...2k2k-3 adalah minor terlarang minimal untuk lebar tiga, dari mana argumen di atas menunjukkan bahwa grafik hyperoctahedral memiliki lebar2k-2K2,2,22k-2. Dan jika ada kontraksi tepi atau penghapusan tepi yang dilakukan dalam grafik hyperoctahedral, simetri grafik memungkinkan kita untuk mengasumsikan bahwa operasi terjadi pada salah satu dari dua belas tepi di octahedron dasar, menyebabkan lebar dan lebar semua hyperoctahedra dibangun dari itu untuk berkurang.

(Kelas grafik lain yang harus Anda sertakan dalam pertanyaan Anda bersama dengan grafik lengkapnya adalah grafik kisi. An jaringan memiliki treewidth r . Ini terpisah dari anak di bawah umur graf lengkap karena planar dan karena itu tidak memiliki minor lengkap dengan lebih dari empat simpul. Ini bukan minor terlarang minimal, karena beberapa perubahan kecil (seperti mengontrak sudut sudut) tidak mengubah treewidth-nya.)r×rr

David Eppstein
sumber
Iya. Tidak termasuk grafik kisi.
Siwa Kintali
13

4

Aaron Sterling
sumber