rt - PowerPoint PPT Presentation

❖♥ ❞❡✜♥✐♥❣ ▼❝❈❛rt❤② ❢✾✶ ✐♥ ❈■❈ ❏✳✲❋✳ ▼♦♥✐♥ ❱❊❘■▼❆● ❯♥✐✈❡rs✐té ❏♦s❡♣❤ ❋♦✉r✐❡r✱ ●r❡♥♦❜❧❡✱ ❋r❛♥❝❡ ❚❨P❊❙ ✷✵✵✽ ✭❚♦r✐♥♦✮✱ ❉❈❙ ✷✵✵✽ ✭❈♦❧ ❞❡ P♦rt❡s✮

❖✉t❧✐♥❡ Pr♦❜❧❡♠ ❛♥❞ ❇❛❝❦❣r♦✉♥❞ Pr♦❜❧❡♠ ❈♦q ❈■❈ ❈♦♠♣✉t❛t✐♦♥❛❧ r❡❧❡✈❛♥❝❡ ❋✐①♣♦✐♥ts ■♥❞✉❝t✐✈❡❧② ❞❡✜♥❡❞ ❞♦♠❛✐♥s ❊①❛♠♣❧❡✿ ♠❡r❣❡s♦rt Pr♦♣✲❜♦✉♥❞❡❞ ✜①❡❞ ♣♦✐♥ts ▼②t❤ ❛❜♦✉t ✜①♣♦✐♥ts ✐♥ ❈■❈ ❑❡② ♣♦✐♥ts ❇❛❝❦ t♦ ♠❡r❣❡s♦rt ◆❡st❡❞ r❡❝✉rs✐♦♥ ▼❝❈❛rt❤② ❢✾✶ ❈♦♥❝❧✉s✐♦♥

Pr♦❜❧❡♠ ❉❡✜♥✐♥❣ ❛ ❣❡♥❡r❛❧ ♣r♦✈❛❜❧② t❡r♠✐♥❛t✐♥❣ r❡❝✉rs✐✈❡ ❢✉♥❝t✐♦♥ ❛♥❞ ♣r♦✈✐♥❣ ♣r♦♣❡rt✐❡s ❛❜♦✉t ✐t ✇✐t❤♦✉t ✿ ◮ ♣r♦✈✐♥❣ t❡r♠✐♥❛t✐♦♥ ❛t t❤❡ s❛♠❡ t✐♠❡ ◮ t❤✐♥❦✐♥❣ t♦♦ ♠✉❝❤ ◮ ❡①♦t✐❝ ❢❡❛t✉r❡s

❈♦q ❈■❈ ❈■❈ ❂ ❈❛❧❝✉❧✉s ♦❢ ■♥❞✉❝t✐✈❡ ❈♦♥str✉❝t✐♦♥s ❉❡✜♥✐♥❣ ✭t②♣❡❞✮ ❢✉♥❝t✐♦♥s✱ ✐✳❡✳ ♣r♦♦❢s ✭❢♦r ❢♦r♠✉❧æ✮ ❋✉♥❝t✐♦♥s ❝❛♥ ❜❡ ❞❡✜♥❡❞ ♦✈❡r t②♣❡s ⇒ ❞✐s❝r✐♠✐♥❛t✐♦♥ ❜❡t✇❡❡♥ ❝♦♥str✉❝t♦rs ❇❛s✐❝ ❝♦♥str✉❝ts✿ ◮ t②♣❡❞ λ ✲❝❛❧❝✉❧✉s ◮ ✐♥❞✉❝t✐✈❡ t②♣❡s ⇒ ❤✐❣❤❡r✲♦r❞❡r t❡r♠ ❛❧❣❡❜r❛ ◮ ✐♥❞✉❝t✐♦♥ ⊂ ♣❛tt❡r♥ ♠❛t❝❤✐♥❣ ✰ ✜①♣♦✐♥t ❘❡❞✉❝t✐♦♥ r❡❧❛t✐♦♥✿ ◮ ♣r♦♦❢ st❡♣s ❢♦r ❢r❡❡✱ ✐♥✈❡rs✐♦♥s ❢♦r ❢r❡❡ ◮ ❛♣♣❧✐❝❛t✐♦♥s t♦ ❝♦♠♣✉t❛t✐♦♥❛❧ r❡✢❡❝t✐♦♥

