Kograf
I grafteori er en cograph , eller en yderligere reducerbar graf , eller en graf fri for P4 , en graf , der kan fås fra en graf med et enkelt toppunkt K 1 ved grafaddition og foreningsoperationer . En familie af kografer er således den mindste klasse af grafer, der indeholder K 1 og er lukket under komplement og forening.
Cographs er blevet opdaget uafhængigt af flere forfattere siden 1970'erne. De tidligste omtaler kan findes hos Young [1] , Lerchs [2] , Zainsche [3] og Sumner [4] . Disse grafer blev kaldt D*-grafer [1] , arvelige Dacey-grafer (efter arbejdet af James C. Dacey, Jr. på ortomodulære gitter . Se Sumner [4] ) og grafer med to efterkommere af Barlet og Ury [ 5] .
Se bogen af Brandstedt, Lie og Spinrad [6] for en mere detaljeret diskussion af kografer, herunder fakta givet her.
Definition og beskrivelse
Enhver kograf kan konstrueres ved at følge følgende regler:
- Ethvert enkelt toppunkt på en graf er en kograf;
- Hvis er en cograph, så er dens komplement også en cograph;
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![\overline{G}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56491b3b8403461a746482cb3eb0d8e2ecbbd7d9)
- Hvis og er kografer, så er deres usammenhængende forening også en kograf.
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![H](https://wikimedia.org/api/rest_v1/media/math/render/svg/75a9edddcca2f782014371f75dca39d7e13a9c1b)
![G\kop H](https://wikimedia.org/api/rest_v1/media/math/render/svg/343e9f3223aab0e75d322b91f23a12de760e2eac)
Der kan gives flere andre beskrivelser af kografer. Blandt dem:
- En kograf er en graf, der ikke indeholder en sti P 4 med 4 hjørner (det vil sige længde 3) som en genereret undergraf . En graf er således en kograf, hvis og kun hvis for fire hjørner , hvis og er kanter af grafen, så er mindst én af eller også en kant [7] .
![v_1,v_2,v_3,v_4](https://wikimedia.org/api/rest_v1/media/math/render/svg/0572d54bc7bf62912bf7d43417835dfca33e7e09)
![\{v_1,v_2\},\{v_2,v_3\}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ba6145bd8b81ceb47b83a9ccec4cf1519e8edff)
![\{v_3,v_4\}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48ec39df010b3ba5bd0b9a92d0e2d3ffdf6b0a53)
![\{v_1,v_3\},\{v_1,v_4\}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3406137ce6a92f9a4508a48f8fde23fe815b60b)
![\{v_2,v_4\}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67f67e4f50ba6339ef2f670e67bd7a3704501d65)
- En kograf er en graf, hvis alle genererede undergrafer har den egenskab, at enhver maksimal klike skærer ethvert største uafhængige sæt ved et enkelt toppunkt.
- En kograf er en graf, hvor enhver ikke-triviel genereret undergraf har mindst to hjørner med sammenfaldende kvarterer.
- En kograf er en graf, hvor enhver forbundet genereret subgraf har et frakoblet komplement.
- En kograf er en graf, hvis alle forbundne inducerede subgrafer har en diameter på højst 2.
- En kograf er en graf, hvor enhver forbundet komponent er en afstandsarvet graf med en diameter på højst 2.
- En kograf er en graf med klikbredde, der ikke overstiger 2 [8] .
- En kograf er en sammenlignelighedsgraf af en seriel-parallel partiel orden [1] .
- En kograf er en permutationsgraf af en separerbar permutation [9] .
Alle komplette grafer , komplette todelte grafer , tærskelgrafer og Turan-grafer er kografer. Enhver kograf er en afstandsnedarvet perfekt sammenlignelighedsgraf .
Codetrees
Et kodetræ er et træ, hvis indre hjørner er mærket 0 og 1. Ethvert kodetræ T definerer en kograf G , der har bladene af T som knudepunkter, og et undertræ med rod til T svarer til en genereret undergraf i G defineret af et sæt efterkommerblade denne top:
- Et undertræ bestående af et enkelt blad svarer til en genereret undergraf med et enkelt toppunkt.
- Undertræet, der er forankret i toppunktet med etiket 0, svarer til foreningen af undergraferne dannet af toppunktets efterkommere.
- Undertræet forankret i toppunktet med etiket 1 svarer til forbindelsen af subgrafer dannet af toppunktets efterkommere. Det vil sige, at vi danner en forening og tilføjer en kant mellem to vilkårlige hjørner svarende til to blade, der ligger i forskellige undertræer. Man kan også tænke på en joinforbindelse som komplementet af alle grafer dannet af foreningen af komplementerne, efterfulgt af at konstruere komplementet af den resulterende union.
En ækvivalent måde at konstruere en kograf fra en indkoder er, at to hjørner er forbundet med en kant, hvis og kun hvis den mindst fælles forfader af de tilsvarende blade er mærket 1. Omvendt kan enhver kograf repræsenteres af en indkoder på denne måde. Hvis vi kræver, at alle etiketter på alle stier fra roden til bladene veksler, vil en sådan repræsentation være unik [7] .
Beregningsmæssige egenskaber
En kograf kan genkendes i lineær tid, og en coderee-repræsentation kan konstrueres ved hjælp af modulær dekomponering [10] , dekomponeringsforfining [11] eller split-dekomponering [12] . Når koderen er bygget, kan mange velkendte grafteoretiske problemer løses ved at krydse koderen fra bunden og op.
For at finde den maksimale klik i en kograf, beregner vi, fra bund til top, den maksimale klik i hver undergraf repræsenteret af et undertræ af indkoderen. For hvert knudepunkt mærket 0 er den maksimale klik den maksimale klik, der modtages fra knudepunktets efterkommere. For et toppunkt mærket 1 vil den maksimale klik være foreningen af klikerne beregnet for toppunktets efterkommere, og størrelsen af denne klike er summen af klikstørrelserne. Ved skiftevis at tage den maksimale størrelse og summere værdierne for hvert hjørne af indkoderen, vil vi således beregne den maksimale klikstørrelse, og ved skiftevis at vælge den maksimale klike og sammenkæde, vil vi konstruere selve den maksimale klike. En lignende bottom-up tilgang gør det muligt at opnå det maksimale uafhængige sæt , kromatisk tal , maksimal klikdækning og eksistensen af en Hamiltonsk sti i lineær tid. Man kan også bruge cotrees til at bestemme i lineær tid, om to cographs er isomorfe .
Hvis H er en genereret undergraf af en kograf G , så er H selv en kograf. En koder til H kan fås ved at fjerne nogle af bladene fra koderen til G og derefter slå de hjørner sammen, der har et enkelt barn. Det følger af Kruskals træsætning , at den relation, der skal genereres af en subgraf, er en god kvasi-orden på kografer [13] . Så hvis en familie af kografer (såsom plane kografer) er lukket under driften af at konstruere en genereret subgraf, så har den et begrænset antal forbudte genererede subgrafer . Fra et beregningsmæssigt synspunkt betyder det, at kontrol af, om en graf tilhører en sådan familie, kan ske i lineær tid ved hjælp af en bottom-up-gennemgang af den givne grafs encoder.
Noter
- ↑ 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 .
Litteratur
- Prosenjit Bose, Jonathan Buss, Anna Lubiw. Mønstermatching for permutationer // Informationsbehandlingsbreve . - 1998. - T. 65 . - S. 277-283 . - doi : 10.1016/S0020-0190(97)00209-3 .
- Andreas Brandstädt, Van Bang Le, Jeremy P. Spinrad. Grafklasser: En undersøgelse. - SIAM Monographs on Discrete Mathematics and Applications, 1999. - ISBN 978-0-89871-432-6 .
- M. Burlet, JP Uhry. Emner om perfekte grafer. - 1984. - T. 21 . - S. 253-277 .
- DG Corneil, H. Lerchs, L. Stewart Burlingham. Komplementer reducerbare grafer // Diskret anvendt matematik. - 1981. - T. 3 , no. 3 . - S. 163-174 . - doi : 10.1016/0166-218X(81)90013-5 .
- D.G. Corneil, Y. Perl, L.K. Stewart. En lineær genkendelsesalgoritme til kografer // SIAM Journal on Computing. - 1985. - T. 14 , no. 4 . - S. 926-934 . - doi : 10.1137/0214065 .
- B. Courcelle, S. Olariu. Øvre grænser for klikens bredde af grafer // Diskret anvendt matematik. - 2000. - T. 101 , no. 1-3 . - S. 77-144 . - doi : 10.1016/S0166-218X(99)00184-5 .
- Peter Damaschke. Inducerede undergrafer og godt kvasi-ordnede // Journal of Graph Theory. - 1990. - T. 14 , no. 4 . - S. 427-435 . - doi : 10.1002/jgt.3190140406 .
- Emeric Gioan, Christophe Paul. Splittede nedbrydning og grafmærkede træer: karakteriseringer og fuldt dynamiske [ sic ] algoritmer til totalt nedbrydelige grafer. – 2008.
- Michel Habib, Christophe Paul. En simpel lineær tidsalgoritme til kografgenkendelse // Diskret anvendt matematik. - 2005. - T. 145 , no. 2 . - S. 183-197 . - doi : 10.1016/j.dam.2004.01.011 .
- H.A. Jung. Om en klasse af stillinger og de tilsvarende sammenlignelighedsgrafer // Journal of Combinatorial Theory, Series B. - 1978. - Vol. 24 , no. 2 . - S. 125-133 . - doi : 10.1016/0095-8956(78)90013-8 .
- H. Lerchs. På kliker og kerner. - 1971.
- D. Seinsche. På en egenskab af klassen af n -farvelige grafer // Journal of Combinatorial Theory, Series B. - 1974. - Vol. 16 , nr. 2 . - S. 191-193 . - doi : 10.1016/0095-8956(74)90063-X .
- D. P. Sumner. Dacey-grafer // J. Austral. Matematik. Soc.. - 1974. - V. 18 , no. 04 . - S. 492-502 . - doi : 10.1017/S1446788700029232 .
Links