t r rt t - PowerPoint PPT Presentation

❙❤♦rt ✐♥tr♦❞✉❝t✐♦♥ ❙②♥t❛① ❛♥❞ s❡♠❛♥t✐❝s ❈♦♠♣❧❡①✐t② r❡s✉❧ts ❈♦♠♣❧❡①✐t② ❢♦r ♣r♦❜❛❜✐❧✐t② ❧♦❣✐❝ ✇✐t❤ q✉❛♥t✐✜❡rs ♦✈❡r ♣r♦♣♦s✐t✐♦♥s ❙t❛♥✐s❧❛✈ ❖✳ ❙♣❡r❛♥s❦✐ ◆♦✈♦s✐❜✐rs❦ ❙t❛t❡ ❯♥✐✈❡rs✐t② ▼❡❝❤❛♥✐❝s ❛♥❞ ▼❛t❤❡♠❛t✐❝s ❉❡♣❛rt♠❡♥t ▼❛❧ts❡✈ ▼❡❡t✐♥❣ ✷✵✶✶ ❙✳ ❖✳ ❙♣❡r❛♥s❦✐ QPL ✿ ❝♦♠♣❧❡①✐t② ✐ss✉❡s

❙❤♦rt ✐♥tr♦❞✉❝t✐♦♥ ❆❜str❛❝t ❙②♥t❛① ❛♥❞ s❡♠❛♥t✐❝s ❯♥❞❡r❧②✐♥❣ ✐❞❡❛ ❈♦♠♣❧❡①✐t② r❡s✉❧ts ❲❡ ❞❡s❝r✐❜❡ t❤❡ ❣❡♥❡r❛❧✐③❛t✐♦♥ ♦❢ t❤❡ ❧❛♥❣✉❛❣❡ ♣r♦♣♦s❡❞ ✐♥ ❬❋❍▼❪ ❘✳ ❋❛❣✐♥✱ ❏✳ ❨✳ ❍❛❧♣❡r♥✱ ◆✳ ▼❡❣✐❞❞♦✱ ❵❆ ❧♦❣✐❝ ❢♦r r❡❛s♦♥✐♥❣ ❛❜♦✉t ♣r♦❜❛❜✐❧✐t✐❡s✬✱ ■♥❢♦r♠❛t✐♦♥ ❛♥❞ ❈♦♠♣✉t❛t✐♦♥ ✱ ✽✼✿✶✱✷ ✭✶✾✾✵✮✱ ✼✽✕✶✷✽✳ ❜② ❛❧❧♦✇✐♥❣ ♠❡t❛✲✈❛r✐❛❜❧❡s ✐♥ ♣r♦♣♦s✐t✐♦♥s ✉♥❞❡r t❤❡ ♣r♦❜❛❜✐❧✐t② s✐❣♥ t♦❣❡t❤❡r ✇✐t❤ q✉❛♥t✐✜❡rs ❜♦✉♥❞✐♥❣ t❤❡s❡ ✈❛r✐❛❜❧❡s✳ ❆❢t❡r t❤❡ ♣r❡s❡♥t❛t✐♦♥ ♦❢ ✐ts s②♥t❛① ❛♥❞ s❡♠❛♥t✐❝s✱ ✇❡ ♣r♦❝❡❡❞ ❜② ✐♥✈❡st✐❣❛t✐♥❣ t❤❡ ❝♦♠♣❧❡①✐t② ✐ss✉❡s✳ ❙✳ ❖✳ ❙♣❡r❛♥s❦✐ QPL ✿ ❝♦♠♣❧❡①✐t② ✐ss✉❡s

