Sprog L : mængden af instanser for et afgørlighedsproblem

Transkript

1 26. marts Resume sidste to gang Sprog L : mængden af instanser for et afgørlighedsproblem hvor svaret er 1. P NP L : L genkendes af en algoritme i polynomiel tid L : L verificeres af en polynomiel tids algoritme Q er NP -fuldstændig hvis Q NP og R NP : R pol Q CIRCUIT-SAT er NP -fuldstændig SAT er NP -fuldstændig 3CNF-SAT er NP -fuldstændig CLIQUE er NP -fuldstændig VERTEX-COVER er NP -fuldstændig Problemer Q pol R reduceres kun den ene vej, men f.eks. CLIQUE pol CIRCUIT-SAT pol 3CNF-SAT 1

2 Oversigt Vi fortsætter beviser for NP -fuldstændighed. CIRCUIT-SAT SAT CLIQUE 3CNF-SAT SUBSET-SUM MINESWEEPER VERTEX-COVER HAM-CYCLE TSP Idag: Hamilton kreds Traveling salesman problem Subset-sum problem Minestryger 2

3 Hamilton-kreds HAM-CYCLE afgørlighedsproblem: HAM-CYCLE G : der findes en kreds i grafen G V E så hver knude besøges een gang For eksempel 3

4 HAM-CYCLE er NP -fuldstændig 1 Bevis at HAM-CYCLE NP 2 Vælg et kendt NP -fuldstændigt problem 3 Beskriv en algoritme f som afbilder VERTEX-COVER HAM-CYCLE 4 Bevis at f opfylder x VERTEX-COVER f x HAM-CYCLE for alle x Bevis at f kører i polynomiel tid. VERTEX-COVER og HAM-CYCLE k 2 4

5 HAM-CYCLE er NP -fuldstændig Intuition: En knude-overdækning opfylder a) vælger k knuder b) når knude vælges, markerer vi insidente kanter c) alle kanter skal markeres 1 eller 2 gange Hver kant repræsenteres af widget (dims) c) hver widget kan gennemløbes 1 eller 2 gange a) tilføjer k ekstra knuder s 1 s 2 s k b) når besøger knude s i gennemløbes insidente kanter 5

6 HAM-CYCLE er NP -fuldstændig Widget (dims, dippedut, dingenot) u v 1 v u 1 W uv u v 6 v u 6 u v 1 v u 1 W uv u v 6 v u 6 u v 1 v u 1 W uv u v 6 v u 6 6

7 HAM-CYCLE er NP -fuldstændig Konstruktion w x z y s 1 s 2 w x 1 x w 1 x y 1 y x 1 w y 1 y w 1 w z 1 z w 1 W wx W xy W wy W wz w x 6 x w 6 x y 6 y x 6 w y 6 y w 6 w z 6 z w 6 7

8 HAM-CYCLE er NP -fuldstændig Samlet graf 8

9 HAM-CYCLE er NP -fuldstændig f opfylder x VERTEX-COVER f x HAM-CYCLE f opfylder f x HAM-CYCLE x VERTEX-COVER f kører i polynomiel tid knuder: i widgets: 12E knuder s 1 s k : k kanter: i widgets: 14E knuder s 1 s k til widgets: 2kV imellem widgets: 2E V Bemærk: k V 9

10 Traveling salesman problem Givet en ikke-orienteret graf G V E med vægte (afstande) c i j knyttet til hver af kanterne e i j. Find en Hamiltonkreds af mindste længde. A 1 B D 2 C Afgørlighedsproblem TSP G c k : G har en Hamilton-kreds af længde k hvor G c k V E er en komplet graf er en afstands matrix er et heltal 10

11 TSP er NP -fuldstændig 1 Bevis at TSP NP 2 Vælg et kendt NP -fuldstændigt problem HAM-CYCLE 3 Beskriv en algoritme f som afbilder HAM-CYCLE TSP 4 Bevis at f opfylder x HAM-CYCLE f x TSP for alle x Bevis at f kører i polynomiel tid. Reduktion: Givet en instans G Konstuer komplet graf G Afstande c i j Sæt k 0 Ækvivalente TSP: G c k V E af HAM-CYCLE V E 0 hvis i j E 1 hvis i j E 11

