t Ps s t - - PowerPoint PPT Presentation

❊♥❝♦❞✐♥❣ ◗✉❛♥t✐✜❡❞ ❈❙Ps ❛s ◗✉❛♥t✐✜❡❞ ❇♦♦❧❡❛♥ ❋♦r♠✉❧❛❡ ■❛♥ P✳ ●❡♥t✱ P❡t❡r ◆✐❣❤t✐♥❣❛❧❡ ❛♥❞ ❆♥❞r❡✇ ❘♦✇❧❡②

✶

❋✐♥✐t❡ ❞♦♠❛✐♥ ❝♦♥str❛✐♥t s❛t✐s❢❛❝t✐♦♥ ♣r♦❜❧❡♠ ✭❈❙P✮

• ❱❛r✐❛❜❧❡s ✇✐t❤ ❛ ✜♥✐t❡ ❞♦♠❛✐♥

✕ ❡✳❣✳ A ∈ {2, 3}, B ∈ {1, 2, 4}

• ❈♦♥str❛✐♥ts ♣❧❛❝❡❞ ♦♥ ✈❛r✐❛❜❧❡s

✕ A = B✱ A + B = 4

• ❆ s♦❧✉t✐♦♥ ✐s ❛ ✈❛❧✐❞ ❛ss✐❣♥♠❡♥t t♦ ❛❧❧ ✈❛r✐❛❜❧❡s

✕ A = 3✱ B = 1

• ◆P✲❝♦♠♣❧❡t❡ ❞❡❝✐s✐♦♥ ♣r♦❜❧❡♠

✷

■♥tr♦❞✉❝✐♥❣ q✉❛♥t✐✜❡rs ✭◗❈❙P✮

• ❊①✐st❡♥t✐❛❧ ✭∃✮ ❛♥❞ ✉♥✐✈❡rs❛❧ ✭∀✮ q✉❛♥t✐✜❡rs
• A ∈ {2, 3}, B ∈ {1, 2, 4}✱ ∃A∃B✱ A = B✱ A + B = 4
• ∀A∃B✱ A + B = 4

✕ ❙♦❧✉t✐♦♥ tr❡❡ ✭str❛t❡❣②✮

✸

■♥tr♦❞✉❝✐♥❣ q✉❛♥t✐✜❡rs ✭◗❈❙P✮

• ◗✉❛♥t✐✜❝❛t✐♦♥ ♦r❞❡r ✐s s✐❣♥✐✜❝❛♥t

✕ ∀A∃B✱ A + B = 4 ✕ ∃B∀A✱ A + B = 4

• P❙P❆❈❊✲❝♦♠♣❧❡t❡ ❞❡❝✐s✐♦♥ ♣r♦❜❧❡♠

✕ P❙P❆❈❊ ❛❧❣♦r✐t❤♠ tr❛✈❡rs❡s s♦❧✉t✐♦♥ tr❡❡

• ❊①♣♦♥❡♥t✐❛❧ s♣❛❝❡ t♦ ♣r♦✈✐❞❡ ❛ s♦❧✉t✐♦♥

✹

❚❤❡ ❣❛♠❡ ♦❢ ◗❈❙P

• ◗❈❙P ❝❛♥ ❜❡ t❤♦✉❣❤t ♦❢ ❛s ❛ ❣❛♠❡
• P❧❛②❡rs ❛r❡ ❡①✐st❡♥t✐❛❧ ❛♥❞ ✉♥✐✈❡rs❛❧
• ❙♦♠❡ ❣❛♠❡s ♠❛♣ ✐♥t♦ ◗❈❙P

✕ ❈♦♥♥❡❝t✲✹ ✭●❡♥t ❛♥❞ ❘♦✇❧❡②✮ ✕ ❆ ✈❛r✐❛♥t ♦❢ ●♦ ✭▲✐❝❤t❡♥st❡✐♥ ❛♥❞ ❙✐♣s❡r✮ ✕ ❖t❤❡❧❧♦ ✭■✇❛t❛ ❛♥❞ ❑❛s❛✐✮

