Naturalna redukcja CLIQUE do k-Color

23

Widoczna jest redukcja z CLIQUE na k-Color, ponieważ oba są NP-Complete. W rzeczywistości mogę go zbudować, tworząc redukcję z CLIQUE do 3-SAT z redukcją z 3-SAT do k-Color. Zastanawiam się, czy istnieje rozsądna bezpośrednia redukcja między tymi problemami. Powiedzmy, redukcję, którą mógłbym wyjaśnić przyjacielowi dość krótko, bez potrzeby opisywania języka pośredniego, takiego jak SAT.

Jako przykład tego, czego szukam, oto bezpośrednia redukcja w odwrotnym kierunku: Biorąc pod uwagę G z nn i trochę kk (liczba kolorów), utwórz wykres G 'z k nkn wierzchołkami (jeden na kolor na wierzchołek) . Wierzchołki v v , u u odpowiadające odpowiednio wierzchołkom v , uv,u i kolorom c , dc,d sąsiadują, wtedy i tylko wtedy, gdy v uvu i ( c dcd lub v u GvuG ). Nn -clique w G 'Gjest tylko jednym wierzchołkiem za wierzchołkiem w GG i odpowiednie kolory są właściwe kk -coloring z GG . Podobnie, każde prawidłowe k-k kolorowanie GG ma odpowiednią klikę w G G .

Edycja : Aby dodać krótką motywację, pierwotne 21 problemów Karpa zostało potwierdzonych jako NP-Complete przez drzewo redukcji, w których CLIQUE i liczba chromatyczna tworzą korzenie głównych poddrzewa. Istnieją pewne naturalne redukcje między problemami w poddrzewie CLIQUE i poddrzewie Liczby Chromatycznej, ale wiele z nich jest tak samo trudnych do znalezienia, jak ten, o który pytam. Staram się zbadać, czy struktura tego drzewa wykazuje strukturę leżącą u podstaw innych problemów, czy też jest to całkowicie konsekwencja tego, które redukcje zostały znalezione jako pierwsze, ponieważ motywacja do poszukiwania redukcji między dwoma problemami jest mniejsza wiadomo, że należą do tej samej klasy złożoności. Z pewnością porządek miał pewien wpływ, a części drzewa można zmienić, ale czy można je dowolnie zmienić?

Edycja 2 : Nadal szukam bezpośredniej redukcji, ale oto szkic najbliższego, jaki dostałem (powinna to być poprawna redukcja, ale ma CIRCUIT SAT jako wyraźnego pośrednika; jest to nieco subiektywne, czy jest to lepsze niż składające się z dwóch redukcji, o których mowa w akapicie pierwszym).

Biorąc pod uwagę G , k , wiemy, że ¯ G może być n - k + 1 -kolorowane zk wierzchołkami, wszystkie kolorowe True iff G mają k- klikę. Nazywamy oryginalne wierzchołki G v 1 , , v n, a następnie dodajemy do ¯ G dodatkowe wierzchołki: C i j z 1 i n , 0 j kG,kG¯¯¯¯nk+1kGkG v1,,vnG¯¯¯¯Cij1in0jk. Kluczowym niezmiennikiem będzie to, że C i j może mieć kolor True, jeśli tylko między wierzchołkami { v 1 , , v i } znajdują się co najmniej j wierzchołki w kolorze True. Tak więc, każde C i 0 może być Prawdą. Następnie C i j dla j > 0 otrzymuje kolor C ( i - 1 ) jC ( i - 1 ) ( j - 1 )Cij{v1,,vi}jCi0Cijj>0 v I gdzie wszystkie kolory spoza prawdziwe są traktowane jako FAŁSZ Jest. K -clique w GC(i1)jC(i1)(j1)vikGiff C n k można barwić prawda, jeśli więc siła, którą zabarwienie nowy wykres jest colorable IFF byłok-clique w pierwotnym wykresie.Cnkk

AND i OR gadżety egzekwować relacje są bardzo podobnie do redukcji z obwodu SAT do 3-kolorowy, ale tutaj należą K n - k + 1 w naszym wykresie, wybrać wierzchołki T, F i ziemię, a następnie połączyć wszystkie inni do wszystkiego, ale V i s; zapewnia to, że C i j i inne gadżety otrzymają tylko 3 kolory.Knk+1viCij

W każdym razie część ¯ G tej redukcji wydaje się bezpośrednia, ale użycie bramek AND / OR jest znacznie mniej bezpośrednie. Pozostaje pytanie, czy istnieje bardziej elegancka obniżka?G¯¯¯¯

Edycja 3 : Pojawiło się kilka komentarzy na temat tego, dlaczego trudno byłoby znaleźć tę redukcję. CLIQUE i k-Color to rzeczywiście zupełnie inne problemy. Jednak nawet bez redukcji odpowiedź, która wyjaśnia, dlaczego redukcja jest trudna w jednym kierunku, ale możliwa w drugim, byłaby bardzo pomocna i przyczynia się w dużym stopniu do problemu.

