r s tt - PowerPoint PPT Presentation

▼✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s ❈❛✈❛❧❧♦tt♦ ❊❞♦❛r❞♦ ❏❛♥✉❛r② ✶✼✱ ✷✵✶✼ ❈❛✈❛❧❧♦tt♦ ❊❞♦❛r❞♦ ▼✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s ✶✴✶✽

❆❧♠❣r❡♥ ♠✐♥✐♠✐s❡rs ▲❡t ✉s ✜① ✵ < ❞ < ♥ ✱ ❊ ✇✐❧❧ ❜❡ ❛ s✉❜s❡t ♦❢ R ♥ ✇✐t❤ ❧♦❝❛❧❧② ✜♥✐t❡ ❞✲❞✐♠❡♥s✐♦♥❛❧ ❍❛✉s❞♦r✛ ♠❡❛s✉r❡ H ❞ ✳ ❆❞♠✐ss✐❜❧❡ ❝♦♠♣❡t✐t♦rs ▲❡t ❯ ⊂ R ♥ ❜❡ ♦♣❡♥✳ ❋ ✐s ❛♥ ❛❞♠✐ss✐❜❧❡ ❝♦♠♣❡t✐t♦r ❢♦r ❊ ♦♥ ❯ ✐❢ t❤❡r❡ ❡①✐sts ❛ ❝♦♥t✐♥✉♦✉s ❢✉♥❝t✐♦♥ φ : [ ✵ , ✶ ] × ❯ → ❯ s✉❝❤ t❤❛t✿ φ ( ✵ , · ) = ■❞ ❀ ∃ ❑ ⊂⊂ ❯ s✉❝❤ t❤❛t ∀ t φ ( t , · ) = ■❞ ✐♥ ❑ ❝ ❀ φ ( ✶ , · ) ✐s ▲✐♣s❝❤✐t③ ❛♥❞ ❋ = φ ( ✶ , ❊ ) ✳ ❲❡ ❝❛❧❧ φ ❛♥ ❛❞♠✐ss✐❜❧❡ ❞❡❢♦r♠❛t✐♦♥✳ ❆❧♠❣r❡♥ ♠✐♥✐♠✐s❡r ❊ ✐s ❛♥ ❆❧♠❣r❡♥ ♠✐♥✐♠✐s❡r ✐❢ ❢♦r ❡✈❡r② ❛❞♠✐ss✐❜❧❡ ❝♦♠♣❡t✐t♦r ❋ ✇❡ ❤❛✈❡✿ H ❞ ( ❊ \ ❋ ) ≤ H ❞ ( ❋ \ ❊ ) . ❈❛✈❛❧❧♦tt♦ ❊❞♦❛r❞♦ ▼✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s ✷✴✶✽

❆❧♠❣r❡♥ ♠✐♥✐♠✐s❡rs Pr♦♣❡rt✐❡s ■❢ ❊ ✐s ❛♥ ❆❧♠❣r❡♥ ♠✐♥✐♠✐s❡r t❤❡♥✿ ❊ ✐s r❡❝t✐✜❛❜❧❡❀ ❊ ✐s ❆❤❧❢♦rs r❡❣✉❧❛r❀ ❊ ✐s ✉♥✐❢♦r♠❧② r❡❝t✐✜❛❜❧❡❀ t❤❡r❡ ❡①✐sts ❛♥ H ❞ ✲♥❡❣❧✐❣✐❜❧❡ ◆ ⊂ R ♥ s✉❝❤ t❤❛t ❊ \ ◆ ✐s ❛ ❈ ✶ ,α ❞ ✲❞✐♠❡♥s✐♦♥❛❧ s✉❜♠❛♥✐❢♦❧❞ ♦❢ R ♥ ❀ ∀ ① ∈ ❊ ✱ ∀ µ ∈ ❚❛♥ ❞ ( H ❞ � ❊ , ① ) ✐s s✉♣♣♦rt❡❞ ♦♥ ❛ ♠✐♥✐♠❛❧ ❝♦♥❡✳ ❘❡♠❛r❦ ▲❡t ❊ ⊂ R ♥ ❜❡ ❛♥ ❆❧♠❣r❡♥ ♠✐♥✐♠✐s❡r✳ ❚❤❡♥ ❊ ✐s ❛♥ ❆❧♠❣r❡♥ ♠✐♥✐♠✐s❡r ❛s ❛ s✉❜s❡t ♦❢ R ♠ ✇✐t❤ ♠ > ♥ ✭❜❡❝❛✉s❡ ♦rt❤♦❣♦♥❛❧ ♣r♦❥❡❝t✐♦♥s ❞♦ ♥♦t ✐♥❝r❡❛s❡ t❤❡ ❍❛✉s❞♦r✛ ❛r❡❛✮✳ ❈❛✈❛❧❧♦tt♦ ❊❞♦❛r❞♦ ▼✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s ✸✴✶✽