✺

◆♦✉❣❤ts ❛♥❞ ❝r♦ss❡s

✻

❲❤② ❝♦♥s✐❞❡r ◗❈❙P❄

• ◆❛t✉r❛❧ ❣❡♥❡r❛❧✐③❛t✐♦♥ ♦❢ ❈❙P
• Pr♦❜❧❡♠ s♦❧✈✐♥❣ ✇✐t❤ ✉♥❝❡rt❛✐♥t②

✕ ❯♥❝❡rt❛✐♥ ❞❛t❛ ❛t s♦❧✉t✐♦♥ t✐♠❡ ❡✳❣✳ ❞❡❧✐✈❡r② t✐♠❡ ✶✵ ❛♠±✶ ❤♦✉r ∗ ✭▼✐♥✐♠❛❧✮ ❈♦✈❡r✐♥❣ s❡t ♦❢ s♦❧✉t✐♦♥s ✭❨♦r❦❡✲❙♠✐t❤ ❛♥❞ ●❡r✈❡t✮ ✕ ❯♥❝❡rt❛✐♥t② r❡s♦❧✈❡❞ ❞✉r✐♥❣ ❡①❡❝✉t✐♦♥ ♦❢ ♣❧❛♥ ∗ ●❛♠❡ ❛❣❛✐♥st t❤❡ ❡♥✈✐r♦♥♠❡♥t

✼

◗✉❛♥t✐✜❡❞ ❇♦♦❧❡❛♥ ❋♦r♠✉❧❛❡ ✭◗❇❋✮

• ❙✉❜s❡t ♦❢ ◗❈❙P ✭❛❧s♦ P❙P❆❈❊✲❝♦♠♣❧❡t❡✮
• ❲❡ ❝♦♥s✐❞❡r ❝♦♥❥✉♥❝t✐✈❡ ♥♦r♠❛❧ ❢♦r♠ ◗❇❋ ✐♥ ♣r❡♥❡① ❢♦r♠

∀a, b∃c, (a ∨ ¬c) ∧ (¬a ∨ ¬b ∨ ¬c)

• ❯♥✐t ♣r♦♣❛❣❛t✐♦♥ r✉❧❡s s✐♠✐❧❛r t♦ ❙❆❚ ✖ s❧✐❣❤t❧② str♦♥❣❡r

✽

❲❤② ❡♥❝♦❞❡❄

• ◗❇❋ ✐s t❤❡ s✉❜❥❡❝t ♦❢ r❡❝❡♥t r❡s❡❛r❝❤

✕ ❇❛s✐❝ ❝♦♠♣❧❡t❡ ❛❧❣♦r✐t❤♠ ❜❛s❡❞ ♦♥ ❉❛✈✐s P✉t♥❛♠ ▲♦❣❡♠❛♥♥ ▲♦✈❡❧❛♥❞ ❛❧❣♦r✐t❤♠ ✕ ❈♦♥✢✐❝t ❛♥❞ s♦❧✉t✐♦♥ ❞✐r❡❝t❡❞ ❜❛❝❦❥✉♠♣✐♥❣ ✭●✉✐♥❝❤✐❣❧✐❛✱ ◆❛r✐③✲ ③❛♥♦ ❛♥❞ ❚❛❝❝❤❡❧❧❛✮ ✕ ❊✣❝✐❡♥t ✇❛t❝❤❡❞ ❞❛t❛ str✉❝t✉r❡s ✭●❡♥t✱ ●✉✐♥❝❤✐❣❧✐❛✱ ◆❛r✐③③❛♥♦✱ ❘♦✇❧❡② ❛♥❞ ❚❛❝❝❤❡❧❧❛✮

• ❚❛❦❡ ❛❞✈❛♥t❛❣❡ ♦❢ ❢❛st ◗❇❋ s♦❧✈❡rs ❢♦r ◗❈❙P