William Macrae
źródło
4
Rodzaj bezpośredniej redukcji, którego szukasz, może być trudny do znalezienia, ponieważ Klika i kolorystyka są swego rodzaju przeciwieństwem w tym sensie, że klika 1 jest tak łatwa do znalezienia jak n-kolorowanie. Może więc redukcja powinna mieć postać: G ' ma kolor n - k wtedy i tylko wtedy, gdy G ma klikę kGnkGk
Martin Vatshelle
Zgadzam się, że to trudne; to jest powód mojego zainteresowania; W pytaniu przedstawię szczegółowo motywację. N - k -coloring pomysł nie dostał mi najbliższa. Jeśli w G jest k- klika, wówczas ¯ G może mieć wszystkie wierzchołki w klice monochromatyczne, ponieważ są one niezależnym zestawem. Problem polega na tym, że liczba chromatyczna reszty może się różnić. Połączenie dwóch wierzchołków z K n - k - 1 zmusza je do tego samego koloru, ale nie mam pojęcia, który zestaw wierzchołków ma wymusić. Gadżet, że niektóre siły I z jnkkGG¯¯¯¯Knk1ij wierzchołki być monochromatyczny by to zrobić.
William Macrae,
3
Zgadzam się z Martinem, że może to nawet nie być wykonalne (bez przejścia, powiedzmy 3SAT). Klika i kolorystyka mają ze sobą niewiele wspólnego. Chcę zatem przypomnieć twierdzenie Erdősa, biorąc pod uwagę naturals g i k, istnieje wykres z obwodem co najmniej g i liczbą chromatyczną co najmniej k (pomyśl o tym przez chwilę, jeśli go nie znasz). Na koniec, twoja redukcja musi być również świadoma, że ​​chociaż Clique (i Independent Set) jest w W [ 1 ] sparametryzowany przez zestaw roztworów, nie ma równoważnej parametryzacji dla liczby chromatycznej wykresu. W[1]
Pål GD
Nie rozumiem komentarza @ MartinVatshelle. O ile mi wiadomo, wszystkie 1-klika, 1-kolorowanie, n-klika i n-kolorowanie są banalne na tym samym poziomie. (nie sądzę, że zawsze możesz odpowiedzieć na 1-klikową odpowiedź TAK: wykres wejściowy może być pusty!)
Yixin Cao,
Myślę, że punkt Martina jest jego pokaz χ ( G ) = 4 i χ ( G ) = 3 , ale trudniej znaleźć K 4 niż K 3 . W tych dwóch koncepcjach jest więc trochę dualizmu. Punkt PålGD na temat twierdzenia Erdősa jest świetny (i uwielbiam to twierdzenie), ponieważ wykresy z dużym obwodem mają dużą liczbę niezależności, a zatem ich odwrócone będą miały duże kliky. Ogólnie wydaje się, że jest tu pułapka, która polega na powiązaniu klików i koloryzacji na tych samych lub podobnych wykresach, ale podobnie jak w odwrotnym kierunku redukcja może stworzyć wykres zupełnie inny niżχ(G)=4χ(G)=3K4K3 G .G
William Macrae,

Odpowiedzi:

14

Biorąc pod uwagę wykres G a liczba k tak, że chcesz wiedzieć, czy G zawiera k -clique, niech n będzie liczbę wierzchołków w G . Konstruujemy kolejny wykres H , taki że H jest n -kolorowalny wtedy i tylko wtedy, gdy G ma k- klikę, w następujący sposób:GkGkGHHnGk

(1) Dla każdego wierzchołka v w G utwórz n- klikę wierzchołków ( v , i ) w H , gdzie i wynosi od 1 do n .vGn(v,i)Hi1n

(2) po jednym dodatkowym wierzchołków X z H .xH

(3) Dla każdego potrójnego { x , y , z } wierzchołków w H , gdzie y = ( v , i ) i z = ( u , j ) , sprawdź, czy spełniony jest jeden z następujących warunków: albo u v i i = j lub u i v to nieprzylegające wierzchołki w G o max ( i , j ) k{x,y,z}Hy=(v,i)z=(u,j)uvi=juvGmax(i,j)k. Jeśli któryś z tych dwóch rzeczy jest prawdą, dodać kolejną n -clique do H . W obrębie tej kliki wybierz trzy wierzchołki x , y i z . Połącz x z każdym wierzchołkiem kliki oprócz y i z ; połącz y z każdym wierzchołkiem kliki oprócz x i z ; i połącz z z każdym wierzchołkiem kliki oprócz x i y .nHxyzxyzyxzzxy