▼✐♥✐♠❛❧ ❈♦♥❡s R ✷ ❚❤❡r❡ ❛r❡ ♦♥❧② t✇♦ t②♣❡s ♦❢ ♠✐♥✐♠❛❧ ❝♦♥❡s✿ t❤❡ str❛✐❣❤t ❧✐♥❡❀ ❛♥❞ t❤r❡❡ ❤❛❧❢ ❧✐♥❡s ♠❡❡t✐♥❣ ✇✐t❤ ❛♥❣❧❡ ♦❢ ✶✷✵ ◦ ✱ ✇❤✐❝❤ ✇❡ ✇✐❧❧ ❞❡♥♦t❡ ❛s ❨ ✳ R ✸ ❚❤❡r❡ ❛r❡ ♥♦ ♥❡✇ ✶✲❞✐♠❡♥s✐♦♥❛❧ ❝♦♥❡s✳ ❚❤❡ ✷✲❞✐♠❡♥s✐♦♥❛❧ ♠✐♥✐♠❛❧ ❝♦♥❡s ❛r❡ ♦❢ t❤r❡❡ ❦✐♥❞s✿ ♣❧❛♥❡s❀ Y := ❨ × R ❀ t❤❡ ❝♦♥❡ ♦✈❡r t❤❡ ❡❞❣❡s ♦❢ ❛ r❡❣✉❧❛r t❡tr❛❤❡❞r♦♥ T ✳ ❈❛✈❛❧❧♦tt♦ ❊❞♦❛r❞♦ ▼✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s ✹✴✶✽

▼✐♥✐♠❛❧ ❈♦♥❡s ❍✐❣❤❡r ❞✐♠❡♥s✐♦♥s ❝♦♥❡ ♦✈❡r s❦ ♥ − ✷ ( ◗ ♥ ) ❢♦r ♥ ≥ ✹ ❬❇r❛❦❦❡ ✶✾✾✶❪❀ ❝♦♥❡ ♦✈❡r s❦ ♥ − ✷ (∆ ♥ ) ❬▼♦r❣❛♥ ✶✾✾✹❪❀ ❢♦r ❛♥② ❞ , ♠ ≥ ✷ t❤❡r❡ ❡①✐sts θ ( ♠ , ❞ ) ∈ ( ✵ , π/ ✷ ) s✉❝❤ t❤❛t✱ ❣✐✈❡♥ P ✶ , . . . , P ♠ ❞✲♣❧❛♥❡s ✐♥ R ♠❞ ✱ t❤❡✐r ✉♥✐♦♥ ✐s ❛♥ ❆❧♠❣r❡♥ ♠✐♥✐♠✐s❡r ✐❢ ❛❧❧ t❤❡ ❝❤❛r❛❝t❡r✐st✐❝ ❛♥❣❧❡s ❛r❡ ❣r❡❛t❡r t❤❛♥ θ ( ♠ , ❞ ) ❬▲✐❛♥❣ ✷✵✶✸❪❀ ❨ × ❨ ⊂ R ✹ ❬▲✐❛♥❣ ✷✵✶✹❪✳ ❈❛✈❛❧❧♦tt♦ ❊❞♦❛r❞♦ ▼✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s ✺✴✶✽

