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

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

Ekvivalence následujících tří úloh

Podobné prezentace


Prezentace na téma: "Ekvivalence následujících tří úloh"— Transkript prezentace:

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

2 CNF 3-SAT Zadání: Booleovská funkce f = f(x1,x2,…,xn) rovná
(a1b1c1) (a2b2c2) … (akbkck) kde a1,b1,c1,a2,b2,c2, … ,ak,bk,ck jsou buď proměnné xi 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 3-SAT  3-barevnost (pokrač.)
X1 X2 X3 X4 X5 X6 X7 X1  X2  X3  X4  X5  X6  X7 1

8 3-SAT  3-barevnost (pokrač.)
X1   X3  X4  X1  X5   X6

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ý vrchol v  proměnná xv (je v množině?) Každá hrana v-w  klausule ( xv   xw) + (x1, x2,…, xN) splněná právě když K proměnných je rovno 1


Stáhnout ppt "Ekvivalence následujících tří úloh"

Podobné prezentace


Reklamy Google