Prezentace se nahrává, počkejte prosím

Prezentace se nahrává, počkejte prosím

CNF 3-SAT 3-barevnost grafu nezávislá množina grafu Ekvivalence následujících tří úloh.

Podobné prezentace


Prezentace na téma: "CNF 3-SAT 3-barevnost grafu nezávislá množina grafu Ekvivalence následujících tří úloh."— Transkript prezentace:

1 CNF 3-SAT 3-barevnost grafu nezávislá množina grafu Ekvivalence následujících tří úloh

2 CNF 3-SAT Zadání: Booleovská funkce f = f(x 1,x 2,…,x n ) rovná (a 1  b 1  c 1 )  (a 2  b 2  c 2 )  … (a k  b k  c k ) kde a 1,b 1,c 1,a 2,b 2,c 2, …,a k,b k,c k jsou buď proměnné x i nebo jejich negace Otázka: Je f splnitelná?

3 3-barevnost grafu Je daný graf s N vrcholy 3-barevný?

4 Nezávislá množina v grafu Existuje v daném grafu s N vrcholy nezávislá množina velikosti K ? K= 4

5 3-SAT  3-barevnost

6 3-SAT  3-barevnost (pokrač.)

7 X1X1 X2X2 X3X3 X4X4 X5X5 X6X6 X7X7 X1X1  X 2  X 3  X 4  X 5  X 6  X 7

8 3-SAT  3-barevnost (pokrač.) X 1   X 3  X 4  X 1  X 5   X 6

9 3-SAT  3-barevnost (pokrač.)

10 3-barevnost  nezávislá množina

11 Nezávislá množina  3-SAT Existuje nezávislá množina s K vrcholy? Každá hrana v-w  klausule (  x v   x w ) Každý vrchol v  proměnná x v (je v množině?) +  (x 1, x 2,…, x N ) splněná právě když K proměnných je rovno 1


Stáhnout ppt "CNF 3-SAT 3-barevnost grafu nezávislá množina grafu Ekvivalence následujících tří úloh."

Podobné prezentace


Reklamy Google