❙❤♦rt ✐♥tr♦❞✉❝t✐♦♥ ❆❜str❛❝t ❙②♥t❛① ❛♥❞ s❡♠❛♥t✐❝s ❯♥❞❡r❧②✐♥❣ ✐❞❡❛ ❈♦♠♣❧❡①✐t② r❡s✉❧ts ❚❤❡ ❝❤❛r❛❝t❡r✐st✐❝ ❢❡❛t✉r❡ ♦❢ t❤❡ s❡♠❛♥t✐❝ ❝♦♥str✉❝t✐♦♥s ✐♥ ❬❋❍▼❪✿ ❢♦r ❛ ✜①❡❞ ♣r♦❜❛❜✐❧✐t② str✉❝t✉r❡ M ✱ ❛ ♠❡❛s✉r❛❜❧❡ [[ ψ ]] ✐s ❛ss♦❝✐❛t❡❞ ✇✐t❤ ❡❛❝❤ ψ ✳ ■♥t✉✐t✐✈❡❧②✱ t❤❡ ♠❡❛♥✐♥❣ ✐s t❤❛t ψ ✐s tr✉❡ ❡①❛❝t❧② ❛t t❤❡ ✇♦r❧❞s ❢r♦♠ [[ ψ ]] ✳ ❚❤✉s✱ ❢♦r ❡✈❡r② ψ ✱ ♦♥❡ ♠❛② ❝♦♥s✐❞❡r t❤❡ ❇❡r♥✉❧❧✐ r❛♥❞♦♠ ✈❛r✐❛❜❧❡ ξ ψ ❣✐✈❡♥ ❜② t❤❡ ♣r♦♣❡rt② ξ ψ ( ω ) = 1 ⇐ ⇒ ω ∈ [[ ψ ]] . ❙✳ ❖✳ ❙♣❡r❛♥s❦✐ QPL ✿ ❝♦♠♣❧❡①✐t② ✐ss✉❡s

❙❤♦rt ✐♥tr♦❞✉❝t✐♦♥ ❆❜str❛❝t ❙②♥t❛① ❛♥❞ s❡♠❛♥t✐❝s ❯♥❞❡r❧②✐♥❣ ✐❞❡❛ ❈♦♠♣❧❡①✐t② r❡s✉❧ts ❚❤❡ ❝❤❛r❛❝t❡r✐st✐❝ ❢❡❛t✉r❡ ♦❢ t❤❡ s❡♠❛♥t✐❝ ❝♦♥str✉❝t✐♦♥s ✐♥ ❬❋❍▼❪✿ ❢♦r ❛ ✜①❡❞ ♣r♦❜❛❜✐❧✐t② str✉❝t✉r❡ M ✱ ❛ ♠❡❛s✉r❛❜❧❡ [[ ψ ]] ✐s ❛ss♦❝✐❛t❡❞ ✇✐t❤ ❡❛❝❤ ψ ✳ ■♥t✉✐t✐✈❡❧②✱ t❤❡ ♠❡❛♥✐♥❣ ✐s t❤❛t ψ ✐s tr✉❡ ❡①❛❝t❧② ❛t t❤❡ ✇♦r❧❞s ❢r♦♠ [[ ψ ]] ✳ ❚❤✉s✱ ❢♦r ❡✈❡r② ψ ✱ ♦♥❡ ♠❛② ❝♦♥s✐❞❡r t❤❡ ❇❡r♥✉❧❧✐ r❛♥❞♦♠ ✈❛r✐❛❜❧❡ ξ ψ ❣✐✈❡♥ ❜② t❤❡ ♣r♦♣❡rt② ξ ψ ( ω ) = 1 ⇐ ⇒ ω ∈ [[ ψ ]] . ❙✳ ❖✳ ❙♣❡r❛♥s❦✐ QPL ✿ ❝♦♠♣❧❡①✐t② ✐ss✉❡s

