Zabronione osoby niepełnoletnie w przypadku związanych z nimi wykresów rodzajów

17

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:K5K3,3

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 ?GtGt

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 Σ.K3,r

Tak więc szukam który nie jest kompletnym wykresem, a nie kompletnym wykresem dwustronnym.Gt

Shiva Kintali
źródło
3
Czy chcesz mieć ładnie skonstruowaną, sparametryzowaną, nieskończoną rodzinę grafów (innych niż pełne), które są zabronione dla nieletnich na powierzchniach każdego rodzaju?
Derrick Stolee 9.11.11
@Bom. Tak. Dokładnie.
Shiva Kintali,
Następnie przeredagowałbym pytanie, używając tych terminów: „Czy istnieje (prosta do skonstruowania) rodzina grafów tak że H gK n jest minimalnym niedozwolonym znaczeniem dla grafów osadzanych na powierzchni rodzaju g ? {Hg:g1}HgKng
Derrick Stolee 9.11.11
Ograniczenia „ i K 3 , 3 nie są nieletni z G ” nie mogą być tym, czego chcesz. Jeśli nie są nieletni z G , to G jest planarny i nie może być zabronionym nieletnim dla żadnego wyższego rodzaju. K5K3,3GGG
David Eppstein,
@DavidEppstein Usunąłem moje modyfikacje. Zasadniczo szukam przeszkód, które są „różne” od i K 33 . K5K33
Shiva Kintali

Odpowiedzi:

16

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.nK5K3,3n1K5K3,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 8C 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 .K8K7K8C4n2n

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

David Eppstein
źródło
Twój ostatni akapit o cyklu jest tym, czego szukam. Dzięki. Przyjmuję twoją odpowiedź. (2k+2)
Shiva Kintali