Tatta polynom

Tatta polynomial ( Tatta-Whitney polynomial ) je dva-polynomial proměnné, který hraje velkou roli v teorii grafů ; je definován pro jakýkoli neorientovaný graf a obsahuje informace o tom, jak je graf propojen . Standardní notace je .

Zpočátku studoval v algebraické teorii grafů jako konstrukt pro zobecňující problémy počítání související s barvením grafu a nikde nulové toky , později byla nalezena souvislost s Jonesovým polynomem z teorie uzlů a statistickými součty Pottsova modelu ze statistické fyziky . Polynom je původem některých výpočetních problémů teoretické informatice .

Polynom má několik ekvivalentních definic: je ekvivalentní Whitneyho hodnostnímu polynomu , Tuttově dichromatickému polynomu a Fortuin-Castelynovu modelu náhodného shluku (po mírné transformaci) . Polynom je v podstatě generující funkce pro počet hran množin dané velikosti a spojených komponent a má přímé zobecnění v teorii matroidů . Polynom je také invariantem nejobecnějšího tvaru pro grafy, který lze definovat rekurzí odstranění - kontrakce . Některé knihy o teorii grafů a matroidech věnují tomuto konceptu celé kapitoly [1] [2] [3] .

Definice

Pro neorientovaný graf je Tatta polynom definován jako:

,

kde znamená počet připojených složek grafu . Z definice je vidět, že polynom je dobře definovaný a polynom v a v .

Stejná definice může být uvedena v jiném zápisu, pokud je označena hodností grafu . Potom je Whitneyova generující funkce pro hodnost definována jako:

.

Obě funkce jsou ekvivalentní, jak ukazuje jednoduchá změna proměnných:

Tuttův dichromatický polynom je výsledkem další jednoduché transformace:

.

Tuttova původní definice pro souvislý graf je ekvivalentní (ale tato ekvivalence je technicky obtížnější ukázat):

kde znamená počet kostry "vnitřní činnosti a vnější činnosti ".

Třetí definice používá rekurzi delece-pull . Kontrakce hrany grafu  je graf získaný sloučením vrcholů a smazáním hrany a zápis  znamená vymazání pouze hrany . Potom je polynom Tatta definován rekurzí:

,

if není ani smyčka ani most , se základním případem:

,

pokud obsahuje mosty a smyčky a žádné další hrany. Zejména pokud neobsahuje hrany.

Fortuin-Castelyn model náhodného shluku [4] poskytuje jinou ekvivalentní definici [5] :

je ekvivalentní při transformaci [6] :

Vlastnosti

Tatta polynom se rozkládá na spojené složky - pokud jde o spojení disjunktních grafů a , pak:

.

Jestliže je rovinný a označuje jeho duální graf , pak:

Zejména chromatický polynom rovinného grafu je tokový polynom jeho duálu.

Příklady

Izomorfní grafy mají stejné Tuttovy polynomy, ale obráceně to neplatí. Například polynom Tatta jakéhokoli stromu s hranami je .

Tuttovy polynomy jsou často publikovány jako řádková a sloupcová tabulka koeficientů . Například Tattův polynom Petersenova grafu ,

Je zapsán ve formě následující tabulky:

0 36 84 75 35 9 jeden
36 168 171 65 deset
120 240 105 patnáct
180 170 třicet
170 70
114 12
56
21
6
jeden

Dalším příkladem je Tatta polynom oktaedronového grafu:

Historie

Zájem Williama Tutta o vzorec delece-kontrakce vznikl během jeho studentských let na Trinity College (Cambridge) a byl inspirován dokonalými obdélníky [7] a kosočtverci . Často používal vzorec ve výzkumu a "byl překvapen, když objevil další zajímavé funkce na grafech, invariantní pod izomorfismy , s podobnými rekurzivními vzorci" [8] . Ronald Foster si všiml, že jednou z takových funkcí je chromatický polynom , a Tutt začal objevovat další. Původní terminologií pro grafové invarianty vyhovující rekurzi delece-kontrakce byla W-funkce a pro případ násobení komponent použil termín V-funkce . Tutt napsal: "Hraje si s W-funkcemi , dostal jsem polynom ve dvou proměnných, ze kterého se dal získat chromatický polynom nebo tokový polynom přiřazením jedné proměnné k nule a opravou znamének" [8] . Tutt nazval tuto funkci dichromatickou a ukázal, že jde o dvouproměnné zobecnění chromatického polynomu, ale tento polynom je obvykle označován jako Tuttův polynom. Podle Tutta "to by mohlo být frustrující pro Hassler Whitney , který používal podobné koeficienty a nesnažil se je přizpůsobit dvěma proměnným." (Mezi pojmy „bichromát“ a „bichromatický polynom“, které zavedl Tutt v jiném článku a mírně odlišné, dochází k záměně [9] .) Zobecnění Tuttova polynomu pro matroidy publikoval Crapo, ačkoli se již objevil v Tuttových tezích [10] .

