Powszechnie wiadomo, że i K 3 , 3 są niedozwolone w przypadku wykresów planarnych. Istnieją setki zakazanych nieletnich dla wykresów osadzanych na torusie. Liczba niedozwolonych nieletnich dla wykresów osadzanych na powierzchni rodzaju g jest funkcją wykładniczą g . Moje pytanie brzmi:
Ma wyraźnego wykresem o t wierzchołków (co nie jest kompletny panel) w taki sposób, G , T jest zabronione moll na wykresie dla osadzanego na powierzchni rodzaju g , gdzie T jest funkcją g ?
EDYCJA: Zrozumiałem, że znane jest następujące twierdzenie:
Dla każdej powierzchni Σ istnieje liczba całkowita r taka, że nie osadza się w Σ.
Tak więc szukam który nie jest kompletnym wykresem, a nie kompletnym wykresem dwustronnym.
graph-theory
co.combinatorics
graph-minor
algebraic-topology
Shiva Kintali
źródło
źródło
Odpowiedzi:
Rozłączny związek kopii K 5 (lub K 3 , 3 ) jest minimalną zabronioną drugorzędną dla wykresów z rodzaju n - 1 ; to samo dotyczy wykresu, na którym niektóre z tych kopii dzielą jeden wierzchołek, tak że bloki wykresu mają K 5 lub K 3 , 3 . Wynika to z wyników w: J. Battle, F. Harary, Y. Kodama i JWT Youngs, „Additive of the graph of the graph”, Bull. Amer. Matematyka Soc. 68 (1962) 565–568 i już wystarczy, aby wykazać, że istnieje co najmniej wykładniczo wiele zakazanych nieletnich.n K5 K3,3 n−1 K5 K3,3
Bojan Mohar, „Przeszkoda we osadzaniu grafów w powierzchniach”, Discrete Math. 78 (1989) 135–142, wymienia wykres utworzony z przez usunięcie 4-cykli jako mających rodzaj 2. Ponieważ K 7 jest toroidalny, oznacza to, że K 8 ∖ C 4 lub jeden z jego obejmujących podgraphów jest przeszkodą do osadzania torusa, a te wykresy, które mają n kopii tego wykresu, ponieważ ich bloki mają rodzaj 2 n .K8 K7 K8∖C4 n 2n
Mohar pokazuje również, że wykres utworzony z cyklu poprzez połączenie wierzchołka 0 ze wszystkimi wierzchołkami parzystymi i wierzchołek 1 ze wszystkimi nieparzystymi wierzchołkami ma „rodzaj względny” co najmniej ⌈ k / 2 ⌉ . Wykres jest płaski, ale myślę, że względny rodzaj oznacza, że cykl musi być twarzą; lub możesz dodać kolejny wierzchołek do wykresu, połączony ze wszystkimi wierzchołkami cyklu, aby skutecznie zmusić go do bycia twarzą. Być może jest to coś, czego chcesz. Ale nie sądzę, że pokazuje, że te wykresy są minimalnie zabronionymi nieletnimi.(2k+2) ⌈k/2⌉
źródło