❙tr♦♥❣ ♥♦r♠❛❧✐③❛t✐♦♥ ❚❤❡ r❡❞✉❝t✐♦♥ r❡❧❛t✐♦♥ ✐s ♥÷t❤❡r✐❛♥ ❋✉♥❝t✐♦♥s ❞❡✜♥❡❞ ♦✈❡r t❡r♠s ✐♥ ❛♥ ✐♥❞✉❝t✐✈❡ t②♣❡ ♠✉st ❤❛✈❡ ❛ ❝❧❡❛r❧② str✐❝t❧② ❞❡❝r❡❛s✐♥❣ ❛r❣✉♠❡♥t ✏❝❧❡❛r❧②✑ ❂ s②♥t❛❝t✐❝❛❧❧② ✭❛❢t❡r ❝♦♠♣✐❧❡✲t✐♠❡ ❝♦♠♣✉t❛t✐♦♥s✮ ✏❞❡❝r❡❛s✐♥❣✑ ✿ ❢♦r t❤❡ s✉❜t❡r♠ r❡❧❛t✐♦♥

◆♦♥ ✐♥t❡r❢❡r❡♥❝❡ ❚✇♦ ❜❛s✐❝ s♦rts ✿ ◮ ❙❡t✱ ❢♦r ❝♦♠♣✉t❛t✐♦♥❛❧❧② ♠❡❛♥✐♥❣❢✉❧ ❞❛t❛ ❛♥❞ ❢✉♥❝t✐♦♥s ❡✳❣✳ ♥❛t ✿ ❙❡t ◮ Pr♦♣✱ ❢♦r ❧♦❣✐❝❛❧ ❝♦♠♠❡♥ts ❡✳❣✳ ❚r✉❡ ✿ Pr♦♣❀ ♣♦s✐t✐✈❡ ✿ ♥❛t → Pr♦♣ ❘✐❝❤ t②♣❡s✱ ❡✳❣✳ { ♥ : ♥❛t | ♥ < ✶✵ } ◆♦♥✲✐♥t❡r❢❡r❡♥❝❡ ♣r♦♣❡rt②✿ ◆♦ ✐♥❢♦r♠❛t✐♦♥ ✢♦✇ ❢r♦♠ Pr♦♣ t♦ ❙❡t ❡✳❣✳ ❝❛s❡ ❛♥❛❧②s✐s ❢r♦♠ ❛ ❧♦❣✐❝❛❧ ❞✐s❥✉♥❝t✐♦♥ t♦ ❛ ♥❛t ✐s ♥♦t ❛❧❧♦✇❡❞✳ ❚❡r♠✐♥♦❧♦❣②✿ ✐♥❢♦r♠❛t✐✈❡ ✴ ♥♦♥✲✐♥❢♦r♠❛t✐✈❡ ♦❜❥❡❝ts ◆❇✳ P❛tt❡r♥ ♠❛t❝❤✐♥❣ ♦✈❡r ❛ ♣r♦♦❢ ❤❛✈✐♥❣ ❛t ♠♦st ♦♥❡ ❝♦♥str✉❝t♦r ✐s st✐❧❧ ❛❧❧♦✇❡❞ ✭❡①❛♠♣❧❡ ❛♥❞ ✐♥tr♦ : P → ◗ → P ∧ ◗ ✮ ♣r♦✈✐❞❡❞ t❤❡ ❝♦♥str✉❝t♦r ❤❛s ♥♦ ✐♥❢♦r♠❛t✐✈❡ ❛r❣✉♠❡♥t ✭❝♦✉♥t❡r✲❡①❛♠♣❧❡✿ ❡① ✐♥tr♦ : ∀ ① : ❆ , P ① → ∃ ① , P ① ✮

Pr♦❣r❛♠ ❡①tr❛❝t✐♦♥ ■♥ ❢ : { ① : ♥❛t | P ① } → { ② : ♥❛t | ◗ ② } ✱ ◮ ② ❞♦❡s ♥♦t ❞❡♣❡♥❞ ♦♥ t❤❡ ♣r♦♦❢ ♦❢ P ① ◮ ♣r♦❣r❛♠ ❡①tr❛❝t✐♦♥ ❂ ❡r❛s✉r❡ ♦❢ Pr♦♣ ♣❛rts E ( ❢ ) : ♥❛t → ♥❛t