❙❧✐❞✐♥❣ ❇♦✉♥❞❛r② ❙❧✐❞✐♥❣ ❞❡❢♦r♠❛t✐♦♥ ▲❡t ❯ ⊂ R ♥ ❜❡ ♦♣❡♥ ❛♥❞ Γ ✐ ⊂ ❯ ✱ ✶ ≤ ✐ ≤ ■ ✱ ❜❡ ❛ ✜♥✐t❡ ❝♦❧❧❡❝t✐♦♥ ♦❢ ❝❧♦s❡❞ s❡ts✳ ❆ s❧✐❞✐♥❣ ❞❡❢♦r♠❛t✐♦♥ ✇✐t❤ r❡s♣❡❝t t♦ { Γ ✐ } ✐ ✐s ❛ ❝♦♥t✐♥✉♦✉s ❢✉♥❝t✐♦♥ φ : [ ✵ , ✶ ] × ❯ → ❯ s✉❝❤ t❤❛t✿ φ ( ✵ , · ) = ■❞ ❀ ∃ ❑ ⊂⊂ ❯ s✉❝❤ t❤❛t ∀ t φ ( t , · ) = ■❞ ✐♥ ❑ ❝ ❀ φ ( ✶ , · ) ✐s ▲✐♣s❝❤✐t③❀ φ ( t , ① ) ∈ Γ ✐ ∀ t ✐❢ ① ∈ Γ ✐ ✳ ❙❧✐❞✐♥❣ ❜♦✉♥❞❛r② ♠✐♥✐♠✐s❡rs ●✐✈❡♥ Γ := ∪ ✐ Γ ✐ ❛♥❞ ✵ ≤ α ≤ ✶ ✇❡ ❞❡✜♥❡ ❛ ♥❡✇ ❝♦st ❢✉♥❝t✐♦♥❛❧ ❝ ( ❊ ) := H ❞ ( ❊ \ Γ) + α H ❞ ( ❊ ∩ Γ) ❛♥❞ ✇❡ s❛② t❤❛t ❊ ✐s ❛ s❧✐❞✐♥❣ ❜♦✉♥❞❛r② ♠✐♥✐♠✐s❡r ✐❢ ❢♦r ❛♥② ❝♦♠♣❡t✐t♦r ❋ ♦❜t❛✐♥❡❞ ❛s ✐♠❛❣❡ ♦❢ ❛ s❧✐❞✐♥❣ ❞❡❢♦r♠❛t✐♦♥ ✇❡ ❤❛✈❡ ❝ ( ❊ \ ❋ ) ≤ ❝ ( ❋ \ ❊ ) ✳ ❈❛✈❛❧❧♦tt♦ ❊❞♦❛r❞♦ ▼✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s ✻✴✶✽

▼✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s ❖♥❡✲❞✐♠❡♥s✐♦♥❛❧ ♠✐♥✐♠❛❧ ❝♦♥❡s ✐♥ R ✷ + ✱ t❤❡ s❧✐❞✐♥❣ ❜♦✉♥❞❛r② Γ := { ② = ✵ } ✐s ✐♥ ❜❧✉❡✳ ❈❛✈❛❧❧♦tt♦ ❊❞♦❛r❞♦ ▼✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s ✼✴✶✽

▼✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s ❖♥❡✲❞✐♠❡♥s✐♦♥❛❧ ♠✐♥✐♠❛❧ ❝♦♥❡s ✐♥ R ✸ + ✱ t❤❡ s❧✐❞✐♥❣ ❜♦✉♥❞❛r② Γ := { ③ = ✵ } ✐s ✐♥ ❜❧✉❡✳ ❈❛✈❛❧❧♦tt♦ ❊❞♦❛r❞♦ ▼✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s ✽✴✶✽