12 TSP er NP -fuldstændig HAM-CYCLE V E TSP 1 V E c 0 0 k

13 Subset-sum problem Subset-sum problemet (delmængde sum): Givet mængde af heltal S Findes der en delmængde S For eksempel j S s j s 1 s 2 t S så s n samt heltal t S= 1,2,7,14,49,98,343,686,2409,2793,16808,17206,117705, t= har løsning S Afgørlighedsproblem SUBSET-SUM S t : der eksisterer en delmængde S S så j S s j t 13

14 SUBSET-SUM er NP -fuldstændig Bevisets gang 1 Bevis at SUBSET-SUM NP 2 Vælg et kendt NP -fuldstændigt problem 3CNF-SAT. 3 Beskriv en algoritme f som afbilder 3CNF-SAT SUBSET-SUM. 4 Bevis at f opfylder for alle x x 3CNF-SAT f x SUBSET-SUM Bevis at f kører i polynomiel tid. 14

15 SUBSET-SUM er NP -fuldstændig 3CNF-SAT φ C 1 C 2 C 3 C 4 x 1 x 2 x 3 x 1 x 2 x 3 x 1 x 2 x 3 x 1 x 2 x 3 tilfredsstillende tildeling: x 1 0 x 2 0 x 3 1 Ved at literaler i clausul er forskellige Transformation x 1 x 2 x 3 C 1 C 2 C 3 C 4 x 1 v 1 = x 1 v1 = x 2 v 2 = x 2 v2 = x 3 v 3 = x 3 v3 = s 1 = s1 = s 2 = s2 = s 3 = s3 = s 4 = s4 = t =

16 SUBSET-SUM er NP -fuldstændig formelt hver variabel x i to heltal v i og vi i S for hver klausul C j to heltal s j og s j i S målsum t har 1 i hver søjle svarende til variabel, 4 i hver søjle svarende til klausul regner 10-tals system (faktisk ville base 7 være nok) alle heltal i S er forskellige 16

17 SUBSET-SUM er NP -fuldstændig viser viser x 3CNF-SAT f x SUBSET-SUM x 3CNF-SAT f x SUBSET-SUM Kører i polynomiel tid S indeholder 2n 2k heltal hvert heltal n k cifre output 2n 2k n k cifre hvert ciffer genereres i polynomiel tid 17

18 Minestryger Givet spilleplade P med angivelse af cifre. Placer miner så hvert ciffer har det rette omkringliggende miner Afgørlighedsproblem MINESWEEPER-SAT P : der eksisterer en placering af miner så alle cifre tilfredsstilles 18

19 MINESWEEPER-SAT er NP -fuldstændig 1 Bevis at MINESWEEPER-SAT NP 2 Vælg et kendt NP -fuldstændigt problem 3CNF-SAT. 3 Beskriv en algoritme f som afbilder 3CNF-SAT MINESWEEPER-SAT. 4 Bevis at f opfylder x 3CNF-SAT f x MINESWEEPER-SAT for alle x Bevis at f kører i polynomiel tid. Eksempel φ x 1 x 2 x 3 x 1 x 2 x 3 x 1 x 2 x 3 med tilfredstillende tildeling: x 1 0 x 2 1 x

20 MINESWEEPER-SAT er NP -fuldstændig Intuition 20

21 21

22 22

23 23

24 24

25 25

26 26

27 MINESWEEPER-SAT er NP -fuldstændig Samlet spilleplade P φ x 1 x 2 x 3 x 1 x 2 x 3 and or or or or x 1 x 1 x 2 x 2 x 3 x 3 27

28 Opsummering De NP -fuldstændige problemer er vores bedste bud til at vise NP P. Hvis der findes et NP -fuldstændigt problem som er løseligt i polynomiel tid, så er NP P. Hvis et problem i NP ikke kan løses i polynomiel tid så kan ingen NP -fuldstændige problemer løses i polynomiel tid. Samlinger af NP -fuldstændige problemer findes i Garey and Johnson (1979) Computers and Intractability: a guide to the theory of NP-completenes. Crescenzi and Kann (1995) A compendium of NP optimization problems.! " #%$& ' 28