Gadżety dodaje się w etapie (3) zapobiegają trzykrotność wierzchołków x , y i z od wszystkich z nich otrzymuje się taki sam kolor jak drugi obowiązującą barwienia H . Klikę w G można odzyskać po zabarwieniu H jako zbiór wierzchołków ( v , i ), które mają tę samą klasę kolorów co x i mają i k .xyzHGH(v,i)xik

David Eppstein
źródło
2
To jest cudowne.
William Macrae
Z jakiegoś powodu moja edycja została odrzucona, ale ostatnie zdanie powinno opisywać wierzchołki G zamiast H (ponieważ ma na celu opisanie kliki w G). Coś w stylu „Kliki w G można odzyskać po zabarwieniu H jako { v : i k χ ( ( v , i ) ) = χ ( x ) } . ” Ponadto zapomniałem podziękować za odpowiedź, to było bardzo pomocne! G{v:ikχ((v,i))=χ(x)}.
William Macrae
Jasne, możesz dodać kolejną klauzulę do tego zdania na temat zdejmowania i z każdej pary, ale myślałem, że ten krok był wystarczająco łatwy do pominięcia, a moim ogólnym odczuciem jest to, że (kiedy można je wystarczająco krótko) proza ​​jest zwykle bardziej czytelny niż formuła. i
David Eppstein
Zgadzam się, że proza ​​jest bardziej preferowana. Może po prostu dodanie wyrażenia typu „pierwsza współrzędna każdego (v, i) ...” to pomysł. Powodem mojej troski o technikę jest to, że przy zmniejszaniu w pierwszym czytaniu może być trudno zachować dokładne definicje elementów w pierwszym języku i drugim, i który jest który. Gdy tylko coś wydaje się złamać definicję, może rzucić mnie na pętlę. Gdybym miał problem ze zrozumieniem poprzednich zdań i dotarł do ostatniego, ustaliłbym, że G i H mają wierzchołki formy (v, i).
William Macrae
I should also say that I think you've done a much better job talking through this reduction than almost any other that I've read. There's a problem in the literature that many reductions are stated formally with no motivation or intuition, and you've avoided that very nicely.
William Macrae
-7

?? coloring and clique finding have been known to be tightly coupled for decades via graph theory (possibly even in the 60s?) even not through SAT as an intermediary (which became typical after the Cook proof in 1971). believe there are algorithms based on the following basic property:

If G contains a clique of size k, then at least k colors are needed to color that clique; in other words, the chromatic number is at least the clique number: χ(G)ω(G).χ(G)ω(G).

not sure of exact refs but [1,2] are good places to start, an exact algorithm or ref is at least likely cited in these books.

[1] Cliques, coloring, & satisfiability, 2nd DIMACS challenge

[2] Dimacs vol 26: Cliques, coloring and satisfiability

vzn
źródło
5
Using the property χ(G)ω(G)χ(G)ω(G), you can invoke an algorithm for kCOLORABILITYkCOLORABILITY on GG: if the algorithm returns YESYES, then GG does not contain any clique of size at least k+1k+1. However the opposite implication does not hold: if the algorithm returns NONO, then GG may or may not have a clique of size at least k+1k+1 (as a counterexample, consider a pyramid whose polygonal base has an odd number of vertices: it is not 33-colorable, however it has not any clique of size at least 44).
Giorgio Camerani
yes, agreed; as I interpret it the original post was not insistent on the direction of the reduction but more emphasized avoiding SAT as the intermediary, asking for a "fairly brief explanation". also conspicuously nobody mentioned the above factoid so far.... the question & comments also seem to inaccurately indicate in various ways the two problems are not tightly coupled....
vzn
1
Apologies if the direction was ambiguous. I am interested in a correct reduction (YES YES), and I am interested in a reduction from Clique to k-Color. I have the other direction and it is explained in my post. There are certainly many things that relate cliques in graphs to colorings in graphs and vice versa, and indeed I have seen many of them (and I assume many others here have seen many of them), but I'm really interested exclusively in a direct reduction or a convincing explanation of why it might not exist.
William Macrae
1
@vzn: My comment was not meant to criticize your answer. Truth be told, initially I made a reasoning similar to yours, but then I realized that, if the opposite implication would have hold, then 3COLORING3COLORING on general graphs, which is known to be NP-complete, would have been solvable trivially by just checking whether the input graph had a clique of 44 nodes: any GG would have been 33-colorable if and only if it does not contain any clique of size 44 (that's plain false, of course, as the pyramid counterexample shows). By the way: I'm not the one who downvoted.
Giorgio Camerani
3
@WilliamMacrae: It was perfectly clear that you wanted a reduction, otherwise it wouldn't have been a reduction! Also, it was perfectly clear that you wanted a reduction from CLIQUECLIQUE to COLORINGCOLORING and not the other way.
Giorgio Camerani