Zakazane nieletnie dla ograniczonych wykresów szerokości

17

To pytanie jest podobne do jednego z moich poprzednich pytań. Wiadomo, że jest niedozwolonym pomniejszeniem dla wykresów szerokości co najwyżej .Kt+2t

Czy istnieje ładnie skonstruowana, sparametryzowana, nieskończona rodzina wykresów (innych niż pełne wykresy i wykresy siatki), które są minimalnie zabronionymi nieletnimi dla wykresów o każdej szerokości. Innymi słowy, czy istnieje wyraźny wykres na wierzchołkach (który nie jest kompletnym wykresem), taki że jest niedozwolonym pomniejszeniem dla wykresów szerokości co najwyżej , gdzie jest funkcją ?GrG r r r t trGrrrt

Komplety zakazanych nieletnich znane są z wykresów szerokości co najwyżej trzech. Więcej informacji można znaleźć w tym artykule w Wikipedii .

Czy znany jest kompletny zestaw zabronionych nieletnich wykresów szerokości grzbietu?

Shiva Kintali
źródło
W pierwszym pytaniu, „zakazany nieletni” oznacza „minimalny zakazany nieletni”, prawda? jeśli nie, wykresy siatki są przykładem.
Diego de Estrada,
1
Tak. Miałem na myśli minimalny zakazany nieletni.
Shiva Kintali,
2
Zrobiłeś dwa komentarze rozszerzające twoje pytanie, jeden tutaj i jeden pod odpowiedzią; lepiej byłoby uwzględnić zmiany w samym pytaniu, aby ludzie nie musieli czytać różnych wątków komentarzy, aby zrozumieć pytanie.
joriki,
@ joriki Zaktualizowałem pytanie.
Shiva Kintali

Odpowiedzi:

9

Jeśli G jest utworzony z mniejszego wykresu H, który nie jest kliką, przez dodanie dwóch wierzchołków x i y, tak, że xiy nie sąsiadują ze sobą, ale sąsiadują ze wszystkimi innymi wierzchołkami G, to . W przypadku, w dowolnym rozkładzie drzewa G , albo X i Y mają rozłączne poddrzewa albo zachodzą na siebie poddrzewa. Jeśli mają rozłączne poddrzewa wszystkie inne poddrzew muszą zawierać najkrótszą ścieżkę między drzewa dla X i Y , z których wynika, że treewidth jest n - 2tw(sol)=tw(H.)+2)solxyxyn-2); założenie, że nie jest kliką, można następnie wykorzystać do wykazania, że n - 2 t w ( H ) + 2 . Alternatywnie, jeżeli x i y mają pokrywające poddrzewa co drugi wierzchołek musi mieć drzewo, które dotyka przecięcia dwóch poddrzewach z X i Y , i można ograniczyć rozkład drzewo tym przecięciu, otrzymując rozkład drzewa, w którym x i y uczestniczyć w każdym węźle drzewa.H.n-2)tw(H.)+2)xyxyxy

To implikuje, że hiperkaształowy wykres z 2 k węzłów jest minimalnym niedozwolonym pomniejszeniem dla szerokości 2 k - 3 . Ponieważ wykres ośmiościenny K 2 , 2 , 2 jest minimalnym niedozwolonym pomniejszeniem dla szerokości trzy, z którego powyższy argument pokazuje, że wykres hiperkasztetowy ma szerokość 2 k - 2K.2),2),2),2)k2)k-3)K.2),2),2)2)k-2). A jeśli na wykresie hiperkathezy zostanie wykonane jakiekolwiek skurczenie lub usunięcie krawędzi, symetrie tego wykresu pozwalają nam założyć, że operacja dzieje się z jedną z dwunastu krawędzi w ośmiościanie podstawy, powodując jej szerokość i szerokość wszystkich hiperkaszted zbudowany z niego, aby zmniejszyć.

(Inną klasą wykresów, którą powinieneś uwzględnić w pytaniu wraz z kompletnymi wykresami, są wykresy siatki. Siatka ma szerokość r . Jest ona oddzielona od kompletnych wykresów mniejszych, ponieważ jest płaska, a zatem nie ma kompletnego pomniejszenia z więcej niż cztery wierzchołki. Nie jest to jednak minimalna niedozwolona drugorzędna, ponieważ niektóre niewielkie zmiany (takie jak kurczenie wierzchołków narożnych) nie zmieniają jej szerokości.)r×rr

David Eppstein
źródło
Tak. Pozwala wykluczyć wykresy siatki.
Shiva Kintali,