❙❤♦rt ✐♥tr♦❞✉❝t✐♦♥ ❙②♥t❛① ❙②♥t❛① ❛♥❞ s❡♠❛♥t✐❝s ❙❡♠❛♥t✐❝s ❈♦♠♣❧❡①✐t② r❡s✉❧ts ▲❡t Prop ❛♥❞ X ❜❡ ✭✐♥✜♥✐t❡✮ ❝♦♠♣✉t❛❜❧❡ ❝♦❧❧❡❝t✐♦♥s ♦❢ ♣r♦♣♦s✐t✐♦♥❛❧ s②♠❜♦❧s ❛♥❞ ✈❛r✐❛❜❧❡s ✱ r❡s♣❡❝t✐✈❡❧②❀ t❤❡ ❧♦❣✐❝❛❧ ❝♦♥♥❡❝t✐✈❡s ❛r❡ ∧ ✱ ¬ ✳ Pr♦♣♦s✐t✐♦♥❛❧ ❢♦r♠✉❧❛❡ ❛r❡ ✐♥tr♦❞✉❝❡❞ ✐♥ t❤❡ ✉s✉❛❧ ✇❛②✳ ❆♥❛❧♦❣♦✉s❧② ♣❛r❛♠❡tr✐❝ ♣r♦♣♦s✐t✐♦♥❛❧ ❢♦r♠✉❧❛❡ ❛r❡ ❜✉✐❧t ✉♣ ❢r♦♠ Prop ∪ X ✉s✐♥❣ ❧♦❣✐❝❛❧ ❝♦♥♥❡❝t✐✈❡s✳ ❉❡✜♥✐t✐♦♥ ❚❤❡ ♥♦t✐♦♥ ♦❢ QPL ✲t❡r♠ ✐s ❣✐✈❡♥ ❜② ✐♥❞✉❝t✐♦♥✿ ✶ ❢♦r ❛ ♣❛r❛♠❡tr✐❝ ♣r♦♣♦s✐t✐♦♥❛❧ ❢♦r♠✉❧❛ ϕ ✱ t❤❡ ❡①♣r❡ss✐♦♥ µ ( ϕ ) ✐s ❛♥ ✭❛t♦♠✐❝✮ QPL ✲t❡r♠❀ ✷ ✐❢ f ( x 1 , . . . , x n ) ✐s ❛ ♣♦❧②♥♦♠✐❛❧ ✇✐t❤ r❛t✐♦♥❛❧ ❝♦❡✣❝✐❡♥ts✱ ❛♥❞ t 1 , . . . , t n ❛r❡ QPL ✲t❡r♠s✱ t❤❡♥ t❤❡ ❡①♣r❡ss✐♦♥ f ( t 1 , . . . , t n ) ✐s ❛ QPL ✲t❡r♠✳ ❙✳ ❖✳ ❙♣❡r❛♥s❦✐ QPL ✿ ❝♦♠♣❧❡①✐t② ✐ss✉❡s

