Rozważam klasy grafów, które można scharakteryzować za pomocą zabronionych subgrafów.
Jeśli klasa grafów ma skończony zestaw zabronionych podgraphów, wówczas istnieje trywialny algorytm wielomianowego rozpoznawania czasu (można po prostu użyć brutalnej siły). Ale nieskończona rodzina zakazanych subgraphów nie oznacza twardości: istnieją pewne klasy z nieskończoną listą zakazanych subgrafów, tak że rozpoznanie może być również przetestowane w czasie wielomianowym. Wykresy Chordal i Perfect są przykładami, ale w takich przypadkach istnieje „ładna” struktura zakazanej rodziny.
Czy istnieje znany związek między trudnością uznania klasy a „złym zachowaniem” zakazanej rodziny? Taka relacja powinna istnieć? To „złe zachowanie” zostało gdzieś sformalizowane?
źródło
Odpowiedź @ Hugo jest naprawdę miła i tutaj chcę dodać kilka osobistych opinii.
Istnieją pokrewne rodziny podobne do wykresów w rodzinie F i F '. Wykresy w rodzinie B1 w artykule są zwykle nazywane piramidami. A wykresy w rodzinie B2 są zwykle nazywane pryzmatami. Zobacz odpowiedź tutaj, aby zobaczyć ilustrację. W literaturze dotyczącej problemów z indukowanym wykrywaniem subgrafu zastosowano je do wykrywania dziur parzystych / nieparzystych, które są cyklami akordowymi o długości parzystej / nieparzystej. Według znanego twierdzenia o silnym idealnym grafie, wykres G jest idealny, jeśli zarówno G, jak i dopełnienie G nie zawierają nieparzystych otworów.
W przypadku rodzin piramid i pryzmatów faktycznie istnieją między nimi różnice - jedno ma indukowane poddrzewo z trzech liści, a drugie nie. Nazywa się to problemem „trzech na drzewie” , który badali Chudnovsky i Seymour. Zaskakujące jest to, że ustalenie, czy istnieje indukowane drzewo, które zawiera trzy podane węzły, jest wykonalne, podczas gdy problem „drzewa czterech na środku” jest trudny NP . (Wyśrodkowane drzewo jest drzewem o najwyżej jednym węźle o stopniu większym niż 2.) Różnice między F i F 'wydają się być spowodowane z tego samego powodu.
Wydaje się jednak, że pełna charakterystyka jest wciąż trudna, ponieważ nawet nie znamy złożoności wykrywania wykresów w niektórych rodzinach, które wyglądają dość prosto, jak na przykład wykresy nieparzyste dołkowe (!). A dla rodzin, które znamy, istnieje algorytm wielomianowy, taki jak doskonałe wykresy i wykresy bez dziur, chociaż istnieją ogólne strategie (oparte na rozkładach) projektowania algorytmu, należy podać konkretne twierdzenie strukturalne dla im. Zazwyczaj jest to proces zależny od rodziny i przez większość czasu dowody są naprawdę długie. ( Oto przykład wykresu bez dziur, w którym papier ma ponad 90 stron.)
Byłoby jednak interesujące mieć pewne klasyfikacje pod kątem problemów z wykrywaniem subgrafu, w sensie podobnym do problemu trzech na drzewie.
źródło