Cograf
V teorii grafů je cograph , nebo dodatečně redukovatelný graf , nebo graf bez P 4 , graf , který lze získat z grafu s jediným vrcholem K 1 operacemi sčítání a sjednocení grafu . Rodina kografů je tedy nejmenší třída grafů, která obsahuje K 1 a je uzavřena pod doplňkem a sjednocením.
Kografy byly objeveny nezávisle na sobě několika autory od 70. let 20. století. Nejstarší zmínky najdeme u Younga [1] , Lerchse [2] , Zainscheho [3] a Sumnera [4] . Tyto grafy se nazývaly D*-grafy [1] , dědičné Daceyho grafy (podle práce Jamese C. Daceyho, Jr. o ortomodulárních mřížkách . Viz Sumner [4] ) a grafy se dvěma potomky Barleta a Uryho [ 5] .
Podrobnější pojednání o kografech, včetně zde uvedených faktů,
naleznete v knize Brandstedta, Lie a Spinrada [6] .
Definice a popis
Jakýkoli kograf lze sestavit podle následujících pravidel:
- Každý jednotlivý vrchol grafu je cograph;
- Jestliže je cograph, pak jeho doplněk je také cograph;
- Jestliže a jsou kografy, pak jejich disjunktní spojení je také kografem.
Lze uvést několik dalších popisů kografů. Mezi nimi:
- Cograph je graf, který neobsahuje cestu P 4 se 4 vrcholy (tj. délkou 3) jako vygenerovaný podgraf . Graf je tedy kografem tehdy a jen tehdy, když pro libovolné čtyři vrcholy , jestliže a jsou hrany grafu, pak alespoň jeden z nebo je také hranou [7] .
- Cograph je graf, jehož všechny vygenerované podgrafy mají tu vlastnost, že jakákoli maximální klika protíná jakoukoli největší nezávislou množinu v jediném vrcholu.
- Cograph je graf, ve kterém každý netriviální generovaný podgraf má alespoň dva vrcholy se shodnými sousedstvími.
- Cograph je graf, ve kterém má jakýkoli spojený generovaný podgraf odpojený doplněk.
- Kograph je graf, jehož všechny spojené indukované podgrafy mají průměr nejvýše 2.
- Kograph je graf, ve kterém jakákoliv připojená složka je grafem zděděným vzdáleností s průměrem nejvýše 2.
- Cograph je graf s šířkou kliky nepřesahující 2 [8] .
- Cograph je graf srovnatelnosti sérioparalelního dílčího řádu [1] .
- Cograph je permutační graf oddělitelné permutace [9] .
Všechny kompletní grafy , kompletní bipartitní grafy , prahové grafy a Turanovy grafy jsou kografy. Jakýkoli kograf je graf dokonalé srovnatelnosti zděděný vzdáleností .
Codetrees
Kódový strom je strom, jehož vnitřní vrcholy jsou označeny 0 a 1. Jakýkoli kódový strom T definuje cograph G , který má listy T jako vrcholy, a podstrom s kořenem v T odpovídá vygenerovanému podgrafu v G definovaném sadou následných listů . tento top:
- Podstrom skládající se z jednoho listu odpovídá vygenerovanému podgrafu s jedním vrcholem.
- Podstrom zakořeněný ve vrcholu s označením 0 odpovídá sjednocení podgrafů vytvořených potomky vrcholu.
- Podstrom zakořeněný ve vrcholu s popiskem 1 odpovídá spojení podgrafů tvořených potomky vrcholu. To znamená, že vytvoříme spojení a přidáme hranu mezi libovolné dva vrcholy odpovídající dvěma listům ležícím v různých podstromech. O spojení lze také uvažovat jako o doplňku všech grafů vytvořených sjednocením doplňků, po kterém následuje sestrojení doplňku výsledného sjednocení.
Ekvivalentní způsob, jak sestrojit kograf z kodéru, je ten, že dva vrcholy jsou spojeny hranou právě tehdy, když je nejmenší společný předek odpovídajících listů označen 1. Naopak, tímto způsobem může být kodérem reprezentován jakýkoli kograf. Pokud požadujeme, aby se všechny popisky na všech cestách od kořene po listy střídaly, bude takové znázornění jedinečné [7] .
Výpočtové vlastnosti
Kograf může být rozpoznán v lineárním čase a reprezentace coderee může být konstruována pomocí modulární dekompozice [10] , zpřesnění dekompozice [11] nebo děleného rozkladu [12] . Jakmile je kodér sestaven, mnoho známých problémů teorie grafů lze vyřešit procházením kodéru zdola nahoru.
Abychom například našli maximální kliku v cographu, vypočítáme zdola nahoru maximální kliku v každém podgrafu reprezentovaném podstromem kodéru. Pro každý vrchol označený 0 je maximální klika maximální klika přijatá od potomků vrcholu. Pro vrchol označený 1 bude maximální klika sjednocením klik vypočítaných pro potomky vertexu a velikost této kliky je součtem velikostí klik. Střídavým odebíráním maximální velikosti a sečtením hodnot pro každý vrchol kodéru tedy vypočítáme maximální velikost kliky a střídavým výběrem maximální kliky a zřetězením zkonstruujeme samotnou maximální kliku. Podobný přístup zdola nahoru umožňuje získat maximální nezávislou množinu , chromatické číslo , maximální pokrytí klikou a existenci hamiltonovské cesty v lineárním čase. Jeden může také používat cotrees k určení v lineárním čase zda dva cographs jsou izomorfní .
Jestliže H je vygenerovaný podgraf kografu G , pak H sám je kografem. Kodér pro H lze získat odstraněním některých listů z kodéru pro G a poté sloučením vrcholů, které mají jednoho potomka. Z Kruskalovy věty o stromě vyplývá, že vztah, který má být generován podgrafem, je dobrý kvazi-řád na kografech [13] . Pokud je tedy rodina kografů (jako jsou planární kografy) uzavřena operací konstrukce generovaného podgrafu, pak má konečný počet zakázaných generovaných podgrafů . Z výpočtového hlediska to znamená, že kontrolu, zda graf patří do takové rodiny, lze provádět v lineárním čase pomocí procházení zdola nahoru kodérem daného grafu.
Poznámky
- ↑ 1 2 3 Jung, 1978 .
- ↑ Lerchs, 1971 .
- ↑ Seinsche, 1974 .
- ↑ 12. Sumner , 1974 .
- ↑ Burlet, Uhry, 1984 .
- ↑ Brandstädt, Le, Spinrad, 1999 .
- ↑ 1 2 Corneil, Lerchs, Burlingham, 1981 .
- ↑ Courcelle, Olariu, 2000 .
- ↑ Bose, Buss, Lubiw, 1998 .
- ↑ Corneil, Perl, Stewart, 1985 .
- ↑ Habib, Paul, 2005 .
- ↑ Gioan, Paul, 2008 .
- ↑ Damaschke, 1990 .
Literatura
- Prosenjit Bose, Jonathan Buss, Anna Lubiw. Porovnání vzorů pro permutace // Information Processing Letters . - 1998. - T. 65 . - S. 277-283 . - doi : 10.1016/S0020-0190(97)00209-3 .
- Andreas Brandstädt, Van Bang Le, Jeremy P. Spinrad. Třídy grafů: Průzkum. - Monografie SIAM o diskrétní matematice a aplikacích, 1999. - ISBN 978-0-89871-432-6 .
- M. Burlet, JP Uhry. Témata o dokonalých grafech. - 1984. - T. 21 . - S. 253-277 .
- DG Corneil, H. Lerchs, L. Stewart Burlingham. Doplňujte redukovatelné grafy // Diskrétní aplikovaná matematika. - 1981. - T. 3 , no. 3 . - S. 163-174 . - doi : 10.1016/0166-218X(81)90013-5 .
- D. G. Corneil, Y. Perl, L. K. Stewart. Algoritmus lineárního rozpoznávání pro cographs // SIAM Journal on Computing. - 1985. - T. 14 , no. 4 . - S. 926-934 . - doi : 10.1137/0214065 .
- B. Courcelle, S. Olariu. Horní hranice šířky kliky grafů // Diskrétní aplikovaná matematika. - 2000. - T. 101 , no. 1-3 . - S. 77-144 . - doi : 10.1016/S0166-218X(99)00184-5 .
- Petr Damašek. Indukované podgrafy a dobré kvazi uspořádání // Journal of Graph Theory. - 1990. - T. 14 , no. 4 . - S. 427-435 . - doi : 10.1002/jgt.3190140406 .
- Emeric Gioan, Christophe Paul. Rozdělený rozklad a stromy označené grafem: charakterizace a plně dynamické [ sic ] algoritmy pro zcela rozložitelné grafy. — 2008.
- Michel Habib, Christophe Paul. Jednoduchý lineární časový algoritmus pro rozpoznávání kografů // Diskrétní aplikovaná matematika. - 2005. - T. 145 , no. 2 . - S. 183-197 . - doi : 10.1016/j.dam.2004.01.011 .
- H. A. Jung. O třídě posetů a odpovídajících grafech srovnatelnosti // Journal of Combinatorial Theory, Series B. - 1978. - Vol. 24 , no. 2 . - S. 125-133 . - doi : 10.1016/0095-8956(78)90013-8 .
- H. Lerchs. Na klikách a jádrech. — 1971.
- D. Seinsche. O vlastnosti třídy n -zabarvitelných grafů // Journal of Combinatorial Theory, Series B. - 1974. - Vol.16 , no . 2 . - S. 191-193 . - doi : 10.1016/0095-8956(74)90063-X .
- D. P. Sumner. Daceyho grafy // J. Austral. Matematika. Soc.. - 1974. - V. 18 , no. 04 . - S. 492-502 . - doi : 10.1017/S1446788700029232 .
Odkazy