❙❤♦rt ✐♥tr♦❞✉❝t✐♦♥ ❙②♥t❛① ❙②♥t❛① ❛♥❞ s❡♠❛♥t✐❝s ❙❡♠❛♥t✐❝s ❈♦♠♣❧❡①✐t② r❡s✉❧ts ▲❡t Prop ❛♥❞ X ❜❡ ✭✐♥✜♥✐t❡✮ ❝♦♠♣✉t❛❜❧❡ ❝♦❧❧❡❝t✐♦♥s ♦❢ ♣r♦♣♦s✐t✐♦♥❛❧ s②♠❜♦❧s ❛♥❞ ✈❛r✐❛❜❧❡s ✱ r❡s♣❡❝t✐✈❡❧②❀ t❤❡ ❧♦❣✐❝❛❧ ❝♦♥♥❡❝t✐✈❡s ❛r❡ ∧ ✱ ¬ ✳ Pr♦♣♦s✐t✐♦♥❛❧ ❢♦r♠✉❧❛❡ ❛r❡ ✐♥tr♦❞✉❝❡❞ ✐♥ t❤❡ ✉s✉❛❧ ✇❛②✳ ❆♥❛❧♦❣♦✉s❧② ♣❛r❛♠❡tr✐❝ ♣r♦♣♦s✐t✐♦♥❛❧ ❢♦r♠✉❧❛❡ ❛r❡ ❜✉✐❧t ✉♣ ❢r♦♠ Prop ∪ X ✉s✐♥❣ ❧♦❣✐❝❛❧ ❝♦♥♥❡❝t✐✈❡s✳ ❉❡✜♥✐t✐♦♥ ❚❤❡ ♥♦t✐♦♥ ♦❢ QPL ✲t❡r♠ ✐s ❣✐✈❡♥ ❜② ✐♥❞✉❝t✐♦♥✿ ✶ ❢♦r ❛ ♣❛r❛♠❡tr✐❝ ♣r♦♣♦s✐t✐♦♥❛❧ ❢♦r♠✉❧❛ ϕ ✱ t❤❡ ❡①♣r❡ss✐♦♥ µ ( ϕ ) ✐s ❛♥ ✭❛t♦♠✐❝✮ QPL ✲t❡r♠❀ ✷ ✐❢ f ( x 1 , . . . , x n ) ✐s ❛ ♣♦❧②♥♦♠✐❛❧ ✇✐t❤ r❛t✐♦♥❛❧ ❝♦❡✣❝✐❡♥ts✱ ❛♥❞ t 1 , . . . , t n ❛r❡ QPL ✲t❡r♠s✱ t❤❡♥ t❤❡ ❡①♣r❡ss✐♦♥ f ( t 1 , . . . , t n ) ✐s ❛ QPL ✲t❡r♠✳ ❙✳ ❖✳ ❙♣❡r❛♥s❦✐ QPL ✿ ❝♦♠♣❧❡①✐t② ✐ss✉❡s

❙❤♦rt ✐♥tr♦❞✉❝t✐♦♥ ❙②♥t❛① ❙②♥t❛① ❛♥❞ s❡♠❛♥t✐❝s ❙❡♠❛♥t✐❝s ❈♦♠♣❧❡①✐t② r❡s✉❧ts ❉❡✜♥✐t✐♦♥ ❋♦r ❛♥② QPL ✲t❡r♠s t 1 ❛♥❞ t 2 ✱ t❤❡ ❡①♣r❡ss✐♦♥ t 1 � t 2 ✐s ❛ QPL ✲❛t♦♠ ✳ ❚❤❡ s❡t ♦❢ QPL ✲❢♦r♠✉❧❛s ✐s ❞❡✜♥❡❞ ✐♥❞✉❝t✐✈❡❧② ❛s t❤❡ s♠❛❧❧❡st ❝❧❛ss ❝♦♥t❛✐♥✐♥❣ ❛❧❧ QPL ✲❛t♦♠s✱ s✉❜❥❡❝t t♦ t❤❡ ❝♦♥str❛✐♥t✿ ✐❢ Φ 1 ❛♥❞ Φ 2 ❛r❡ QPL ✲❢♦r♠✉❧❛s , α ✐s ❛ ✈❛r✐❛❜❧❡ ❢r♦♠ X , t❤❡♥ ¬ Φ 1 , ( Φ 1 ∧ Φ 2 ) , ∀ α Φ 1 ❛♥❞ ∃ α Φ 1 ❛r❡ ❛❧s♦ QPL ✲❢♦r♠✉❧❛s . ❚❤❡ r❡❧❛t❡❞ ♥♦t✐♦♥s ✭❡✳❣✳✱ ∀ ✲❢♦r♠✉❧❛s✱ ∃ ✲❢♦r♠✉❧❛s✮ ❛r❡ ✐♥tr♦❞✉❝❡❞ ❜② ❛♥❛❧♦❣② ✇✐t❤ t❤❡ ✇❡❧❧✲❦♥♦✇♥ ❞❡✜♥✐t✐♦♥s ❢♦r t❤❡ ✜rst✲♦r❞❡r ❧♦❣✐❝✳ ❙✳ ❖✳ ❙♣❡r❛♥s❦✐ QPL ✿ ❝♦♠♣❧❡①✐t② ✐ss✉❡s