▼♦r❡✿ ❝♦♠♣✉t❛t✐♦♥❛❧ ✐rr❡❧❡✈❛♥❝❡ ■♥ ❢ : { ① : ♥❛t | P ① } → { ② : ♥❛t | ◗ ② } ✱ ◮ ✇❡ ❛r❡ ♥♦t ✐♥t❡r❡st❡❞ ✐♥ ❛ ♥♦r♠❛❧ ♣r♦♦❢ ♦❢ ◗ ② ◮ ❤❡♥❝❡ ❡✈❡♥ ✇✐t❤✐♥ t❤❡ ♦r✐❣✐♥❛❧ t②♣✐♥❣✱ ♥♦ ♣♦✐♥t t♦ ❝♦♠♣✉t❡ Pr♦♣ ♣❛rts

▼❛r❦♦✈ ❘✉❧❡ ❖r✐❣✐♥❛❧ r✉❧❡ ❞❡❝✐❞❛❜❧❡ P → ¬¬ ( ∃ ① : ♥❛t , P ① ) → ∃ ② : ♥❛t , P ② ▼♦r❡ r❡❧❡✈❛♥t ❤❡r❡ ❞❡❝✐❞❛❜❧❡ P → ¬¬{ ① : ♥❛t | P ① } → { ② : ♥❛t | P ② } ❖❜✈✐♦✉s❧② ( ∃ ① : ❆ , P ① ) → ¬¬{ ② : ❆ | P ② } ⇒ ■♥t❡r❡st✐♥❣ ♣❛rt ❞❡❝✐❞❛❜❧❡ P → ( ∃ ① : ♥❛t | P ① ) → { ② : ♥❛t | P ② } ◮ ❧♦❣✐❝❛❧ r❡❛❞✐♥❣ ◮ ♣r♦❣r❛♠ ❡①tr❛❝t✐♦♥ r❡❛❞✐♥❣

■♥❞✉❝t✐✈❡❧② ❞❡✜♥❡❞ ❞♦♠❛✐♥s ❉❡✜♥✐♥❣ ❛ ❣❡♥❡r❛❧ ♣r♦✈❛❜❧② t❡r♠✐♥❛t✐♥❣ r❡❝✉rs✐✈❡ ❢✉♥❝t✐♦♥ ❢ ( ① ) ✇✐t❤♦✉t t❤✐♥❦✐♥❣ t♦♦ ♠✉❝❤ ❬❆✳ ❇♦✈❡ ✫ ❱✳ ❈❛♣r❡tt❛✱ ✷✵✵✷❪ ✿ ✶✳ ❉❡r✐✈❡ ❛♥ ❛❞✲❤♦❝ ✐♥❞✉❝t✐✈❡ ❞❡♣❡♥❞❡♥t t②♣❡ ❉ ① ❢r♦♠ t❤❡ ❞❡s✐r❡❞ ❢✉♥❝t✐♦♥ ✷✳ ❆❞❞ ❛♥ ❛r❣✉♠❡♥t t ♦t t②♣❡ ❉ ① t♦ ❢ ✸✳ ❉❡✜♥❡ ❢ ❜② str✉❝t✉r❛❧ r❡❝✉rs✐♦♥ ♦✈❡r t ✹✳ ❙❡♣❛r❛t❡❧②✱ ❞❡✜♥❡ ❛♥ ❛✉①✐❧✐❛r② ❢✉♥❝t✐♦♥ ❢ t : ∀ ① , ❉ ① ■♥ ♠❛♥② ❝❛s❡s✱ st❡♣s ✸ ❛♥❞ ✹ ❛♥❞ ✐♥❞❡♣❡♥❞❡♥t