✾

❉✐r❡❝t ❡♥❝♦❞✐♥❣

• ❲❡ ❝♦♥s✐❞❡r ❜✐♥❛r② ◗❈❙P ❢♦r t❤✐s ✇♦r❦
• ❊♥❝♦❞❡ ❈❙P ✈❛r✐❛❜❧❡ v ✇✐t❤ ❙❆❚ ✈❛r✐❛❜❧❡s xv

i ❢♦r ❡❛❝❤ ✈❛❧✉❡ i

• ❆t✲❧❡❛st✲♦♥❡ ❝❧❛✉s❡ (d

i=1 xv i ) ✭v t❛❦❡s ❛t ❧❡❛st ♦♥❡ ✈❛❧✉❡✮

• ❆t✲♠♦st✲♦♥❡ ❝❧❛✉s❡s d

i=1

d

j=i+1(¬xv i ∨ ¬xv j)

• ❈♦♥✢✐❝t ❝❧❛✉s❡s (¬xv

i ∨ ¬xw j )

✶✵

• ❧♦❜❛❧ ❆❝❝❡♣t❛❜✐❧✐t② ❊♥❝♦❞✐♥❣ ❢♦r ◗❈❙P
• ❈♦♥s✐❞❡r❛❜❧② ♠♦r❡ ✐♥✈♦❧✈❡❞ t❤❛♥ ❞✐r❡❝t ❡♥❝♦❞✐♥❣
• ❆❝❝❡♣t❛❜❧❡ ❛ss✐❣♥♠❡♥t t♦ t❤❡ ❡♥❝♦❞❡❞ ◗❇❋ ❝♦rr❡s♣♦♥❞s t♦ ◗❈❙P

❛ss✐❣♥♠❡♥t

• ❚❤❡ ❢♦r♠✉❧❛ ✐s r❡q✉✐r❡❞ t♦ ❜❡ tr✉❡ ❢♦r s♦♠❡ ✉♥❛❝❝❡♣t❛❜❧❡ ❛ss✐❣♥✲

♠❡♥ts ✖ ✇❤❡r❡ ✉♥✐✈❡rs❛❧ ✈❛r✐❛❜❧❡s t❛❦❡ = 1 ✈❛❧✉❡s

• ❆❞❞✐t✐♦♥❛❧ ❧✐t❡r❛❧ z ✐♥ ♠♦st ❝❧❛✉s❡s
• ❈♦♥✢✐❝t ❝❧❛✉s❡s (¬xv

i ∨ ¬xw j ∨ z)

• Pr❡✈❡♥ts ✉♥✐t ♣r♦♣❛❣❛t✐♦♥ ✉♥t✐❧ ✐♥♥❡r♠♦st ✉♥✐✈❡rs❛❧ ✈❛r✐❛❜❧❡ ✐s s❡t

✶✶

▲♦❝❛❧ ❆❝❝❡♣t❛❜✐❧✐t② ❊♥❝♦❞✐♥❣ ✭r❡✜♥❡♠❡♥t ♦❢ ❛❜♦✈❡✮

• ▲♦❝❛❧ zu ✈❛r✐❛❜❧❡s ❛r❡ s❡t ❡❛r❧✐❡r t❤❛♥ z ❛♥❞ ❛❧❧♦✇ ✉♥✐t ♣r♦♣❛❣❛t✐♦♥
• . . . ∀xv

i . . . ∀xw j . . . (¬xv i ∨ ¬xw j ∨ zw)

• . . . ∀xu

h . . . ∃xv i . . . ∃xw j . . . (¬xv i ∨ ¬xw j ∨ zu)

• ❙✐♠✉❧❛t❡s ❢♦r✇❛r❞ ❝❤❡❝❦✐♥❣ ✭▼❛♠♦✉❧✐s ❛♥❞ ❙t❡r❣✐♦✉✮
• ▲❛r❣❡ ♥✉♠❜❡r ♦❢ ✉♥❛❝❝❡♣t❛❜❧❡ ❛ss✐❣♥♠❡♥ts