▼✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s ❚✇♦✲❞✐♠❡♥s✐♦♥❛❧ ❝♦♥❡s ✐♥ R ✸ + ✱ t❤❡ s❧✐❞✐♥❣ ❜♦✉♥❞❛r② Γ := { ③ = ✵ } ✐s ✐♥ ❜❧✉❡✱ t❤❡ ✐♥t❡rs❡❝t✐♦♥ ❜❡t✇❡❡♥ Γ ❛♥❞ t❤❡ ❝♦♥❡ ✐s ✐♥ ❣r❡②✳ √ ✸ ❚❤❡ t✇♦ ❝♦♥❡s ❛r❡ ♠✐♥✐♠❛❧ ✐❢ ❛♥❞ ♦♥❧② ✐❢ α = ✷ ❝♦s β ✳ ❈❛✈❛❧❧♦tt♦ ❊❞♦❛r❞♦ ▼✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s ✾✴✶✽

▼✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s ❚✇♦✲❞✐♠❡♥s✐♦♥❛❧ ❝♦♥❡s ✐♥ R ✸ + ✱ t❤❡ s❧✐❞✐♥❣ ❜♦✉♥❞❛r② Γ := { ③ = ✵ } ✐s ✐♥ ❜❧✉❡✱ t❤❡ ✐♥t❡rs❡❝t✐♦♥ ❜❡t✇❡❡♥ Γ ❛♥❞ t❤❡ ❝♦♥❡ ✐s ✐♥ ❣r❡②✳ √ ✸ ❚❤❡ t✇♦ ❝♦♥❡s ❛r❡ ♠✐♥✐♠❛❧ ✐❢ ❛♥❞ ♦♥❧② ✐❢ α = ✷ ❝♦s β ✳ ❈❛✈❛❧❧♦tt♦ ❊❞♦❛r❞♦ ▼✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s ✶✵✴✶✽

▼✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s √ ✸ ❆❣❛✐♥ t❤❡ ❝♦♥❡ ✐s ♠✐♥✐♠❛❧ ✐❢ ❛♥❞ ♦♥❧② ✐❢ α = ✷ ❝♦s β ✳ ❈❛✈❛❧❧♦tt♦ ❊❞♦❛r❞♦ ▼✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s ✶✶✴✶✽

▼✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s √ ✸ ❆❣❛✐♥ t❤❡ ❝♦♥❡ ✐s ♠✐♥✐♠❛❧ ✐❢ ❛♥❞ ♦♥❧② ✐❢ α = ✷ ❝♦s β ✳ ❈❛✈❛❧❧♦tt♦ ❊❞♦❛r❞♦ ▼✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s ✶✷✴✶✽

▼✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s ▲❡t ✉s s❡t T ✷ + ❛s t❤❡ ❝♦♥❡ ♦✈❡r s❦ ✶ (∆ ✸ ) ∩ R ✸ + ✱ t❤❡♥ T ✷ + ✐s ❛ s❧✐❞✐♥❣ � ✷ ♠✐♥✐♠❛❧ ❝♦♥❡ ✐❢ α ≥ ✸ ✳ ■♥ ❣❡♥❡r❛❧✱ ❧❡t T ♥ − ✶ + ✱ t❤❡♥ T ♥ − ✶ ❜❡ t❤❡ ❝♦♥❡ ♦✈❡r s❦ ♥ − ✷ (∆ ♥ ) ∩ R ♥ + + � ✶ ♥ + ✶ ✐s ❛ s❧✐❞✐♥❣ ♠✐♥✐♠❛❧ ❝♦♥❡ ✐❢ α ≥ ♥ ✳ √ ✷ ❈❛✈❛❧❧♦tt♦ ❊❞♦❛r❞♦ ▼✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s ✶✸✴✶✽

◆♦♥✲♠✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s ❈❛✈❛❧❧♦tt♦ ❊❞♦❛r❞♦ ▼✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s ✶✹✴✶✽

❙✐♥❣✉❧❛r ❜♦✉♥❞❛r② α = ❝♦s ϕ ❝♦s θ ❈❛✈❛❧❧♦tt♦ ❊❞♦❛r❞♦ ▼✐♥✐♠❛❧ ❜♦✉♥❞❛r② ❝♦♥❡s ✶✺✴✶✽