Nezávisle na tom, když pracoval s algebraickou teorií grafů začal Potts v roce 1952 studovat rozdělovací funkce některých modelů statistické mechaniky . kombinovaný výraz, který ukázal vztah tohoto modelu s Tattovým polynomem [10] .

Specializace

V různých bodech a liniích v rovině poskytuje polynom Tatta hodnoty, které jsou samy o sobě studovány v různých oblastech matematiky a fyziky. Část přitažlivosti Tuttova polynomu je způsobena sjednocením metody analýzy těchto veličin.

Chromatický polynom

V , se Tatta polynom změní na chromatický polynom,

kde označuje počet připojených složek grafu .

Pro celé číslo je hodnota chromatického polynomu rovna počtu zabarvení vrcholů grafu pomocí barev. Je jasné, že nezáleží na sadě barev. Méně jasné je, že funkce je polynom s celočíselnými koeficienty. Abyste tomu porozuměli, poznamenejte si:

  1. Pokud má graf vrcholy a žádné hrany, pak .
  2. Pokud graf obsahuje smyčku (hranu spojující vrchol se stejným vrcholem), pak .
  3. Pokud  je hrana, která není smyčkou, pak

Tyto tři podmínky nám umožňují počítat podle sekvence delecí a kontrakcí. Tyto operace však nezaručují, že jiné pořadí operací povede ke stejnému výsledku. Jedinečnost je zaručena tím, že počítá věci nezávisle na rekurzi. Zejména,

udává počet acyklických orientací.

Jonesův polynom

Podél hyperboly se Tuttův polynom rovinného grafu redukuje na Jonesův polynom souvisejícího střídavého uzlu .

Jednotlivé body

(2.1)

spočítat počet stromů , tedy počet acyklických podmnožin hran.

(1.1)

počítá počet koster ( acyklické podgrafy se stejným počtem připojených komponent jako graf ). Pokud je graf propojen, počítá se počet kostry.

(1,2)

počítá počet podgrafů zahrnujících stejný počet připojených komponent jako graf .

(2.0)

počítá počet acyklických orientací grafu [11] .

(0,2)

počítá počet silně propojených orientací grafu [12] .

(0,−2)

Pokud je graf 4-běžný graf, pak

počítá počet acyklických orientací grafu . Zde  je počet připojených složek grafu [11] .

(3,3)

Pokud je graf - mřížka , pak počítá počet způsobů, jak mozaikovat obdélník s šířkou a výškou pomocí dlaždic T-tetromino [13] [14]

