o sloˇzitosti h-barven´ı digraf˚u - univerzita...
TRANSCRIPT
![Page 1: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/1.jpg)
O slozitosti H-barvenı digrafu
Libor Barto
+ Marcin Kozik, Todd Niven
Katedra algebryMFF
Univerzita Karlova v Praze
STTI 2009
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 1 / 8
![Page 2: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/2.jpg)
H-barvenı
H: digraf H = (V ,E ), E ⊆ V × V
Definice (H-barvenı)
VSTUP: Digraf GOTAZKA: Existuje homomorfismus G → H?
Homomorfismus = zobrazenı mezi vrcholy, ktere zachovava hrany
Prıklady
I 2-barvenı, 3-barvenı, . . .
I 3-SAT, . . .
I Resenı soustav rovnic (napr. linearnıch)
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 2 / 8
![Page 3: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/3.jpg)
H-barvenı
H: digraf H = (V ,E ), E ⊆ V × V
Definice (H-barvenı)
VSTUP: Digraf GOTAZKA: Existuje homomorfismus G → H?
Homomorfismus = zobrazenı mezi vrcholy, ktere zachovava hrany
Prıklady
I 2-barvenı, 3-barvenı, . . .
I 3-SAT, . . .
I Resenı soustav rovnic (napr. linearnıch)
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 2 / 8
![Page 4: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/4.jpg)
H-barvenı
H: digraf H = (V ,E ), E ⊆ V × V
Definice (H-barvenı)
VSTUP: Digraf GOTAZKA: Existuje homomorfismus G → H?
Homomorfismus = zobrazenı mezi vrcholy, ktere zachovava hrany
Prıklady
I 2-barvenı, 3-barvenı, . . .
I 3-SAT, . . .
I Resenı soustav rovnic (napr. linearnıch)
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 2 / 8
![Page 5: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/5.jpg)
Slozitost H-barvenı
Hypoteza (Feder, Vardi 98)
Platı dichotomie: Pro libovolny digraf H je H-barvenı bud’ polynomialneresitelny, nebo NP-uplny problem.
Kanditat na nejsirsı prirozenou trıdu problemu v NP, kde platı dichotomie.
Pri studiu slozitosti BUNO predpokladame, ze H je core: Neexistujehomomorfismus z H na mensı indukovany pod-digraf.
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 3 / 8
![Page 6: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/6.jpg)
Slozitost H-barvenı
Hypoteza (Feder, Vardi 98)
Platı dichotomie: Pro libovolny digraf H je H-barvenı bud’ polynomialneresitelny, nebo NP-uplny problem.
Kanditat na nejsirsı prirozenou trıdu problemu v NP, kde platı dichotomie.
Pri studiu slozitosti BUNO predpokladame, ze H je core: Neexistujehomomorfismus z H na mensı indukovany pod-digraf.
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 3 / 8
![Page 7: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/7.jpg)
Slozitost H-barvenı
Hypoteza (Feder, Vardi 98)
Platı dichotomie: Pro libovolny digraf H je H-barvenı bud’ polynomialneresitelny, nebo NP-uplny problem.
Kanditat na nejsirsı prirozenou trıdu problemu v NP, kde platı dichotomie.
Pri studiu slozitosti BUNO predpokladame, ze H je core: Neexistujehomomorfismus z H na mensı indukovany pod-digraf.
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 3 / 8
![Page 8: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/8.jpg)
Algebra je nejlepsı
Definice
f je n-arnı polymorfismus digrafu H, pokud f je homomorfismus Hn → H
Veta (Cohen, Jeavons, Gyssens, Bulatov, Krokhin cca 00)
Slozitost H-barvenı zalezı pouze na mnozine polymorfismu H!Dokonce jen na rovnostech, ktere polymorfismy splnujı!
Dusledek: Jista podmınka (BJK) na polymorfismy HH nesplnuje (BJK) ⇒ H-barvenı je NP-uplne.
Hypoteza (Bulatov, Jeavons, Krokhin)
H splnuje (BJK) ⇒ H-barvenı je polynomialnı. (Jinak je NP-uplne.)
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 4 / 8
![Page 9: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/9.jpg)
Algebra je nejlepsı
Definice
f je n-arnı polymorfismus digrafu H, pokud f je homomorfismus Hn → H,tj.
zobrazenı f : V n → V , pro ktere
∀a1, a2, . . . , an, b1, b2, . . . , bn
(a1, b1) ∈ E , (a2, b2) ∈ E , . . . , (an, bn) ∈ E
⇒
(f (a1, . . . , an), f (b1, . . . , bn)) ∈ E
Veta (Cohen, Jeavons, Gyssens, Bulatov, Krokhin cca 00)
Slozitost H-barvenı zalezı pouze na mnozine polymorfismu H!Dokonce jen na rovnostech, ktere polymorfismy splnujı!
Dusledek: Jista podmınka (BJK) na polymorfismy HH nesplnuje (BJK) ⇒ H-barvenı je NP-uplne.
Hypoteza (Bulatov, Jeavons, Krokhin)
H splnuje (BJK) ⇒ H-barvenı je polynomialnı. (Jinak je NP-uplne.)
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 4 / 8
![Page 10: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/10.jpg)
Algebra je nejlepsı
Definice
f je n-arnı polymorfismus digrafu H, pokud f je homomorfismus Hn → H
Veta (Cohen, Jeavons, Gyssens, Bulatov, Krokhin cca 00)
Slozitost H-barvenı zalezı pouze na mnozine polymorfismu H!Dokonce jen na rovnostech, ktere polymorfismy splnujı!
Dusledek: Jista podmınka (BJK) na polymorfismy HH nesplnuje (BJK) ⇒ H-barvenı je NP-uplne.
Hypoteza (Bulatov, Jeavons, Krokhin)
H splnuje (BJK) ⇒ H-barvenı je polynomialnı. (Jinak je NP-uplne.)
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 4 / 8
![Page 11: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/11.jpg)
Algebra je nejlepsı
Definice
f je n-arnı polymorfismus digrafu H, pokud f je homomorfismus Hn → H
Veta (Cohen, Jeavons, Gyssens, Bulatov, Krokhin cca 00)
Slozitost H-barvenı zalezı pouze na mnozine polymorfismu H!Dokonce jen na rovnostech, ktere polymorfismy splnujı!
Dusledek: Jista podmınka (BJK) na polymorfismy HH nesplnuje (BJK) ⇒ H-barvenı je NP-uplne.
Hypoteza (Bulatov, Jeavons, Krokhin)
H splnuje (BJK) ⇒ H-barvenı je polynomialnı. (Jinak je NP-uplne.)
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 4 / 8
![Page 12: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/12.jpg)
Algebra je nejlepsı
Definice
f je n-arnı polymorfismus digrafu H, pokud f je homomorfismus Hn → H
Veta (Cohen, Jeavons, Gyssens, Bulatov, Krokhin cca 00)
Slozitost H-barvenı zalezı pouze na mnozine polymorfismu H!Dokonce jen na rovnostech, ktere polymorfismy splnujı!
Dusledek: Jista podmınka (BJK) na polymorfismy HH nesplnuje (BJK) ⇒ H-barvenı je NP-uplne.
Hypoteza (Bulatov, Jeavons, Krokhin)
H splnuje (BJK) ⇒ H-barvenı je polynomialnı. (Jinak je NP-uplne.)
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 4 / 8
![Page 13: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/13.jpg)
Podmınka (BJK)
Veta
H digraf. Nasledujıcı podmınky jsou ekvivalentnı
I (BJK)
I Maroti, McKenzie 06
H ma weak near-unanimity (WNU) polymorfismus w:I w(x , x , . . . , x) = xI w(x , x , . . . , x , y) = w(x , x , . . . , x , y , x) = · · · = w(y , x , x , . . . , x).
I Barto, Kozik 09
H ma pro kazde prvocıslo p > |V | cyklicky polymorfismus t:I t(x , x , . . . , x) = xI t(x1, x2, . . . , xp) = t(x2, . . . , xp, x1)
Nejlepsı nastroj k dukazum NP-uplnosti.
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 5 / 8
![Page 14: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/14.jpg)
Podmınka (BJK)
Veta
H digraf. Nasledujıcı podmınky jsou ekvivalentnı
I (BJK)
I Maroti, McKenzie 06
H ma weak near-unanimity (WNU) polymorfismus w:I w(x , x , . . . , x) = xI w(x , x , . . . , x , y) = w(x , x , . . . , x , y , x) = · · · = w(y , x , x , . . . , x).
I Barto, Kozik 09
H ma pro kazde prvocıslo p > |V | cyklicky polymorfismus t:I t(x , x , . . . , x) = xI t(x1, x2, . . . , xp) = t(x2, . . . , xp, x1)
Nejlepsı nastroj k dukazum NP-uplnosti.
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 5 / 8
![Page 15: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/15.jpg)
Podmınka (BJK)
Veta
H digraf. Nasledujıcı podmınky jsou ekvivalentnı
I (BJK)
I Maroti, McKenzie 06
H ma weak near-unanimity (WNU) polymorfismus w:I w(x , x , . . . , x) = xI w(x , x , . . . , x , y) = w(x , x , . . . , x , y , x) = · · · = w(y , x , x , . . . , x).
I Barto, Kozik 09
H ma pro kazde prvocıslo p > |V | cyklicky polymorfismus t:I t(x , x , . . . , x) = xI t(x1, x2, . . . , xp) = t(x2, . . . , xp, x1)
Nejlepsı nastroj k dukazum NP-uplnosti.
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 5 / 8
![Page 16: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/16.jpg)
Podmınka (BJK)
Veta
H digraf. Nasledujıcı podmınky jsou ekvivalentnı
I (BJK)
I Maroti, McKenzie 06
H ma weak near-unanimity (WNU) polymorfismus w:I w(x , x , . . . , x) = xI w(x , x , . . . , x , y) = w(x , x , . . . , x , y , x) = · · · = w(y , x , x , . . . , x).
I Barto, Kozik 09
H ma pro kazde prvocıslo p > |V | cyklicky polymorfismus t:I t(x , x , . . . , x) = xI t(x1, x2, . . . , xp) = t(x2, . . . , xp, x1)
Nejlepsı nastroj k dukazum NP-uplnosti.
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 5 / 8
![Page 17: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/17.jpg)
Symetricke digrafy (=grafy)
Veta (Hell, Nesetril 90)
H symetricky digraf, core. Pokud H ma nanejvys dva vrcholy, pakH-barvenı je polynomialnı. Jinak je NP-uplne.
Dukaz.
I Polynomialnı cast je jednoducha.
I Druha ted’ taky:I Zvolıme dostatecne velke prvocıslo p > |V |. Stacı vyvratit existenci
cyklickeho p-arnıho polymorfismu t
I Najdeme uzavrenou cestu a1, a2, . . . , ap, a1
I (a1, a2) ∈ E , (a2, a3) ∈ E , . . . , (ap, a1) ∈ E . Takze(t(a1, a2, . . . , ap), t(a2, . . . , ap, a1)) ∈ E
I t je cyklicky ⇒ mame smycku, spor.
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 6 / 8
![Page 18: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/18.jpg)
Symetricke digrafy (=grafy)
Veta (Hell, Nesetril 90)
H symetricky digraf, core. Pokud H ma nanejvys dva vrcholy, pakH-barvenı je polynomialnı. Jinak je NP-uplne.
Dukaz.
I Polynomialnı cast je jednoducha.
I Druha ted’ taky:I Zvolıme dostatecne velke prvocıslo p > |V |. Stacı vyvratit existenci
cyklickeho p-arnıho polymorfismu t
I Najdeme uzavrenou cestu a1, a2, . . . , ap, a1
I (a1, a2) ∈ E , (a2, a3) ∈ E , . . . , (ap, a1) ∈ E . Takze(t(a1, a2, . . . , ap), t(a2, . . . , ap, a1)) ∈ E
I t je cyklicky ⇒ mame smycku, spor.
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 6 / 8
![Page 19: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/19.jpg)
Symetricke digrafy (=grafy)
Veta (Hell, Nesetril 90)
H symetricky digraf, core. Pokud H ma nanejvys dva vrcholy, pakH-barvenı je polynomialnı. Jinak je NP-uplne.
Dukaz.
I Polynomialnı cast je jednoducha.I Druha ted’ taky:
I Zvolıme dostatecne velke prvocıslo p > |V |. Stacı vyvratit existencicyklickeho p-arnıho polymorfismu t
I Najdeme uzavrenou cestu a1, a2, . . . , ap, a1
I (a1, a2) ∈ E , (a2, a3) ∈ E , . . . , (ap, a1) ∈ E . Takze(t(a1, a2, . . . , ap), t(a2, . . . , ap, a1)) ∈ E
I t je cyklicky ⇒ mame smycku, spor.
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 6 / 8
![Page 20: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/20.jpg)
Symetricke digrafy (=grafy)
Veta (Hell, Nesetril 90)
H symetricky digraf, core. Pokud H ma nanejvys dva vrcholy, pakH-barvenı je polynomialnı. Jinak je NP-uplne.
Dukaz.
I Polynomialnı cast je jednoducha.I Druha ted’ taky:
I Zvolıme dostatecne velke prvocıslo p > |V |. Stacı vyvratit existencicyklickeho p-arnıho polymorfismu t
I Najdeme uzavrenou cestu a1, a2, . . . , ap, a1
I (a1, a2) ∈ E , (a2, a3) ∈ E , . . . , (ap, a1) ∈ E . Takze(t(a1, a2, . . . , ap), t(a2, . . . , ap, a1)) ∈ E
I t je cyklicky ⇒ mame smycku, spor.
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 6 / 8
![Page 21: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/21.jpg)
Symetricke digrafy (=grafy)
Veta (Hell, Nesetril 90)
H symetricky digraf, core. Pokud H ma nanejvys dva vrcholy, pakH-barvenı je polynomialnı. Jinak je NP-uplne.
Dukaz.
I Polynomialnı cast je jednoducha.I Druha ted’ taky:
I Zvolıme dostatecne velke prvocıslo p > |V |. Stacı vyvratit existencicyklickeho p-arnıho polymorfismu t
I Najdeme uzavrenou cestu a1, a2, . . . , ap, a1
I (a1, a2) ∈ E , (a2, a3) ∈ E , . . . , (ap, a1) ∈ E . Takze(t(a1, a2, . . . , ap), t(a2, . . . , ap, a1)) ∈ E
I t je cyklicky ⇒ mame smycku, spor.
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 6 / 8
![Page 22: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/22.jpg)
Symetricke digrafy (=grafy)
Veta (Hell, Nesetril 90)
H symetricky digraf, core. Pokud H ma nanejvys dva vrcholy, pakH-barvenı je polynomialnı. Jinak je NP-uplne.
Dukaz.
I Polynomialnı cast je jednoducha.I Druha ted’ taky:
I Zvolıme dostatecne velke prvocıslo p > |V |. Stacı vyvratit existencicyklickeho p-arnıho polymorfismu t
I Najdeme uzavrenou cestu a1, a2, . . . , ap, a1
I (a1, a2) ∈ E , (a2, a3) ∈ E , . . . , (ap, a1) ∈ E . Takze(t(a1, a2, . . . , ap), t(a2, . . . , ap, a1)) ∈ E
I t je cyklicky ⇒ mame smycku, spor.
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 6 / 8
![Page 23: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/23.jpg)
Dichotomie pro digrafy bez zdroju a stoku
Veta (Hell, Nesetril 90)
H symetricky digraf, core. Pokud H ma nanejvys dva vrcholy, pakH-barvenı je polynomialnı. Jinak je NP-uplne.
Veta (Barto, Kozik, Niven 08)
H digraf bez zdroju a stoku, core. Pokud H je disjunktnım sjednocenımcyklu, pak H-barvenı je polynomialnı. Jinak je NP-uplne.
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 7 / 8
![Page 24: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/24.jpg)
Algoritmy pro H-barvenı
Existujı dve skupiny polynomialnıch algoritmu
I Zobecnenı Gaussovy eliminaceI Bulatov, Dalmau, Berman, Idziak, Markovic, McKenzie, Valeriote,
Willard
I Uz vıme presne, kdy lze pouzıt
I Testy lokalnı konzistence (“vylucovacı metoda”)I vsichni
I Larose, Zadori 06 + Maroti, McKenzie 06Pokud lze pouzıt, pak H ma WNU polymorfismy skoro vsech arit
I Barto, Kozik 08,09 Podmınka je postacujıcı!I Takze uz take vıme presne, kdy lze pouzıt
I Dekuji za pozornost!!!
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 8 / 8
![Page 25: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/25.jpg)
Algoritmy pro H-barvenı
Existujı dve skupiny polynomialnıch algoritmu
I Zobecnenı Gaussovy eliminaceI Bulatov, Dalmau, Berman, Idziak, Markovic, McKenzie, Valeriote,
Willard
I Uz vıme presne, kdy lze pouzıt
I Testy lokalnı konzistence (“vylucovacı metoda”)I vsichni
I Larose, Zadori 06 + Maroti, McKenzie 06Pokud lze pouzıt, pak H ma WNU polymorfismy skoro vsech arit
I Barto, Kozik 08,09 Podmınka je postacujıcı!I Takze uz take vıme presne, kdy lze pouzıt
I Dekuji za pozornost!!!
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 8 / 8
![Page 26: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/26.jpg)
Algoritmy pro H-barvenı
Existujı dve skupiny polynomialnıch algoritmu
I Zobecnenı Gaussovy eliminaceI Bulatov, Dalmau, Berman, Idziak, Markovic, McKenzie, Valeriote,
WillardI Uz vıme presne, kdy lze pouzıt
I Testy lokalnı konzistence (“vylucovacı metoda”)I vsichni
I Larose, Zadori 06 + Maroti, McKenzie 06Pokud lze pouzıt, pak H ma WNU polymorfismy skoro vsech arit
I Barto, Kozik 08,09 Podmınka je postacujıcı!I Takze uz take vıme presne, kdy lze pouzıt
I Dekuji za pozornost!!!
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 8 / 8
![Page 27: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/27.jpg)
Algoritmy pro H-barvenı
Existujı dve skupiny polynomialnıch algoritmu
I Zobecnenı Gaussovy eliminaceI Bulatov, Dalmau, Berman, Idziak, Markovic, McKenzie, Valeriote,
WillardI Uz vıme presne, kdy lze pouzıt
I Testy lokalnı konzistence (“vylucovacı metoda”)I vsichni
I Larose, Zadori 06 + Maroti, McKenzie 06Pokud lze pouzıt, pak H ma WNU polymorfismy skoro vsech arit
I Barto, Kozik 08,09 Podmınka je postacujıcı!I Takze uz take vıme presne, kdy lze pouzıt
I Dekuji za pozornost!!!
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 8 / 8
![Page 28: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/28.jpg)
Algoritmy pro H-barvenı
Existujı dve skupiny polynomialnıch algoritmu
I Zobecnenı Gaussovy eliminaceI Bulatov, Dalmau, Berman, Idziak, Markovic, McKenzie, Valeriote,
WillardI Uz vıme presne, kdy lze pouzıt
I Testy lokalnı konzistence (“vylucovacı metoda”)I vsichniI Larose, Zadori 06 + Maroti, McKenzie 06
Pokud lze pouzıt, pak H ma WNU polymorfismy skoro vsech arit
I Barto, Kozik 08,09 Podmınka je postacujıcı!I Takze uz take vıme presne, kdy lze pouzıt
I Dekuji za pozornost!!!
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 8 / 8
![Page 29: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/29.jpg)
Algoritmy pro H-barvenı
Existujı dve skupiny polynomialnıch algoritmu
I Zobecnenı Gaussovy eliminaceI Bulatov, Dalmau, Berman, Idziak, Markovic, McKenzie, Valeriote,
WillardI Uz vıme presne, kdy lze pouzıt
I Testy lokalnı konzistence (“vylucovacı metoda”)I vsichniI Larose, Zadori 06 + Maroti, McKenzie 06
Pokud lze pouzıt, pak H ma WNU polymorfismy skoro vsech aritI Barto, Kozik 08,09 Podmınka je postacujıcı!
I Takze uz take vıme presne, kdy lze pouzıt
I Dekuji za pozornost!!!
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 8 / 8
![Page 30: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/30.jpg)
Algoritmy pro H-barvenı
Existujı dve skupiny polynomialnıch algoritmu
I Zobecnenı Gaussovy eliminaceI Bulatov, Dalmau, Berman, Idziak, Markovic, McKenzie, Valeriote,
WillardI Uz vıme presne, kdy lze pouzıt
I Testy lokalnı konzistence (“vylucovacı metoda”)I vsichniI Larose, Zadori 06 + Maroti, McKenzie 06
Pokud lze pouzıt, pak H ma WNU polymorfismy skoro vsech aritI Barto, Kozik 08,09 Podmınka je postacujıcı!I Takze uz take vıme presne, kdy lze pouzıt
I Dekuji za pozornost!!!
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 8 / 8
![Page 31: O sloˇzitosti H-barven´ı digraf˚u - Univerzita Karlovamsekce.karlin.mff.cuni.cz/~barto/Articles/Barto_STTI.pdf · O sloˇzitosti H-barven´ı digraf˚u Libor Barto + Marcin Kozik,](https://reader033.vdocuments.site/reader033/viewer/2022041801/5e51c199b87e7432a13b42bf/html5/thumbnails/31.jpg)
Algoritmy pro H-barvenı
Existujı dve skupiny polynomialnıch algoritmu
I Zobecnenı Gaussovy eliminaceI Bulatov, Dalmau, Berman, Idziak, Markovic, McKenzie, Valeriote,
WillardI Uz vıme presne, kdy lze pouzıt
I Testy lokalnı konzistence (“vylucovacı metoda”)I vsichniI Larose, Zadori 06 + Maroti, McKenzie 06
Pokud lze pouzıt, pak H ma WNU polymorfismy skoro vsech aritI Barto, Kozik 08,09 Podmınka je postacujıcı!I Takze uz take vıme presne, kdy lze pouzıt
I Dekuji za pozornost!!!
L. Barto, M. Kozik, T. Niven (MFF UK) Slozitost H-barvenı STTI 2009 8 / 8