rs r Pr s - - PowerPoint PPT Presentation
rs r Pr s - - PowerPoint PPT Presentation
rs r Pr s r rs r
❚❤❡ ♣r♦❜❧❡♠✳
❚❤❡ t❛❜❧❡ ❤❛s ♠ ♣❧❛❝❡s t♦ ❤❛s❤ ✭♣❛r❦✮ ❢r♦♠ ✵ t♦ ♠ ✶✱ ❛♥❞ ♥ ❡❧❡♠❡♥ts ✭❝❛rs✮✳ ❊❛❝❤ ❡❧❡♠❡♥t ✐s ❣✐✈❡♥ ❛ ❤❛s❤ ✈❛❧✉❡ ✭♣r❡❢❡rr❡❞ ♣❛r❦✐♥❣ ❧♦t✮✳ ■❢ ♣❧❛❝❡ ✐s ❡♠♣t②✱ t❤❡♥ t❤❡ ❡❧❡♠❡♥t ✐s st♦r❡❞ t❤❡r❡✳ ❖t❤❡r✇✐s❡✱ ❧♦♦❦s s❡q✉❡♥t✐❛❧❧② ❢♦r ❛♥ ❡♠♣t② ♣❧❛❝❡✳ ■❢ ♥♦ ❡♠♣t② ♣❧❛❝❡ ✉♣ t♦ t❤❡ ❡♥❞ ♦❢ t❤❡ t❛❜❧❡✱ t❤❡ s❡❛r❝❤ ❢♦❧❧♦✇s ❛t ❧♦❝❛t✐♦♥ ✵✳ ❙❡✈❡r❛❧ ❘✳❱✳ t♦ st✉❞②✱ ♠❛✐♥❧② r❡❧❛t❡❞ ✇✐t❤ ❝♦st ♦❢ ✐♥❞✐✈✐❞✉❛❧ s❡❛r❝❤❡s ❛♥❞ t♦t❛❧ ❝♦♥str✉❝t✐♦♥ ❝♦st✳ ❱❡r② ✐♠♣♦rt❛♥t s♣❡❝✐❛❧ ❝❛s❡✿ P❛r❦✐♥❣ Pr♦❜❧❡♠✳ ■♥ ♣❛r❦✐♥❣ t❤❡ ❝❛r ✐s ❧♦st ✐❢ ♥♦ ❡♠♣t② ♣❧❛❝❡ ✉♣ t♦ t❤❡ ❡♥❞✳ ▼❛✐♥ ❘✳❱✳ ✐s t❤❡ ♥✉♠❜❡r ♦❢ ❧♦st ❝❛rs✳ ■♠♣♦rt❛♥t ✈❛r✐❛♥t✿ ❡❛❝❤ ❧♦❝❛t✐♦♥ ❝❛♥ ❤♦❧❞ ✉♣ t♦ ❜ ✭♦r ❦✮ ❝❛rs✳
A discrete parking problem Limiting distribution results Analysis Further research
A discrete parking problem: Example
Example: 8 parking lots, 8 cars Parking sequence: 3, 6, 3, 8, 6, 7, 4, 5
1 2 3 4 5 6 7 8
5 / 37
A discrete parking problem Limiting distribution results Analysis Further research
A discrete parking problem: Example
Example: 8 parking lots, 8 cars Parking sequence: 3, 6, 3, 8, 6, 7, 4, 5
1 2 3 4 5 6 7 8
5 / 37
A discrete parking problem Limiting distribution results Analysis Further research
A discrete parking problem: Example
Example: 8 parking lots, 8 cars Parking sequence: 3, 6, 3, 8, 6, 7, 4, 5
1 2 3 4 5 6 7 8
5 / 37
A discrete parking problem Limiting distribution results Analysis Further research
A discrete parking problem: Example
Example: 8 parking lots, 8 cars Parking sequence: 3, 6, 3, 8, 6, 7, 4, 5
1 2 3 4 5 6 7 8
5 / 37
A discrete parking problem Limiting distribution results Analysis Further research
A discrete parking problem: Example
Example: 8 parking lots, 8 cars Parking sequence: 3, 6, 3, 8, 6, 7, 4, 5
1 2 3 4 5 6 7 8
5 / 37
A discrete parking problem Limiting distribution results Analysis Further research
A discrete parking problem: Example
Example: 8 parking lots, 8 cars Parking sequence: 3, 6, 3, 8, 6, 7, 4, 5
1 2 3 4 5 6 7 8
5 / 37
A discrete parking problem Limiting distribution results Analysis Further research
A discrete parking problem: Example
Example: 8 parking lots, 8 cars Parking sequence: 3, 6, 3, 8, 6, 7, 4, 5
1 2 3 4 5 6 7 8
5 / 37
A discrete parking problem Limiting distribution results Analysis Further research
A discrete parking problem: Example
Example: 8 parking lots, 8 cars Parking sequence: 3, 6, 3, 8, 6, 7, 4, 5
1 2 3 4 5 6 7 8
5 / 37
A discrete parking problem Limiting distribution results Analysis Further research
A discrete parking problem: Example
Example: 8 parking lots, 8 cars Parking sequence: 3, 6, 3, 8, 6, 7, 4, 5
1 2 3 4 5 6 7 8
5 / 37
A discrete parking problem Limiting distribution results Analysis Further research
A discrete parking problem: Example
Example: 8 parking lots, 8 cars Parking sequence: 3, 6, 3, 8, 6, 7, 4, 5
1 2 3 4 5 6 7 8
5 / 37
A discrete parking problem Limiting distribution results Analysis Further research
A discrete parking problem: Example
Example: 8 parking lots, 8 cars Parking sequence: 3, 6, 3, 8, 6, 7, 4, 5
1 2 3 4 5 6 7 8
5 / 37
A discrete parking problem Limiting distribution results Analysis Further research
A discrete parking problem: Example
Example: 8 parking lots, 8 cars Parking sequence: 3, 6, 3, 8, 6, 7, 4, 5
1 2 3 4 5 6 7 8
5 / 37
A discrete parking problem Limiting distribution results Analysis Further research
A discrete parking problem: Example
Example: 8 parking lots, 8 cars Parking sequence: 3, 6, 3, 8, 6, 7, 4, 5
1 2 3 4 5 6 7 8
5 / 37
A discrete parking problem Limiting distribution results Analysis Further research
A discrete parking problem: Example
Example: 8 parking lots, 8 cars Parking sequence: 3, 6, 3, 8, 6, 7, 4, 5
1 2 3 4 5 6 7 8
5 / 37
A discrete parking problem Limiting distribution results Analysis Further research
A discrete parking problem: Example
Example: 8 parking lots, 8 cars Parking sequence: 3, 6, 3, 8, 6, 7, 4, 5
1 2 3 4 5 6 7 8
5 / 37
A discrete parking problem Limiting distribution results Analysis Further research
A discrete parking problem: Example
Example: 8 parking lots, 8 cars Parking sequence: 3, 6, 3, 8, 6, 7, 4, 5
1 2 3 4 5 6 7 8
5 / 37
A discrete parking problem Limiting distribution results Analysis Further research
A discrete parking problem: Example
Example: 8 parking lots, 8 cars Parking sequence: 3, 6, 3, 8, 6, 7, 4, 5
1 2 3 4 5 6 7 8
⇒ 2 cars are unsuccessful
5 / 37
A discrete parking problem Limiting distribution results Analysis Further research
Further research: Bucket parking scheme
Bucket parking scheme Blake and Konheim [1976]: Each parking lots can hold up to r cars Related to analysis of bucket hashing algorithms r
32 / 37
A discrete parking problem Limiting distribution results Analysis Further research
Further research: Bucket parking scheme
Bucket parking scheme Blake and Konheim [1976]: Each parking lots can hold up to r cars Related to analysis of bucket hashing algorithms r
32 / 37
A discrete parking problem Limiting distribution results Analysis Further research
Further research: Bucket parking scheme
Bucket parking scheme Blake and Konheim [1976]: Each parking lots can hold up to r cars Related to analysis of bucket hashing algorithms r
32 / 37
A discrete parking problem Limiting distribution results Analysis Further research
Further research: Bucket parking scheme
Bucket parking scheme Blake and Konheim [1976]: Each parking lots can hold up to r cars Related to analysis of bucket hashing algorithms r
32 / 37
A discrete parking problem Limiting distribution results Analysis Further research
Further research: Bucket parking scheme
Bucket parking scheme Blake and Konheim [1976]: Each parking lots can hold up to r cars Related to analysis of bucket hashing algorithms r
32 / 37
A discrete parking problem Limiting distribution results Analysis Further research
Further research: Bucket parking scheme
Bucket parking scheme Blake and Konheim [1976]: Each parking lots can hold up to r cars Related to analysis of bucket hashing algorithms r
32 / 37
A discrete parking problem Limiting distribution results Analysis Further research
Further research: Bucket parking scheme
Bucket parking scheme Blake and Konheim [1976]: Each parking lots can hold up to r cars Related to analysis of bucket hashing algorithms r
32 / 37
A discrete parking problem Limiting distribution results Analysis Further research
Further research: Bucket parking scheme
Bucket parking scheme Blake and Konheim [1976]: Each parking lots can hold up to r cars Related to analysis of bucket hashing algorithms r
32 / 37
A discrete parking problem Limiting distribution results Analysis Further research
Further research: Bucket parking scheme
Bucket parking scheme Blake and Konheim [1976]: Each parking lots can hold up to r cars Related to analysis of bucket hashing algorithms r
32 / 37
A discrete parking problem Limiting distribution results Analysis Further research
Further research: Bucket parking scheme
Bucket parking scheme Blake and Konheim [1976]: Each parking lots can hold up to r cars Related to analysis of bucket hashing algorithms r
32 / 37
▲✐♥❡❛r Pr♦❜✐♥❣ ❍❛s❤✐♥❣✳
❚❤❡ ♠❛t❤❡♠❛t✐❝❛❧ ❜❡❛✉t② ♦❢ ▲✐♥❡❛r Pr♦❜✐♥❣✦
❙♦♠❡ ♣❡rs♦♥❛❧ ♠♦t✐✈❛t✐♦♥s ✳✳✳
❙✐♠♣❧❡st ❝♦❧❧✐s✐♦♥ r❡s♦❧✉t✐♦♥ str❛t❡❣② ❢♦r ♦♣❡♥ ❛❞❞r❡ss✐♥❣ ❬P❡t❡rs♦♥ ✶✾✺✼❪✳ ❲♦r❦s ✇❡❧❧ ❢♦r t❛❜❧❡s t❤❛t ❛r❡ ♥♦t t♦♦ ❢✉❧❧✳ ❇❡❝❛✉s❡ ♦❢ ♣r✐♠❛r② ❝❧✉st❡r✐♥❣✱ ✐ts ♣❡r❢♦r♠❛♥❝❡ ❞❡t❡r✐♦r❛t❡s ✇❤❡♥ t❤❡ ❧♦❛❞ ❢❛❝t♦r ✐s ❤✐❣❤✳ ■ts ❛♥❛❧②s✐s ❧❡❛❞s t♦ ♥♦♥tr✐✈✐❛❧ ❛♥❞ ✐♥t❡r❡st✐♥❣ ♠❛t❤❡♠❛t✐❝❛❧ ♣r♦❜❧❡♠s✳ ❚❤❡r❡ ❛r❡ ❝♦♥♥❡❝t✐♦♥s ✇✐t❤ tr❡❡ ✐♥✈❡rs✐♦♥s✱ tr❡❡ ♣❛t❤ ❧❡♥❣❤ts✱ ❣r❛♣❤ ❝♦♥♥❡❝t✐✈✐t②✱ ❛r❡❛ ✉♥❞❡r ❡①❝✉rs✐♦♥✱ ❡t❝✳ ❊q✉✐✈❛❧❡♥t ❢♦r♠✉❧❛t✐♦♥ ✐♥ t❡r♠s ♦❢ t❤❡ ♣❛r❦✐♥❣ ♣r♦❜❧❡♠✳ ❋✐rst ♣r♦❜❧❡♠ t❤❛t ❉✳ ❑♥✉t❤ ❛♥❛❧②③❡❞ ❬❑♥✉t❤ ✶✾✻✷❪ ✇✐t❤ ❜✉❝❦❡t s✐③❡ ✶✱ ❛♥❞ ♠♦t✐✈❛t❡❞ t❤❡ ❝♦❧❧❡❝t✐♦♥ ✧❚❤❡ ❆rt ♦❢ ❈♦♠♣✉t❡r Pr♦❣r❛♠♠✐♥❣✧✳ ❚❤❡ ❛♥❛❧②s✐s ❢♦r ❣❡♥❡r❛❧ ❜✉❝❦❡t s✐③❡ ❜ ♣r❡s❡♥ts ✈❡r② ✐♥t❡r❡st✐♥❣ ❝❤❛❧❧❡♥❣❡s✳ ❋♦r ❡①❛♠♣❧❡✱ ❝❛♥ s②♠❜♦❧✐❝ ♠❡t❤♦❞s ❜❡ ✉s❡❞❄
✳✳✳ ❛♥❞ ❛ ❜♦① ❢✉❧❧ ♦❢ s✉r♣r✐s❡s ✳✳✳
❚❤❡ st✉❞② ♦❢ ♣❛r❦✐♥❣ s❡q✉❡♥❝❡s ❛♥❞ t❤❡✐r ❞❡❡♣ r❡❧❛t✐♦♥s ✇✐t❤ ♦t❤❡r ♣r♦❜❧❡♠s ✐♥ ❜♦t❤ ❞✐s❝r❡t❡ ❛♥❞ ❝♦♥t✐♥✉♦✉s ♠❛t❤❡♠❛t✐❝s ❤❛s ❜❡❡♥ ❝❛rr✐❡❞ ♦✉t ❜② ❞✐✛❡r❡♥t r❡s❡❛r❝❤ ❝♦♠♠✉♥✐t✐❡s ✐♥ ♣❛r❛❧❧❡❧ ❛♥❞ ✇✐t❤ ❧✐tt❧❡ ❝♦♠♠✉♥✐❝❛t✐♦♥ ❛♠♦♥❣ t❤❡♠✳ ❙❡✈❡r❛❧ r❡❧❛t❡❞ ♣r♦❜❧❡♠s ❤❛✈❡ ❜❡❡♥ st✉❞✐❡❞ ❜② ❡①♣❡rts ✐♥ ♣r♦❜❛❜✐❧✐t②✱ ❝♦♠❜✐♥❛t♦r✐❝s ❛♥❞ ❝♦♠♣✉t❡r s❝✐❡♥❝❡s✳ ❚❤❡ ♠❡t❤♦❞♦❧♦❣✐❝❛❧ t❡❝❤♥✐q✉❡s t♦ st✉❞② t❤❡s❡ ♣r♦❜❧❡♠s ❛r❡ ✈❡r② ❞✐✈❡rs❡✱ ❛♥❞ ❝♦✈❡r ❛ ✇✐❞❡ r❛♥❣❡ ♦❢ r❡s❡❛r❝❤ ❛r❡❛s✳ ❆s ✐t ✐s s❛✐❞ ✐♥ ❬❈❤❛ss❛✐♥❣ ❛♥❞ ❋❧❛❥♦❧❡t ✷✵✵✸❪✱ ❛ s②st❡♠❛t✐❝ ❤✐st♦r✐❝❛❧ ❛♣♣r♦❛❝❤ t♦ t❤❡ ♣r♦❜❧❡♠ ✐s ✈❡r② ❞✐✣❝✉❧t✳ ■ ✇✐❧❧ ❝♦♥❝❡♥tr❛t❡ ♦♥ t❤❡ ❝♦♥tr✐❜✉t✐♦♥s ♠❛❞❡ ❜② ♣❡♦♣❧❡ ❢r♦♠ ♦✉r ❝♦♠♠✉♥✐t② ❛s ✇❡❧❧ ❛s s♦♠❡ r❡❧❛t❡❞ ✇♦r❦ t❤❛t ❤❛✈❡ ✐♥s♣✐r❡❞ t❤❡✐r r❡s❡❛r❝❤✳
✶✾✻✷✿ ❙✉♠♠❡r ✇♦r❦ ❜② ❉♦♥ ❑♥✉t❤ ✳✳✳
❋✐rst ♣✉❜❧✐s❤❡❞ ♣❛♣❡r✳
❍✐st♦r✐❝❛❧ ♥♦t❡ ♦♥ ✜rst ♣✉❜❧✐s❤❡❞ ♣❛♣❡r✳
❖r✐❣✐♥❛❧ r❡s✉❧ts✳
▲❡t ❛ ❤❛s❤ t❛❜❧❡ ✇✐t❤ ♠ ♣♦s✐t✐♦♥s ❛♥❞ ♥ ✐♥s❡rt❡❞ ❡❧❡♠❡♥ts✳ ▲❡t P♠❀♥ t❤❡ ♣r♦❜❛❜✐❧✐t② ♦❢ t❤❡ ❧❛st ♣♦s✐t✐♦♥ ❜❡✐♥❣ ❡♠♣t②✳
P♠❀♥ ❂
- ✶ ♥
♠
✁ ✳
▲❡t ❈♠❀♥ t❤❡ ❘✳❱✳ ❢♦r t❤❡ ♥✉♠❜❡r ♦❢ s✉❝❝❡ss❢✉❧ s❡❛r❝❤❡s ♦❢ ❛ r❛♥❞♦♠ ❡❧❡♠❡♥t✳
❊ ❬❈♠❀♥❪ ❂ ✶
✷ ✭✶ ✰ ◗✵✭✭♠❀ ♥ ✶✮✮✳
❊ ❬❈♠❀☛♠❪ ❂ ✶
✷
✏ ✶ ✰
✶ ✶☛
✑ ✇✐t❤ ✵ ✔ ☛ ❁ ✶✳ ❊ ❬❈♥❀♥❪ ❂ ♣ ✙♥
✽ ✰ ❖✭✶✮ ✭♣r♦✈❡❞ ♦♥ ♠❛② ✷✵✱ ✶✾✻✺✮✳
▲❡t ❯♠❀♥ t❤❡ ❘✳❱✳ ❢♦r t❤❡ ♥✉♠❜❡r ♦❢ ✉♥s✉❝❝❡ss❢✉❧ s❡❛r❝❤❡s ♦❢ ❛ r❛♥❞♦♠ ❡❧❡♠❡♥t✳
❊ ❬❯♠❀♥❪ ❂ ✶
✷ ✭✶ ✰ ◗✶✭✭♠❀ ♥ ✶✮✮✳
❊ ❬❯♠❀☛♠❪ ❂ ✶
✷
✏ ✶ ✰
✶ ✭✶☛✮✷
✑ ✇✐t❤ ✵ ✔ ☛ ❁ ✶✳
❚❤❡ ❘❛♠❛♥✉❥❛♥ ◗ ❢✉♥❝t✐♦♥ ✐s t❤❡ s♣❡❝✐❛❧ ❝❛s❡ ◗✵✭♥❀ ♥✮ ♦❢ ◗r✭♠❀ ♥✮ ❂
♥
❳
❦❂✵
✥
❦ ✰ r ❦
✦
♥❦ ♠♥ ✿
✳✳✳ q✉❡st✐♦♥ ❜② ❘❛♠❛♥✉❥❛♥ t♦ ❍❛r❞② ✐♥ ✶✾✶✸✳
❚❤❡ ♣r♦❜❧❡♠ ✳✳✳✳
✳✳✳ ❛♥❞ t❤❡ ❘❛♠❛♥✉❥❛♥✬s ◗ ❢✉♥❝t✐♦♥ ✐♥t♦ ♣❧❛②✦
▼❡t❤♦❞♦❧♦❣② ✳ ✳ ✳
✳ ✳ ✳ ❛♥❞ ♠♦r❡ ♠❡t❤♦❞♦❧♦❣②✦
❈♦❧❧✐s✐♦♥ ❘❡s♦❧✉t✐♦♥ ❙tr❛t❡❣✐❡s✳
■♥ ♦♣❡♥ ❛❞❞r❡ss✐♥❣✱ ✇❤❡♥ t✇♦ ❦❡②s ❝♦❧❧✐❞❡✱ ❡✐t❤❡r ♦♥❡ ♦❢ t❤❡♠ ♠❛② st❛② ✐♥ t❤❛t ❧♦❝❛t✐♦♥✱ ✇❤✐❧❡ t❤❡ ♦t❤❡r ♦♥❡ ❦❡❡♣s ♣r♦❜✐♥❣✳ ❋✐rst✲❈♦♠❡✲❋✐rst✲❙❡r✈❡❞ ✭st❛♥❞❛r❞✮✳
❊❛❝❤ ❝♦❧❧✐s✐♦♥ ✐s r❡s♦❧✈❡❞ ✐♥ ❢❛✈♦r ♦❢ t❤❡ ✜rst r❡❝♦r❞ t❤❛t ♣r♦❜❡❞ t❤❡ ❧♦❝❛t✐♦♥✳
▲❛st✲❈♦♠❡✲❋✐rst✲❙❡r✈❡❞ ❬P♦❜❧❡t❡ ❛♥❞ ▼✉♥r♦ ✶✾✽✾❪✳
❊❛❝❤ ❝♦❧❧✐s✐♦♥ ✐s r❡s♦❧✈❡❞ ✐♥ ❢❛✈♦r ♦❢ t❤❡ ✐♥❝♦♠✐♥❣ r❡❝♦r❞✳
❘♦❜✐♥ ❍♦♦❞ ❬❈❡❧✐s✱ ▲❛rs♦♥ ❛♥❞ ▼✉♥r♦ ✶✾✽✺❪✳
❊❛❝❤ ❝♦❧❧✐s✐♦♥ ✐s r❡s♦❧✈❡❞ ✐♥ ❢❛✈♦r ♦❢ t❤❡ r❡❝♦r❞ t❤❛t ✐s ❢✉rt❤❡r ❛✇❛② ❢r♦♠ ✐ts ❤♦♠❡ ❧♦❝❛t✐♦♥✳
❖r✐❣✐♥❛❧ ♣r♦♣♦s❛❧ ♦❢ ❘♦❜✐♥ ❍♦♦❞✳
✧❆♥❛❧②s✐s ♦❢ ❛ ✜❧❡ ❛❞❞r❡ss✐♥❣ ♠❡t❤♦❞✧ ❬❙❝❤❛② ❛♥❞ ❙♣r✉t❤ ✶✾✻✷❪✳ ▼♦❞✐✜❝❛t✐♦♥ ♦❢ t❤❡ ❛❧❣♦r✐t❤♠ ♣r♦♣♦s❡❞ ❜② P❡t❡rs♦♥ ✐♥ ✶✾✺✼✳ ❚❤✐s ✐s t❤❡ ❘♦❜✐♥ ❍♦♦❞ str❛t❡❣② ✦ ❊①♣❡❝t❡❞ ✈❛❧✉❡ ♦❢ s❡❛r❝❤ ❝♦st ❞♦❡s ♥♦t ❝❤❛♥❣❡✱ ❛s ❛❧r❡❛❞② ♥♦t❡❞ ❜② ❉✳ ❑♥✉t❤ ✐♥ ❤✐s ♦r✐❣✐♥❛❧ ♥♦t❡✳ ❚❤❡② ❞♦ ❛♥ ❛♥❛❧②s✐s ❜❛s❡❞ ♦♥ ❛ P♦✐ss♦♥ ❛♣♣r♦①✐♠❛t✐♦♥✱ ❛♥❞ ✜♥❞ ❊ ❬❈♠❀☛♠❪ ❂ ✶
✷
✏
✶ ✰
✶ ✶☛
✑
✇✐t❤ ✵ ✔ ☛ ❁ ✶✳
❚✇♦ ♠♦❞❡❧s t♦ ❛♥❛❧②③❡ t❤❡ ♣r♦❜❧❡♠✳
❊①❛❝t ✜❧❧✐♥❣ ♠♦❞❡❧✳
❆ ✜①❡❞ ♥✉♠❜❡r ♦❢ ❦❡②s ♥✱ ❛r❡ ❞✐str✐❜✉t❡❞ ❛♠♦♥❣ ♠ ❧♦❝❛t✐♦♥s✱ ❛♥❞ ❛❧❧ ♠♥ ♣♦ss✐❜❧❡ ❛rr❛♥❣❡♠❡♥ts ❛r❡ ❡q✉❛❧❧② ❧✐❦❡❧② t♦ ♦❝❝✉r✳
P♦✐ss♦♥ ♠♦❞❡❧✳
❊❛❝❤ ❧♦❝❛t✐♦♥ r❡❝❡✐✈❡s ❛ ♥✉♠❜❡r ♦❢ ❦❡②s t❤❛t ✐s P♦✐ss♦♥ ❞✐str✐❜✉t❡❞ ✇✐t❤ ♣❛r❛♠❡t❡r ❜☛✱ ❛♥❞ ✐s ✐♥❞❡♣❡♥❞❡♥t ♦❢ t❤❡ ♥✉♠❜❡r ♦❢ ❦❡②s ❣♦✐♥❣ ❡❧s❡✇❤❡r❡✳ ❚❤✐s ✐♠♣❧✐❡s t❤❛t t❤❡ t♦t❛❧ ♥✉♠❜❡r ♦❢ ❦❡②s✱ ◆✱ ✐s ✐ts❡❧❢ ❛ P♦✐ss♦♥ ❞✐str✐❜✉t❡❞ r❛♥❞♦♠ ✈❛r✐❛❜❧❡ ✇✐t❤ ♣❛r❛♠❡t❡r ❜☛♠✿ Pr❬◆ ❂ ♥❪ ❂ ❡❜☛♠✭❜☛♠✮♥ ♥✦ ✿
P♦✐ss♦♥ ❚r❛♥s❢♦r♠✳
❘❡s✉❧ts ✐♥ ♦♥❡ ♠♦❞❡❧ ❝❛♥ ❜❡ tr❛♥s❢❡r❡❞ ✐♥t♦ t❤❡ ♦t❤❡r ♠♦❞❡❧ ❜② t❤❡ P♦✐ss♦♥ ❚r❛♥s❢♦r♠✿ P♠❬❢♠❀♥❀ ❜☛❪ ❂
❳
♥✕✵
Pr❬◆ ❂ ♥❪❢♠❀♥ ❂ ❡❜☛♠ ❳
♥✕✵
✭❜☛♠✮♥ ♥✦ ❢♠❀♥✿ ■♥✈❡rs✐♦♥ ❚❤❡♦r❡♠✿ ❬●♦♥♥❡t ❛♥❞ ▼✉♥r♦ ✶✾✽✹❪ ■❢ P♠❬❢♠❀♥❀ ❜☛❪ ❂
❳
❦✕✵
❛♠❀❦✭❜♠☛✮❦ t❤❡♥ ❢♠❀♥ ❂
❳
❦✕✵
❛♠❀❦ ♥❦ ✭❜♠✮❦ ✿ ❚❤❡ P♦✐ss♦♥ ♠♦❞❡❧ ✐s ❛♥ ❛♣♣r♦①✐♠❛t✐♦♥ ♦❢ t❤❡ ❡①❛❝t ✜❧❧✐♥❣ ♠♦❞❡❧ ✇❤❡♥ ♥❀ ♠ ✦ ✶ ✇✐t❤ ♥❂♠ ❂ ❜☛ ✇✐t❤ ✵ ✔ ☛ ❁ ✶✳
❉✐❛❣♦♥❛❧ P♦✐ss♦♥ ❚r❛♥s❢♦r♠✳
✱ ❬▼✉♥r♦✱ P♦❜❧❡t❡✱ ❱✐♦❧❛ ✶✾✾✼❪ ▲❡t ❛ ❤❛s❤ t❛❜❧❡ ♦❢ s✐③❡ ♠✱ ✇✐t❤ ♥ ✰ ✶ ❦❡②s✱ ❛♥❞ ❧❡t P ❜❡ ❛ ♣r♦♣❡rt② ❢♦r ✎ ✭❝❤♦s❡♥ ✉♥✐❢♦r♠✐❧② ❛t r❛♥❞♦♠✮✳ ▲❡t ❢♠❀♥ ❜❡ t❤❡ r❡s✉❧t ♦❢ ❛♣♣❧②✐♥❣ ❛ ❧✐♥❡❛r ♦♣❡r❛t♦r ✭❡✳❣✳ ❛♥ ❡①♣❡❝t❡❞ ✈❛❧✉❡✮ t♦ t❤❡ ♣r♦❜❛❜✐❧✐t② ❣❡♥❡r❛t✐♥❣ ❢✉♥❝t✐♦♥ ♦❢ P✳
❢♠❀♥ ❂ ❳
✐✕✵
Pr❬✎ ✷ ❝❧✉st❡r ♦❢ s✐③❡ ✐ ✰ ✶❪ ❢✐✰✷❀✐ ❂ ❳
✐✕✵
✒♥ ✐ ✓✭♠ ✐ ✷✮♥✐✶✭♠ ♥ ✷✮✭✐ ✰ ✷✮✐ ♠♥ ❢✐✰✷❀✐✿
❚❤❡♥ P♠❬❢♠❀♥❀ ☛❪ ❂ ❉✷❬❢♥✰✷❀♥❀ ☛❪ ✇✐t❤ ❉❝❬❢♥❀ ☛❪ ❂ ✭✶ ☛✮
❳
♥✕✵
❡✭♥✰❝✮☛ ✭✭♥ ✰ ❝✮☛✮♥ ♥✦ ❢♥✿
❈♦♠❜✐♥❛t♦r✐❛❧ ✐♥t❡r♣r❡t❛t✐♦♥✳
❆♥② ▲✐♥❡❛r Pr♦❜✐♥❣ ❍❛s❤ t❛❜❧❡ ❝❛♥ ❜❡ s❡❡♥ ❛s ❛ s❡q✉❡♥❝❡ ♦❢ ❛❧♠♦st ❢✉❧❧ t❛❜❧❡s ✭❛ s✉❜t❛❜❧❡ ✇✐t❤ ❛❧❧ ❜✉t t❤❡ ❧❛st ❜✉❝❦❡t ❢✉❧❧✮✳ ❊①❛♠♣❧❡✿ ❬✸✲✸❪✱❬✹✲✹❪✱❬✺✲✺❪✱❬✻✲✷❪✳ ❚❤✐s ✐♥t❡r♣r❡t❛t✐♦♥ ❝❛♥ ❜❡ ♥✐❝❡❧② ❤❛♥❞❧❡❞ ❜② ❆♥❛❧②t✐❝ ❈♦♠❜✐♥❛t♦r✐❝s✱ s✐♥❝❡ ❢♦r ❡①❛♠♣❧❡✱ ✐t ✐♠♣❧✐❡s t❤❛t ✐t ✐s ❡♥♦✉❣❤ t♦ st✉❞② ❛❧♠♦st ❢✉❧❧ t❛❜❧❡s✱ ❛♥❞ t❤❡♥ ✉s❡ t❤❡ s❡q✉❡♥❝❡ ❝♦♥str✉❝t✐♦♥✳
❉✐str✐❜✉t✐♦♥ ♦❢ ✐♥❞✐✈✐❞✉❛❧ ❞✐s♣❧❛❝❡♠❡♥ts✳
✎ ❈♦♠♣❧❡♠❡♥t❛r② ♣r♦❜❛❜✐❧✐st✐❝ ❛♥❞ ❝♦♠❜✐♥❛t♦r✐❛❧ ❛♣♣r♦❛❝❤❡s✳ ✎ ❬❏❛♥s♦♥ ✷✵✵✺✱ ❱✐♦❧❛ ✷✵✵✺❪✳ ▲❡t P ☎
☛ ✭③✮ ❜❡ t❤❡ ♣r♦❜❛❜✐❧✐t② ❣❡♥❡r❛t✐♥❣ ❢✉♥❝t✐♦♥ ❢♦r t❤❡
❞✐s♣❧❛❝❡♠❡♥t ♦❢ ❛ r❛♥❞♦♠ ❡❧❡♠❡♥t ✇t❤ ✵ ✔ ☛ ❁ ✶ ❛♥❞ ☎ ✷ ❢❋❈❋❙❀ ❘❍❣✳ ❚❤❡♥✱ ✇✐t❤ ❚✭①✮ ❂ ③❡❚✭①✮ t❤❡ tr❡❡ ❢✉♥❝t✐♦♥✱ P ❋❈❋❙
☛
✭③✮ ❂ ✭✶ ❚✭③☛❡☛✮✮✷ ✭✶ ☛✮✷ ✷☛✭✶ ③✮ ✿ P ❘❍
☛
✭③✮ ❂ ✶ ☛ ☛ ❡③☛ ❡☛ ③❡☛ ❡③☛ ✿ ▲❈❋❙ ✐s ♠✉❝❤ ♠♦r❡ ❝❤❛❧❧❡♥❣✐♥❣ ❛♥❞ ❬❏❛♥s♦♥ ✷✵✵✺❪ ♣r❡s❡♥ts ❛♥ ❡①❛❝t ❡①♣r❡ss✐♦♥✳ ❊①❛❝t r❡s✉❧ts ❢♦❧❧♦✇ ❜② ❞❡♣♦✐ss♦♥✐③❛t✐♦♥✳
P❛r❦✐♥❣ s❡q✉❡♥❝❡s✱ ❛❝②❝❧✐❝ ♠❛♣s✱ ♣r✐♦r✐t② q✉❡✉❡s✳
✎ ❬❙❡✐t③ ✷✵✵✾❪ s✉r✈❡②s s♦♠❡ ♦❢ t❤❡s❡ r❡❧❛t✐♦♥s✳ ✎ ❬●✐❧❜❡② ❛♥❞ ❑❛❧✐❦♦✇ ✶✾✾✾❪✿ ♣r✐♦r✐t② q✉❡✉❡s✳ ✎ Pr❡s❡♥ts ❣❡♥❡r❛❧✐③❛t✐♦♥s ♦❢ t❤❡ ♣❛r❦✐♥❣ ♣r♦❜❧❡♠✳ ✎ ❉✐str✐❜✉t✐♦♥❛❧ ❛♥❛❧②s✐s ♦❢ t❤❡ ♦✈❡r✢♦✇✳ ✎ ❆♥❛❧②s✐s ♦❢ t❤❡ ♦✈❡r✢♦✇ ✐♥ ♣❛r❦✐♥❣ ✇✐t❤ ❜✉❝❦❡ts✳ ❣✭♠❀ ♥❀ ❦✮✿ t❤❡ ♥✉♠❜❡r ♦❢ ❞❡❢❡❝t✐✈❡ ♣❛r❦✐♥❣ ❢✉♥❝t✐♦♥s ♦❢ ❞❡❢❡❝t ❦✳ ▲❡t ●✭③❀ ✉❀ ✈✮ ❂
❳
♠✕✵
❳
♥✕✵
❳
❞✕✵
❣✭♠❀ ♥❀ ❦✮ ③♥
♥✦ ✉♠✈❞✳
❚❤❡♥
- ✭③❀ ✉❀ ✈✮ ❂
✶ ❚✭③✉✮
③✈
✏
✶ ❚✭③✉✮
③
✑ ✶ ✉
✈ ❡③✈✁✿
❬❈❛♠❡r♦♥✱ ❏♦❤❛♥♥s❡♥✱ Pr❡❧❧❜❡r❣ ❛♥❞ ❙❝❤✇❡✐t③❡r ✷✵✵✽❪✳ ■♥ ❬❱✐♦❧❛ ✷✵✵✺❪ ♣❛r❦✐♥❣ ✐s ✉s❡❞ ❛s ❛ s✉❜♣r♦❜❧❡♠ ❢♦r ❘❍✳
P❛r❦✐♥❣ ♣r♦❜❧❡♠✿ ❧✐♠✐t ❞✐str✐❜✉t✐♦♥s
❬P❛♥❤♦❧③❡r ✷✵✵✽❪ ✎ ❙t✉❞✐❡s Pr❢❳♠❀♥ ❂ ❦❣ ❂ ❣✭♠❀♥❀❦✮
♠♥
✳ ✎ ▲✐♠✐t ❞✐str✐❜✉t✐♦♥s ❢♦r ❳♠❀♥✳ ◆✐♥❡ r❡❣✐♦♥s ❞❡♣❡♥❞✐♥❣ ♦♥ ❣r♦✇t❤ ♦❢ ♠❀ ♥✳ ♥ ✓ ♠✿ ❳♠❀♥ ▲
- ✦❳✚ ✇✐t❤ Pr❢❳ ❂ ✵❣ ❂ ✶ ✭❞❡❣❡♥❡r❛t❡❞ ❧❛✇✮✳
♥ ✘ ✚♠❀ ✵ ❁ ✚ ❁ ✶✿ ❳♠❀♥ ▲
- ✦❳✚✱ ❞✐s❝r❡t❡ ❧✐♠✐t ❧❛✇✳
♣♠ ✓ ✁ ✿❂ ♠ ♥ ✓ ♠✿ ✁
♠❳♠❀♥ ▲
- ✦❳✭❞✮
❂ ❊❳P✭✷✮✳
✁ ✿❂ ♠ ♥ ✘ ✚♣♠❀ ✚ ❃ ✵✿
✶ ♣♠❳♠❀♥ ▲
- ✦❳✭❞✮
❂ ▲■◆❊❳P✭✷✱✚✮✳
✵ ✔ ✁ ✿❂ ♠ ♥ ✓ ♣♠✿
✶ ♣♠❳♠❀♥ ▲
- ✦❳✭❞✮
❂ ❘❆❨▲❊■●❍✭✷✮✳
✵ ✔ ✁ ✿❂ ♥ ♠ ✓ ♣♥✿ ❳♠❀♥✰♠♥
♣♥
❳♠❀♥ ▲
- ✦❳✭❞✮
❂ ❘❆❨✭✷✮✳
✁ ✿❂ ♥♠ ✘ ✚♣♥❀ ✚ ❃ ✵✿ ❳♠❀♥✰♠♥
♣♥
❳♠❀♥ ▲
- ✦❳✚✭❞✮
❂ ▲❊✭✷✱✚✮✳
♣♥ ✓ ✁ ✿❂ ♥ ♠ ✓ ♥✿ ✁
♠✭❳♠❀♥ ✰ ♠ ♥✮ ▲
- ✦❳✭❞✮
❂ ❊❳P✭✷✮✳
♥ ✘ ✚♠❀ ✚ ❃ ✶✿ ✭❳♠❀♥ ✰ ♠ ♥✮ ▲
- ✦❳✚✱ ❞✐s❝r❡t❡ ❧✐♠✐t ❧❛✇✳
♠ ✓ ♥✿ ❳♠❀♥ ▲
- ✦❳✚ ✇✐t❤ Pr❢❳ ❂ ✵❣ ❂ ✵ ✭❞❡❣❡♥❡r❛t❡❞ ❧❛✇✮✳
❚♦t❛❧ ❞✐s♣❧❛❝❡♠❡♥t ✭❜♦① ❢✉❧❧ ♦❢ s✉r♣r✐s❡s✦✮✳
- basic
- Analytic
- f
- exp
- A[
- A(z
- A(z
- in
- f
- f
- z
- 1
- 2
- in
- f
- z
- z
- 7!
- 1
- p
- z
- (1
- z
- 0.2
- 0.4
- 0.6
- 0.8
- 1
- 1.2
- 1.4
- 0.2
- 0.4
- 0.6
- 0.5
- 1
- 1.5
- 2
- 2.5
- 1
- 2
- z
0.8 0.9 1 1.1 1.2 x
- 0.2
- 0.1
0.1 0.2 y
- 30
- 20
- 10
10 20 30
T rees: 1- p
- z
0.6 0.8 1 1.2 1.4 x
- 0.4
- 0.2
0.2 0.4 y
- 0.8
- 0.6
- 0.4
- 0.2
0.2 0.4 0.6 0.8
13- Reco
- n
- 1
- F
- +
- q
- rst-case
- lv
- T
- 11T
- T
- f
- 1)
- 1
- 8n
- 1
- 1)(n
- 2)
- 1)(n
- 2)(n
- 3)
- Theo
- f
- 2
- 2
- 3
- 3
- Knuth
- blete-Viol
- f
- siti
- n
- p
- r
- r
- n
- Quickso
- P
- Area
- In
- z
- blem
- r
- f
- f
- f
- ns
- r
- r
- r
- n,
- xg
- xg
- (
- r
- r
- 2=3
- 1=3
- (w
- (4
- 1)
- w
- +
- 1)(4
- 9)
- w
- 2
- (4
- 1)(4
- 9)(4
- 25)
- w
- 3
- :
❚❤❡ ❆✐r② ❞❡♥s✐t② ✭❛r❡❛ ✉♥❞❡r ❡①❝✉rs✐♦♥s✮✳
❬▲♦✉❝❤❛r❞ ✶✾✽✹❪✱❬❚❛❦á❝s ✶✾✾✶❪ ❚❤❡ ❝♦♥st❛♥ts ✡❦ s❛t✐s❢② ❚❤❡ ❞❡♥s✐t② ✦✭①✮ ❤❛s ❜❡❡♥ ❝❛❧❝✉❧❛t❡❞ ✐♥ ❬❚❛❦á❝s ✶✾✾✶❪✳ ❚❤❡ ❝♦♥st❛♥ts ☛❦ ❛r❡ t❤❡ ③❡r♦s ♦❢ t❤❡ ❆✐r② ❢✉♥❝t✐♦♥ ❆✐✭③✮✳
- n
- ---)
- r
- spa
- =
- 1)
- 1);
- (m
- n)
- n)
- n)
- 1
- n)
- n)
- n)
- 1)
- :
- 1
- 1)(n
- 2)
- 1)(n
- 2)(n
- 3)
- E[d
- 2(1
- )
- 2(1
- )
- 6
- 4
- )
- Flajolet-P
- blete-Vi
- la
- f.
- f
- w
- int
1e-05 8e-06 6e-06 4e-06 2e-06 y 10 5
- 5
- 10
x 20 15 10 5
- 5
- 10
- rks
▲✐♥❡❛r Pr♦❜✐♥❣ ❛♥❞ r❛♥❞♦♠ ❣r❛♣❤s ✭■✮✳
▼❛✐❧s ❡①❝❤❛♥❣❡❞ ✇✐t❤ ❉♦♥ ❑♥✉t❤✳
❉❛t❡✿ ▼♦♥✱ ✷✾ ❙❡♣ ✶✾✾✼ ✶✸✿✶✺✿✷✶ ✲✵✼✵✵ ✭P❉❚✮ ✳ ✳ ✳ ❚♦✿ P❤✐❧✐♣♣❡✳❋❧❛❥♦❧❡t❅✐♥r✐❛✳❢r ❙✉❜❥❡❝t✿ ♥♦t❡ ❢r♦♠ ❉♦♥ ❑♥✉t❤ ❉❡❛r P❤✱ ❖r❞✐♥❛r✐❧② ■ ❛♠ ♥♦t ❤❛♣♣② t♦ r❡❝❡✐✈❡ ❡♠❛✐❧✱ ❜✉t ✐♥ t❤✐s ❝❛s❡ ✐t ✇❛s ✈❡r② t♦✉❝❤✐♥❣ t♦ ❧❡❛r♥ t❤❛t ②♦✉ ❤❛❞ ❞❡❝✐❞❡❞ t♦ ❞❡❞✐❝❛t❡ s✉❝❤ ❛ ♥✐❝❡ ♣❛♣❡r t♦ ♠❡✱ ❥✉st ❛❢t❡r ■ ❤❛❞ ✭s❡❝r❡t❧②✮ ❞❡❝✐❞❡❞ t♦ ❞❡❞✐❝❛t❡ r❡❢❡r❡♥❝❡ ❬✷✷❪ t♦ ②♦✉✦ ❇✉t ■ ❤❛✈❡♥✬t t✐♠❡ t♦ st✉❞② ✐t ✐♥ ❞❡t❛✐❧ ♥♦✇✱ ❛s ■✬♠ ✇♦r❦✐♥❣ ✶✺✵✪ t✐♠❡ ♦♥ t❤❡ ♥❡✇ ❡❞✐t✐♦♥ ♦❢ ❱♦❧✉♠❡ ✸✳✳✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ❇❡st r❡❣❛r❞s✱ ❉♦♥
❈♦♠❜✐♥❛t♦r✐❛❧ ❛♣♣r♦❛❝❤ t♦ ▲✐♥❡❛r Pr♦❜✐♥❣✳
❈♦♠❜✐♥❛t♦r✐❛❧ ❆♥❛❧②s✐s ✭❋P❱✮✳
❙♦❧✉t✐♦♥ t♦ t❤❡ ❢✉♥❞❛♠❡♥t❛❧ r❡❝✉rr❡♥❝❡ ✭❑♥✉t❤✮✳
❈♦♥❝❧✉s✐♦♥s ✭❑♥✉t❤✮✳
Pr♦♣❡rt✐❡s ♦❢ t❤❡ ♣❛r❦✐♥❣ ❢✉♥❝t✐♦♥ ❋♥✭q✮✳
✎ ❙❡✈❡r❛❧ ❝♦♠❜✐♥❛t♦r✐❛❧ r❡❧❛t✐♦♥s ❜❡t✇❡❡♥ ✈❡r② ✐♠♣♦rt❛♥t ❝♦♠❜✐♥❛t♦r✐❛❧ ♣r♦❜❧❡♠s✳ ❬❑r❡✇❡r❛s ✶✾✽✵❪
P❛r❦✐♥❣✱ r❛♥❞♦♠ ❣r❛♣❤s ❛♥❞ r❛♥❞♦♠ tr❡❡s✳
❬❙♣❡♥❝❡r ✶✾✾✼❪✳ ❇❋❙ tr❛✈❡rs❛❧ ♦❢ ❛ r❛♥❞♦♠ ❣r❛♣❤ ✌ ✇✐t❤ ✈❡rt✐❝❡s ④✵✱ ✶✱ ✳ ✳ ✳ ✱ ♥⑥✳ ■♥❞✉❝❡s ❛ q✉❡✉❡ ✭◗❦✭✜✮✮✶✔❦✔♥ ❛♥❞ ❛ s♣❛♥♥✐♥❣ tr❡❡ ✜✳ ❇❋❙ ✐♥❞✉❝❡s ❛ ♣❛r❦✐♥❣ s❡q✉❡♥❝❡ ✭❆❦✭✜✮✮✶✔❦✔♥✳ ❊①✿ ✭❆❦✭✜✮✮ ❂ ❢❢✻❀ ✽❣❀ ❢✷❀ ✸❣❀ ✣❀ ❢✼❣❀ ❢✶❀ ✹❣❀ ❢✺❣❀ ❢✾❣❀ ✣❀ ✣❣✳ ①❦✭✜✮ ❂ ❥❆❦✭✜✮❥✳ ❊①✿ ✭①❦✭✜✮✮ ❂ ❢✷❀ ✷❀ ✵❀ ✶❀ ✷❀ ✶❀ ✶❀ ✵❀ ✵❣✳ ②❦✭✜✮ ❂ ①✶✭✜✮ ✰ ①✷✭✜✮ ✰ ✿ ✿ ✿ ✰ ①❦✭✜✮ ❦ ✰ ✶✱ s✐③❡ ♦❢ q✉❡✉❡ ✭◗✭✜✮✮ ❜❡❢♦r❡ st❡♣ ❦✳ ❊①✿ ✭②❦✭✜✮✮ ❂ ❢✷❀ ✸❀ ✷❀ ✷❀ ✸❀ ✸❀ ✸❀ ✷❀ ✶❣✳ ②✶✭✜✮ ✰ ✿ ✿ ✿ ②♥✭✜✮ ♥ ✐s t❤❡ t♦t❛❧ ❞✐s♣❧❛❝❡♠❡♥t✳ ❊①✿ ✶✷✳ ❇❋❙ ✐♥❞✉❝❡s ❛ r❛♥❞♦♠ ✇❛❧❦ ❡①❝✉rs✐♦♥✳ ❊①✿ ❜✳
P❛r❦✐♥❣ s❡q✉❡♥❝❡s ❛♥❞ r❛♥❞♦♠ ❣r❛♣❤s✳
✎ ❈♥❀❦✿ ★ ❝♦♥♥❡❝t❡❞ ❣r❛♣❤s ✇✐t❤ ♥ ✈❡rt✐❝❡s ❛♥❞ ♥ ✰ ❦ ✶ ❡❞❣❡s✳ ✎ ❉♥✰✶❀♥✿ ❘❱ ❢♦r t♦t❛❧ ❞✐s♣❧❛❝❡♠❡♥t ✐♥ ♣❛r❦✐♥❣ ✇✐t❤ ♥ ❝❛rs✳ ❚❤❡♦r❡♠✿
❈♥❀❦ ❈♥❀✵ ❂ ❊
❤❉♥❀♥✶
❦
✁✐
✳ ❙❦❡t❝❤✿ ❍♦✇ ♠❛② ❣r❛♣❤s ❣✐✈❡ t❤❡ s❛♠❡ ✜ ✇✐t❤ t❤✐s ❇❋❙❄
- r❛♣❤ ❤❛s t❤❡ ❡❞❣❡s ♦❢ ✜ ♣❧✉s s♦♠❡ ♦❢ t❤❡ ✭②✶✭✜✮ ✶✮✰
✿ ✿ ✿ ✰ ✭②✶✭✜✮ ✶✮ ❡❞❣❡s ❥♦✐♥✐♥❣ ♣❛r❦❡❞ ❝❛r ✇✐t❤ ❝♦❧❧✐s✐♦♥s✳ ❈♥✰✶❀❦ ❂
❳
✜
②✶✭✜✮✰✿✿✿✰②✶✭✜✮♥
❦
✁ ❂ ❊ ❤❉♥✰✶❀♥
❦
✁✐
✭♥ ✰ ✶✮♥✶✳ ✭♥ ✰ ✶✮♥✶ ✐s ❜♦t❤ t❤❡ ♥✉♠❜❡r ♦❢ ♣❛r❦✐♥❣ ❢✉♥❝t✐♦♥s ✇✐t❤ ♥ ❝❛rs ❛♥❞ ❧❛❜❡❧❧❡❞ tr❡❡s ✇✐t❤ ♥ ✰ ✶ ♥♦❞❡s✳
❇❛❝❦ t♦ ❑♥✉t❤ ✭✶✾✾✼✮✳
P✳❣✳❢✳ ❢♦r t❤❡ t♦t❛❧ ❞✐s♣❧❛❝❡♠❡♥t ✐♥ ♣❛r❦✐♥❣ ✇✐t❤ ♥ ❝❛rs✿ ❋♥✭q✮ ❋♥✭✶✮✿ ▼♦r❡♦✈❡r ❊
✧✥
❉♥✰✶❀♥ ❦
✦★
❂ ✶ ❦✦ ❋ ✭❦✮
♥ ✭✶✮
❋♥✭✶✮ ❀ ❛♥❞ ❋✭✶ ✰ q✮ ❂
❳
❦✕✵
✶ ❦✦❋ ✭❦✮
♥ ✭✶✮q❦✿
✎ ❙♦✱ ✐❢ ❋♥✭q✮ ❡♥✉♠❡r❛t❡s t♦t❛❧ ❞✐s♣❧❛❝❡♠❡♥ts ✐♥ ♣❛r❦✐♥❣ ✇✐t❤ ♥ ❝❛rs✱ t❤❡♥ ❋♥✭✶ ✰ q✮ ❡♥✉♠❡r❛t❡s ❝♦♥♥❡❝t❡❞ ❣r❛♣❤s ✇✐t❤ ♥ ✰ ✶ ♥♦❞❡s ❞✐s❝r✐♠✐♥❛t❡❞ ❜② t❤❡✐r ❡①❝❡ss✦ ✳
■♥✈❡rs✐♦♥s ✐♥ ❈❛②❧❡② tr❡❡s✳
❬●❡ss❡❧ ❛♥❞ ❲❛♥❣ ✶✾✼✾❪ ❚❤❡ ✐♥✈❡rs✐♦♥s ❛r❡ ❢✹❀ ✸❣❀ ❢✹❀ ✷❣❀ ❢✻❀ ✷❣✱ ❛♥❞ ❢✻❀ ✺❣✳ ❇✐❥❡❝t✐♦♥ ✇✐t❤ ♣❛r❦✐♥❣ ♣r♦❜❧❡♠✳ ❙❛♠❡ ❢✉♥❝t✐♦♥❛❧ ❡q✉❛t✐♦♥✳ ❇❋❙ st❛rt✐♥❣ ❛t ✶✱ ✈✐s✐t✐♥❣ t❤❡ ❣r❡❛t❡st ✉♥✈✐s✐t❡❞ ♥♦❞❡ ✜rst✳ ❍♦✇ ♠❛♥② ❣r❛♣❤s s❤❛r❡ t❤❡ s❛♠❡ s♣❛♥♥✐♥❣ tr❡❡❄✿ ■♥✈❡rs✐♦♥s✦ ✎ ■♥✭t✮✿ ★ ♦❢ ✐♥✈❡rs✐♦♥s ♦❢ ❛ tr❡❡ r♦♦t❡❞ ❛t ✶✳ ✎ ❈♥✭t✮ ❂ t♥✶■♥✭✶ ✰ t✮✳
P❛r❦✐♥❣ s❡q✉❡♥❝❡s✱ r❛♥❞♦♠ ❡①❝✉rs✐♦♥s✱ ✳ ✳ ✳
❬❙♣❡♥❝❡r ✶✾✾✼❪✳ ✭❆❦✭✜✮✮ ❂ ❢❢✻❀ ✽❣❀ ❢✷❀ ✸❣❀ ✣❀ ❢✼❣❀ ❢✶❀ ✹❣❀ ❢✺❣❀ ❢✾❣❀ ✣❀ ✣❣✳ ①❦✭✜✮ ❂ ❥❆❦✭✜✮❥✳ ❊①✿ ✭①❦✭✜✮✮ ❂ ❢✷❀ ✷❀ ✵❀ ✶❀ ✷❀ ✶❀ ✶❀ ✵❀ ✵❣✳ ②❦✭✜✮ ❂ ①✶✭✜✮ ✰ ①✷✭✜✮ ✰ ✿ ✿ ✿ ✰ ①❦✭✜✮ ❦ ✰ ✶✱ s✐③❡ ♦❢ q✉❡✉❡ ✭❆✭✜✮✮ ❜❡❢♦r❡ st❡♣ ❦✳ ❊①✿ ✭②❦✭✜✮✮ ❂ ❢✷❀ ✸❀ ✷❀ ✷❀ ✸❀ ✸❀ ✸❀ ✷❀ ✶❣✳ ❚❤❡r❡ ❛r❡
♥✦ ①✶✦✿✿✿①♥✦ ♣❛r❦✐♥❣s s❡qs✳ ❛ss♦❝✐❛t❡❞ t♦ ✭②✶❀ ✿ ✿ ✿ ❀ ②❦✮✱
✇✐t❤ ♣r♦❜❛❜✐❧✐t② ♣r♦♣♦rt✐♦♥❛❧ t♦ ◗♥
✐❂✶ ❡✶ ①✐✦ ✱ ✭♥ P♦✭✶✮ ✐✳✐✳❞✳✮✳
P♦✐ss♦♥ ❘✳❲✳ ✇✐t❤ ②✵ ❂ ✵✱ st❡♣s ①✐ ✶✱ ❝♦♥❞✐t✐♦♥❡❞ t♦ ❜❡ ♣♦s✐t✐✈❡ ♦♥ t✐♠❡ ✶❀ ✷❀ ✿ ✿ ✿ ❀ ♥ ❛♥❞ ③❡r♦ ♦♥ t✐♠❡ ♥ ✰ ✶✳
✳ ✳ ✳ ❛♥❞ t❤❡ ✐♥❡✛❛❜❧❡ ❇r♦✇♥✐❛♥ ❡①❝✉rs✐♦♥✦
✭①❦✭✜✮✮✵✔❦✔♥ ❛r❡ P♦✭✶✮ ✐✳✐✳❞✳ ❝♦♥❞✐t✐♦♥❡❞ ❛s ❛❜♦✈❡✳ ❈♦rr❡s♣♦♥❞✐♥❣ ✉♥❧❛❜❡❧❧❡❞ tr❡❡ ✜ ✐s ❛ ●❛❧t♦♥✲❲❛ts♦♥ tr❡❡ ✇✐t❤ P♦✭✶✮ ♣r♦❣❡♥②✱ ❝♦♥str❛✐♥❡❞ t♦ ❤❛✈❡ ♥ ✰ ✶ ♥♦❞❡s✱ ❛♥❞ ①❦ ✐s t❤❡ ♣r♦❣❡♥② ♦❢ ❦t❤ ♥♦❞❡ ✈✐s✐t❡❞ ❜② t❤❡ ❇❋❙✳ ■t ✐s ❦♥♦✇♥ t❤❛t
✏ ②❜♥t❝
♣♥
✑
✵✔t✔✶ ▲
- ✦✭❡✭t✮✮✵✔t✔✶✱ ✭ ▲
- ✦ ❞❡♥♦t❡s
❝♦♥✈❡r❣❡♥❝❡ ✐♥ ❧❛✇✮ ✇✐t❤ ✭❡✭t✮✮ t❤❡ ❇r♦✇♥✐❛♥ ❡①❝✉rs✐♦♥✳ ❆s ❛ ❝♦♥s❡q✉❡♥❝❡ ❉♥✰✶❀♥
♥♣♥ ▲
- ✦
❘ ✶
✵ ❡✭t✮❞t✿ ♠❛①❦ ②❦ ♣♥ ▲
- ✦♠ ❂ ♠❛①
✵✔t✔✶❡✭t✮✿
❬❈❤❛ss❛✐♥❣ ❛♥❞ ▼❛r❝❦❡rt ✷✵✵✶❪✳ ✎ ❈♦♥✈❡r❣❡♥❝❡ ♦❢ ♠♦♠❡♥ts✳ ❈♦✉♣❧✐♥❣ ❧❛❜❡❧❡❞ tr❡❡s✲❡♠♣✐r✐❝❛❧ ♣r♦❝❡ss❡s ✉s✐♥❣ ♣❛r❦✐♥❣ ❢✉♥❝t✐♦♥s✳ ❆❧t❡r♥❛t✐✈❡ ♣r♦❜❛❜✐❧✐st✐❝ ♣r♦♦❢ t♦ ❬❋❧❛❥♦❧❡t✱ P♦❜❧❡t❡✱ ❱✐♦❧❛ ✶✾✾✽❪ ❢♦r t❤❡ ❝♦♥✈❡r❣❡♥❝❡ ♦❢ ♠♦♠❡♥ts t♦✇❛r❞s ♠♦♠❡♥ts ♦❢ t❤❡ ❆✐r② ❧❛✇✳
▼♦r❡ ❛s②♠♣t♦t✐❝ ❞✐str✐❜✉t✐♦♥s✿ ♥❡✇ ❝❛s❡s✳
❬❏❛♥s♦♥ ✷✵✵✶❪ ❋♦✉r ❞✐✛❡r❡♥t ♠❡t❤♦❞s ✉s❡❞ ✐♥ t❤❡ ♣r♦♦❢✦ ❚❤❡r❡ ✐s ❛ ♣❤❛s❡ tr❛♥s✐t✐♦♥ ❛r♦✉♥❞ ♠ ♥ ✏ ♣♠✳ ▲❡t ❯♠❀♥ t❤❡ ❛✈❡r❛❣❡ ❝♦st ♦❢ ❛♥ ✉♥s✉❝❝❡ss❢✉❧ s❡❛r❝❤ ❜❡❣✐♥♥✐♥❣ ❛t ❛ r❛♥❞♦♠ ❝❡❧❧ ❤ ✭❛✈❡r❛❣❡❞ ♦✈❡r ❤✮✳ ❚❤❡♥
✧▼♦♥❦❡② ❙❛❞❞❧❡✧ ❛s t❤❡ ❆▲●❖ ♣r♦❥❡❝t✬s ❧♦❣♦✳
❉✐str✐❜✉t✐♦♥ ♦❢ ❧❡♥❣t❤s ♦❢ ♣❛r❦✐♥❣ ❜❧♦❝❦s✳
❬P✐tt❡❧ ✶✾✽✺❪✳ ✎ ❚❛❜❧❡ ✇✐t❤ ❵ ❂ ♠ ♥ ❡♠♣t② ♣❧❛❝❡s✳ ✎ ❇♠❀❵
❦
❧❡♥❣t❤ ♦❢ ❦t❤ ❧❛r❣❡st ❝❧✉st❡r✳ ✎ ❲❤❡♥ ❵❂♠ ✦ ✕ ✇✐t❤ ✕ ❃ ✵ t❤❡♥
❇♠❀❵
✶
❂ ✷ ❧♦❣ ♠✸ ❧♦❣ ❧♦❣ ♠✰☎♠
✷✭✕✶❧♦❣ ✕✮
❀ ✇❤❡r❡ ☎♠
❝♦♥✈❡r❣❡s ✇❡❛❦❧② t♦ ❛♥ ❡①tr❡♠❡✲✈❛❧✉❡ ❞✐str✐❜✉t✐♦♥✳ ▼♦r❡♦✈❡r✱ ❢r♦♠ ❬❈❤❛ss❛✐♥❣ ❛♥❞ ▲♦✉❝❤❛r❞ ✷✵✵✷❪ ✇❡ ❤❛✈❡ ❚❤❡♦r❡♠✿ ❋♦r ♥❀ ♠ ❥♦✐♥t❧② t♦ ✰✶✱
✶
✐❢ ♣♠ ❂ ♦✭❵✮❀ ❇♠❀❵
✶
❂♠
▲
- ✦ ✵❀
✷
✐❢ ❵ ❂ ♦✭♣♠✮❀ ❇♠❀❵
✶
❂♠
▲
- ✦ ✶✿
P❤❛s❡ tr❛♥s✐t✐♦♥ ♦❝❝✉rs ✇❤❡♥ ❵ ❂ ✂✭♣♠✮✳ ▲❛r❣❡st ❜❧♦❝❦ r❡❛❝❤❡s ❖✭♠✮ ❛❢t❡r ♣♠ ❝❛rs ❛rr✐✈❡ ❛t t❤❡ ❝r✐t✐❝❛❧ r❡❣✐♦♥✳ ❙♦✱ ✇❡ ❤❛✈❡ ❛ ❝♦❛❧❡s❝❡♥❝❡ ♣❤❡♥♦♠❡♥❛✳ ❙t✉❞✐❡❞ ✇✐t❤ t❤❡ ❤❡❧♣ ♦❢ ❇r♦✇♥✐❛♥ ♠♦t✐♦♥ t❤❡♦r②✳
❙✐③❡ ♦❢ t❤❡ ✜rst ❝r❡❛t❡❞ ❝❧✉st❡r✳
❬❈❤❛ss❛✐♥❣ ❛♥❞ ▲♦✉❝❤❛r❞ ✷✵✵✷❪✳ ❘♠❀♥✱ s✐③❡ ♦❢ t❤❡ ❝❧✉st❡r ♦❢ t❤❡ ✜rst ❛rr✐✈❡❞ ❝❛r✳ Pr❬❘♠❀♥ ❂ ❦❪ ❂
♥✶
❦✶
✁✭❦✰✶✮❦✶✭♠❦✶✮♥❦✶✭♠♥✶✮
♠♥✶
✳ Pr❬❘♠❀♥ ❂ ❦❪ ✘ ✭❦ ✰ ✶✮❦✶ ❡☛✭❦✰✶✮☛❦✶
✭❦✶✮✦
✭✶ ☛✮✱ ✭✵ ❁ ☛ ❁ ✶✮✳ Pr❬❘♠❀♥ ❂ ❦❪ ❂ ✶
♠❢
✏
✕❀ ❦
♠
✑
✰ ❖✭♠✸❂✷✮❀ ♠ ♥ ❂ ✕♣♠✱ ✇❤❡r❡ ❢ ✐s t❤❡ ❞❡♥s✐t② ♦❢
◆✷ ✕✷✰◆✷ ✭◆ st❛♥❞❛r❞ ●❛✉ss✐❛♥✮✱ ✇✐t❤
❢ ✭✕❀ ①✮ ❂
✕ ✷✙①✶❂✷✭✶ ①✮✸❂✷❡①♣
✏
- ✕✷①
✷✭✶①✮
✑
✶❪✵❀✶❬✭①✮✳ ■♥ ♦t❤❡r ✇♦r❞s✱ ✇❤❡♥ ♠ ♥ ❂ ✕♣♠ t❤❡♥ ❘♠❀♥
♠ ▲
- ✦✿
◆✷ ✕✷✰◆✷ ✳
▲✐♠✐t ❝❛s❡s✿ ❘♠❀♥
♠ P
- ✦✵ ✭✕ ✦ ✶✮ ❛♥❞ ❘♠❀♥
♠ P
- ✦✶ ✭✕ ✦ ✵✮✳
❉✐str✐❜✉t✐♦♥ ♦❢ t❤❡ ❧❡♥❣t❤ ♦❢ t❤❡ ❝❧✉st❡rs✳
❇♠❀❵
❦
❧❡♥❣t❤ ♦❢ t❤❡ ❦t❤ ❧❛r❣❡st ❝❧✉st❡r ❛♥❞ ❇♠❀❵ ❂
✏
❇♠❀❵
❦
✑
❦✕✶✳
▲❡t ❡✭t✮ t❤❡ ♥♦r♠❛❧✐③❡❞ ❇r♦✇♥✐❛♥ ❡①❝✉rs✐♦♥✳ ▲❡t ✠✕❡✭①✮ ❂ ❡✭①✮ ✕①
s✉♣ ✵✔②✔①✭❡✭②✮ ✕②✮✳
❇✭✕✮ ❂ ✭❇❦✭✕✮✮❦✕✶ ❞❡❝r❡❛s✐♥❣ ✇✐❞t❤s ♦❢ ✠✕❡✭①✮ ❡①❝✉sr✐♦♥s✳ ❚❤❡♦r❡♠✿ ■❢ ❧✐♠
❵ ♣♠ ❂ ✕ ❃ ✵✱ t❤❡♥ ❇♠❀❧ ♠ ▲
- ✦❇✭✕✮✳
❆s ❛ ❝♦♥s❡q✉❡♥❝❡✱ ❢r♦♠ ❬P❛✈❧♦✈ ✶✾✼✼❪ ✐♥ r❛♥❞♦♠ ❢♦r❡st ✭❛♥❞ ✐ts r❡❧❛t✐♦♥ ✇✐t❤ t❤❡ ♣❛r❦✐♥❣ ♣r♦❜❧❡♠✮✱ ❏♦✐♥t ❞✐str✐❜✉t✐♦♥ ♦❢ ❇✭✕✮ ♦✉t ♦❢ r❡❛❝❤✳
❆s②♠♣t♦t✐❝ ❞✐str✐❜✉t✐♦♥s ♦❢ ❜❧♦❝❦ ❧❡♥❣❤ts✳
❙✐③❡✲❜✐❛s❡❞ ♣❡r♠✉t❛t✐♦♥s ❘✭✕✮✳
❘✭✕✮ ❝♦♥str✉❝t❡❞ ❢r♦♠ ❇✭✕✮✳
✶
❈❤♦♦s❡ ❘✶✭✕✮ ✇✐t❤ Pr✭❘✶✭✕✮ ❂ ❇❦✭✕✮❥❇✭✕✮✮ ❂ ❇❦✭✕✮✳
✷
❙❛♠❡ ❢♦r ❘❦✭✕✮ ❜✉t ✇✐t❤ t❤❡ t❡r♠s t❤❛t ❞✐❞ ♥♦t ❛♣♣❡❛r ❜❡❢♦r❡✳
✎ ❘✭✕✮ ❛♣♣❡❛rs ✐♥ t❤❡ ✁✲✈❛❧✉❡❞ ❢r❛❣♠❡♥t❛t✐♦♥ ♣r♦❝❡ss ❞❡r✐✈❡❞ ❢r♦♠ t❤❡ ❝♦♥t✐♥✉✉♠ r❛♥❞♦♠ tr❡❡ ✭❈❘❚✮ ✐♥ t❤❡ st❛♥❞❛r❞ ❛❞❞✐t✐✈❡ ❝♦❛❧❡s❝❡♥❝❡✳ ✎ ❬❆❧❞♦✉s ❛♥❞ P✐t♠❛♥ ✶✾✾✽❪✳ ▲❡t ❘♠❀❵ ❂
✏
❘♠❀❵
❦
✑
❦✕✶✱ t❤❡ s❡q✉❡♥❝❡ ♦❢ ❜❧♦❝❦ s✐③❡s ♦r❞❡r❡❞ ❜②
❞❛t❡ ♦❢ ❜✐rt❤✱ ❛♥❞ ❘❦✭✕✮ ❂ ❘♠❀❵
❦
♠
✇✐t❤ ❵ ❂ ♥ ♠ ❂ ❞✕♣♠❡✳ ❚❤❡♦r❡♠✿ ■❢ ❧✐♠
❵ ♣♠ ❂ ✕ ❃ ✵✱ t❤❡♥ ❘♠❀❧ ♠ ▲
- ✦❘✭✕✮✳
❈♦❛❧❡s❝❡♥❝❡✿ ❡♠❡r❣❡♥❝❡ ♦❢ ❛ ❣✐❛♥t ❜❧♦❝❦✳
❯♣ t♦ ♥♦✇ ♣❛r❦✐♥❣ ❢r♦③❡♥ ❛t ✜①❡❞ ✕✿ ♥✭✕✮ ❂ ♠ ❜✕♣♠❝✳ ❚♦ ✉♥❞❡rst❛♥❞ ❝♦❛❧❡s❝❡♥❝❡✿ ✉♥❞❡rst❛♥❞ t❤❡ ❞❡♣❡♥❞❡♥❝❡ ❜❡t✇❡❡♥ ♣❛r❦✐♥❣ s❝❤❡♠❡s ❛t t✐♠❡s ♥✭✕✶✮ ❁ ✿ ✿ ✿ ❁ ♥✭✕❦✮✳ ❏♦✐♥t ❞✐str✐❜✉t✐♦♥✿ ✭s✐③❡✭✕✮✱ ✐♥✐t✐❛❧ ♣♦s✐t✐♦♥✭✕✮✮✕✕✵ ♦❢ ❡❛❝❤ ❜❧♦❝❦✳ ❈♦❛❧❡s❝❡♥❝❡ ✐♥ t❤❡ ❞✐s❝r❡t❡ ♠♦❞❡❧✱ tr❛♥s❧❛t❡s ✐♥t♦ ❝♦❛❧❡s❝❡♥❝❡ ✐♥ t❤❡ ❝♦♥t✐♥✉♦✉s ♠♦❞❡❧ ❛t t❤❡ ❧✐♠✐t✳ ❚✇♦ ❝♦♥str✉❝t✐♦♥s ♦❢ t❤❡ ❛❞❞✐t✐✈❡ ❝♦❛❧❡s❝❡♥t✳ ❬❆❧❞♦✉s ❛♥❞ P✐t♠❛♥ ✶✾✾✽❪ ❈❘❚ ❛s ❛ ❧✐♠✐t ♦❢ ❛ ❞✐s❝r❡t❡ ♠♦❞❡❧ ♦❢ ❝♦❛❧❡s❝❡♥❝❡✲❢r❛❣♠❡♥t❛t✐♦♥ ♣r♦❝❡ss t❤❛t st❛rts ✇✐t❤ ❛ r❛♥❞♦♠ ✉♥r♦♦t❡❞ ❧❛❜❡❧❧❡❞ tr❡❡ ✭r❡✈❡rs❡ ♦❢ ♣r♦❝❡ss ♦❢ ❞❡❧❡t✐♥❣ ❡❞❣❡s ❛t r❛♥❞♦♠✮✳ ✎ ❬ ❇❡rt♦✐♥ ✷✵✵✵❪ ❜❛s❡❞ ♦♥ ①❝✉rs✐♦♥s ♦❢ t❤❡ ❢❛♠✐❧② ♦❢ st♦❝❤❛st✐❝ ♣r♦❝❡ss❡s ✭✠✕❡✮✕✕✵✳ ✎ ❬❈❤❛ss❛✐♥❣ ❛♥❞ ▲♦✉❝❤❛r❞ ✷✵✵✷❪ ♣r♦✈❡ t❤❛t ❛s②♠♣t♦t✐❝❛❧❧② ♣❛r❦✐♥❣ s❝❤❡♠❡s ❧❡❛❞ t♦ t❤✐s ❝♦♥str✉❝t✐♦♥ ♦❢ t❤❡ ❛❞❞✐t✐✈❡ ❝♦❛❧❡s❝❡♥t✳
P❛r❦✐♥❣ s❝❤❡♠❡s ❛♥❞ P❛✈❧♦✈✬s ❢♦r❡sts✳
P❛r❦✐♥❣ ✇✐t❤ ❜✉❝❦❡ts✿ ❞✐str✐❜✉t✐♦♥ ♦❢ ♦✈❡r✢♦✇✳
▲❡t ❣❜✭♠❀ ♥❀ ❞✮ t❤❡ ♥✉♠❜❡r ♦❢ ♣❛r❦✐♥❣ ❢✉♥❝t✐♦♥s ♦❢ ❞❡❢❡❝t ❞✱ ✇✐t❤ ❜✉❝❦❡ts ♦❢ s✐③❡ ❜✳ ▲❡t ●❜✭③❀ ✉❀ ✈✮ ❂
❳
♠✕✵
❳
♥✕✵
❳
❞✕✵
❣❜✭♠❀ ♥❀ ❞✮ ③♥
♥✦ ✉♠✈❞✳
❚❤❡♥ ❬❙❡✐t③ ✷✵✵✾❪
- ❜✭③❀ ✉❀ ✈✮ ❂
✥
✶ ✶ ✉
✈❦ ❡③✈
✦
❜✶
❨
❥❂✶
✒
✶ ❜
③✈❚✭ ✦❥✉
✶ ❜ ③
❜
✮
✓
❜✶
❨
❥❂✶
✒
✶ ❜
③❚✭ ✦❥✉
✶ ❜ ③
❜
✮
✓ ✿
▲❡t ✇♠❀❜☛❀❦ ❜❡ t❤❡ ♣r♦❜❛❜✐❧✐t② ♦❢ ❤❛✈✐♥❣ ❦ ❝❛rs ❣♦✐♥❣ t♦ ♦✈❡r✢♦✇ ✐♥ ❛ ❜☛✲❢✉❧❧ t❛❜❧❡ ✇✐t❤ ♠ ❜✉❝❦❡ts ♦❢ s✐③❡ ❜ ❛♥❞ ☛ ❁ ✶✱ ❛♥❞ ✡♠✭❜☛❀ ③✮ ❂ P
❦✕✵ ✇♠❀❜☛❀❦③❦✳
❚❤❡♥ ❬❱✐♦❧❛ ✷✵✶✵❪ ✡♠✭❜☛❀ ③✮ ❂
✒❜✭✶ ☛✮✭③ ✶✮
③❜ ❡❜☛✭③✶✮
✓ ◗❜✶
❥❂✶
✏
③ ❚✭✦❥☛❡☛✮
☛
✑ ◗❜✶
❥❂✶
✏
✶ ❚✭✦❥☛❡☛✮
☛
✑ ✰ ❖ ✏
☛❜♠✑ ✿
▲✐♥❡❛r Pr♦❜✐♥❣ ✇✐t❤ ❇✉❝❦❡ts✿ ❜✉❝❦❡t ♦❝❝✉♣❛♥❝②✳
▲❡t ❚❞✭❜☛✮ ❜❡ t❤❡ ♣r♦❜❛❜✐❧✐t② t❤❛t ❛ ❣✐✈❡♥ ❜✉❝❦❡t ❤❛s ♠♦r❡ t❤❛♥ ❞ ❡♠♣t② ♣❧❛❝❡s✱ ✇❤❡♥ ♥❀ ♠ ✦ ✶✱ ✵ ✔ ♥❂❜♠ ❂ ☛ ❁ ✶✳ ❋r♦♠ ❬❱✐♦❧❛ ✷✵✶✵❪✱ ✐♥s♣✐r❡❞ ✐♥ ❬❇❧❛❦❡ ❛♥❞ ❑♦♥❤❡✐♠ ✶✾✼✼❪✿
❚❤❡♦r❡♠
❚❞✭❜☛✮ ❂ ❜✭✶ ☛✮ ❬✉❞❪ ◗❜✶
✐❂✶
✏
✶ ✉❚✭✦✐☛❡☛✮
☛
✑ ◗❜✶
❥❂✶
✏
✶ ❚✭✦❥☛❡☛✮
☛
✑
❀ ✵ ✔ ❞ ✔ ❜ ✶❀ ✇❤❡r❡ ❚ ✐s t❤❡ ❚r❡❡ ❢✉♥❝t✐♦♥ ❛♥❞ ✦ ✐s ❛ ❜✲t❤ r♦♦t ♦❢ ✉♥✐t②✳ ❚❤❡ s❡q✉❡♥❝❡ ❚❦❀❞❀❜ ❂ ❦✦❬☛❦❪❚❞✭☛✮❀ ✵ ✔ ❞ ❁ ❜ ✐s s❡q✉❡♥❝❡ ❊■❙ ❆✶✷✹✹✺✸ ◆❡✐❧ ❙❧♦❛♥❡✬s ❊♥❝②❝❧♦♣❡❞✐❛ ♦❢ ■♥t❡❣❡r ❙❡q✉❡♥❝❡s✳
▲✐♥❡❛r Pr♦❜✐♥❣ ❛♥❞ P❛❦✐♥❣ ♣r♦❜❧❡♠ ✇✐t❤ ❇✉❝❦❡ts✳
❋r♦♠ ❬❱✐♦❧❛ ✷✵✶✵❪✱ ❢♦❧❧♦✇✐♥❣ ❬❱✐♦❧❛ ❛♥❞ P♦❜❧❡t❡ ✶✾✾✽❪ ❛♥❞ t❤❡ ♣✐♦♥❡❡r✐♥❣ ✇♦r❦ ❜② ❬❇❧❛❦❡ ❛♥❞ ❑♦♥❤❡✐♠ ✶✾✼✼❪✿
❚❤❡♦r❡♠
▲❡t ✠♠❀❜☛ ❜❡ t❤❡ r❛♥❞♦♠ ✈❛r✐❛❜❧❡ ❢♦r t❤❡ ❝♦st ♦❢ s❡❛r❝❤✐♥❣ ❛ r❛♥❞♦♠ ❡❧❡♠❡♥t ✐♥ ❛ ❜☛✲❢✉❧❧ t❛❜❧❡ ✇✐t❤ ♠ ❜✉❝❦❡ts ♦❢ s✐③❡ ❜ ❛♥❞ ☛ ❁ ✶✱ ✉s✐♥❣ t❤❡ ❘♦❜✐♥ ❍♦♦❞ ❧✐♥❡❛r ♣r♦❜✐♥❣ ❤❛s❤✐♥❣ ❛❧❣♦r✐t❤♠✱ ❛♥❞ ❧❡t ✠♠✭❜☛❀ ③✮ ❜❡ ✐ts ♣r♦❜❛❜✐❧✐t② ❣❡♥❡r❛t✐♥❣ ❢✉♥❝t✐♦♥✳ ❚❤❡♥ ✠♠✭❜☛❀ ③✮ ❂ ③ ❜
❜✶
❳
❞❂✵
❈♠
✏
❜☛❀ ❡
✷✙i❞ ❜ ③✶❂❜✑ ❜✶
❳
♣❂✵
✏
❡
✷✙i❞ ❜ ③✶❂❜✑♣