✶✷

❆❞❛♣t❡❞ ▲♦❣ ❊♥❝♦❞✐♥❣ ✭❢✉rt❤❡r r❡✜♥❡♠❡♥t✮

• ❯♥❛r② ❡♥❝♦❞✐♥❣ ♦❢ ✉♥✐✈❡rs❛❧ ✈❛r✐❛❜❧❡s ❤❛s O(2d) ✉♥❛❝❝❡♣t❛❜❧❡ ❛s✲

s✐❣♥♠❡♥ts ✖ ▲♦❣ ❡♥❝♦❞✐♥❣ ❤❛s O(d) ✉♥❛❝❝❡♣t❛❜❧❡ ❛ss✐❣♥♠❡♥ts

• Pr♦✈❡♥ ❝♦rr❡❝t
• ❈❤❛♥♥❡❧ ❧♦❣ ❡♥❝♦❞✐♥❣ t♦ ✉♥❛r② ❡♥❝♦❞✐♥❣

(zu ∨ xv

1 ∨ bv 2 ∨ bv 1 ∨ bv 0)

(zu ∨ xv

2 ∨ bv 2 ∨ bv 1 ∨ ¬bv 0)

(zu ∨ xv

3 ∨ bv 2 ∨ ¬bv 1 ∨ bv 0)

(zu ∨ xv

4 ∨ bv 2 ∨ ¬bv 1 ∨ ¬bv 0)

(zu ∨ xv

5 ∨ ¬bv 2 ∨ bv 1 ∨ bv 0)

• ❖♥❡✲✇❛② ❝❤❛♥♥❡❧❧✐♥❣ ♣r❡s❡r✈❡s ♣✉r❡ ❧✐t❡r❛❧ ♣r♦♣❛❣❛t✐♦♥

✶✸

❉✐r❡❝t s♦❧✉t✐♦♥ ✈s✳ ❡♥❝♦❞✐♥❣

✶✹

❋❧❛✇s ✐♥ ◗❈❙Ps

• ❙♦♠❡ ✐♥st❛♥❝❡s tr✐✈✐❛❧❧② ❢❛❧s❡
• ❯♥✐✈❡rs❛❧s u1 . . . u7 ❢♦❧❧♦✇❡❞ ❜② ❡①✐st❡♥t✐❛❧ e
• ❊❛❝❤ ✈❛❧✉❡ ♦❢ e ❝♦♥✢✐❝ts ✇✐t❤ s♦♠❡ ✈❛❧✉❡ ♦❢ s♦♠❡ ui
• ❆rt✐✜❝✐❛❧❧② s❤✐❢ts ♣❤❛s❡ tr❛♥s✐t✐♦♥
• ❘❡❝❡♥t ✇♦r❦ ♦♥ ❝♦♥tr♦❧❧✐♥❣ ♣❛r❛♠❡t❡rs t♦ ❛✈♦✐❞ t❤✐s

✶✺

❈♦♥❝❧✉s✐♦♥s

• ❊♥❝♦❞✐♥❣ ♦✉t♣❡r❢♦r♠s ❞✐r❡❝t s♦❧✉t✐♦♥ ♦♥ s♦♠❡ ♣r♦❜❧❡♠s

✕ ❙♦♠❡t✐♠❡s ❜② ♦r❞❡rs ♦❢ ♠❛❣♥✐t✉❞❡

• ▲♦✇ ✐♠♣❧❡♠❡♥t❛t✐♦♥ ❡✛♦rt
• ❙✉♣♣♦rt ❡♥❝♦❞✐♥❣ r❡♠❛✐♥s ♦♣❡♥
• ●♦♦❞ ❜❡♥❝❤♠❛r❦ ♣r♦❜❧❡♠s r❡q✉✐r❡❞

✶✻

❚❤❛♥❦ ②♦✉

✶✼