❊①❛♠♣❧❡✿ ♠❡r❣❡s♦rt ♠❡r❣❡ s♦rt ① ❬❪ ❂ ❬①❪ ♠❡r❣❡ s♦rt ① ✭② ✿✿ ❧✮ ❂ ♠❡r❣❡ ✭ ♠❡r❣❡ s♦rt ① ✭s♣❧✐t❧❡❢t ❧✮✮ ✭ ♠❡r❣❡ s♦rt ② ✭s♣❧✐tr✐❣❤t ❧✮✮ ■♥❞✉❝t✐✈❡ ❞♦♠ ✿ ❧✐st ♥❛t → ❙❡t ✿❂ ⑤ ❉♥✐❧ ✿ ❞♦♠ ♥✐❧ ⑤ ❉❝♦♥s ✿ ∀ ② ❧ ✱ ❞♦♠ ✭ s♣❧✐t❧❡❢t ❧ ✮ → ❞♦♠ ✭ s♣❧✐tr✐❣❤t ❧ ✮ → ❞♦♠ ✭ ② ✿✿ ❧ ✮✳ ❋✐①♣♦✐♥t ♠❡r❣❡ s♦rt ✭ ① ✿ ♥❛t ✮ ❧ ✭ ❞ ✿ ❞♦♠ ❧ ✮ ④ str✉❝t ❞ ⑥ ✿ ❧✐st ♥❛t ✿❂ ♠❛t❝❤ ❞ ✇✐t❤ ⑤ ❉♥✐❧ ⇒ ① ✿✿ ♥✐❧ ⑤ ❉❝♦♥s ② ❧ ❞✶ ❞✷ ⇒ ♠❡r❣❡ ✭ ♠❡r❣❡ s♦rt ① ✭ s♣❧✐t❧❡❢t ❧ ✮ ❞✶ ✮ ✭ ♠❡r❣❡ s♦rt ② ✭ s♣❧✐tr✐❣❤t ❧ ✮ ❞✷ ✮ ❡♥❞✳

❚✇♦ ✭❦♥♦✇♥✮ ♣r♦❜❧❡♠s ✶✮ ❉♦❡s ♥♦t ❡①tr❛❝t t❤❡ ❞❡s✐r❡❞ ❢✉♥❝t✐♦♥ ✷✮ ❉♦❡s ♥♦t s❝❛❧❡ ✉♣ t♦ ♥❡st❡❞ r❡❝✉rs✐♦♥ ✭✇✐t❤♦✉t ✐♥❞✉❝t✐♦♥✲r❡❝✉rs✐♦♥✱ ❛♥②✇❛② ✉♥❛✈❛✐❧❛❜❧❡ ✐♥ ❈♦q✮

❚❛❝❦❧✐♥❣ ♣❜ ✶✿ Pr♦♣✲❜♦✉♥❞❡❞ ✜①❡❞ ♣♦✐♥ts ❚❤❡ s②♥t❛❝t✐❝❛❧❧② ❞❡❝r❡❛s✐♥❣ ❛r❣✉♠❡♥t ❝❛♥ ❤❛✈❡ s♦rt Pr♦♣ ●♦❡s ❜❡②♦♥❞ str✉❝t✉r❛❧ r❡❝✉rs✐♦♥ ♦♥ ❛♥ ✐♥❢♦r♠❛t✐✈❡ ❛r❣✉♠❡♥t ❈❛❧❧❡❞ t❡r♠✐♥❛t✐♦♥ ❝❡rt✐✜❝❛t❡ ❍♦✇❡✈❡r ✿ ❘❡❞✉❝t✐♦♥ ❝♦♥tr♦❧❧❡❞ ❜② t❡r♠✐♥❛t✐♦♥ ❝❡rt✐✜❝❛t❡ ⇒ ♥❡❡❞ t♦ ❝♦♠♣✉t❡ ♦✈❡r t❡r♠✐♥❛t✐♦♥ ❝❡rt✐✜❝❛t❡s

❙♣❡❝✐❛❧ ❝❛s❡✿ ✇❡❧❧✲❢♦✉♥❞❡❞ r❡❝✉rs✐♦♥ ❱❛r✐❛❜❧❡ ❆ ✿ ❙❡t✳ ❱❛r✐❛❜❧❡ ❘ ✿ ❆ → ❆ → Pr♦♣✳ ■♥❞✉❝t✐✈❡ ❆❝❝ ✿ ❆ → Pr♦♣✿❂ ❆❝❝ ✐♥tr♦ ✿ ∀ ① ✿ ❆ ✱ ✭ ∀ ② ✿ ❆ ✱ ❘ ② ① → ❆❝❝ ② ✮ → ❆❝❝ ① ✳ ❆ r❡❧❛t✐♦♥ ✐s ✇❡❧❧✲❢♦✉♥❞❡❞ ✐❢ ❡✈❡r② ❡❧❡♠❡♥t ✐s ❛❝❝❡ss✐❜❧❡ ❉❡✜♥✐t✐♦♥ ✇❡❧❧ ❢♦✉♥❞❡❞ ✿❂ ∀ ❛ ✿ ❆ ✱ ❆❝❝ ❛ ✳