Pokud je graf rovinný , pak se rovná součtu vážených Eulerových orientací ve středním grafu grafu , kde váha je od 2 do počtu sedlových vrcholů orientace (tj. počtu vrcholů s hrany v cyklickém pořadí "dovnitř, ven, dovnitř" [15] .

Modely Potts a Ising

Pro hyperbolu v rovině :

Tuttův polynom se redukuje na rozdělovací funkci Isingova modelu , studovaného ve statistické fyzice . Zejména podél hyperboly tyto dva souvisí s rovnicí [16] :

.

Zejména:

pro všechny složité .

Obecněji, pokud pro jakýkoli klad definujeme hyperbolu:

,

pak se Tuttův polynom redukuje na rozdělovací funkci Pottsova modelu se stavy. Různé fyzikální veličiny analyzované pomocí Pottsova modelu přecházejí do specifických částí .

Korespondence mezi Pottsovým modelem a Tuttovou rovinou [17] .
Pottsův model Tatta polynom
Feromagnetické pozitivní větev
Antiferomagnetika Negativní větev s
Teplo Asymptota k
Nízkoteplotní feromagnetika Asymptota kladné větve k
Feromagnetika s nulovou teplotou Vybarvování grafu v q barvách , tj.

Tokový polynom

Pro , Tatta polynom se změní na tokový polynom studovaný v kombinatorice. Pro spojený neorientovaný graf a celé číslo nikde nulový tok je přiřazení hodnot „toků“ hranám libovolné orientace v grafu tak, že součet vstupních a výstupních toků v každém vrcholu je shodný modulo . Polynom toku znamená počet nulových toků. Tato hodnota přímo souvisí s chromatickým polynomem. Ve skutečnosti, pokud  je rovinný graf , chromatický polynom grafu je ekvivalentní tokovému polynomu jeho duálního grafu v tom smyslu, že platí následující tvrzení (Tatt):

.

Spojení s Tatta polynomem je dáno rovností:

.

Polynom vitality

V , se polynom Tatta změní na polynom přežití studovaný v teorii sítí. U spojeného grafu je jakákoli hrana odstraněna s pravděpodobností , což simuluje náhodné výpadky hrany. Pak je polynom přežití funkcí , polynom , který dává pravděpodobnost, že jakákoliv dvojice vrcholů v zůstane spojena poté, co hrana spadne. Souvislost s Tatta polynomem je dána rovností

.

Dichromatický polynom

Tutt také definoval blízké 2-proměnné zobecnění chromatického polynomu, grafový dichromatický polynom:

kde  je počet připojených komponent rozpětí podgrafu . Souvisí s Whitneyho hodnostním polynomem podle rovnosti:

.

Dichromatický polynom není zobecněn na matroidy, protože není vlastností matroidů – různé grafy se stejným matroidem mohou mít různý počet spojených komponent.

Související polynomy

Martinův polynom

Martinův polynom orientovaného 4-pravidelného grafu definoval Pierre Martin v roce 1977 [18] . Ukázal, že jestliže je rovinný graf a je jeho orientovaným mediánovým grafem , pak

Algoritmy

Vzorec pro odstranění - kontrakce

Aplikace delečního - kontrakčního vzorce pro Tatta polynom:

,

kde není ani smyčka ani můstek, poskytuje rekurzivní algoritmus pro výpočet polynomu - vybere se jakákoliv vhodná hrana a vzorec se použije, dokud nezůstanou pouze smyčky a můstky. Výsledné monomiály lze snadno vypočítat.

Až do polynomiálního faktoru lze dobu provádění tohoto algoritmu vyjádřit počtem vrcholů a počtem hran grafu:

,

rekurzivní relace, která definuje Fibonacciho čísla s řešením [19] .

Analýza může být vylepšena o hodnotu polynomického faktoru počtu kostry vstupního grafu [20] . Pro řídké grafy s dobou běhu algoritmu je . U běžných stupňových grafů může být počet kostry omezen hodnotou

,

kde

.

Například [21] [22] :

.

V praxi se kontrola izomorfismu používá, aby se zabránilo některým rekurzivním voláním . Tento přístup funguje dobře pro velmi řídké grafy a grafy s mnoha symetriemi, přičemž rychlost algoritmu závisí na metodě výběru hran [20] [23] [24] .

Gaussova výjimka

V některých omezených případech může být Tuttův polynom spočítán v polynomiálním čase díky skutečnosti, že Gaussova eliminace počítá determinant a Pfaffian efektivně . Tyto algoritmy jsou samy o sobě důležitým výsledkem algebraické teorie grafů a statistické mechaniky .

se rovná počtu kostry připojeného grafu. Lze jej vypočítat v polynomiálním čase jako determinant maximální hlavní podmatice Kirchhoffovy matice grafu , což je časný výsledek algebraické teorie grafů známé jako teorém maticového stromu . Podobně lze pomocí Gaussovy eliminační metody vypočítat rozměr prostoru kola v polynomiálním čase .

Pro rovinné grafy lze distribuční funkci Isingova modelu, tj. Tuttův polynom na hyperbole , vyjádřit jako Pfaffian a efektivně vypočítat pomocí FKT algoritmu . Tuto myšlenku vyvinuli Fischer , Castelein a Temperley k výpočtu počtu kostek domina pokrývajících model rovinné mříže .

Metoda Monte Carlo pro Markovovy řetězy

Pomocí metody Monte Carlo pro Markovovy řetězce lze libovolně dobře aproximovat Tuttův polynom podél větve ekvivalentně distribuční funkce feromagnetického Isingova modelu. Tento přístup využívá úzkého vztahu mezi Isingovým modelem a problémem počítání shod v grafu. Myšlenkou tohoto přístupu je podle Jerrama a Sinclaira [25] vytvořit Markovův řetězec , jehož stavy odpovídají shodám vstupního grafu. Přechody jsou určeny náhodným výběrem hran a odpovídajícím způsobem se upravují shody. Výsledný Markovův řetězec se rychle mísí a vede k „přiměřeně náhodným“ shodám, které lze použít k objevení distribuční funkce pomocí náhodného vzorkování. Výsledný algoritmus je Approximate Polynomial Time Scheme (FPRAS).

Výpočetní složitost

S Tattovým polynomem jsou spojeny některé výpočetní problémy. Nejjednodušší algoritmus

Vstup Graf Výstup Kurzy

Odvození umožňuje zejména počítat , což je ekvivalentní počítání 3 zabarvení grafu . Tento problém je #P-complete , i když je omezen na rodinu rovinných grafů , takže problém výpočtu koeficientů Tuttova polynomu pro daný graf je #P-hard i pro rovinné grafy .

Mnohem více pozornosti bylo věnováno rodině problémů zvaných Tutte definovaných pro jakýkoli komplexní pár :

Vstup Graf Výstup Význam

Obtížnost tohoto úkolu se liší v závislosti na souřadnicích .

Přesný výpočet

Pokud a jsou nezáporná celá čísla, problém patří do třídy #P . V obecném případě, pro celočíselné páry, Tatta polynom obsahuje záporné členy, což dává problém do třídy složitosti GapP , uzavření třídy #P odečtením. Pro racionální souřadnice lze definovat racionální analog třídy #P [26] .

Výpočetní složitost přesného výpočtu spadá do dvou tříd pro . Problém je #P-těžký, pokud neleží na hyperbole nebo není jedním z bodů

.

V těchto případech je problém řešitelný v polynomiálním čase [27] . Pokud je problém omezen na třídu rovinných grafů, v bodech hyperboly se problém stane vyčíslitelným v polynomiálním čase. Všechny ostatní body zůstávají #P-tvrdé i pro bipartitní rovinné grafy [28] . Vertigan ve svém článku o dichotomii rovinných grafů tvrdí, že stejný výsledek platí, pokud jsou na grafy uvalena další omezení (stupeň vrcholu nepřesahuje tři), s výjimkou bodu , který nepočítá toky nikde nula . a při kterém je problém řešitelný v polynomiálním čase [29] .

Tyto výsledky obsahují některé důležité speciální případy. Například problém výpočtu distribuční funkce Isingova modelu je v obecném případě #P-těžký, ačkoliv algoritmy Onzangera a Fishera jej řeší pro ploché svazy. Také výpočet Jonesova polynomu je #P-těžký. Konečně, výpočet počtu čtyř zabarvení rovinného grafu je #P-úplný, i když problém řešitelnosti je triviální díky větě o čtyřech barvách . Naproti tomu je snadné vidět, že počítání počtu tří zabarvení rovinného grafu je #P-úplné, protože problém řešitelnosti je znám jako NP-úplný podle ekonomické redukce .

Aproximace

Otázka, které body umožňují aproximační algoritmy, byla dobře prostudována. Kromě bodů, které lze přesně vypočítat v polynomiálním čase, je jediným známým aproximačním algoritmem Jerramův a Sinclairův (FPRAS) algoritmus, který pracuje pro body na Isingově hyperbole pro . Pokud je vstupní graf omezen na husté grafy se stupněm , pak existuje algoritmus FPRAS if [30] .

Přestože situace v případě aproximace není tak dobře pochopena jako u exaktních výpočtů, je známo, že velké plochy roviny je obtížné aproximovat [26] .

Viz také

  • Bolobash-Riordanův polynom

Poznámky

  1. Bollobás, 1998 , s. kapitola 10.
  2. Biggs, 1993 , str. kapitola 13.
  3. Godsil, Royle, 2004 , kap. patnáct.
  4. 1 2 Fortuin, Kasteleyn, 1972 .
  5. Sokal, 2005 .
  6. Sokal, 2005 , str. ekv. (2,26).
  7. Dokonalý obdélník je obdélník, který lze rozdělit na čtverce a všechny čtverce mají různé velikosti
  8. 12 Tutte , 2004 .
  9. Welch.
  10. 12 Farr , 2007 .
  11. 12. Velština , 1999 .
  12. Las Vergnas, 1980 .
  13. Korn, Pak, 2004 .
  14. Viz Korn a Pak ( 2003 ) pro kombinatorickou interpretaci mnoha dalších bodů.
  15. Las Vergnas, 1988 .
  16. Velština, 1993 , s. 62.
  17. 12 Velština, Merino, 2000 .
  18. Martin, 1977 .
  19. Wilf, 1986 , str. 46.
  20. 1 2 Sekine, Imai, Tani, 1995 .
  21. Chung, Yau, 1999 .
  22. Björklund, Husfeldt, Kaski, Koivisto, 2008 .
  23. Haggard, Pearce, Royle, 2010 .
  24. Pearce, Haggard, Royle, 2010 .
  25. Jerrum, Sinclair, 1993 .
  26. 1 2 Goldberg, Jerrum, 2008 .
  27. Jaeger, Vertigan, Wales, 1990 .
  28. Vertigan, Wales, 1992 .
  29. Vertigan, 2005 .
  30. Pro případ ≥ 1 a = 1 viz Annan ( Annan 1994 ). Pro případ ≥ 1 a > 1 viz článek. Alon, Frieze a Welsh ( Alon, Frieze, Welsh 1995 ).

Literatura

Odkazy