❆✉t♦♠❛t✐♦♥ ♦❢ ❘❡✇r✐t✐♥❣
✖ ❢♦r ❋✉♥ ✐♥ ❘❡s❡❛r❝❤ ❛♥❞ Pr♦✜t ✐♥ ❚❡❛❝❤✐♥❣ ❙❛r❛❤ ❲✐♥❦❧❡r
✽t❤ ■♥t❡r♥❛t✐♦♥❛❧ ❲♦r❦s❤♦♣ ♦♥ ❚❤❡♦r❡♠ Pr♦✈✐♥❣ ❈♦♠♣♦♥❡♥ts ❢♦r ❊❞✉❝❛t✐♦♥❛❧ ❙♦❢t✇❛r❡ ✷✺ ❆✉❣✉st ✷✵✶✾✱ ◆❛t❛❧
tt rt r - - PowerPoint PPT Presentation
tt rt r sr Prt r r t trt
✖ ❢♦r ❋✉♥ ✐♥ ❘❡s❡❛r❝❤ ❛♥❞ Pr♦✜t ✐♥ ❚❡❛❝❤✐♥❣ ❙❛r❛❤ ❲✐♥❦❧❡r
✽t❤ ■♥t❡r♥❛t✐♦♥❛❧ ❲♦r❦s❤♦♣ ♦♥ ❚❤❡♦r❡♠ Pr♦✈✐♥❣ ❈♦♠♣♦♥❡♥ts ❢♦r ❊❞✉❝❛t✐♦♥❛❧ ❙♦❢t✇❛r❡ ✷✺ ❆✉❣✉st ✷✵✶✾✱ ◆❛t❛❧
◮
❛✉t♦♠❛t✐❝ ❛♥❛❧②s✐s ♦❢ ❚❘❙s ❝♦♥st✐t✉t❡s t❤❡♦r❡♠ ♣r♦✈✐♥❣
◮
r❡✇r✐t✐♥❣ ✐s ❛t ❤❡❛rt ♦❢ ❡q✉❛t✐♦♥❛❧ r❡❛s♦♥✐♥❣
❛♥♥✉❛❧ ❝♦✉rs❡ ❛t ❯♥✐✈❡rs✐t② ♦❢ ■♥♥s❜r✉❝❦ t❛✉❣❤t ❜② ❆❛rt ▼✐❞❞❡❧❞♦r♣ s✐♥❝❡ ✷✵✵✻✿ ■♥t❡r♥❛t✐♦♥❛❧ ❙✉♠♠❡r ❙❝❤♦♦❧ ♦♥ ❘❡✇r✐t✐♥❣
t❡❛❝❤✐♥❣ t♦♦❧s st✉❞❡♥ts ♠♦t✐✈❛t❡s ✇r✐t❡ ❤ ❡ ❧ ♣
❚❚❚✷✱ ❚❈❚✱ ❈❙■✱ ❈❛t✱ ♠❦❜tt✱ ❑❇❈❱✱ ♠æ❞♠❛①✱ ❋❖❘❚✱ Pr♦❚❡▼✱ ❈❡ ❚ ❆✱ ❈♦♥❈♦♥✱ ▼✐♥✐❙♠t✱ ❆✉t♦❙tr❛t✱ ❈tr❧
❤tt♣✿✴✴❝❧✲✐♥❢♦r♠❛t✐❦✳✉✐❜❦✳❛❝✳❛t✴r❡s❡❛r❝❤✴s♦❢t✇❛r❡
✷
◮
❛✉t♦♠❛t✐❝ ❛♥❛❧②s✐s ♦❢ ❚❘❙s ❝♦♥st✐t✉t❡s t❤❡♦r❡♠ ♣r♦✈✐♥❣
◮
r❡✇r✐t✐♥❣ ✐s ❛t ❤❡❛rt ♦❢ ❡q✉❛t✐♦♥❛❧ r❡❛s♦♥✐♥❣
◮
❛♥♥✉❛❧ ❝♦✉rs❡ ❛t ❯♥✐✈❡rs✐t② ♦❢ ■♥♥s❜r✉❝❦ t❛✉❣❤t ❜② ❆❛rt ▼✐❞❞❡❧❞♦r♣
◮
s✐♥❝❡ ✷✵✵✻✿ ■♥t❡r♥❛t✐♦♥❛❧ ❙✉♠♠❡r ❙❝❤♦♦❧ ♦♥ ❘❡✇r✐t✐♥❣
t❡❛❝❤✐♥❣ t♦♦❧s st✉❞❡♥ts ♠♦t✐✈❛t❡s ✇r✐t❡ ❤ ❡ ❧ ♣
❚❚❚✷✱ ❚❈❚✱ ❈❙■✱ ❈❛t✱ ♠❦❜tt✱ ❑❇❈❱✱ ♠æ❞♠❛①✱ ❋❖❘❚✱ Pr♦❚❡▼✱ ❈❡ ❚ ❆✱ ❈♦♥❈♦♥✱ ▼✐♥✐❙♠t✱ ❆✉t♦❙tr❛t✱ ❈tr❧
❤tt♣✿✴✴❝❧✲✐♥❢♦r♠❛t✐❦✳✉✐❜❦✳❛❝✳❛t✴r❡s❡❛r❝❤✴s♦❢t✇❛r❡
✷
◮
❛✉t♦♠❛t✐❝ ❛♥❛❧②s✐s ♦❢ ❚❘❙s ❝♦♥st✐t✉t❡s t❤❡♦r❡♠ ♣r♦✈✐♥❣
◮
r❡✇r✐t✐♥❣ ✐s ❛t ❤❡❛rt ♦❢ ❡q✉❛t✐♦♥❛❧ r❡❛s♦♥✐♥❣
◮
❛♥♥✉❛❧ ❝♦✉rs❡ ❛t ❯♥✐✈❡rs✐t② ♦❢ ■♥♥s❜r✉❝❦ t❛✉❣❤t ❜② ❆❛rt ▼✐❞❞❡❧❞♦r♣
◮
s✐♥❝❡ ✷✵✵✻✿ ■♥t❡r♥❛t✐♦♥❛❧ ❙✉♠♠❡r ❙❝❤♦♦❧ ♦♥ ❘❡✇r✐t✐♥❣
t❡❛❝❤✐♥❣ t♦♦❧s st✉❞❡♥ts ♠♦t✐✈❛t❡s ✇r✐t❡ ❤ ❡ ❧ ♣
ℓ → r
❚❚❚✷✱ ❚❈❚✱ ❈❙■✱ ❈❛t✱ ♠❦❜tt✱ ❑❇❈❱✱ ♠æ❞♠❛①✱ ❋❖❘❚✱ Pr♦❚❡▼✱ ❈❡ ❚ ❆✱ ❈♦♥❈♦♥✱ ▼✐♥✐❙♠t✱ ❆✉t♦❙tr❛t✱ ❈tr❧
❤tt♣✿✴✴❝❧✲✐♥❢♦r♠❛t✐❦✳✉✐❜❦✳❛❝✳❛t✴r❡s❡❛r❝❤✴s♦❢t✇❛r❡
✷
◮
❛✉t♦♠❛t✐❝ ❛♥❛❧②s✐s ♦❢ ❚❘❙s ❝♦♥st✐t✉t❡s t❤❡♦r❡♠ ♣r♦✈✐♥❣
◮
r❡✇r✐t✐♥❣ ✐s ❛t ❤❡❛rt ♦❢ ❡q✉❛t✐♦♥❛❧ r❡❛s♦♥✐♥❣
◮
❛♥♥✉❛❧ ❝♦✉rs❡ ❛t ❯♥✐✈❡rs✐t② ♦❢ ■♥♥s❜r✉❝❦ t❛✉❣❤t ❜② ❆❛rt ▼✐❞❞❡❧❞♦r♣
◮
s✐♥❝❡ ✷✵✵✻✿ ■♥t❡r♥❛t✐♦♥❛❧ ❙✉♠♠❡r ❙❝❤♦♦❧ ♦♥ ❘❡✇r✐t✐♥❣
t❡❛❝❤✐♥❣ t♦♦❧s st✉❞❡♥ts ♠♦t✐✈❛t❡s ✇r✐t❡ ❤ ❡ ❧ ♣
ℓ → r
❚❚❚✷✱ ❚❈❚✱ ❈❙■✱ ❈❛t✱ ♠❦❜tt✱ ❑❇❈❱✱ ♠æ❞♠❛①✱ ❋❖❘❚✱ Pr♦❚❡▼✱ ❈❡ ❚ ❆✱ ❈♦♥❈♦♥✱ ▼✐♥✐❙♠t✱ ❆✉t♦❙tr❛t✱ ❈tr❧
❤tt♣✿✴✴❝❧✲✐♥❢♦r♠❛t✐❦✳✉✐❜❦✳❛❝✳❛t✴r❡s❡❛r❝❤✴s♦❢t✇❛r❡
✷
◮
❛✉t♦♠❛t✐❝ ❛♥❛❧②s✐s ♦❢ ❚❘❙s ❝♦♥st✐t✉t❡s t❤❡♦r❡♠ ♣r♦✈✐♥❣
◮
r❡✇r✐t✐♥❣ ✐s ❛t ❤❡❛rt ♦❢ ❡q✉❛t✐♦♥❛❧ r❡❛s♦♥✐♥❣
◮
❛♥♥✉❛❧ ❝♦✉rs❡ ❛t ❯♥✐✈❡rs✐t② ♦❢ ■♥♥s❜r✉❝❦ t❛✉❣❤t ❜② ❆❛rt ▼✐❞❞❡❧❞♦r♣
◮
s✐♥❝❡ ✷✵✵✻✿ ■♥t❡r♥❛t✐♦♥❛❧ ❙✉♠♠❡r ❙❝❤♦♦❧ ♦♥ ❘❡✇r✐t✐♥❣
t❡❛❝❤✐♥❣ t♦♦❧s st✉❞❡♥ts ♠♦t✐✈❛t❡s ✇r✐t❡ ❤ ❡ ❧ ♣
ℓ → r
❚❚❚✷✱ ❚❈❚✱ ❈❙■✱ ❈❛t✱ ♠❦❜tt✱ ❑❇❈❱✱ ♠æ❞♠❛①✱ ❋❖❘❚✱ Pr♦❚❡▼✱ ❈❡ ❚ ❆✱ ❈♦♥❈♦♥✱ ▼✐♥✐❙♠t✱ ❆✉t♦❙tr❛t✱ ❈tr❧
❤tt♣✿✴✴❝❧✲✐♥❢♦r♠❛t✐❦✳✉✐❜❦✳❛❝✳❛t✴r❡s❡❛r❝❤✴s♦❢t✇❛r❡
✷
◮
❛✉t♦♠❛t✐❝ ❛♥❛❧②s✐s ♦❢ ❚❘❙s ❝♦♥st✐t✉t❡s t❤❡♦r❡♠ ♣r♦✈✐♥❣
◮
r❡✇r✐t✐♥❣ ✐s ❛t ❤❡❛rt ♦❢ ❡q✉❛t✐♦♥❛❧ r❡❛s♦♥✐♥❣
◮
❛♥♥✉❛❧ ❝♦✉rs❡ ❛t ❯♥✐✈❡rs✐t② ♦❢ ■♥♥s❜r✉❝❦ t❛✉❣❤t ❜② ❆❛rt ▼✐❞❞❡❧❞♦r♣
◮
s✐♥❝❡ ✷✵✵✻✿ ■♥t❡r♥❛t✐♦♥❛❧ ❙✉♠♠❡r ❙❝❤♦♦❧ ♦♥ ❘❡✇r✐t✐♥❣
t❡❛❝❤✐♥❣ t♦♦❧s st✉❞❡♥ts ♠♦t✐✈❛t❡s ✇r✐t❡ ❤ ❡ ❧ ♣
ℓ → r
❚❚❚✷✱ ❚❈❚✱ ❈❙■✱ ❈❛t✱ ♠❦❜tt✱ ❑❇❈❱✱ ♠æ❞♠❛①✱ ❋❖❘❚✱ Pr♦❚❡▼✱ ❈❡ ❚ ❆✱ ❈♦♥❈♦♥✱ ▼✐♥✐❙♠t✱ ❆✉t♦❙tr❛t✱ ❈tr❧
❤tt♣✿✴✴❝❧✲✐♥❢♦r♠❛t✐❦✳✉✐❜❦✳❛❝✳❛t✴r❡s❡❛r❝❤✴s♦❢t✇❛r❡
✷
◮
❛✉t♦♠❛t✐❝ ❛♥❛❧②s✐s ♦❢ ❚❘❙s ❝♦♥st✐t✉t❡s t❤❡♦r❡♠ ♣r♦✈✐♥❣
◮
r❡✇r✐t✐♥❣ ✐s ❛t ❤❡❛rt ♦❢ ❡q✉❛t✐♦♥❛❧ r❡❛s♦♥✐♥❣
◮
❛♥♥✉❛❧ ❝♦✉rs❡ ❛t ❯♥✐✈❡rs✐t② ♦❢ ■♥♥s❜r✉❝❦ t❛✉❣❤t ❜② ❆❛rt ▼✐❞❞❡❧❞♦r♣
◮
s✐♥❝❡ ✷✵✵✻✿ ■♥t❡r♥❛t✐♦♥❛❧ ❙✉♠♠❡r ❙❝❤♦♦❧ ♦♥ ❘❡✇r✐t✐♥❣
t❡❛❝❤✐♥❣ t♦♦❧s st✉❞❡♥ts ♠♦t✐✈❛t❡s ✇r✐t❡ ❤ ❡ ❧ ♣
ℓ → r
❚❚❚✷✱ ❚❈❚✱ ❈❙■✱ ❈❛t✱ ♠❦❜tt✱ ❑❇❈❱✱ ♠æ❞♠❛①✱ ❋❖❘❚✱ Pr♦❚❡▼✱ ❈❡ ❚ ❆✱ ❈♦♥❈♦♥✱ ▼✐♥✐❙♠t✱ ❆✉t♦❙tr❛t✱ ❈tr❧
❤tt♣✿✴✴❝❧✲✐♥❢♦r♠❛t✐❦✳✉✐❜❦✳❛❝✳❛t✴r❡s❡❛r❝❤✴s♦❢t✇❛r❡
✷
◮
❛✉t♦♠❛t✐❝ ❛♥❛❧②s✐s ♦❢ ❚❘❙s ❝♦♥st✐t✉t❡s t❤❡♦r❡♠ ♣r♦✈✐♥❣
◮
r❡✇r✐t✐♥❣ ✐s ❛t ❤❡❛rt ♦❢ ❡q✉❛t✐♦♥❛❧ r❡❛s♦♥✐♥❣
◮
❛♥♥✉❛❧ ❝♦✉rs❡ ❛t ❯♥✐✈❡rs✐t② ♦❢ ■♥♥s❜r✉❝❦ t❛✉❣❤t ❜② ❆❛rt ▼✐❞❞❡❧❞♦r♣
◮
s✐♥❝❡ ✷✵✵✻✿ ■♥t❡r♥❛t✐♦♥❛❧ ❙✉♠♠❡r ❙❝❤♦♦❧ ♦♥ ❘❡✇r✐t✐♥❣
t❡❛❝❤✐♥❣ t♦♦❧s st✉❞❡♥ts ♠♦t✐✈❛t❡s ✇r✐t❡ ❤ ❡ ❧ ♣
ℓ → r
❚❚❚✷✱ ❚❈❚✱ ❈❙■✱ ❈❛t✱ ♠❦❜tt✱ ❑❇❈❱✱ ♠æ❞♠❛①✱ ❋❖❘❚✱ Pr♦❚❡▼✱ ❈❡ ❚ ❆✱ ❈♦♥❈♦♥✱ ▼✐♥✐❙♠t✱ ❆✉t♦❙tr❛t✱ ❈tr❧
❤tt♣✿✴✴❝❧✲✐♥❢♦r♠❛t✐❦✳✉✐❜❦✳❛❝✳❛t✴r❡s❡❛r❝❤✴s♦❢t✇❛r❡
✷
◮
❛✉t♦♠❛t✐❝ ❛♥❛❧②s✐s ♦❢ ❚❘❙s ❝♦♥st✐t✉t❡s t❤❡♦r❡♠ ♣r♦✈✐♥❣
◮
r❡✇r✐t✐♥❣ ✐s ❛t ❤❡❛rt ♦❢ ❡q✉❛t✐♦♥❛❧ r❡❛s♦♥✐♥❣
◮
❛♥♥✉❛❧ ❝♦✉rs❡ ❛t ❯♥✐✈❡rs✐t② ♦❢ ■♥♥s❜r✉❝❦ t❛✉❣❤t ❜② ❆❛rt ▼✐❞❞❡❧❞♦r♣
◮
s✐♥❝❡ ✷✵✵✻✿ ■♥t❡r♥❛t✐♦♥❛❧ ❙✉♠♠❡r ❙❝❤♦♦❧ ♦♥ ❘❡✇r✐t✐♥❣
t❡❛❝❤✐♥❣ t♦♦❧s st✉❞❡♥ts ♠♦t✐✈❛t❡s ✇r✐t❡ ❤ ❡ ❧ ♣
ℓ → r
❚❚❚✷✱ ❚❈❚✱ ❈❙■✱ ❈❛t✱ ♠❦❜tt✱ ❑❇❈❱✱ ♠æ❞♠❛①✱ ❋❖❘❚✱ Pr♦❚❡▼✱ ❈❡ ❚ ❆✱ ❈♦♥❈♦♥✱ ▼✐♥✐❙♠t✱ ❆✉t♦❙tr❛t✱ ❈tr❧
❤tt♣✿✴✴❝❧✲✐♥❢♦r♠❛t✐❦✳✉✐❜❦✳❛❝✳❛t✴r❡s❡❛r❝❤✴s♦❢t✇❛r❡
✷
✸
❚♦ t❤❛t ❡♥❞ t❤❡② ❤❛✈❡ t♦ tr❛♥s❢♦r♠ t❤❡ ❉◆❆ ♦❢ t❤❡ ♠✐❧❦ ❣❡♥❡ ❚❆●❈❚❆●❈❚❆●❈❚ ✐♥ ❡✈❡r② ❢❡rt✐❧✐③❡❞ ❡❣❣ ✐♥t♦ t❤❡ ❝♦❧❛ ❣❡♥❡ ❈❚●❆❈❚●❆❈❚ ❚❡❝❤♥✐q✉❡s ❡①✐st t♦ ♣❡r❢♦r♠ t❤❡ ❢♦❧❧♦✇✐♥❣ ❉◆❆ tr❛♥s❢♦r♠❛t✐♦♥s✿ ❚❈❆❚ ❚
❆● ❈❚❈ ❚❈ ❆●❚❆ ❆ ❚❆❚ ❈❚ ❘❡❝❡♥t❧② ✐t ❤❛s ❜❡❡♥ ❞✐s❝♦✈❡r❡❞ t❤❛t t❤❡ ♠❛❞ ❝♦✇ ❞✐s❡❛s❡ ✐s ❝❛✉s❡❞ ❜② ❛ r❡tr♦✈✐r✉s ✇✐t❤ t❤❡ ❢♦❧❧♦✇✐♥❣ ❉◆❆ s❡q✉❡♥❝❡ ❈❚●❈❚❆❈❚●❆❈❚ ❲❤❛t ♥♦✇✱ ✐❢ ❛❝❝✐❞❡♥t❛❧❧② ❝♦✇s ✇✐t❤ t❤✐s ✈✐r✉s ❛r❡ ❝r❡❛t❡❞❄ ❆❝❝♦r❞✐♥❣ t♦ t❤❡ ❡♥❣✐♥❡❡rs t❤❡r❡ ✐s ❧✐tt❧❡ r✐s❦ ❜❡❝❛✉s❡ t❤✐s ♥❡✈❡r ❤❛♣♣❡♥❡❞ ✐♥ t❤❡✐r ❡①♣❡r✐♠❡♥ts✱ ❜✉t ✈❛r✐♦✉s ❛❝t✐♦♥ ❣r♦✉♣s ❞❡♠❛♥❞ ❛❜s♦❧✉t❡ ❛ss✉r❛♥❝❡✳
✹
❚♦ t❤❛t ❡♥❞ t❤❡② ❤❛✈❡ t♦ tr❛♥s❢♦r♠ t❤❡ ❉◆❆ ♦❢ t❤❡ ♠✐❧❦ ❣❡♥❡ ❚❆●❈❚❆●❈❚❆●❈❚ ✐♥ ❡✈❡r② ❢❡rt✐❧✐③❡❞ ❡❣❣ ✐♥t♦ t❤❡ ❝♦❧❛ ❣❡♥❡ ❈❚●❆❈❚●❆❈❚ ❚❡❝❤♥✐q✉❡s ❡①✐st t♦ ♣❡r❢♦r♠ t❤❡ ❢♦❧❧♦✇✐♥❣ ❉◆❆ tr❛♥s❢♦r♠❛t✐♦♥s✿ ❚❈❆❚ ↔ ❚
❈❚❈ ↔ ❚❈ ❆●❚❆ ↔ ❆ ❚❆❚ ↔ ❈❚ ❘❡❝❡♥t❧② ✐t ❤❛s ❜❡❡♥ ❞✐s❝♦✈❡r❡❞ t❤❛t t❤❡ ♠❛❞ ❝♦✇ ❞✐s❡❛s❡ ✐s ❝❛✉s❡❞ ❜② ❛ r❡tr♦✈✐r✉s ✇✐t❤ t❤❡ ❢♦❧❧♦✇✐♥❣ ❉◆❆ s❡q✉❡♥❝❡ ❈❚●❈❚❆❈❚●❆❈❚ ❲❤❛t ♥♦✇✱ ✐❢ ❛❝❝✐❞❡♥t❛❧❧② ❝♦✇s ✇✐t❤ t❤✐s ✈✐r✉s ❛r❡ ❝r❡❛t❡❞❄ ❆❝❝♦r❞✐♥❣ t♦ t❤❡ ❡♥❣✐♥❡❡rs t❤❡r❡ ✐s ❧✐tt❧❡ r✐s❦ ❜❡❝❛✉s❡ t❤✐s ♥❡✈❡r ❤❛♣♣❡♥❡❞ ✐♥ t❤❡✐r ❡①♣❡r✐♠❡♥ts✱ ❜✉t ✈❛r✐♦✉s ❛❝t✐♦♥ ❣r♦✉♣s ❞❡♠❛♥❞ ❛❜s♦❧✉t❡ ❛ss✉r❛♥❝❡✳
✹
❚♦ t❤❛t ❡♥❞ t❤❡② ❤❛✈❡ t♦ tr❛♥s❢♦r♠ t❤❡ ❉◆❆ ♦❢ t❤❡ ♠✐❧❦ ❣❡♥❡ ❚❆●❈❚❆●❈❚❆●❈❚ ✐♥ ❡✈❡r② ❢❡rt✐❧✐③❡❞ ❡❣❣ ✐♥t♦ t❤❡ ❝♦❧❛ ❣❡♥❡ ❈❚●❆❈❚●❆❈❚ ❚❡❝❤♥✐q✉❡s ❡①✐st t♦ ♣❡r❢♦r♠ t❤❡ ❢♦❧❧♦✇✐♥❣ ❉◆❆ tr❛♥s❢♦r♠❛t✐♦♥s✿ ❚❈❆❚ ↔ ❚
❈❚❈ ↔ ❚❈ ❆●❚❆ ↔ ❆ ❚❆❚ ↔ ❈❚ ❘❡❝❡♥t❧② ✐t ❤❛s ❜❡❡♥ ❞✐s❝♦✈❡r❡❞ t❤❛t t❤❡ ♠❛❞ ❝♦✇ ❞✐s❡❛s❡ ✐s ❝❛✉s❡❞ ❜② ❛ r❡tr♦✈✐r✉s ✇✐t❤ t❤❡ ❢♦❧❧♦✇✐♥❣ ❉◆❆ s❡q✉❡♥❝❡ ❈❚●❈❚❆❈❚●❆❈❚ ❲❤❛t ♥♦✇✱ ✐❢ ❛❝❝✐❞❡♥t❛❧❧② ❝♦✇s ✇✐t❤ t❤✐s ✈✐r✉s ❛r❡ ❝r❡❛t❡❞❄ ❆❝❝♦r❞✐♥❣ t♦ t❤❡ ❡♥❣✐♥❡❡rs t❤❡r❡ ✐s ❧✐tt❧❡ r✐s❦ ❜❡❝❛✉s❡ t❤✐s ♥❡✈❡r ❤❛♣♣❡♥❡❞ ✐♥ t❤❡✐r ❡①♣❡r✐♠❡♥ts✱ ❜✉t ✈❛r✐♦✉s ❛❝t✐♦♥ ❣r♦✉♣s ❞❡♠❛♥❞ ❛❜s♦❧✉t❡ ❛ss✉r❛♥❝❡✳
✹
❆ ❝♦❧♦♥② ♦❢ ❇r❛③✐❧✐❛♥ ❝❤❛♠❡❧❡♦♥s ❝♦♥s✐sts ♦❢ ✷✵ r❡❞✱ ✶✽ ❜❧✉❡✱ ❛♥❞ ✶✻ ❣r❡❡♥ ❛♥✐♠❛❧s✳ ❲❤❡♥❡✈❡r t✇♦ ♦❢ ❞✐✛❡r❡♥t ❝♦❧♦r ♠❡❡t✱ ❜♦t❤ ❝❤❛♥❣❡ t♦ t❤❡ t❤✐r❞ ❝♦❧♦r✳ ❙♦♠❡ t✐♠❡ ♣❛ss❡s ❞✉r✐♥❣ ✇❤✐❝❤ ♥♦ ❝❤❛♠❡❧❡♦♥s ❛r❡ ❜♦r♥ ♦r ❞✐❡ ♥♦r ❞♦ ❛♥② ❡♥t❡r ♦r ❧❡❛✈❡ t❤❡ ❝♦❧♦♥②✳ ■s ✐t ♣♦ss✐❜❧❡ t❤❛t ❛❧❧ ✺✹ ❝❤❛♠❡❧❡♦♥s ❜❡❝♦♠❡ t❤❡ s❛♠❡ ❝♦❧♦r❄
✺
❆ ❝♦❧♦♥② ♦❢ ❇r❛③✐❧✐❛♥ ❝❤❛♠❡❧❡♦♥s ❝♦♥s✐sts ♦❢ ✷✵ r❡❞✱ ✶✽ ❜❧✉❡✱ ❛♥❞ ✶✻ ❣r❡❡♥ ❛♥✐♠❛❧s✳ ❲❤❡♥❡✈❡r t✇♦ ♦❢ ❞✐✛❡r❡♥t ❝♦❧♦r ♠❡❡t✱ ❜♦t❤ ❝❤❛♥❣❡ t♦ t❤❡ t❤✐r❞ ❝♦❧♦r✳ ❙♦♠❡ t✐♠❡ ♣❛ss❡s ❞✉r✐♥❣ ✇❤✐❝❤ ♥♦ ❝❤❛♠❡❧❡♦♥s ❛r❡ ❜♦r♥ ♦r ❞✐❡ ♥♦r ❞♦ ❛♥② ❡♥t❡r ♦r ❧❡❛✈❡ t❤❡ ❝♦❧♦♥②✳ ■s ✐t ♣♦ss✐❜❧❡ t❤❛t ❛❧❧ ✺✹ ❝❤❛♠❡❧❡♦♥s ❜❡❝♦♠❡ t❤❡ s❛♠❡ ❝♦❧♦r❄
✺
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s ❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡ ♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s ✐♥✐t✐❛❧ st❛t❡
♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷
q✉❡st✐♦♥s ❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄ ✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄
✻
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s
◮
❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡
♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s ✐♥✐t✐❛❧ st❛t❡
♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷
q✉❡st✐♦♥s ❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄ ✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄
✻
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s
◮
❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡
◮
♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s ✐♥✐t✐❛❧ st❛t❡
♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷
q✉❡st✐♦♥s ❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄ ✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄
✻
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s
◮
❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡
◮
♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s
◮
✐♥✐t✐❛❧ st❛t❡
♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷
q✉❡st✐♦♥s ❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄ ✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄
✻
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s
◮
❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡
◮
♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s
◮
✐♥✐t✐❛❧ st❛t❡
♣❧❛②❡r ✶
♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷
q✉❡st✐♦♥s ❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄ ✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄
✻
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s
◮
❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡
◮
♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s
◮
✐♥✐t✐❛❧ st❛t❡
♣❧❛②❡r ✶
♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷
q✉❡st✐♦♥s ❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄ ✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄
✻
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s
◮
❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡
◮
♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s
◮
✐♥✐t✐❛❧ st❛t❡
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷
q✉❡st✐♦♥s ❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄ ✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄
✻
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s
◮
❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡
◮
♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s
◮
✐♥✐t✐❛❧ st❛t❡
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷
q✉❡st✐♦♥s ❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄ ✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄
✻
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s
◮
❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡
◮
♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s
◮
✐♥✐t✐❛❧ st❛t❡
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷
q✉❡st✐♦♥s ❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄ ✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄
✻
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s
◮
❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡
◮
♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s
◮
✐♥✐t✐❛❧ st❛t❡
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷
q✉❡st✐♦♥s ❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄ ✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄
✻
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s
◮
❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡
◮
♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s
◮
✐♥✐t✐❛❧ st❛t❡
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷
q✉❡st✐♦♥s ❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄ ✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄
✻
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s
◮
❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡
◮
♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s
◮
✐♥✐t✐❛❧ st❛t❡
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷
q✉❡st✐♦♥s ❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄ ✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄
✻
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s
◮
❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡
◮
♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s
◮
✐♥✐t✐❛❧ st❛t❡
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷
q✉❡st✐♦♥s ❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄ ✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄
✻
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s
◮
❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡
◮
♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s
◮
✐♥✐t✐❛❧ st❛t❡
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷
q✉❡st✐♦♥s ❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄ ✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄
✻
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s
◮
❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡
◮
♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s
◮
✐♥✐t✐❛❧ st❛t❡
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷
q✉❡st✐♦♥s ❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄ ✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄
✻
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s
◮
❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡
◮
♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s
◮
✐♥✐t✐❛❧ st❛t❡
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷
q✉❡st✐♦♥s ❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄ ✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄
✻
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s
◮
❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡
◮
♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s
◮
✐♥✐t✐❛❧ st❛t❡
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷
q✉❡st✐♦♥s ❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄ ✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄
✻
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s
◮
❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡
◮
♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s
◮
✐♥✐t✐❛❧ st❛t❡
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶ ♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷
q✉❡st✐♦♥s ❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄ ✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄
✻
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s
◮
❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡
◮
♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s
◮
✐♥✐t✐❛❧ st❛t❡
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷ ♣❧❛②❡r ✶ ♣❧❛②❡r ✷
q✉❡st✐♦♥s ❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄ ✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄
✻
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s
◮
❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡
◮
♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s
◮
✐♥✐t✐❛❧ st❛t❡
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶ ♣❧❛②❡r ✷
q✉❡st✐♦♥s ❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄ ✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄
✻
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s
◮
❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡
◮
♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s
◮
✐♥✐t✐❛❧ st❛t❡
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
q✉❡st✐♦♥s ❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄ ✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄
✻
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s
◮
❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡
◮
♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s
◮
✐♥✐t✐❛❧ st❛t❡
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
♣❧❛②❡r ✶
♣❧❛②❡r ✷
❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄ ✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄
✻
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s
◮
❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡
◮
♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s
◮
✐♥✐t✐❛❧ st❛t❡
◮
q✉❡st✐♦♥s
◮ ❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄
✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄
✻
◮
t✇♦✲♣❧❛②❡r ❣❛♠❡ ✇❤❡r❡ st❛t❡ ✐s s❡q✉❡♥❝❡ ♦❢ ❜❧❛❝❦ ❛♥❞ ✇❤✐t❡ st♦♥❡s
◮
❛❧❧♦✇❡❞ ♠♦✈❡s ❛r❡
◮
♣❧❛②❡r ✇❤♦ ♣✉ts ❧❛st ✇❤✐t❡ ✇✐♥s
◮
✐♥✐t✐❛❧ st❛t❡
◮
q✉❡st✐♦♥s
◮ ❞♦❡s t❤❡ ❣❛♠❡ t❡r♠✐♥❛t❡❄ ◮ ✇❤✐❝❤ str❛t❡❣✐❡s ❛r❡ ✇✐♥♥✐♥❣ str❛t❡❣✐❡s ❢♦r ♣❧❛②❡r ✷❄ ✻
❚❘❙ R ♠♦❞❡❧s s✐❡✈❡ ♦❢ ❊r❛t♦st❤❡♥❡s t♦ ❡♥✉♠❡r❛t❡ ♣r✐♠❡ ♥✉♠❜❡rs✿
♣r✐♠❡s → s✐❡✈❡(❢r♦♠(s(s(✵)))) s✐❡✈❡(✵: y) → s✐❡✈❡(y) ❢r♦♠(x) → x : ❢r♦♠(s(x)) s✐❡✈❡(s(x): y) → s(x): s✐❡✈❡(✜❧t❡r(x, y, x)) ❤❞(x : y) → x ✜❧t❡r(✵, y : z, w) → ✵: ✜❧t❡r(w, z, w) t❧(x : y) → y ✜❧t❡r(s(x), y : z, w) → y : ✜❧t❡r(x, z, w)
✐s t❤❡ ❣✐✈❡♥ ♣r♦❣r❛♠ t❡r♠✐♥❛t✐♥❣❄ ❛r❡ r❡s✉❧ts✱ ✐❢ ❡①✐st❡♥t✱ ✉♥✐q✉❡❄ ✇❤❛t ✐s t❤❡ ♣r♦❣r❛♠✬s ❝♦♠♣✉t❛t✐♦♥❛❧ ❝♦♠♣❧❡①✐t②✱ ✐❢ ✐t t❡r♠✐♥❛t❡s❄
✼
❚❘❙ R ♠♦❞❡❧s s✐❡✈❡ ♦❢ ❊r❛t♦st❤❡♥❡s t♦ ❡♥✉♠❡r❛t❡ ♣r✐♠❡ ♥✉♠❜❡rs✿
♣r✐♠❡s → s✐❡✈❡(❢r♦♠(s(s(✵)))) s✐❡✈❡(✵: y) → s✐❡✈❡(y) ❢r♦♠(x) → x : ❢r♦♠(s(x)) s✐❡✈❡(s(x): y) → s(x): s✐❡✈❡(✜❧t❡r(x, y, x)) ❤❞(x : y) → x ✜❧t❡r(✵, y : z, w) → ✵: ✜❧t❡r(w, z, w) t❧(x : y) → y ✜❧t❡r(s(x), y : z, w) → y : ✜❧t❡r(x, z, w)
◮
✐s t❤❡ ❣✐✈❡♥ ♣r♦❣r❛♠ t❡r♠✐♥❛t✐♥❣❄ ❛r❡ r❡s✉❧ts✱ ✐❢ ❡①✐st❡♥t✱ ✉♥✐q✉❡❄ ✇❤❛t ✐s t❤❡ ♣r♦❣r❛♠✬s ❝♦♠♣✉t❛t✐♦♥❛❧ ❝♦♠♣❧❡①✐t②✱ ✐❢ ✐t t❡r♠✐♥❛t❡s❄
✼
❚❘❙ R ♠♦❞❡❧s s✐❡✈❡ ♦❢ ❊r❛t♦st❤❡♥❡s t♦ ❡♥✉♠❡r❛t❡ ♣r✐♠❡ ♥✉♠❜❡rs✿
♣r✐♠❡s → s✐❡✈❡(❢r♦♠(s(s(✵)))) s✐❡✈❡(✵: y) → s✐❡✈❡(y) ❢r♦♠(x) → x : ❢r♦♠(s(x)) s✐❡✈❡(s(x): y) → s(x): s✐❡✈❡(✜❧t❡r(x, y, x)) ❤❞(x : y) → x ✜❧t❡r(✵, y : z, w) → ✵: ✜❧t❡r(w, z, w) t❧(x : y) → y ✜❧t❡r(s(x), y : z, w) → y : ✜❧t❡r(x, z, w)
◮
✐s t❤❡ ❣✐✈❡♥ ♣r♦❣r❛♠ t❡r♠✐♥❛t✐♥❣❄
◮
❛r❡ r❡s✉❧ts✱ ✐❢ ❡①✐st❡♥t✱ ✉♥✐q✉❡❄ ✇❤❛t ✐s t❤❡ ♣r♦❣r❛♠✬s ❝♦♠♣✉t❛t✐♦♥❛❧ ❝♦♠♣❧❡①✐t②✱ ✐❢ ✐t t❡r♠✐♥❛t❡s❄
✼
❚❘❙ R ♠♦❞❡❧s s✐❡✈❡ ♦❢ ❊r❛t♦st❤❡♥❡s t♦ ❡♥✉♠❡r❛t❡ ♣r✐♠❡ ♥✉♠❜❡rs✿
♣r✐♠❡s → s✐❡✈❡(❢r♦♠(s(s(✵)))) s✐❡✈❡(✵: y) → s✐❡✈❡(y) ❢r♦♠(x) → x : ❢r♦♠(s(x)) s✐❡✈❡(s(x): y) → s(x): s✐❡✈❡(✜❧t❡r(x, y, x)) ❤❞(x : y) → x ✜❧t❡r(✵, y : z, w) → ✵: ✜❧t❡r(w, z, w) t❧(x : y) → y ✜❧t❡r(s(x), y : z, w) → y : ✜❧t❡r(x, z, w)
◮
✐s t❤❡ ❣✐✈❡♥ ♣r♦❣r❛♠ t❡r♠✐♥❛t✐♥❣❄
◮
❛r❡ r❡s✉❧ts✱ ✐❢ ❡①✐st❡♥t✱ ✉♥✐q✉❡❄
◮
✇❤❛t ✐s t❤❡ ♣r♦❣r❛♠✬s ❝♦♠♣✉t❛t✐♦♥❛❧ ❝♦♠♣❧❡①✐t②✱ ✐❢ ✐t t❡r♠✐♥❛t❡s❄
✼
✽
◮
❛❜str❛❝t r❡✇r✐t❡ s②st❡♠ ✐s ❝❛rr✐❡r s❡t ✇✐t❤ ❜✐♥❛r② r❡❧❛t✐♦♥ ✳ ✳ ✳ ✐s t❡r♠✐♥❛t✐♥❣ ✐❢ t❤❡r❡ ❛r❡ ♥♦ ✐♥✜♥✐t❡ r❡✇r✐t❡ s❡q✉❡♥❝❡s ✳ ✳ ✳ ✐s ❝♦♥✢✉❡♥t ✐❢ ✳ ✳ ✳ ✐s ❝♦♠♣❧❡t❡ ✐❢ t❡r♠✐♥❛t✐♥❣ ❛♥❞ ❝♦♥✢✉❡♥t
r❡✇r✐t❡ s②st❡♠ R r❡✇r✐t❡ s❡q✉❡♥❝❡✿ ✐s t❡r♠✐♥❛t✐♥❣ ✐s ❝♦♥✢✉❡♥t ❡✳❣✳ ❛♥❞ ❜✉t ❛❧s♦ ❛♥❞
✾
◮
❛❜str❛❝t r❡✇r✐t❡ s②st❡♠ ✐s ❝❛rr✐❡r s❡t ✇✐t❤ ❜✐♥❛r② r❡❧❛t✐♦♥ ✳ ✳ ✳ ✐s t❡r♠✐♥❛t✐♥❣ ✐❢ t❤❡r❡ ❛r❡ ♥♦ ✐♥✜♥✐t❡ r❡✇r✐t❡ s❡q✉❡♥❝❡s ✳ ✳ ✳ ✐s ❝♦♥✢✉❡♥t ✐❢ ✳ ✳ ✳ ✐s ❝♦♠♣❧❡t❡ ✐❢ t❡r♠✐♥❛t✐♥❣ ❛♥❞ ❝♦♥✢✉❡♥t
r❡✇r✐t❡ s②st❡♠ R
◮
r❡✇r✐t❡ st❡♣✿
R
✐s t❡r♠✐♥❛t✐♥❣ ✐s ❝♦♥✢✉❡♥t ❡✳❣✳ ❛♥❞ ❜✉t ❛❧s♦ ❛♥❞
✾
◮
❛❜str❛❝t r❡✇r✐t❡ s②st❡♠ ✐s ❝❛rr✐❡r s❡t ✇✐t❤ ❜✐♥❛r② r❡❧❛t✐♦♥ ✳ ✳ ✳ ✐s t❡r♠✐♥❛t✐♥❣ ✐❢ t❤❡r❡ ❛r❡ ♥♦ ✐♥✜♥✐t❡ r❡✇r✐t❡ s❡q✉❡♥❝❡s ✳ ✳ ✳ ✐s ❝♦♥✢✉❡♥t ✐❢ ✳ ✳ ✳ ✐s ❝♦♠♣❧❡t❡ ✐❢ t❡r♠✐♥❛t✐♥❣ ❛♥❞ ❝♦♥✢✉❡♥t
r❡✇r✐t❡ s②st❡♠ R
◮
r❡✇r✐t❡ s❡q✉❡♥❝❡✿
R R R
✐s t❡r♠✐♥❛t✐♥❣ ✐s ❝♦♥✢✉❡♥t ❡✳❣✳ ❛♥❞ ❜✉t ❛❧s♦ ❛♥❞
✾
◮
❛❜str❛❝t r❡✇r✐t❡ s②st❡♠ ✐s ❝❛rr✐❡r s❡t ✇✐t❤ ❜✐♥❛r② r❡❧❛t✐♦♥ ✳ ✳ ✳ ✐s t❡r♠✐♥❛t✐♥❣ ✐❢ t❤❡r❡ ❛r❡ ♥♦ ✐♥✜♥✐t❡ r❡✇r✐t❡ s❡q✉❡♥❝❡s ✳ ✳ ✳ ✐s ❝♦♥✢✉❡♥t ✐❢ ✳ ✳ ✳ ✐s ❝♦♠♣❧❡t❡ ✐❢ t❡r♠✐♥❛t✐♥❣ ❛♥❞ ❝♦♥✢✉❡♥t
r❡✇r✐t❡ s②st❡♠ R
◮
r❡✇r✐t❡ s❡q✉❡♥❝❡✿
R R R R
∗
✐s t❡r♠✐♥❛t✐♥❣ ✐s ❝♦♥✢✉❡♥t ❡✳❣✳ ❛♥❞ ❜✉t ❛❧s♦ ❛♥❞
✾
◮
❛❜str❛❝t r❡✇r✐t❡ s②st❡♠ ✐s ❝❛rr✐❡r s❡t ✇✐t❤ ❜✐♥❛r② r❡❧❛t✐♦♥
◮
✳ ✳ ✳ ✐s t❡r♠✐♥❛t✐♥❣ ✐❢ t❤❡r❡ ❛r❡ ♥♦ ✐♥✜♥✐t❡ r❡✇r✐t❡ s❡q✉❡♥❝❡s ✳ ✳ ✳ ✐s ❝♦♥✢✉❡♥t ✐❢ ✳ ✳ ✳ ✐s ❝♦♠♣❧❡t❡ ✐❢ t❡r♠✐♥❛t✐♥❣ ❛♥❞ ❝♦♥✢✉❡♥t
r❡✇r✐t❡ s②st❡♠ R
◮
r❡✇r✐t❡ s❡q✉❡♥❝❡✿
R R R R
∗
✐s t❡r♠✐♥❛t✐♥❣ ✐s ❝♦♥✢✉❡♥t ❡✳❣✳ ❛♥❞ ❜✉t ❛❧s♦ ❛♥❞
✾
◮
❛❜str❛❝t r❡✇r✐t❡ s②st❡♠ ✐s ❝❛rr✐❡r s❡t ✇✐t❤ ❜✐♥❛r② r❡❧❛t✐♦♥
◮
✳ ✳ ✳ ✐s t❡r♠✐♥❛t✐♥❣ ✐❢ t❤❡r❡ ❛r❡ ♥♦ ✐♥✜♥✐t❡ r❡✇r✐t❡ s❡q✉❡♥❝❡s ✳ ✳ ✳ ✐s ❝♦♥✢✉❡♥t ✐❢ ✳ ✳ ✳ ✐s ❝♦♠♣❧❡t❡ ✐❢ t❡r♠✐♥❛t✐♥❣ ❛♥❞ ❝♦♥✢✉❡♥t
r❡✇r✐t❡ s②st❡♠ R
◮
r❡✇r✐t❡ s❡q✉❡♥❝❡✿
R R R R
∗
◮
R ✐s ♥♦t t❡r♠✐♥❛t✐♥❣✿
R R R R R
· · · ✐s ❝♦♥✢✉❡♥t ❡✳❣✳ ❛♥❞ ❜✉t ❛❧s♦ ❛♥❞
✾
◮
❛❜str❛❝t r❡✇r✐t❡ s②st❡♠ ✐s ❝❛rr✐❡r s❡t ✇✐t❤ ❜✐♥❛r② r❡❧❛t✐♦♥
◮
✳ ✳ ✳ ✐s t❡r♠✐♥❛t✐♥❣ ✐❢ t❤❡r❡ ❛r❡ ♥♦ ✐♥✜♥✐t❡ r❡✇r✐t❡ s❡q✉❡♥❝❡s ✳ ✳ ✳ ✐s ❝♦♥✢✉❡♥t ✐❢ ✳ ✳ ✳ ✐s ❝♦♠♣❧❡t❡ ✐❢ t❡r♠✐♥❛t✐♥❣ ❛♥❞ ❝♦♥✢✉❡♥t
r❡✇r✐t❡ s②st❡♠ R
◮
r❡✇r✐t❡ s❡q✉❡♥❝❡✿
R R R R
∗
◮
R ✐s t❡r♠✐♥❛t✐♥❣ ✐s ❝♦♥✢✉❡♥t ❡✳❣✳ ❛♥❞ ❜✉t ❛❧s♦ ❛♥❞
✾
◮
❛❜str❛❝t r❡✇r✐t❡ s②st❡♠ ✐s ❝❛rr✐❡r s❡t ✇✐t❤ ❜✐♥❛r② r❡❧❛t✐♦♥
◮
✳ ✳ ✳ ✐s t❡r♠✐♥❛t✐♥❣ ✐❢ t❤❡r❡ ❛r❡ ♥♦ ✐♥✜♥✐t❡ r❡✇r✐t❡ s❡q✉❡♥❝❡s
◮
✳ ✳ ✳ ✐s ❝♦♥✢✉❡♥t ✐❢
∗ R← · →∗ R ⊆ →∗ R · ∗ R←
✳ ✳ ✳ ✐s ❝♦♠♣❧❡t❡ ✐❢ t❡r♠✐♥❛t✐♥❣ ❛♥❞ ❝♦♥✢✉❡♥t
r❡✇r✐t❡ s②st❡♠ R
◮
r❡✇r✐t❡ s❡q✉❡♥❝❡✿
R R R R
∗
◮
R ✐s t❡r♠✐♥❛t✐♥❣ ✐s ❝♦♥✢✉❡♥t ❡✳❣✳ ❛♥❞ ❜✉t ❛❧s♦ ❛♥❞
✾
◮
❛❜str❛❝t r❡✇r✐t❡ s②st❡♠ ✐s ❝❛rr✐❡r s❡t ✇✐t❤ ❜✐♥❛r② r❡❧❛t✐♦♥
◮
✳ ✳ ✳ ✐s t❡r♠✐♥❛t✐♥❣ ✐❢ t❤❡r❡ ❛r❡ ♥♦ ✐♥✜♥✐t❡ r❡✇r✐t❡ s❡q✉❡♥❝❡s
◮
✳ ✳ ✳ ✐s ❝♦♥✢✉❡♥t ✐❢
∗ R← · →∗ R ⊆ ↓R
✳ ✳ ✳ ✐s ❝♦♠♣❧❡t❡ ✐❢ t❡r♠✐♥❛t✐♥❣ ❛♥❞ ❝♦♥✢✉❡♥t
r❡✇r✐t❡ s②st❡♠ R
◮
r❡✇r✐t❡ s❡q✉❡♥❝❡✿
R R R R
∗
◮
R ✐s t❡r♠✐♥❛t✐♥❣ ✐s ❝♦♥✢✉❡♥t ❡✳❣✳ ❛♥❞ ❜✉t ❛❧s♦ ❛♥❞
✾
◮
❛❜str❛❝t r❡✇r✐t❡ s②st❡♠ ✐s ❝❛rr✐❡r s❡t ✇✐t❤ ❜✐♥❛r② r❡❧❛t✐♦♥
◮
✳ ✳ ✳ ✐s t❡r♠✐♥❛t✐♥❣ ✐❢ t❤❡r❡ ❛r❡ ♥♦ ✐♥✜♥✐t❡ r❡✇r✐t❡ s❡q✉❡♥❝❡s
◮
✳ ✳ ✳ ✐s ❝♦♥✢✉❡♥t ✐❢
∗ R← · →∗ R ⊆ ↓R
✳ ✳ ✳ ✐s ❝♦♠♣❧❡t❡ ✐❢ t❡r♠✐♥❛t✐♥❣ ❛♥❞ ❝♦♥✢✉❡♥t
r❡✇r✐t❡ s②st❡♠ R
◮
r❡✇r✐t❡ s❡q✉❡♥❝❡✿
R R R R
∗
◮
R ✐s t❡r♠✐♥❛t✐♥❣
◮
R ✐s ❝♦♥✢✉❡♥t ❡✳❣✳
R
∗
❛♥❞
R
∗
❜✉t ❛❧s♦ ❛♥❞
✾
◮
❛❜str❛❝t r❡✇r✐t❡ s②st❡♠ ✐s ❝❛rr✐❡r s❡t ✇✐t❤ ❜✐♥❛r② r❡❧❛t✐♦♥
◮
✳ ✳ ✳ ✐s t❡r♠✐♥❛t✐♥❣ ✐❢ t❤❡r❡ ❛r❡ ♥♦ ✐♥✜♥✐t❡ r❡✇r✐t❡ s❡q✉❡♥❝❡s
◮
✳ ✳ ✳ ✐s ❝♦♥✢✉❡♥t ✐❢
∗ R← · →∗ R ⊆ ↓R
✳ ✳ ✳ ✐s ❝♦♠♣❧❡t❡ ✐❢ t❡r♠✐♥❛t✐♥❣ ❛♥❞ ❝♦♥✢✉❡♥t
r❡✇r✐t❡ s②st❡♠ R
◮
r❡✇r✐t❡ s❡q✉❡♥❝❡✿
R R R R
∗
◮
R ✐s t❡r♠✐♥❛t✐♥❣
◮
R ✐s ❝♦♥✢✉❡♥t ❡✳❣✳
R
∗
❛♥❞
R
∗
❜✉t ❛❧s♦
R
∗
❛♥❞
R
∗
✾
◮
❛❜str❛❝t r❡✇r✐t❡ s②st❡♠ ✐s ❝❛rr✐❡r s❡t ✇✐t❤ ❜✐♥❛r② r❡❧❛t✐♦♥
◮
✳ ✳ ✳ ✐s t❡r♠✐♥❛t✐♥❣ ✐❢ t❤❡r❡ ❛r❡ ♥♦ ✐♥✜♥✐t❡ r❡✇r✐t❡ s❡q✉❡♥❝❡s
◮
✳ ✳ ✳ ✐s ❝♦♥✢✉❡♥t ✐❢
∗ R← · →∗ R ⊆ ↓R
◮
✳ ✳ ✳ ✐s ❝♦♠♣❧❡t❡ ✐❢ t❡r♠✐♥❛t✐♥❣ ❛♥❞ ❝♦♥✢✉❡♥t
r❡✇r✐t❡ s②st❡♠ R
◮
r❡✇r✐t❡ s❡q✉❡♥❝❡✿
R R R R
∗
◮
R ✐s t❡r♠✐♥❛t✐♥❣
◮
R ✐s ❝♦♥✢✉❡♥t ❡✳❣✳
R
∗
❛♥❞
R
∗
❜✉t ❛❧s♦
R
∗
❛♥❞
R
∗
✾
◮
❛ss✉♠❡ t❡r♠ str✉❝t✉r❡ ♦♥ ♦❜❥❡❝ts t♦ r❡✇r✐t❡ r❡✇r✐t❡ r✉❧❡ ✐s ♣❛✐r ♦❢ t❡r♠s t❡r♠ r❡✇r✐t❡ s②st❡♠ ✭❚❘❙✮ ✐s s❡t ♦❢ r❡✇r✐t❡ r✉❧❡s r❡✇r✐t❡ st❡♣ ❛♣♣❧✐❡s r❡✇r✐t❡ r✉❧❡ ✉s✐♥❣ s✉❜st✐t✉t✐♦♥ ❛♥❞ ✐♥ ❝♦♥t❡①t
❢✉♥❝t✐♦♥ s②♠❜♦❧s ✵✱ s✱ ✳ ✳ ✳ ❛♥❞ ✈❛r✐❛❜❧❡s✿ ①✱ ②✱ ③✱ ✳ ✳ ✳ t❡r♠s ✵ s ✵ s s ✵ s s s ✵ ① s s ① ✵ ② r❡✇r✐t❡ r✉❧❡s ✿ ✵ ① ① s ① ② s ① ② r❡✇r✐t❡ st❡♣ s s ✵ s s s ✵ s s ✵ s s s ✵ s s ✵ s s s ✵ s s s s s ✵
t❡r♠ r❡✇r✐t✐♥❣ ✐s ❚✉r✐♥❣ ❝♦♠♣❧❡t❡ ♠♦❞❡❧ ♦❢ ❝♦♠♣✉t❛t✐♦♥
♥♦r♠❛❧ ❢♦r♠
✶✵
◮
❛ss✉♠❡ t❡r♠ str✉❝t✉r❡ ♦♥ ♦❜❥❡❝ts t♦ r❡✇r✐t❡ r❡✇r✐t❡ r✉❧❡ ✐s ♣❛✐r ♦❢ t❡r♠s t❡r♠ r❡✇r✐t❡ s②st❡♠ ✭❚❘❙✮ ✐s s❡t ♦❢ r❡✇r✐t❡ r✉❧❡s r❡✇r✐t❡ st❡♣ ❛♣♣❧✐❡s r❡✇r✐t❡ r✉❧❡ ✉s✐♥❣ s✉❜st✐t✉t✐♦♥ ❛♥❞ ✐♥ ❝♦♥t❡①t
◮
❢✉♥❝t✐♦♥ s②♠❜♦❧s ✵✱ s✱ + ✳ ✳ ✳ ❛♥❞ ✈❛r✐❛❜❧❡s✿ ①✱ ②✱ ③✱ ✳ ✳ ✳ t❡r♠s ✵ s ✵ s s ✵ s s s ✵ ① s s ① ✵ ② r❡✇r✐t❡ r✉❧❡s ✿ ✵ ① ① s ① ② s ① ② r❡✇r✐t❡ st❡♣ s s ✵ s s s ✵ s s ✵ s s s ✵ s s ✵ s s s ✵ s s s s s ✵
t❡r♠ r❡✇r✐t✐♥❣ ✐s ❚✉r✐♥❣ ❝♦♠♣❧❡t❡ ♠♦❞❡❧ ♦❢ ❝♦♠♣✉t❛t✐♦♥
♥♦r♠❛❧ ❢♦r♠
✶✵
◮
❛ss✉♠❡ t❡r♠ str✉❝t✉r❡ ♦♥ ♦❜❥❡❝ts t♦ r❡✇r✐t❡ r❡✇r✐t❡ r✉❧❡ ✐s ♣❛✐r ♦❢ t❡r♠s t❡r♠ r❡✇r✐t❡ s②st❡♠ ✭❚❘❙✮ ✐s s❡t ♦❢ r❡✇r✐t❡ r✉❧❡s r❡✇r✐t❡ st❡♣ ❛♣♣❧✐❡s r❡✇r✐t❡ r✉❧❡ ✉s✐♥❣ s✉❜st✐t✉t✐♦♥ ❛♥❞ ✐♥ ❝♦♥t❡①t
◮
❢✉♥❝t✐♦♥ s②♠❜♦❧s ✵✱ s✱ + ✳ ✳ ✳ ❛♥❞ ✈❛r✐❛❜❧❡s✿ ①✱ ②✱ ③✱ ✳ ✳ ✳ t❡r♠s ✵ s ✵ s s ✵ s s s ✵ ① s s ① ✵ ② r❡✇r✐t❡ r✉❧❡s ✿ ✵ ① ① s ① ② s ① ② r❡✇r✐t❡ st❡♣ s s ✵ s s s ✵ s s ✵ s s s ✵ s s ✵ s s s ✵ s s s s s ✵
t❡r♠ r❡✇r✐t✐♥❣ ✐s ❚✉r✐♥❣ ❝♦♠♣❧❡t❡ ♠♦❞❡❧ ♦❢ ❝♦♠♣✉t❛t✐♦♥
♥♦r♠❛❧ ❢♦r♠
✶✵
◮
❛ss✉♠❡ t❡r♠ str✉❝t✉r❡ ♦♥ ♦❜❥❡❝ts t♦ r❡✇r✐t❡ r❡✇r✐t❡ r✉❧❡ ✐s ♣❛✐r ♦❢ t❡r♠s t❡r♠ r❡✇r✐t❡ s②st❡♠ ✭❚❘❙✮ ✐s s❡t ♦❢ r❡✇r✐t❡ r✉❧❡s r❡✇r✐t❡ st❡♣ ❛♣♣❧✐❡s r❡✇r✐t❡ r✉❧❡ ✉s✐♥❣ s✉❜st✐t✉t✐♦♥ ❛♥❞ ✐♥ ❝♦♥t❡①t
◮
❢✉♥❝t✐♦♥ s②♠❜♦❧s ✵✱ s✱ + ✳ ✳ ✳ ❛♥❞ ✈❛r✐❛❜❧❡s✿ ①✱ ②✱ ③✱ ✳ ✳ ✳
◮
t❡r♠s ✵ s(✵) s(s(✵)) s(s(s(✵))) ① s s ① ✵ ② r❡✇r✐t❡ r✉❧❡s ✿ ✵ ① ① s ① ② s ① ② r❡✇r✐t❡ st❡♣ s s ✵ s s s ✵ s s ✵ s s s ✵ s s ✵ s s s ✵ s s s s s ✵
t❡r♠ r❡✇r✐t✐♥❣ ✐s ❚✉r✐♥❣ ❝♦♠♣❧❡t❡ ♠♦❞❡❧ ♦❢ ❝♦♠♣✉t❛t✐♦♥
♥♦r♠❛❧ ❢♦r♠
✶✵
◮
❛ss✉♠❡ t❡r♠ str✉❝t✉r❡ ♦♥ ♦❜❥❡❝ts t♦ r❡✇r✐t❡ r❡✇r✐t❡ r✉❧❡ ✐s ♣❛✐r ♦❢ t❡r♠s t❡r♠ r❡✇r✐t❡ s②st❡♠ ✭❚❘❙✮ ✐s s❡t ♦❢ r❡✇r✐t❡ r✉❧❡s r❡✇r✐t❡ st❡♣ ❛♣♣❧✐❡s r❡✇r✐t❡ r✉❧❡ ✉s✐♥❣ s✉❜st✐t✉t✐♦♥ ❛♥❞ ✐♥ ❝♦♥t❡①t
◮
❢✉♥❝t✐♦♥ s②♠❜♦❧s ✵✱ s✱ + ✳ ✳ ✳ ❛♥❞ ✈❛r✐❛❜❧❡s✿ ①✱ ②✱ ③✱ ✳ ✳ ✳
◮
t❡r♠s ✵ s(✵) s(s(✵)) s(s(s(✵))) ① s(s(①)) ✵ + ② r❡✇r✐t❡ r✉❧❡s ✿ ✵ ① ① s ① ② s ① ② r❡✇r✐t❡ st❡♣ s s ✵ s s s ✵ s s ✵ s s s ✵ s s ✵ s s s ✵ s s s s s ✵
t❡r♠ r❡✇r✐t✐♥❣ ✐s ❚✉r✐♥❣ ❝♦♠♣❧❡t❡ ♠♦❞❡❧ ♦❢ ❝♦♠♣✉t❛t✐♦♥
♥♦r♠❛❧ ❢♦r♠
✶✵
◮
❛ss✉♠❡ t❡r♠ str✉❝t✉r❡ ♦♥ ♦❜❥❡❝ts t♦ r❡✇r✐t❡
◮
r❡✇r✐t❡ r✉❧❡ ✐s ♣❛✐r ♦❢ t❡r♠s ℓ → r
◮
t❡r♠ r❡✇r✐t❡ s②st❡♠ ✭❚❘❙✮ ✐s s❡t ♦❢ r❡✇r✐t❡ r✉❧❡s r❡✇r✐t❡ st❡♣ ❛♣♣❧✐❡s r❡✇r✐t❡ r✉❧❡ ✉s✐♥❣ s✉❜st✐t✉t✐♦♥ ❛♥❞ ✐♥ ❝♦♥t❡①t
◮
❢✉♥❝t✐♦♥ s②♠❜♦❧s ✵✱ s✱ + ✳ ✳ ✳ ❛♥❞ ✈❛r✐❛❜❧❡s✿ ①✱ ②✱ ③✱ ✳ ✳ ✳
◮
t❡r♠s ✵ s(✵) s(s(✵)) s(s(s(✵))) ① s(s(①)) ✵ + ② r❡✇r✐t❡ r✉❧❡s ✿ ✵ ① ① s ① ② s ① ② r❡✇r✐t❡ st❡♣ s s ✵ s s s ✵ s s ✵ s s s ✵ s s ✵ s s s ✵ s s s s s ✵
t❡r♠ r❡✇r✐t✐♥❣ ✐s ❚✉r✐♥❣ ❝♦♠♣❧❡t❡ ♠♦❞❡❧ ♦❢ ❝♦♠♣✉t❛t✐♦♥
♥♦r♠❛❧ ❢♦r♠
✶✵
◮
❛ss✉♠❡ t❡r♠ str✉❝t✉r❡ ♦♥ ♦❜❥❡❝ts t♦ r❡✇r✐t❡
◮
r❡✇r✐t❡ r✉❧❡ ✐s ♣❛✐r ♦❢ t❡r♠s ℓ → r
◮
t❡r♠ r❡✇r✐t❡ s②st❡♠ ✭❚❘❙✮ ✐s s❡t ♦❢ r❡✇r✐t❡ r✉❧❡s r❡✇r✐t❡ st❡♣ ❛♣♣❧✐❡s r❡✇r✐t❡ r✉❧❡ ✉s✐♥❣ s✉❜st✐t✉t✐♦♥ ❛♥❞ ✐♥ ❝♦♥t❡①t
◮
❢✉♥❝t✐♦♥ s②♠❜♦❧s ✵✱ s✱ + ✳ ✳ ✳ ❛♥❞ ✈❛r✐❛❜❧❡s✿ ①✱ ②✱ ③✱ ✳ ✳ ✳
◮
t❡r♠s ✵ s(✵) s(s(✵)) s(s(s(✵))) ① s(s(①)) ✵ + ②
◮
r❡✇r✐t❡ r✉❧❡s R✿ ✵ + ① → ① s(①) + ② → s(① + ②) r❡✇r✐t❡ st❡♣ s s ✵ s s s ✵ s s ✵ s s s ✵ s s ✵ s s s ✵ s s s s s ✵
t❡r♠ r❡✇r✐t✐♥❣ ✐s ❚✉r✐♥❣ ❝♦♠♣❧❡t❡ ♠♦❞❡❧ ♦❢ ❝♦♠♣✉t❛t✐♦♥
♥♦r♠❛❧ ❢♦r♠
✶✵
◮
❛ss✉♠❡ t❡r♠ str✉❝t✉r❡ ♦♥ ♦❜❥❡❝ts t♦ r❡✇r✐t❡
◮
r❡✇r✐t❡ r✉❧❡ ✐s ♣❛✐r ♦❢ t❡r♠s ℓ → r
◮
t❡r♠ r❡✇r✐t❡ s②st❡♠ ✭❚❘❙✮ ✐s s❡t ♦❢ r❡✇r✐t❡ r✉❧❡s
◮
r❡✇r✐t❡ st❡♣ ❛♣♣❧✐❡s r❡✇r✐t❡ r✉❧❡ ✉s✐♥❣ s✉❜st✐t✉t✐♦♥ ❛♥❞ ✐♥ ❝♦♥t❡①t
◮
❢✉♥❝t✐♦♥ s②♠❜♦❧s ✵✱ s✱ + ✳ ✳ ✳ ❛♥❞ ✈❛r✐❛❜❧❡s✿ ①✱ ②✱ ③✱ ✳ ✳ ✳
◮
t❡r♠s ✵ s(✵) s(s(✵)) s(s(s(✵))) ① s(s(①)) ✵ + ②
◮
r❡✇r✐t❡ r✉❧❡s R✿ ✵ + ① → ① s(①) + ② → s(① + ②) r❡✇r✐t❡ st❡♣ s s ✵ s s s ✵ s s ✵ s s s ✵ s s ✵ s s s ✵ s s s s s ✵
t❡r♠ r❡✇r✐t✐♥❣ ✐s ❚✉r✐♥❣ ❝♦♠♣❧❡t❡ ♠♦❞❡❧ ♦❢ ❝♦♠♣✉t❛t✐♦♥
♥♦r♠❛❧ ❢♦r♠
✶✵
◮
❛ss✉♠❡ t❡r♠ str✉❝t✉r❡ ♦♥ ♦❜❥❡❝ts t♦ r❡✇r✐t❡
◮
r❡✇r✐t❡ r✉❧❡ ✐s ♣❛✐r ♦❢ t❡r♠s ℓ → r
◮
t❡r♠ r❡✇r✐t❡ s②st❡♠ ✭❚❘❙✮ ✐s s❡t ♦❢ r❡✇r✐t❡ r✉❧❡s
◮
r❡✇r✐t❡ st❡♣ ❛♣♣❧✐❡s r❡✇r✐t❡ r✉❧❡ ✉s✐♥❣ s✉❜st✐t✉t✐♦♥ ❛♥❞ ✐♥ ❝♦♥t❡①t
◮
❢✉♥❝t✐♦♥ s②♠❜♦❧s ✵✱ s✱ + ✳ ✳ ✳ ❛♥❞ ✈❛r✐❛❜❧❡s✿ ①✱ ②✱ ③✱ ✳ ✳ ✳
◮
t❡r♠s ✵ s(✵) s(s(✵)) s(s(s(✵))) ① s(s(①)) ✵ + ②
◮
r❡✇r✐t❡ r✉❧❡s R✿ ✵ + ① → ① s(①) + ② → s(① + ②)
◮
r❡✇r✐t❡ st❡♣ s(s(✵)) + s(s(s(✵))) s s ✵ s s s ✵ s s ✵ s s s ✵ s s s s s ✵
t❡r♠ r❡✇r✐t✐♥❣ ✐s ❚✉r✐♥❣ ❝♦♠♣❧❡t❡ ♠♦❞❡❧ ♦❢ ❝♦♠♣✉t❛t✐♦♥
♥♦r♠❛❧ ❢♦r♠
✶✵
◮
❛ss✉♠❡ t❡r♠ str✉❝t✉r❡ ♦♥ ♦❜❥❡❝ts t♦ r❡✇r✐t❡
◮
r❡✇r✐t❡ r✉❧❡ ✐s ♣❛✐r ♦❢ t❡r♠s ℓ → r
◮
t❡r♠ r❡✇r✐t❡ s②st❡♠ ✭❚❘❙✮ ✐s s❡t ♦❢ r❡✇r✐t❡ r✉❧❡s
◮
r❡✇r✐t❡ st❡♣ ❛♣♣❧✐❡s r❡✇r✐t❡ r✉❧❡ ✉s✐♥❣ s✉❜st✐t✉t✐♦♥ ❛♥❞ ✐♥ ❝♦♥t❡①t
◮
❢✉♥❝t✐♦♥ s②♠❜♦❧s ✵✱ s✱ + ✳ ✳ ✳ ❛♥❞ ✈❛r✐❛❜❧❡s✿ ①✱ ②✱ ③✱ ✳ ✳ ✳
◮
t❡r♠s ✵ s(✵) s(s(✵)) s(s(s(✵))) ① s(s(①)) ✵ + ②
◮
r❡✇r✐t❡ r✉❧❡s R✿ ✵ + ① → ① s(①) + ② → s(① + ②)
◮
r❡✇r✐t❡ st❡♣ s(s(✵)) + s(s(s(✵))) →R s( s(✵) + s(s(s(✵))) ) s s ✵ s s s ✵ s s s s s ✵
t❡r♠ r❡✇r✐t✐♥❣ ✐s ❚✉r✐♥❣ ❝♦♠♣❧❡t❡ ♠♦❞❡❧ ♦❢ ❝♦♠♣✉t❛t✐♦♥
♥♦r♠❛❧ ❢♦r♠
✶✵
◮
❛ss✉♠❡ t❡r♠ str✉❝t✉r❡ ♦♥ ♦❜❥❡❝ts t♦ r❡✇r✐t❡
◮
r❡✇r✐t❡ r✉❧❡ ✐s ♣❛✐r ♦❢ t❡r♠s ℓ → r
◮
t❡r♠ r❡✇r✐t❡ s②st❡♠ ✭❚❘❙✮ ✐s s❡t ♦❢ r❡✇r✐t❡ r✉❧❡s
◮
r❡✇r✐t❡ st❡♣ ❛♣♣❧✐❡s r❡✇r✐t❡ r✉❧❡ ✉s✐♥❣ s✉❜st✐t✉t✐♦♥ ❛♥❞ ✐♥ ❝♦♥t❡①t
◮
❢✉♥❝t✐♦♥ s②♠❜♦❧s ✵✱ s✱ + ✳ ✳ ✳ ❛♥❞ ✈❛r✐❛❜❧❡s✿ ①✱ ②✱ ③✱ ✳ ✳ ✳
◮
t❡r♠s ✵ s(✵) s(s(✵)) s(s(s(✵))) ① s(s(①)) ✵ + ②
◮
r❡✇r✐t❡ r✉❧❡s R✿ ✵ + ① → ① s(①) + ② → s(① + ②)
◮
r❡✇r✐t❡ s❡q✉❡♥❝❡ s(s(✵)) + s(s(s(✵))) →R s( s(✵) + s(s(s(✵))) ) s s ✵ s s s ✵ s s s s s ✵
t❡r♠ r❡✇r✐t✐♥❣ ✐s ❚✉r✐♥❣ ❝♦♠♣❧❡t❡ ♠♦❞❡❧ ♦❢ ❝♦♠♣✉t❛t✐♦♥
♥♦r♠❛❧ ❢♦r♠
✶✵
◮
❛ss✉♠❡ t❡r♠ str✉❝t✉r❡ ♦♥ ♦❜❥❡❝ts t♦ r❡✇r✐t❡
◮
r❡✇r✐t❡ r✉❧❡ ✐s ♣❛✐r ♦❢ t❡r♠s ℓ → r
◮
t❡r♠ r❡✇r✐t❡ s②st❡♠ ✭❚❘❙✮ ✐s s❡t ♦❢ r❡✇r✐t❡ r✉❧❡s
◮
r❡✇r✐t❡ st❡♣ ❛♣♣❧✐❡s r❡✇r✐t❡ r✉❧❡ ✉s✐♥❣ s✉❜st✐t✉t✐♦♥ ❛♥❞ ✐♥ ❝♦♥t❡①t
◮
❢✉♥❝t✐♦♥ s②♠❜♦❧s ✵✱ s✱ + ✳ ✳ ✳ ❛♥❞ ✈❛r✐❛❜❧❡s✿ ①✱ ②✱ ③✱ ✳ ✳ ✳
◮
t❡r♠s ✵ s(✵) s(s(✵)) s(s(s(✵))) ① s(s(①)) ✵ + ②
◮
r❡✇r✐t❡ r✉❧❡s R✿ ✵ + ① → ① s(①) + ② → s(① + ②)
◮
r❡✇r✐t❡ s❡q✉❡♥❝❡ s(s(✵)) + s(s(s(✵))) →R s( s(✵) + s(s(s(✵))) ) →R s( s( ✵ + s(s(s(✵))) ) ) s s s s s ✵
t❡r♠ r❡✇r✐t✐♥❣ ✐s ❚✉r✐♥❣ ❝♦♠♣❧❡t❡ ♠♦❞❡❧ ♦❢ ❝♦♠♣✉t❛t✐♦♥
♥♦r♠❛❧ ❢♦r♠
✶✵
◮
❛ss✉♠❡ t❡r♠ str✉❝t✉r❡ ♦♥ ♦❜❥❡❝ts t♦ r❡✇r✐t❡
◮
r❡✇r✐t❡ r✉❧❡ ✐s ♣❛✐r ♦❢ t❡r♠s ℓ → r
◮
t❡r♠ r❡✇r✐t❡ s②st❡♠ ✭❚❘❙✮ ✐s s❡t ♦❢ r❡✇r✐t❡ r✉❧❡s
◮
r❡✇r✐t❡ st❡♣ ❛♣♣❧✐❡s r❡✇r✐t❡ r✉❧❡ ✉s✐♥❣ s✉❜st✐t✉t✐♦♥ ❛♥❞ ✐♥ ❝♦♥t❡①t
◮
❢✉♥❝t✐♦♥ s②♠❜♦❧s ✵✱ s✱ + ✳ ✳ ✳ ❛♥❞ ✈❛r✐❛❜❧❡s✿ ①✱ ②✱ ③✱ ✳ ✳ ✳
◮
t❡r♠s ✵ s(✵) s(s(✵)) s(s(s(✵))) ① s(s(①)) ✵ + ②
◮
r❡✇r✐t❡ r✉❧❡s R✿ ✵ + ① → ① s(①) + ② → s(① + ②)
◮
r❡✇r✐t❡ s❡q✉❡♥❝❡ s(s(✵)) + s(s(s(✵))) →R s( s(✵) + s(s(s(✵))) ) →R s( s( ✵ + s(s(s(✵))) ) ) s s s s s ✵
t❡r♠ r❡✇r✐t✐♥❣ ✐s ❚✉r✐♥❣ ❝♦♠♣❧❡t❡ ♠♦❞❡❧ ♦❢ ❝♦♠♣✉t❛t✐♦♥
♥♦r♠❛❧ ❢♦r♠
✶✵
◮
❛ss✉♠❡ t❡r♠ str✉❝t✉r❡ ♦♥ ♦❜❥❡❝ts t♦ r❡✇r✐t❡
◮
r❡✇r✐t❡ r✉❧❡ ✐s ♣❛✐r ♦❢ t❡r♠s ℓ → r
◮
t❡r♠ r❡✇r✐t❡ s②st❡♠ ✭❚❘❙✮ ✐s s❡t ♦❢ r❡✇r✐t❡ r✉❧❡s
◮
r❡✇r✐t❡ st❡♣ ❛♣♣❧✐❡s r❡✇r✐t❡ r✉❧❡ ✉s✐♥❣ s✉❜st✐t✉t✐♦♥ ❛♥❞ ✐♥ ❝♦♥t❡①t
◮
❢✉♥❝t✐♦♥ s②♠❜♦❧s ✵✱ s✱ + ✳ ✳ ✳ ❛♥❞ ✈❛r✐❛❜❧❡s✿ ①✱ ②✱ ③✱ ✳ ✳ ✳
◮
t❡r♠s ✵ s(✵) s(s(✵)) s(s(s(✵))) ① s(s(①)) ✵ + ②
◮
r❡✇r✐t❡ r✉❧❡s R✿ ✵ + ① → ① s(①) + ② → s(① + ②)
◮
r❡✇r✐t❡ s❡q✉❡♥❝❡ s(s(✵)) + s(s(s(✵))) →R s( s(✵) + s(s(s(✵))) ) →R s( s( ✵ + s(s(s(✵))) ) ) →R s(s( s(s(s(✵))) ))
t❡r♠ r❡✇r✐t✐♥❣ ✐s ❚✉r✐♥❣ ❝♦♠♣❧❡t❡ ♠♦❞❡❧ ♦❢ ❝♦♠♣✉t❛t✐♦♥
♥♦r♠❛❧ ❢♦r♠
✶✵
◮
❛ss✉♠❡ t❡r♠ str✉❝t✉r❡ ♦♥ ♦❜❥❡❝ts t♦ r❡✇r✐t❡
◮
r❡✇r✐t❡ r✉❧❡ ✐s ♣❛✐r ♦❢ t❡r♠s ℓ → r
◮
t❡r♠ r❡✇r✐t❡ s②st❡♠ ✭❚❘❙✮ ✐s s❡t ♦❢ r❡✇r✐t❡ r✉❧❡s
◮
r❡✇r✐t❡ st❡♣ ❛♣♣❧✐❡s r❡✇r✐t❡ r✉❧❡ ✉s✐♥❣ s✉❜st✐t✉t✐♦♥ ❛♥❞ ✐♥ ❝♦♥t❡①t
◮
❢✉♥❝t✐♦♥ s②♠❜♦❧s ✵✱ s✱ + ✳ ✳ ✳ ❛♥❞ ✈❛r✐❛❜❧❡s✿ ①✱ ②✱ ③✱ ✳ ✳ ✳
◮
t❡r♠s ✵ s(✵) s(s(✵)) s(s(s(✵))) ① s(s(①)) ✵ + ②
◮
r❡✇r✐t❡ r✉❧❡s R✿ ✵ + ① → ① s(①) + ② → s(① + ②)
◮
r❡✇r✐t❡ s❡q✉❡♥❝❡ s(s(✵)) + s(s(s(✵))) →R s( s(✵) + s(s(s(✵))) ) →R s( s( ✵ + s(s(s(✵))) ) ) →R s(s( s(s(s(✵))) ))
t❡r♠ r❡✇r✐t✐♥❣ ✐s ❚✉r✐♥❣ ❝♦♠♣❧❡t❡ ♠♦❞❡❧ ♦❢ ❝♦♠♣✉t❛t✐♦♥
♥♦r♠❛❧ ❢♦r♠
✶✵
◮
❛ss✉♠❡ t❡r♠ str✉❝t✉r❡ ♦♥ ♦❜❥❡❝ts t♦ r❡✇r✐t❡
◮
r❡✇r✐t❡ r✉❧❡ ✐s ♣❛✐r ♦❢ t❡r♠s ℓ → r
◮
t❡r♠ r❡✇r✐t❡ s②st❡♠ ✭❚❘❙✮ ✐s s❡t ♦❢ r❡✇r✐t❡ r✉❧❡s
◮
r❡✇r✐t❡ st❡♣ ❛♣♣❧✐❡s r❡✇r✐t❡ r✉❧❡ ✉s✐♥❣ s✉❜st✐t✉t✐♦♥ ❛♥❞ ✐♥ ❝♦♥t❡①t
◮
❢✉♥❝t✐♦♥ s②♠❜♦❧s ✵✱ s✱ + ✳ ✳ ✳ ❛♥❞ ✈❛r✐❛❜❧❡s✿ ①✱ ②✱ ③✱ ✳ ✳ ✳
◮
t❡r♠s ✵ s(✵) s(s(✵)) s(s(s(✵))) ① s(s(①)) ✵ + ②
◮
r❡✇r✐t❡ r✉❧❡s R✿ ✵ + ① → ① s(①) + ② → s(① + ②)
◮
r❡✇r✐t❡ s❡q✉❡♥❝❡ s(s(✵)) + s(s(s(✵))) →R s( s(✵) + s(s(s(✵))) ) →R s( s( ✵ + s(s(s(✵))) ) ) →R s(s( s(s(s(✵))) ))
t❡r♠ r❡✇r✐t✐♥❣ ✐s ❚✉r✐♥❣ ❝♦♠♣❧❡t❡ ♠♦❞❡❧ ♦❢ ❝♦♠♣✉t❛t✐♦♥
♥♦r♠❛❧ ❢♦r♠
✶✵
❣✐✈❡♥ ❚❘❙ R✱
◮
✐s ❡✈❡r② r❡✇r✐t❡ s❡q✉❡♥❝❡ t❡r♠✐♥❛t✐♥❣❄ t❡r♠✐♥❛t✐♦♥ ✐❢ ②❡s✱ ❤♦✇ ❧♦♥❣ ❞♦ s❡q✉❡♥❝❡s ❣❡t❄ ❝♦♠♣❧❡①✐t② ✐s r❡✇r✐t✐♥❣ ❞❡t❡r♠✐♥✐st✐❝❄ ❝♦♥✢✉❡♥❝❡ ❝❛♥ ✇❡ ❞❡❝✐❞❡ t❤❡ ❡q✉❛t✐♦♥❛❧ t❤❡♦r② ❄ ❝♦♠♣❧❡t✐♦♥ ✐s t❤❡ ✜rst✲♦r❞❡r t❤❡♦r② ♦❢ ❞❡❝✐❞❛❜❧❡❄ ❞❡❝✐❞❛❜✐❧✐t② ❛r❡ t✇♦ ❣✐✈❡♥ r❡✇r✐t❡ s❡q✉❡♥❝❡s ❡q✉✐✈❛❧❡♥t❄ ♣r♦♦❢ t❡r♠s
✶✶
❣✐✈❡♥ ❚❘❙ R✱
◮
✐s ❡✈❡r② r❡✇r✐t❡ s❡q✉❡♥❝❡ t❡r♠✐♥❛t✐♥❣❄ t❡r♠✐♥❛t✐♦♥
◮
✐❢ ②❡s✱ ❤♦✇ ❧♦♥❣ ❞♦ →R s❡q✉❡♥❝❡s ❣❡t❄ ❝♦♠♣❧❡①✐t② ✐s r❡✇r✐t✐♥❣ ❞❡t❡r♠✐♥✐st✐❝❄ ❝♦♥✢✉❡♥❝❡ ❝❛♥ ✇❡ ❞❡❝✐❞❡ t❤❡ ❡q✉❛t✐♦♥❛❧ t❤❡♦r② ❄ ❝♦♠♣❧❡t✐♦♥ ✐s t❤❡ ✜rst✲♦r❞❡r t❤❡♦r② ♦❢ ❞❡❝✐❞❛❜❧❡❄ ❞❡❝✐❞❛❜✐❧✐t② ❛r❡ t✇♦ ❣✐✈❡♥ r❡✇r✐t❡ s❡q✉❡♥❝❡s ❡q✉✐✈❛❧❡♥t❄ ♣r♦♦❢ t❡r♠s
✶✶
❣✐✈❡♥ ❚❘❙ R✱
◮
✐s ❡✈❡r② r❡✇r✐t❡ s❡q✉❡♥❝❡ t❡r♠✐♥❛t✐♥❣❄ t❡r♠✐♥❛t✐♦♥
◮
✐❢ ②❡s✱ ❤♦✇ ❧♦♥❣ ❞♦ →R s❡q✉❡♥❝❡s ❣❡t❄ ❝♦♠♣❧❡①✐t②
◮
✐s r❡✇r✐t✐♥❣ ❞❡t❡r♠✐♥✐st✐❝❄ ❝♦♥✢✉❡♥❝❡ ❝❛♥ ✇❡ ❞❡❝✐❞❡ t❤❡ ❡q✉❛t✐♦♥❛❧ t❤❡♦r② ❄ ❝♦♠♣❧❡t✐♦♥ ✐s t❤❡ ✜rst✲♦r❞❡r t❤❡♦r② ♦❢ ❞❡❝✐❞❛❜❧❡❄ ❞❡❝✐❞❛❜✐❧✐t② ❛r❡ t✇♦ ❣✐✈❡♥ r❡✇r✐t❡ s❡q✉❡♥❝❡s ❡q✉✐✈❛❧❡♥t❄ ♣r♦♦❢ t❡r♠s
✶✶
❣✐✈❡♥ ❚❘❙ R✱
◮
✐s ❡✈❡r② r❡✇r✐t❡ s❡q✉❡♥❝❡ t❡r♠✐♥❛t✐♥❣❄ t❡r♠✐♥❛t✐♦♥
◮
✐❢ ②❡s✱ ❤♦✇ ❧♦♥❣ ❞♦ →R s❡q✉❡♥❝❡s ❣❡t❄ ❝♦♠♣❧❡①✐t②
◮
✐s r❡✇r✐t✐♥❣ ❞❡t❡r♠✐♥✐st✐❝❄ ❝♦♥✢✉❡♥❝❡
◮
❝❛♥ ✇❡ ❞❡❝✐❞❡ t❤❡ ❡q✉❛t✐♦♥❛❧ t❤❡♦r② ↔∗
R❄
❝♦♠♣❧❡t✐♦♥ ✐s t❤❡ ✜rst✲♦r❞❡r t❤❡♦r② ♦❢ ❞❡❝✐❞❛❜❧❡❄ ❞❡❝✐❞❛❜✐❧✐t② ❛r❡ t✇♦ ❣✐✈❡♥ r❡✇r✐t❡ s❡q✉❡♥❝❡s ❡q✉✐✈❛❧❡♥t❄ ♣r♦♦❢ t❡r♠s
✶✶
❣✐✈❡♥ ❚❘❙ R✱
◮
✐s ❡✈❡r② r❡✇r✐t❡ s❡q✉❡♥❝❡ t❡r♠✐♥❛t✐♥❣❄ t❡r♠✐♥❛t✐♦♥
◮
✐❢ ②❡s✱ ❤♦✇ ❧♦♥❣ ❞♦ →R s❡q✉❡♥❝❡s ❣❡t❄ ❝♦♠♣❧❡①✐t②
◮
✐s r❡✇r✐t✐♥❣ ❞❡t❡r♠✐♥✐st✐❝❄ ❝♦♥✢✉❡♥❝❡
◮
❝❛♥ ✇❡ ❞❡❝✐❞❡ t❤❡ ❡q✉❛t✐♦♥❛❧ t❤❡♦r② ↔∗
R❄
❝♦♠♣❧❡t✐♦♥
◮
✐s t❤❡ ✜rst✲♦r❞❡r t❤❡♦r② ♦❢ →R ❞❡❝✐❞❛❜❧❡❄ ❞❡❝✐❞❛❜✐❧✐t② ❛r❡ t✇♦ ❣✐✈❡♥ r❡✇r✐t❡ s❡q✉❡♥❝❡s ❡q✉✐✈❛❧❡♥t❄ ♣r♦♦❢ t❡r♠s
✶✶
❣✐✈❡♥ ❚❘❙ R✱
◮
✐s ❡✈❡r② r❡✇r✐t❡ s❡q✉❡♥❝❡ t❡r♠✐♥❛t✐♥❣❄ t❡r♠✐♥❛t✐♦♥
◮
✐❢ ②❡s✱ ❤♦✇ ❧♦♥❣ ❞♦ →R s❡q✉❡♥❝❡s ❣❡t❄ ❝♦♠♣❧❡①✐t②
◮
✐s r❡✇r✐t✐♥❣ ❞❡t❡r♠✐♥✐st✐❝❄ ❝♦♥✢✉❡♥❝❡
◮
❝❛♥ ✇❡ ❞❡❝✐❞❡ t❤❡ ❡q✉❛t✐♦♥❛❧ t❤❡♦r② ↔∗
R❄
❝♦♠♣❧❡t✐♦♥
◮
✐s t❤❡ ✜rst✲♦r❞❡r t❤❡♦r② ♦❢ →R ❞❡❝✐❞❛❜❧❡❄ ❞❡❝✐❞❛❜✐❧✐t②
◮
❛r❡ t✇♦ ❣✐✈❡♥ r❡✇r✐t❡ s❡q✉❡♥❝❡s ❡q✉✐✈❛❧❡♥t❄ ♣r♦♦❢ t❡r♠s
✶✶
✶✷
✶✷
✶✸
❨❊❙ ❄ ◆❖
❑♦r♣ ❡t ❛❧✳✱ ❚②r♦❧❡❛♥ ❚❡r♠✐♥❛t✐♦♥ ❚♦♦❧ ✷✱ ✷✵✵✾✳
✶✹
❨❊❙ ❄ ◆❖
✶✹
❨❊❙ ❄ ◆❖
✶✹
❨❊❙ ❄ ◆❖
✶✹
❨❊❙ ❄ ◆❖
✶✹
❨❊❙ ❄ ◆❖
✶✹
❨❊❙ ❄ ◆❖
♣r✐♠❡s → s✐❡✈❡(❢r♦♠(s(s(✵)))) s✐❡✈❡(✵: y) → s✐❡✈❡(y) ❢r♦♠(x) → x : ❢r♦♠(s(x)) s✐❡✈❡(s(x): y) → s(x): s✐❡✈❡(✜❧t❡r(x, y, x)) ❤❞(x : y) → x ✜❧t❡r(✵, y : z, w) → ✵: ✜❧t❡r(w, z, w) t❧(x : y) → y ✜❧t❡r(s(x), y : z, w) → y : ✜❧t❡r(x, z, w)
✶✹
❨❊❙ ❄ ◆❖
♣r✐♠❡s → s✐❡✈❡(❢r♦♠(s(s(✵)))) s✐❡✈❡(✵: y) → s✐❡✈❡(y) ❢r♦♠(x) → x : ❢r♦♠(s(x)) s✐❡✈❡(s(x): y) → s(x): s✐❡✈❡(✜❧t❡r(x, y, x)) ❤❞(x : y) → x ✜❧t❡r(✵, y : z, w) → ✵: ✜❧t❡r(w, z, w) t❧(x : y) → y ✜❧t❡r(s(x), y : z, w) → y : ✜❧t❡r(x, z, w)
✶✹
◮
❞❡♣❡♥❞❡♥❝② ♣❛✐r ✭❉P✮ ❢r❛♠❡✇♦r❦
◮
❞❡♣❡♥❞❡♥❝② ❣r❛♣❤ ❛♣♣r♦①✐♠❛t✐♦♥s
◮
✐♥t❡r♣r❡t❛t✐♦♥ ♠❡t❤♦❞s✿ ♣♦❧②♥♦♠✐❛❧s✱ ♠❛tr✐❝❡s✱ ❛r❝t✐❝✱ ♦r❞✐♥❛❧s
◮
r❡❞✉❝t✐♦♥ ♦r❞❡rs✿ ❧❡①✐❝♦❣r❛♣❤✐❝ ♣❛t❤ ♦r❞❡r✱ ❑♥✉t❤✲❇❡♥❞✐① ♦r❞❡r✱ ✇❡✐❣❤t❡❞ ♣❛t❤ ♦r❞❡r
◮
❧❛❜❡❧✐♥❣ t❡❝❤♥✐q✉❡s✿ s❡♠❛♥t✐❝ ❧❛❜❡❧❧✐♥❣✱ ♠❛t❝❤❜♦✉♥❞s
◮
♥♦♥✲t❡r♠✐♥❛t✐♦♥✿ ❧♦♦♣s ❛♥❞ ✉♥❢♦❧❞✐♥❣s
◮
✳ ✳ ✳
❛♥♥✉❛❧ ❝♦♠♣❡t✐t✐♦♥ t❡r♠ r❡✇r✐t✐♥❣✿ st❛♥❞❛r❞ ❚❘❙✱ str✐♥❣ r❡✇r✐t✐♥❣✱ r❡❧❛t✐✈❡ t❡r♠✐♥❛t✐♦♥✱ t❡r♠✐♥❛t✐♦♥ ♠♦❞✉❧♦✱ ❝♦♥❞✐t✐♦♥❛❧✱ ✐♥♥❡r♠♦st ♣r♦❣r❛♠s✿ ❈✱ ❧♦❣✐❝ ♣r♦❣r❛♠♠✐♥❣✱ ✐♥t❡❣❡r tr❛♥s✐t✐♦♥ s②st❡♠s ❤tt♣✿✴✴t❡r♠✐♥❛t✐♦♥✲♣♦rt❛❧✳♦r❣
✶✺
◮
❞❡♣❡♥❞❡♥❝② ♣❛✐r ✭❉P✮ ❢r❛♠❡✇♦r❦
◮
❞❡♣❡♥❞❡♥❝② ❣r❛♣❤ ❛♣♣r♦①✐♠❛t✐♦♥s
◮
✐♥t❡r♣r❡t❛t✐♦♥ ♠❡t❤♦❞s✿ ♣♦❧②♥♦♠✐❛❧s✱ ♠❛tr✐❝❡s✱ ❛r❝t✐❝✱ ♦r❞✐♥❛❧s
◮
r❡❞✉❝t✐♦♥ ♦r❞❡rs✿ ❧❡①✐❝♦❣r❛♣❤✐❝ ♣❛t❤ ♦r❞❡r✱ ❑♥✉t❤✲❇❡♥❞✐① ♦r❞❡r✱ ✇❡✐❣❤t❡❞ ♣❛t❤ ♦r❞❡r
◮
❧❛❜❡❧✐♥❣ t❡❝❤♥✐q✉❡s✿ s❡♠❛♥t✐❝ ❧❛❜❡❧❧✐♥❣✱ ♠❛t❝❤❜♦✉♥❞s
◮
♥♦♥✲t❡r♠✐♥❛t✐♦♥✿ ❧♦♦♣s ❛♥❞ ✉♥❢♦❧❞✐♥❣s
◮
✳ ✳ ✳
◮
❛♥♥✉❛❧ ❝♦♠♣❡t✐t✐♦♥
◮
t❡r♠ r❡✇r✐t✐♥❣✿ st❛♥❞❛r❞ ❚❘❙✱ str✐♥❣ r❡✇r✐t✐♥❣✱ r❡❧❛t✐✈❡ t❡r♠✐♥❛t✐♦♥✱ t❡r♠✐♥❛t✐♦♥ ♠♦❞✉❧♦✱ ❝♦♥❞✐t✐♦♥❛❧✱ ✐♥♥❡r♠♦st
◮
♣r♦❣r❛♠s✿ ❈✱ ❧♦❣✐❝ ♣r♦❣r❛♠♠✐♥❣✱ ✐♥t❡❣❡r tr❛♥s✐t✐♦♥ s②st❡♠s
◮
❤tt♣✿✴✴t❡r♠✐♥❛t✐♦♥✲♣♦rt❛❧✳♦r❣
✶✺
❍②❞r❛ ✐s ❛ tr❡❡✲s❤❛♣❡❞ ♠♦♥st❡r ✇❤✐❝❤ ❣r♦✇s ✇❤❡♥❡✈❡r ❍❡r❝✉❧❡s ❝❤♦♣s ♦✛ ❛ ❤❡❛❞✿ ■❢ t❤❡ ❝✉t✲♦✛ ❤❡❛❞ ❤❛s ❛ ❣r❛♥❞♣❛r❡♥t ✐♥ t❤❡ tr❡❡ t❤❡♥ t❤❡ ❜r❛♥❝❤ ❢r♦♠ t❤✐s ❣r❛♥❞♣❛r❡♥t ♠✉❧t✐♣❧✐❡s✳ ❍②❞r❛ ❣❡ts ♠♦r❡ ❛♥❞ ♠♦r❡ ❛♥❣r②✿ t❤❡ ♥✉♠❜❡r ♦❢ ❝♦♣✐❡s ❝♦rr❡s♣♦♥❞s t♦ t❤❡ ♥✉♠❜❡r ♦❢ ❤❡❛❞s ❛❧r❡❛❞② ❝✉t ♦✛✳ ❲✐❧❧ ❍②❞r❛ ❡✈❡r ❞✐❡✱ s✉❝❤ t❤❛t ❍❡r❝✉❧❡s ✇✐♥s❄
✶✻
♣r♦❝❡ss ✐s ♠♦❞❡❧❧❡❞ ❜② ❚❘❙ R✿
(◦(x)) → ◦((x))
❍(✵, x) → ◦(x)
❝✷(x, y, z) → ◦(❍(y, z))
❝✶(y, z) → ◦(z)
s❤♦✇ t❡r♠✐♥❛t✐♦♥ ♦❢ ❛✉t♦♠❛t✐❝❛❧❧②
❚ ❚ ❚ ✷ ❚♦✉③❡t✱ ❊♥❝♦❞✐♥❣ t❤❡ ❍②❞r❛ ❇❛tt❧❡ ❛s ❛ ❘❡✇r✐t❡ ❙②st❡♠✱ ✶✾✾✽✳
✶✼
♣r♦❝❡ss ✐s ♠♦❞❡❧❧❡❞ ❜② ❚❘❙ R✿
(◦(x)) → ◦((x))
❍(✵, x) → ◦(x)
❝✷(x, y, z) → ◦(❍(y, z))
❝✶(y, z) → ◦(z)
s❤♦✇ t❡r♠✐♥❛t✐♦♥ ♦❢ R ❛✉t♦♠❛t✐❝❛❧❧②
❚ ❚ ❚ ✷
✶✼
♣r♦❝❡ss ✐s ♠♦❞❡❧❧❡❞ ❜② ❚❘❙ R✿
(◦(x)) → ◦((x))
❍(✵, x) → ◦(x)
❝✷(x, y, z) → ◦(❍(y, z))
❝✶(y, z) → ◦(z)
s❤♦✇ t❡r♠✐♥❛t✐♦♥ ♦❢ R ❛✉t♦♠❛t✐❝❛❧❧②
❚ ❚ ❚ ✷ ❩❛♥❦❧✱ ❲✐♥❦❧❡r✱ ❛♥❞ ▼✐❞❞❡❧❞♦r♣✱ ❇❡②♦♥❞ P♦❧②♥♦♠✐❛❧s ❛♥❞ P❡❛♥♦ ❆r✐t❤♠❡t✐❝ ✕ ❆✉t♦♠❛t✐♦♥ ♦❢ ❊❧❡♠❡♥t❛r② ❛♥❞ ❖r❞✐♥❛❧ ■♥t❡r♣r❡t❛t✐♦♥s✱ ✷✵✶✺✳
✶✼
♣r♦❝❡ss ✐s ♠♦❞❡❧❧❡❞ ❜② ❚❘❙ R✿
(◦(x)) → ◦((x))
❍(✵, x) → ◦(x)
❝✷(x, y, z) → ◦(❍(y, z))
❝✶(y, z) → ◦(z)
s❤♦✇ t❡r♠✐♥❛t✐♦♥ ♦❢ R ❛✉t♦♠❛t✐❝❛❧❧②
❚ ❚ ❚ ✷ ❩❛♥❦❧✱ ❲✐♥❦❧❡r✱ ❛♥❞ ▼✐❞❞❡❧❞♦r♣✱ ❇❡②♦♥❞ P♦❧②♥♦♠✐❛❧s ❛♥❞ P❡❛♥♦ ❆r✐t❤♠❡t✐❝ ✕ ❆✉t♦♠❛t✐♦♥ ♦❢ ❊❧❡♠❡♥t❛r② ❛♥❞ ❖r❞✐♥❛❧ ■♥t❡r♣r❡t❛t✐♦♥s✱ ✷✵✶✺✳
✶✼
t♦♦❧ t♦ ❛♥❛❧②③❡ ♣r♦♣❡rt✐❡s ♦❢ ❧♦❣✐❝❛❧❧② ❝♦♥str❛✐♥❡❞ r❡✇r✐t❡ s②st❡♠s✿ ❛❧❧♦✇ r❡✇r✐t❡ r✉❧❡s ✇✐t❤ s✐❞❡ ❝♦♥❞✐t✐♦♥s ♦✈❡r ❞❡❝✐❞❛❜❧❡ ❧♦❣✐❝
▲▲❱▼ ♣r♦✈✐❞❡s ✇✐❞❡❧② ✉s❡❞ ❝♦♠♣✐❧❛t✐♦♥ t♦♦❧❝❤❛✐♥ ✶✵✵✵ ❛❧❣❡❜r❛✐❝ s✐♠♣❧✐✜❝❛t✐♦♥s ♦❢ ❡①♣r❡ss✐♦♥s✿ ♠✉❧t✐♣❧✐❝❛t✐♦♥s t♦ s❤✐❢ts✱ r❡♦r❞❡r✐♥❣ ❜✐t✇✐s❡ ♦♣❡r❛t✐♦♥s✱ ✳ ✳ ✳ ♦♣t✐♠✐③❛t✐♦♥ s❡t ✐s ❝♦♠♠✉♥✐t② ♠❛✐♥t❛✐♥❡❞✱ t❡r♠✐♥❛t✐♦♥ ✐s ❝r✉❝✐❛❧
s✐♠♣❧✐✜❝❛t✐♦♥ s❡❡❦✐♥❣ ♦♣♣♦rt✉♥✐t② t♦ r❡♣❧❛❝❡ ♠✉❧ ❜② s❤✐❢t✿
♠✉❧ s✉❜ ♠✉❧ s✉❜ ❛❜s ✵✽ ✐sP♦✇❡r❖❢✷ ❛❜s
❈tr❧ ❝❛♥ ❞❡t❡❝t ❧♦♦♣✿ ♠✉❧ s✉❜ ✶✽ ✶✽ ✶✷✽ ✽ ♠✉❧ s✉❜ ✶✽ ✶✽ ❛❜s ✶✷✽ ✽
❝❛❧❝ ♠✉❧ s✉❜ ✶✽ ✶✽
✶✷✽ ✽
❑♦♣ ❛♥❞ ◆✐s❤✐❞❛✱ ❈♦♥str❛✐♥❡❞ ❚❡r♠ ❘❡✇r✐t✐♥❣ t♦♦▲✱ ✷✵✶✺✳
✶✽
t♦♦❧ t♦ ❛♥❛❧②③❡ ♣r♦♣❡rt✐❡s ♦❢ ❧♦❣✐❝❛❧❧② ❝♦♥str❛✐♥❡❞ r❡✇r✐t❡ s②st❡♠s✿ ❛❧❧♦✇ r❡✇r✐t❡ r✉❧❡s ✇✐t❤ s✐❞❡ ❝♦♥❞✐t✐♦♥s ♦✈❡r ❞❡❝✐❞❛❜❧❡ ❧♦❣✐❝
◮
▲▲❱▼ ♣r♦✈✐❞❡s ✇✐❞❡❧② ✉s❡❞ ❝♦♠♣✐❧❛t✐♦♥ t♦♦❧❝❤❛✐♥ ✶✵✵✵ ❛❧❣❡❜r❛✐❝ s✐♠♣❧✐✜❝❛t✐♦♥s ♦❢ ❡①♣r❡ss✐♦♥s✿ ♠✉❧t✐♣❧✐❝❛t✐♦♥s t♦ s❤✐❢ts✱ r❡♦r❞❡r✐♥❣ ❜✐t✇✐s❡ ♦♣❡r❛t✐♦♥s✱ ✳ ✳ ✳ ♦♣t✐♠✐③❛t✐♦♥ s❡t ✐s ❝♦♠♠✉♥✐t② ♠❛✐♥t❛✐♥❡❞✱ t❡r♠✐♥❛t✐♦♥ ✐s ❝r✉❝✐❛❧
s✐♠♣❧✐✜❝❛t✐♦♥ s❡❡❦✐♥❣ ♦♣♣♦rt✉♥✐t② t♦ r❡♣❧❛❝❡ ♠✉❧ ❜② s❤✐❢t✿
♠✉❧ s✉❜ ♠✉❧ s✉❜ ❛❜s ✵✽ ✐sP♦✇❡r❖❢✷ ❛❜s
❈tr❧ ❝❛♥ ❞❡t❡❝t ❧♦♦♣✿ ♠✉❧ s✉❜ ✶✽ ✶✽ ✶✷✽ ✽ ♠✉❧ s✉❜ ✶✽ ✶✽ ❛❜s ✶✷✽ ✽
❝❛❧❝ ♠✉❧ s✉❜ ✶✽ ✶✽
✶✷✽ ✽
✶✽
t♦♦❧ t♦ ❛♥❛❧②③❡ ♣r♦♣❡rt✐❡s ♦❢ ❧♦❣✐❝❛❧❧② ❝♦♥str❛✐♥❡❞ r❡✇r✐t❡ s②st❡♠s✿ ❛❧❧♦✇ r❡✇r✐t❡ r✉❧❡s ✇✐t❤ s✐❞❡ ❝♦♥❞✐t✐♦♥s ♦✈❡r ❞❡❝✐❞❛❜❧❡ ❧♦❣✐❝
◮
▲▲❱▼ ♣r♦✈✐❞❡s ✇✐❞❡❧② ✉s❡❞ ❝♦♠♣✐❧❛t✐♦♥ t♦♦❧❝❤❛✐♥
◮
>✶✵✵✵ ❛❧❣❡❜r❛✐❝ s✐♠♣❧✐✜❝❛t✐♦♥s ♦❢ ❡①♣r❡ss✐♦♥s✿ ♠✉❧t✐♣❧✐❝❛t✐♦♥s t♦ s❤✐❢ts✱ r❡♦r❞❡r✐♥❣ ❜✐t✇✐s❡ ♦♣❡r❛t✐♦♥s✱ ✳ ✳ ✳ ♦♣t✐♠✐③❛t✐♦♥ s❡t ✐s ❝♦♠♠✉♥✐t② ♠❛✐♥t❛✐♥❡❞✱ t❡r♠✐♥❛t✐♦♥ ✐s ❝r✉❝✐❛❧
s✐♠♣❧✐✜❝❛t✐♦♥ s❡❡❦✐♥❣ ♦♣♣♦rt✉♥✐t② t♦ r❡♣❧❛❝❡ ♠✉❧ ❜② s❤✐❢t✿
♠✉❧ s✉❜ ♠✉❧ s✉❜ ❛❜s ✵✽ ✐sP♦✇❡r❖❢✷ ❛❜s
❈tr❧ ❝❛♥ ❞❡t❡❝t ❧♦♦♣✿ ♠✉❧ s✉❜ ✶✽ ✶✽ ✶✷✽ ✽ ♠✉❧ s✉❜ ✶✽ ✶✽ ❛❜s ✶✷✽ ✽
❝❛❧❝ ♠✉❧ s✉❜ ✶✽ ✶✽
✶✷✽ ✽
✶✽
t♦♦❧ t♦ ❛♥❛❧②③❡ ♣r♦♣❡rt✐❡s ♦❢ ❧♦❣✐❝❛❧❧② ❝♦♥str❛✐♥❡❞ r❡✇r✐t❡ s②st❡♠s✿ ❛❧❧♦✇ r❡✇r✐t❡ r✉❧❡s ✇✐t❤ s✐❞❡ ❝♦♥❞✐t✐♦♥s ♦✈❡r ❞❡❝✐❞❛❜❧❡ ❧♦❣✐❝
◮
▲▲❱▼ ♣r♦✈✐❞❡s ✇✐❞❡❧② ✉s❡❞ ❝♦♠♣✐❧❛t✐♦♥ t♦♦❧❝❤❛✐♥
◮
>✶✵✵✵ ❛❧❣❡❜r❛✐❝ s✐♠♣❧✐✜❝❛t✐♦♥s ♦❢ ❡①♣r❡ss✐♦♥s✿ ♠✉❧t✐♣❧✐❝❛t✐♦♥s t♦ s❤✐❢ts✱ r❡♦r❞❡r✐♥❣ ❜✐t✇✐s❡ ♦♣❡r❛t✐♦♥s✱ ✳ ✳ ✳
◮
♦♣t✐♠✐③❛t✐♦♥ s❡t ✐s ❝♦♠♠✉♥✐t② ♠❛✐♥t❛✐♥❡❞✱ t❡r♠✐♥❛t✐♦♥ ✐s ❝r✉❝✐❛❧
s✐♠♣❧✐✜❝❛t✐♦♥ s❡❡❦✐♥❣ ♦♣♣♦rt✉♥✐t② t♦ r❡♣❧❛❝❡ ♠✉❧ ❜② s❤✐❢t✿
♠✉❧ s✉❜ ♠✉❧ s✉❜ ❛❜s ✵✽ ✐sP♦✇❡r❖❢✷ ❛❜s
❈tr❧ ❝❛♥ ❞❡t❡❝t ❧♦♦♣✿ ♠✉❧ s✉❜ ✶✽ ✶✽ ✶✷✽ ✽ ♠✉❧ s✉❜ ✶✽ ✶✽ ❛❜s ✶✷✽ ✽
❝❛❧❝ ♠✉❧ s✉❜ ✶✽ ✶✽
✶✷✽ ✽
✶✽
t♦♦❧ t♦ ❛♥❛❧②③❡ ♣r♦♣❡rt✐❡s ♦❢ ❧♦❣✐❝❛❧❧② ❝♦♥str❛✐♥❡❞ r❡✇r✐t❡ s②st❡♠s✿ ❛❧❧♦✇ r❡✇r✐t❡ r✉❧❡s ✇✐t❤ s✐❞❡ ❝♦♥❞✐t✐♦♥s ♦✈❡r ❞❡❝✐❞❛❜❧❡ ❧♦❣✐❝
◮
▲▲❱▼ ♣r♦✈✐❞❡s ✇✐❞❡❧② ✉s❡❞ ❝♦♠♣✐❧❛t✐♦♥ t♦♦❧❝❤❛✐♥
◮
>✶✵✵✵ ❛❧❣❡❜r❛✐❝ s✐♠♣❧✐✜❝❛t✐♦♥s ♦❢ ❡①♣r❡ss✐♦♥s✿ ♠✉❧t✐♣❧✐❝❛t✐♦♥s t♦ s❤✐❢ts✱ r❡♦r❞❡r✐♥❣ ❜✐t✇✐s❡ ♦♣❡r❛t✐♦♥s✱ ✳ ✳ ✳
◮
♦♣t✐♠✐③❛t✐♦♥ s❡t ✐s ❝♦♠♠✉♥✐t② ♠❛✐♥t❛✐♥❡❞✱ t❡r♠✐♥❛t✐♦♥ ✐s ❝r✉❝✐❛❧
s✐♠♣❧✐✜❝❛t✐♦♥ s❡❡❦✐♥❣ ♦♣♣♦rt✉♥✐t② t♦ r❡♣❧❛❝❡ ♠✉❧ ❜② s❤✐❢t✿
♠✉❧(s✉❜(y, x), z) → ♠✉❧(s✉❜(x, y), ❛❜s(z)) [z < ✵✽ ∧ ✐sP♦✇❡r❖❢✷(❛❜s(z))]
❈tr❧ ❝❛♥ ❞❡t❡❝t ❧♦♦♣✿ ♠✉❧ s✉❜ ✶✽ ✶✽ ✶✷✽ ✽ ♠✉❧ s✉❜ ✶✽ ✶✽ ❛❜s ✶✷✽ ✽
❝❛❧❝ ♠✉❧ s✉❜ ✶✽ ✶✽
✶✷✽ ✽
✶✽
t♦♦❧ t♦ ❛♥❛❧②③❡ ♣r♦♣❡rt✐❡s ♦❢ ❧♦❣✐❝❛❧❧② ❝♦♥str❛✐♥❡❞ r❡✇r✐t❡ s②st❡♠s✿ ❛❧❧♦✇ r❡✇r✐t❡ r✉❧❡s ✇✐t❤ s✐❞❡ ❝♦♥❞✐t✐♦♥s ♦✈❡r ❞❡❝✐❞❛❜❧❡ ❧♦❣✐❝
◮
▲▲❱▼ ♣r♦✈✐❞❡s ✇✐❞❡❧② ✉s❡❞ ❝♦♠♣✐❧❛t✐♦♥ t♦♦❧❝❤❛✐♥
◮
>✶✵✵✵ ❛❧❣❡❜r❛✐❝ s✐♠♣❧✐✜❝❛t✐♦♥s ♦❢ ❡①♣r❡ss✐♦♥s✿ ♠✉❧t✐♣❧✐❝❛t✐♦♥s t♦ s❤✐❢ts✱ r❡♦r❞❡r✐♥❣ ❜✐t✇✐s❡ ♦♣❡r❛t✐♦♥s✱ ✳ ✳ ✳
◮
♦♣t✐♠✐③❛t✐♦♥ s❡t ✐s ❝♦♠♠✉♥✐t② ♠❛✐♥t❛✐♥❡❞✱ t❡r♠✐♥❛t✐♦♥ ✐s ❝r✉❝✐❛❧
s✐♠♣❧✐✜❝❛t✐♦♥ s❡❡❦✐♥❣ ♦♣♣♦rt✉♥✐t② t♦ r❡♣❧❛❝❡ ♠✉❧ ❜② s❤✐❢t✿
♠✉❧(s✉❜(y, x), z) → ♠✉❧(s✉❜(x, y), ❛❜s(z)) [z < ✵✽ ∧ ✐sP♦✇❡r❖❢✷(❛❜s(z))]
❈tr❧ ❝❛♥ ❞❡t❡❝t ❧♦♦♣✿ ♠✉❧(s✉❜(✶✽, ✶✽), (−✶✷✽)✽) →R ♠✉❧(s✉❜(✶✽, ✶✽), ❛❜s((−✶✷✽)✽)) →❝❛❧❝ ♠✉❧(s✉❜(✶✽, ✶✽), (−✶✷✽)✽)
◆✐s❤✐❞❛ ❛♥❞ ❲✐♥❦❧❡r✱ ▲♦♦♣ ❉❡t❡❝t✐♦♥ ❜② ▲♦❣✐❝❛❧❧② ❈♦♥str❛✐♥❡❞ ❚❡r♠ ❘❡✇r✐t✐♥❣✳ ✷✵✶✽✳
✶✽
❨❊❙ ❄ ◆❖
◆❛❣❡❧❡✱ ❋❡❧❣❡♥❤❛✉❡r✱ ❛♥❞ ▼✐❞❞❡❧❞♦r♣✱ ❈❙■✿ ◆❡✇ ❊✈✐❞❡♥❝❡ ✖ ❆ Pr♦❣r❡ss ❘❡♣♦rt✱ ✷✵✶✼✳
✶✾
❨❊❙ ❄ ◆❖
∗ R← · →∗ R ⊆ →∗ R · ∗ R← ✶✾
❨❊❙ ❄ ◆❖
∗ R← · →∗ R ⊆ →∗ R · ∗ R←
∗ ∗ ✶✾
❨❊❙ ❄ ◆❖
∗ R← · →∗ R ⊆ →∗ R · ∗ R←
∗ ∗ ∗ ∗ ✶✾
❨❊❙ ❄ ◆❖
✶✾
❨❊❙ ❄ ◆❖
✶✾
❨❊❙ ❄ ◆❖
♣r✐♠❡s → s✐❡✈❡(❢r♦♠(s(s(✵)))) s✐❡✈❡(✵ : y) → s✐❡✈❡(y) ❢r♦♠(x) → x : ❢r♦♠(s(x)) s✐❡✈❡(s(x) : y) → s(x) : s✐❡✈❡(✜❧t❡r(x, y, x)) ❤❞(x : y) → x ✜❧t❡r(✵, y : z, w) → ✵ : ✜❧t❡r(w, z, w) t❧(x : y) → y ✜❧t❡r(s(x), y : z, w) → y : ✜❧t❡r(x, z, w)
✶✾
❨❊❙ ❄ ◆❖
♣r✐♠❡s → s✐❡✈❡(❢r♦♠(s(s(✵)))) s✐❡✈❡(✵ : y) → s✐❡✈❡(y) ❢r♦♠(x) → x : ❢r♦♠(s(x)) s✐❡✈❡(s(x) : y) → s(x) : s✐❡✈❡(✜❧t❡r(x, y, x)) ❤❞(x : y) → x ✜❧t❡r(✵, y : z, w) → ✵ : ✜❧t❡r(w, z, w) t❧(x : y) → y ✜❧t❡r(s(x), y : z, w) → y : ✜❧t❡r(x, z, w)
✶✾
❝r✐t✐❝❛❧ ♣❛✐rs✿
t❡r♠✐♥❛t✐♥❣ ❚❘❙ ✐s ❝♦♥✢✉❡♥t ✐❢ ❢♦r ❛❧❧ ❝r✐t✐❝❛❧ ♣❛✐rs ♦❢
❢♦r
✶ ✶ ❛♥❞ ✷ ✷ r❡♥❛♠✐♥❣s ♦❢ r✉❧❡s ✐♥
s✉❝❤ t❤❛t ♦s
✷ ✱
♠❣✉ ✉♥✐✜❡s
✷
❛♥❞
✶✱ ❛♥❞
✐❢ t❤❡♥
✶ ✶ ❛♥❞ ✷ ✷ ❛r❡ ♥♦t ✈❛r✐❛♥ts ✷ ✶ ✷
✐s ❝r✐t✐❝❛❧ ♣❛✐r ✱ ❈P ❛r❡ ❛❧❧ ❝r✐t✐❝❛❧ ♣❛✐rs ♦❢ ✳
s②st❡♠ ✐s ❝♦♥✢✉❡♥t ✐♥✐t✐❛❧ ❡①❛♠♣❧❡✿ ❡✈❡r② str❛t❡❣② ✐s ✇✐♥♥✐♥❣ str❛t❡❣②✦
✷✵
❝r✐t✐❝❛❧ ♣❛✐rs✿
t❡r♠✐♥❛t✐♥❣ ❚❘❙ R ✐s ❝♦♥✢✉❡♥t ✐❢ s ↓R t ❢♦r ❛❧❧ ❝r✐t✐❝❛❧ ♣❛✐rs s ≈ t ♦❢ R
❢♦r
✶ ✶ ❛♥❞ ✷ ✷ r❡♥❛♠✐♥❣s ♦❢ r✉❧❡s ✐♥
s✉❝❤ t❤❛t ♦s
✷ ✱
♠❣✉ ✉♥✐✜❡s
✷
❛♥❞
✶✱ ❛♥❞
✐❢ t❤❡♥
✶ ✶ ❛♥❞ ✷ ✷ ❛r❡ ♥♦t ✈❛r✐❛♥ts ✷ ✶ ✷
✐s ❝r✐t✐❝❛❧ ♣❛✐r ✱ ❈P ❛r❡ ❛❧❧ ❝r✐t✐❝❛❧ ♣❛✐rs ♦❢ ✳
s②st❡♠ ✐s ❝♦♥✢✉❡♥t ✐♥✐t✐❛❧ ❡①❛♠♣❧❡✿ ❡✈❡r② str❛t❡❣② ✐s ✇✐♥♥✐♥❣ str❛t❡❣②✦
✷✵
❝r✐t✐❝❛❧ ♣❛✐rs✿
t❡r♠✐♥❛t✐♥❣ ❚❘❙ R ✐s ❝♦♥✢✉❡♥t ✐❢ s ↓R t ❢♦r ❛❧❧ ❝r✐t✐❝❛❧ ♣❛✐rs s ≈ t ♦❢ R
❢♦r ℓ✶ → r✶ ❛♥❞ ℓ✷ → r✷ r❡♥❛♠✐♥❣s ♦❢ r✉❧❡s ✐♥ R s✉❝❤ t❤❛t
◮
p ∈ P♦sF(ℓ✷)✱
◮
♠❣✉ σ ✉♥✐✜❡s ℓ✷|p ❛♥❞ ℓ✶✱ ❛♥❞
◮
✐❢ p = ǫ t❤❡♥ ℓ✶ → r✶ ❛♥❞ ℓ✷ → r✷ ❛r❡ ♥♦t ✈❛r✐❛♥ts ℓ✷σ[r✶σ]p ≈ r✷σ ✐s ❝r✐t✐❝❛❧ ♣❛✐r ✱ ❈P ❛r❡ ❛❧❧ ❝r✐t✐❝❛❧ ♣❛✐rs ♦❢ ✳
s②st❡♠ ✐s ❝♦♥✢✉❡♥t ✐♥✐t✐❛❧ ❡①❛♠♣❧❡✿ ❡✈❡r② str❛t❡❣② ✐s ✇✐♥♥✐♥❣ str❛t❡❣②✦
✷✵
❝r✐t✐❝❛❧ ♣❛✐rs✿
t❡r♠✐♥❛t✐♥❣ ❚❘❙ R ✐s ❝♦♥✢✉❡♥t ✐❢ s ↓R t ❢♦r ❛❧❧ ❝r✐t✐❝❛❧ ♣❛✐rs s ≈ t ♦❢ R
❢♦r ℓ✶ → r✶ ❛♥❞ ℓ✷ → r✷ r❡♥❛♠✐♥❣s ♦❢ r✉❧❡s ✐♥ R s✉❝❤ t❤❛t
◮
p ∈ P♦sF(ℓ✷)✱
◮
♠❣✉ σ ✉♥✐✜❡s ℓ✷|p ❛♥❞ ℓ✶✱ ❛♥❞
◮
✐❢ p = ǫ t❤❡♥ ℓ✶ → r✶ ❛♥❞ ℓ✷ → r✷ ❛r❡ ♥♦t ✈❛r✐❛♥ts ℓ✷σ[r✶σ]p ≈ r✷σ ✐s ❝r✐t✐❝❛❧ ♣❛✐r✱ ❈P(R) ❛r❡ ❛❧❧ ❝r✐t✐❝❛❧ ♣❛✐rs ♦❢ R✳
s②st❡♠ ✐s ❝♦♥✢✉❡♥t ✐♥✐t✐❛❧ ❡①❛♠♣❧❡✿ ❡✈❡r② str❛t❡❣② ✐s ✇✐♥♥✐♥❣ str❛t❡❣②✦
✷✵
❝r✐t✐❝❛❧ ♣❛✐rs✿
t❡r♠✐♥❛t✐♥❣ ❚❘❙ R ✐s ❝♦♥✢✉❡♥t ✐❢ s ↓R t ❢♦r ❛❧❧ ❝r✐t✐❝❛❧ ♣❛✐rs s ≈ t ♦❢ R
❢♦r ℓ✶ → r✶ ❛♥❞ ℓ✷ → r✷ r❡♥❛♠✐♥❣s ♦❢ r✉❧❡s ✐♥ R s✉❝❤ t❤❛t
◮
p ∈ P♦sF(ℓ✷)✱
◮
♠❣✉ σ ✉♥✐✜❡s ℓ✷|p ❛♥❞ ℓ✶✱ ❛♥❞
◮
✐❢ p = ǫ t❤❡♥ ℓ✶ → r✶ ❛♥❞ ℓ✷ → r✷ ❛r❡ ♥♦t ✈❛r✐❛♥ts ℓ✷σ[r✶σ]p ≈ r✷σ ✐s ❝r✐t✐❝❛❧ ♣❛✐r✱ ❈P(R) ❛r❡ ❛❧❧ ❝r✐t✐❝❛❧ ♣❛✐rs ♦❢ R✳
s②st❡♠ ✐s ❝♦♥✢✉❡♥t ✐♥✐t✐❛❧ ❡①❛♠♣❧❡✿ ❡✈❡r② str❛t❡❣② ✐s ✇✐♥♥✐♥❣ str❛t❡❣②✦
✷✵
❝r✐t✐❝❛❧ ♣❛✐rs✿
t❡r♠✐♥❛t✐♥❣ ❚❘❙ R ✐s ❝♦♥✢✉❡♥t ✐❢ s ↓R t ❢♦r ❛❧❧ ❝r✐t✐❝❛❧ ♣❛✐rs s ≈ t ♦❢ R
❢♦r ℓ✶ → r✶ ❛♥❞ ℓ✷ → r✷ r❡♥❛♠✐♥❣s ♦❢ r✉❧❡s ✐♥ R s✉❝❤ t❤❛t
◮
p ∈ P♦sF(ℓ✷)✱
◮
♠❣✉ σ ✉♥✐✜❡s ℓ✷|p ❛♥❞ ℓ✶✱ ❛♥❞
◮
✐❢ p = ǫ t❤❡♥ ℓ✶ → r✶ ❛♥❞ ℓ✷ → r✷ ❛r❡ ♥♦t ✈❛r✐❛♥ts ℓ✷σ[r✶σ]p ≈ r✷σ ✐s ❝r✐t✐❝❛❧ ♣❛✐r✱ ❈P(R) ❛r❡ ❛❧❧ ❝r✐t✐❝❛❧ ♣❛✐rs ♦❢ R✳
s②st❡♠ ✐s ❝♦♥✢✉❡♥t ✐♥✐t✐❛❧ ❡①❛♠♣❧❡✿ ❡✈❡r② str❛t❡❣② ✐s ✇✐♥♥✐♥❣ str❛t❡❣②✦
✷✵
❝r✐t✐❝❛❧ ♣❛✐rs✿
t❡r♠✐♥❛t✐♥❣ ❚❘❙ R ✐s ❝♦♥✢✉❡♥t ✐❢ s ↓R t ❢♦r ❛❧❧ ❝r✐t✐❝❛❧ ♣❛✐rs s ≈ t ♦❢ R
❢♦r ℓ✶ → r✶ ❛♥❞ ℓ✷ → r✷ r❡♥❛♠✐♥❣s ♦❢ r✉❧❡s ✐♥ R s✉❝❤ t❤❛t
◮
p ∈ P♦sF(ℓ✷)✱
◮
♠❣✉ σ ✉♥✐✜❡s ℓ✷|p ❛♥❞ ℓ✶✱ ❛♥❞
◮
✐❢ p = ǫ t❤❡♥ ℓ✶ → r✶ ❛♥❞ ℓ✷ → r✷ ❛r❡ ♥♦t ✈❛r✐❛♥ts ℓ✷σ[r✶σ]p ≈ r✷σ ✐s ❝r✐t✐❝❛❧ ♣❛✐r✱ ❈P(R) ❛r❡ ❛❧❧ ❝r✐t✐❝❛❧ ♣❛✐rs ♦❢ R✳
s②st❡♠ ✐s ❝♦♥✢✉❡♥t ✐♥✐t✐❛❧ ❡①❛♠♣❧❡✿ ❡✈❡r② str❛t❡❣② ✐s ✇✐♥♥✐♥❣ str❛t❡❣②✦
✷✵
❝r✐t✐❝❛❧ ♣❛✐rs✿
t❡r♠✐♥❛t✐♥❣ ❚❘❙ R ✐s ❝♦♥✢✉❡♥t ✐❢ s ↓R t ❢♦r ❛❧❧ ❝r✐t✐❝❛❧ ♣❛✐rs s ≈ t ♦❢ R
❢♦r ℓ✶ → r✶ ❛♥❞ ℓ✷ → r✷ r❡♥❛♠✐♥❣s ♦❢ r✉❧❡s ✐♥ R s✉❝❤ t❤❛t
◮
p ∈ P♦sF(ℓ✷)✱
◮
♠❣✉ σ ✉♥✐✜❡s ℓ✷|p ❛♥❞ ℓ✶✱ ❛♥❞
◮
✐❢ p = ǫ t❤❡♥ ℓ✶ → r✶ ❛♥❞ ℓ✷ → r✷ ❛r❡ ♥♦t ✈❛r✐❛♥ts ℓ✷σ[r✶σ]p ≈ r✷σ ✐s ❝r✐t✐❝❛❧ ♣❛✐r✱ ❈P(R) ❛r❡ ❛❧❧ ❝r✐t✐❝❛❧ ♣❛✐rs ♦❢ R✳
s②st❡♠ ✐s ❝♦♥✢✉❡♥t ✐♥✐t✐❛❧ ❡①❛♠♣❧❡✿ ❡✈❡r② str❛t❡❣② ✐s ✇✐♥♥✐♥❣ str❛t❡❣②✦
✷✵
❝r✐t✐❝❛❧ ♣❛✐rs✿
t❡r♠✐♥❛t✐♥❣ ❚❘❙ R ✐s ❝♦♥✢✉❡♥t ✐❢ s ↓R t ❢♦r ❛❧❧ ❝r✐t✐❝❛❧ ♣❛✐rs s ≈ t ♦❢ R
❢♦r ℓ✶ → r✶ ❛♥❞ ℓ✷ → r✷ r❡♥❛♠✐♥❣s ♦❢ r✉❧❡s ✐♥ R s✉❝❤ t❤❛t
◮
p ∈ P♦sF(ℓ✷)✱
◮
♠❣✉ σ ✉♥✐✜❡s ℓ✷|p ❛♥❞ ℓ✶✱ ❛♥❞
◮
✐❢ p = ǫ t❤❡♥ ℓ✶ → r✶ ❛♥❞ ℓ✷ → r✷ ❛r❡ ♥♦t ✈❛r✐❛♥ts ℓ✷σ[r✶σ]p ≈ r✷σ ✐s ❝r✐t✐❝❛❧ ♣❛✐r✱ ❈P(R) ❛r❡ ❛❧❧ ❝r✐t✐❝❛❧ ♣❛✐rs ♦❢ R✳
s②st❡♠ ✐s ❝♦♥✢✉❡♥t ✐♥✐t✐❛❧ ❡①❛♠♣❧❡✿ ❡✈❡r② str❛t❡❣② ✐s ✇✐♥♥✐♥❣ str❛t❡❣②✦
✷✵
❝r✐t✐❝❛❧ ♣❛✐rs✿
t❡r♠✐♥❛t✐♥❣ ❚❘❙ R ✐s ❝♦♥✢✉❡♥t ✐❢ s ↓R t ❢♦r ❛❧❧ ❝r✐t✐❝❛❧ ♣❛✐rs s ≈ t ♦❢ R
❢♦r ℓ✶ → r✶ ❛♥❞ ℓ✷ → r✷ r❡♥❛♠✐♥❣s ♦❢ r✉❧❡s ✐♥ R s✉❝❤ t❤❛t
◮
p ∈ P♦sF(ℓ✷)✱
◮
♠❣✉ σ ✉♥✐✜❡s ℓ✷|p ❛♥❞ ℓ✶✱ ❛♥❞
◮
✐❢ p = ǫ t❤❡♥ ℓ✶ → r✶ ❛♥❞ ℓ✷ → r✷ ❛r❡ ♥♦t ✈❛r✐❛♥ts ℓ✷σ[r✶σ]p ≈ r✷σ ✐s ❝r✐t✐❝❛❧ ♣❛✐r✱ ❈P(R) ❛r❡ ❛❧❧ ❝r✐t✐❝❛❧ ♣❛✐rs ♦❢ R✳
s②st❡♠ ✐s ❝♦♥✢✉❡♥t ✐♥✐t✐❛❧ ❡①❛♠♣❧❡✿ ❡✈❡r② str❛t❡❣② ✐s ✇✐♥♥✐♥❣ str❛t❡❣②✦
✷✵
◮
❞❡❝♦♠♣♦s✐t✐♦♥ t❡❝❤♥✐q✉❡s✱ ❡✳❣✳✱ ❧❛②❡r s②st❡♠s
◮
tr❛♥s❢♦r♠❛t✐♦♥ t❡❝❤♥✐q✉❡s✱ ❡✳❣✳ s❛t✉r❛t✐♦♥
◮
❝r✐t❡r✐❛✿ ❑♥✉t❤✲❇❡♥❞✐①✱ ♦rt❤♦❣♦♥❛❧✐t②✱ ❏♦✉❛♥♥❛✉❞✲❑✐r❝❤♥❡r✱ ❞❡✈❡❧♦♣✲ ♠❡♥t ❝❧♦s❡❞♥❡ss✱ ✳ ✳ ✳
◮
s✉♣♣♦rt ❢♦r ❤✐❣❤❡r✲♦r❞❡r s②st❡♠s
◮
❝r✐t❡r✐❛ t♦ ❡st❛❜❧✐s❤ ✉♥✐q✉❡ ♥♦r♠❛❧ ❢♦r♠ ♣r♦♣❡rt✐❡s
❛♥♥✉❛❧ ❝♦♠♣❡t✐t✐♦♥ ❝❛t❡❣♦r✐❡s✿ st❛♥❞❛r❞ ❚❘❙✱ str✐♥❣ r❡✇r✐t✐♥❣✱ ❝♦♠♠✉t❛t✐♦♥✱ ❝♦♥❞✐t✐♦♥❛❧ r❡✇r✐t✐♥❣✱ ❤✐❣❤❡r✲♦r❞❡r r❡✇r✐t✐♥❣✱ ✐♥❢❡❛s✐❜✐❧✐t②✱ ✉♥✐q✉❡ ♥♦r♠❛❧ ❢♦r♠s✱ ♥♦r♠❛❧ ❢♦r♠ ♣r♦♣❡rt②✱ ❣r♦✉♥❞ ❝♦♥✢✉❡♥❝❡✱ ❝❡rt✐✜❡❞ ❝♦♥✢✉❡♥❝❡ ❤tt♣✿✴✴♣r♦❥❡❝t✲❝♦❝♦✳✉✐❜❦✳❛❝✳❛t✴
✷✶
◮
❞❡❝♦♠♣♦s✐t✐♦♥ t❡❝❤♥✐q✉❡s✱ ❡✳❣✳✱ ❧❛②❡r s②st❡♠s
◮
tr❛♥s❢♦r♠❛t✐♦♥ t❡❝❤♥✐q✉❡s✱ ❡✳❣✳ s❛t✉r❛t✐♦♥
◮
❝r✐t❡r✐❛✿ ❑♥✉t❤✲❇❡♥❞✐①✱ ♦rt❤♦❣♦♥❛❧✐t②✱ ❏♦✉❛♥♥❛✉❞✲❑✐r❝❤♥❡r✱ ❞❡✈❡❧♦♣✲ ♠❡♥t ❝❧♦s❡❞♥❡ss✱ ✳ ✳ ✳
◮
s✉♣♣♦rt ❢♦r ❤✐❣❤❡r✲♦r❞❡r s②st❡♠s
◮
❝r✐t❡r✐❛ t♦ ❡st❛❜❧✐s❤ ✉♥✐q✉❡ ♥♦r♠❛❧ ❢♦r♠ ♣r♦♣❡rt✐❡s
◮
❛♥♥✉❛❧ ❝♦♠♣❡t✐t✐♦♥
◮
❝❛t❡❣♦r✐❡s✿ st❛♥❞❛r❞ ❚❘❙✱ str✐♥❣ r❡✇r✐t✐♥❣✱ ❝♦♠♠✉t❛t✐♦♥✱ ❝♦♥❞✐t✐♦♥❛❧ r❡✇r✐t✐♥❣✱ ❤✐❣❤❡r✲♦r❞❡r r❡✇r✐t✐♥❣✱ ✐♥❢❡❛s✐❜✐❧✐t②✱ ✉♥✐q✉❡ ♥♦r♠❛❧ ❢♦r♠s✱ ♥♦r♠❛❧ ❢♦r♠ ♣r♦♣❡rt②✱ ❣r♦✉♥❞ ❝♦♥✢✉❡♥❝❡✱ ❝❡rt✐✜❡❞ ❝♦♥✢✉❡♥❝❡
◮
❤tt♣✿✴✴♣r♦❥❡❝t✲❝♦❝♦✳✉✐❜❦✳❛❝✳❛t✴
✷✶
E = ↔∗ R
✷✷
E = ↔∗ R
◮ ❚❘❙ R ✐s ❝♦♠♣❧❡t❡ ✐❢ t❡r♠✐♥❛t✐♥❣ ❛♥❞ ❝♦♥✢✉❡♥t
✷✷
E = ↔∗ R
◮ ❚❘❙ R ✐s ❝♦♠♣❧❡t❡ ✐❢ t❡r♠✐♥❛t✐♥❣ ❛♥❞ ❝♦♥✢✉❡♥t ◮ ❚❘❙ R ✐s ♣r❡s❡♥t❛t✐♦♥ ♦❢ s❡t ♦❢ ❡q✉❛t✐♦♥s E ✐❢ ↔∗
E = ↔∗ R
✷✷
E = ↔∗ R
◮ ❚❘❙ R ✐s ❝♦♠♣❧❡t❡ ✐❢ t❡r♠✐♥❛t✐♥❣ ❛♥❞ ❝♦♥✢✉❡♥t ◮ ❚❘❙ R ✐s ♣r❡s❡♥t❛t✐♦♥ ♦❢ s❡t ♦❢ ❡q✉❛t✐♦♥s E ✐❢ ↔∗
E = ↔∗ R
✷✷
E = ↔∗ R
E : ✶ · x ≈ x (−x) · x ≈ ✶ x · (y · z) ≈ (x · y) · z R : −✶ → ✶ −(−x) → x ✶ · x → x (−x) · (x · y) → y x · ✶ → x y · ((−y) · x) → x (−x) · x → ✶ x · (y · z) → (x · y) · z x · (−x) → ✶ −(x · y) → −y · (−x)
✷✷
E = ↔∗ R
E : ✶ · x ≈ x (−x) · x ≈ ✶ x · (y · z) ≈ (x · y) · z R : −✶ → ✶ −(−x) → x ✶ · x → x (−x) · (x · y) → y x · ✶ → x y · ((−y) · x) → x (−x) · x → ✶ x · (y · z) → (x · y) · z x · (−x) → ✶ −(x · y) → −y · (−x)
✷✷
E = ↔∗ R
◮ ❑❇❈❱✿
✷✷
E = ↔∗ R
◮ ❑❇❈❱✿
◮ ♠❦❜tt✿
✷✷
E = ↔∗ R
◮ ❑❇❈❱✿
◮ ♠❦❜tt✿
◮ ♠æ❞♠❛①✿
✷✷
❚♦ t❤❛t ❡♥❞ t❤❡② ❤❛✈❡ t♦ tr❛♥s❢♦r♠ t❤❡ ❉◆❆ ♦❢ t❤❡ ♠✐❧❦ ❣❡♥❡ ❚❆●❈❚❆●❈❚❆●❈❚ ✐♥ ❡✈❡r② ❢❡rt✐❧✐③❡❞ ❡❣❣ ✐♥t♦ t❤❡ ❝♦❧❛ ❣❡♥❡ ❈❚●❆❈❚●❆❈❚ ❚❡❝❤♥✐q✉❡s ❡①✐st t♦ ♣❡r❢♦r♠ t❤❡ ❢♦❧❧♦✇✐♥❣ ❉◆❆ tr❛♥s❢♦r♠❛t✐♦♥s✿ ❚❈❆❚ ↔ ❚
❈❚❈ ↔ ❚❈ ❆●❚❆ ↔ ❆ ❚❆❚ ↔ ❈❚ ❘❡❝❡♥t❧② ✐t ❤❛s ❜❡❡♥ ❞✐s❝♦✈❡r❡❞ t❤❛t t❤❡ ♠❛❞ ❝♦✇ ❞✐s❡❛s❡ ✐s ❝❛✉s❡❞ ❜② ❛ r❡tr♦✈✐r✉s ✇✐t❤ t❤❡ ❢♦❧❧♦✇✐♥❣ ❉◆❆ s❡q✉❡♥❝❡ ❈❚●❈❚❆❈❚●❆❈❚ ❲❤❛t ♥♦✇✱ ✐❢ ❛❝❝✐❞❡♥t❛❧❧② ❝♦✇s ✇✐t❤ t❤✐s ✈✐r✉s ❛r❡ ❝r❡❛t❡❞❄ ❆❝❝♦r❞✐♥❣ t♦ t❤❡ ❡♥❣✐♥❡❡rs t❤❡r❡ ✐s ❧✐tt❧❡ r✐s❦ ❜❡❝❛✉s❡ t❤✐s ♥❡✈❡r ❤❛♣♣❡♥❡❞ ✐♥ t❤❡✐r ❡①♣❡r✐♠❡♥ts✱ ❜✉t ✈❛r✐♦✉s ❛❝t✐♦♥ ❣r♦✉♣s ❞❡♠❛♥❞ ❛❜s♦❧✉t❡ ❛ss✉r❛♥❝❡✳
✷✸
❡q✉❛t✐♦♥❛❧ s②st❡♠ ♦❢ ❦♥♦✇♥ ❉◆❆ tr❛♥s❢♦r♠❛t✐♦♥s E✿ ❚❈❆❚ ≈ ❚
❈❚❈ ≈ ❚❈ ❆●❚❆ ≈ ❆ ❚❆❚ ≈ ❈❚ ❤❛s ❝♦♠♣❧❡t❡ ♣r❡s❡♥t❛t✐♦♥ ✿
❆ ❆●❚ ❆❚ ❆❚❆ ❆ ❚❈❆ ❚❆ ❚❆❚ ❚ ❈❚ ❚ ✭♠✐❧❦✮ ❚❆●❈❚❆●❈❚❆●❈❚ ❈❚●❆❈❚●❆❈❚ ✭❝♦❧❛ ❣❡♥❡✮ ❚❆●❈❚❆●❈❚❆●❈❚ ❚ ❈❚●❆❈❚●❆❈❚ ✭♠✐❧❦✮ ❚❆●❈❚❆●❈❚❆●❈❚ ❈❚●❈❚❆❈❚●❆❈❚ ✭r❡tr♦✈✐r✉s✮ ❚❆●❈❚❆●❈❚❆●❈❚ ❚ ❚●❚ ❈❚●❈❚❆❈❚●❆❈❚
❑❇❈❱
✷✹
❡q✉❛t✐♦♥❛❧ s②st❡♠ ♦❢ ❦♥♦✇♥ ❉◆❆ tr❛♥s❢♦r♠❛t✐♦♥s E✿ ❚❈❆❚ ≈ ❚
❈❚❈ ≈ ❚❈ ❆●❚❆ ≈ ❆ ❚❆❚ ≈ ❈❚ ❤❛s ❝♦♠♣❧❡t❡ ♣r❡s❡♥t❛t✐♦♥ R✿
❆●❚→❆❚ ❆❚❆→❆ ❚❈❆→❚❆ ❚❆❚→❚ ❈❚→❚ ✭♠✐❧❦✮ ❚❆●❈❚❆●❈❚❆●❈❚ ❈❚●❆❈❚●❆❈❚ ✭❝♦❧❛ ❣❡♥❡✮ ❚❆●❈❚❆●❈❚❆●❈❚ ❚ ❈❚●❆❈❚●❆❈❚ ✭♠✐❧❦✮ ❚❆●❈❚❆●❈❚❆●❈❚ ❈❚●❈❚❆❈❚●❆❈❚ ✭r❡tr♦✈✐r✉s✮ ❚❆●❈❚❆●❈❚❆●❈❚ ❚ ❚●❚ ❈❚●❈❚❆❈❚●❆❈❚
❑❇❈❱
✷✹
❡q✉❛t✐♦♥❛❧ s②st❡♠ ♦❢ ❦♥♦✇♥ ❉◆❆ tr❛♥s❢♦r♠❛t✐♦♥s E✿ ❚❈❆❚ ≈ ❚
❈❚❈ ≈ ❚❈ ❆●❚❆ ≈ ❆ ❚❆❚ ≈ ❈❚ ❤❛s ❝♦♠♣❧❡t❡ ♣r❡s❡♥t❛t✐♦♥ R✿
❆●❚→❆❚ ❆❚❆→❆ ❚❈❆→❚❆ ❚❆❚→❚ ❈❚→❚
◮
✭♠✐❧❦✮ ❚❆●❈❚❆●❈❚❆●❈❚
∗
← →
E
❈❚●❆❈❚●❆❈❚ ✭❝♦❧❛ ❣❡♥❡✮ ❚❆●❈❚❆●❈❚❆●❈❚
!
− →
R
❚
!
← −
R ❈❚●❆❈❚●❆❈❚
✭♠✐❧❦✮ ❚❆●❈❚❆●❈❚❆●❈❚ ❈❚●❈❚❆❈❚●❆❈❚ ✭r❡tr♦✈✐r✉s✮ ❚❆●❈❚❆●❈❚❆●❈❚ ❚ ❚●❚ ❈❚●❈❚❆❈❚●❆❈❚
❑❇❈❱
✷✹
❡q✉❛t✐♦♥❛❧ s②st❡♠ ♦❢ ❦♥♦✇♥ ❉◆❆ tr❛♥s❢♦r♠❛t✐♦♥s E✿ ❚❈❆❚ ≈ ❚
❈❚❈ ≈ ❚❈ ❆●❚❆ ≈ ❆ ❚❆❚ ≈ ❈❚ ❤❛s ❝♦♠♣❧❡t❡ ♣r❡s❡♥t❛t✐♦♥ R✿
❆●❚→❆❚ ❆❚❆→❆ ❚❈❆→❚❆ ❚❆❚→❚ ❈❚→❚
◮
✭♠✐❧❦✮ ❚❆●❈❚❆●❈❚❆●❈❚
∗
← →
E
❈❚●❆❈❚●❆❈❚ ✭❝♦❧❛ ❣❡♥❡✮ ❚❆●❈❚❆●❈❚❆●❈❚
!
− →
R
❚
!
← −
R ❈❚●❆❈❚●❆❈❚
◮
✭♠✐❧❦✮ ❚❆●❈❚❆●❈❚❆●❈❚
∗
← →
E
❈❚●❈❚❆❈❚●❆❈❚ ✭r❡tr♦✈✐r✉s✮ ❚❆●❈❚❆●❈❚❆●❈❚
!
− →
R
❚ = ❚●❚
!
← −
R ❈❚●❈❚❆❈❚●❆❈❚
❑❇❈❱
✷✹
❡q✉❛t✐♦♥❛❧ s②st❡♠ ♦❢ ❦♥♦✇♥ ❉◆❆ tr❛♥s❢♦r♠❛t✐♦♥s E✿ ❚❈❆❚ ≈ ❚
❈❚❈ ≈ ❚❈ ❆●❚❆ ≈ ❆ ❚❆❚ ≈ ❈❚ ❤❛s ❝♦♠♣❧❡t❡ ♣r❡s❡♥t❛t✐♦♥ R✿
❆●❚→❆❚ ❆❚❆→❆ ❚❈❆→❚❆ ❚❆❚→❚ ❈❚→❚
◮
✭♠✐❧❦✮ ❚❆●❈❚❆●❈❚❆●❈❚
∗
← →
E
❈❚●❆❈❚●❆❈❚ ✭❝♦❧❛ ❣❡♥❡✮ ❚❆●❈❚❆●❈❚❆●❈❚
!
− →
R
❚
!
← −
R ❈❚●❆❈❚●❆❈❚
◮
✭♠✐❧❦✮ ❚❆●❈❚❆●❈❚❆●❈❚
∗
← →
E
❈❚●❈❚❆❈❚●❆❈❚ ✭r❡tr♦✈✐r✉s✮ ❚❆●❈❚❆●❈❚❆●❈❚
!
− →
R
❚ = ❚●❚
!
← −
R ❈❚●❈❚❆❈❚●❆❈❚
❑❇❈❱
✷✹
❆ ❝♦❧♦♥② ♦❢ ❝❤❛♠❡❧❡♦♥s ❝♦♥s✐sts ♦❢ ✷✵ r❡❞✱ ✶✽ ❜❧✉❡✱ ❛♥❞ ✶✻ ❣r❡❡♥ ❛♥✐♠❛❧s✳ ❲❤❡♥❡✈❡r t✇♦ ♦❢ ❞✐✛❡r❡♥t ❝♦❧♦r ♠❡❡t✱ ❜♦t❤ ❝❤❛♥❣❡ t♦ t❤❡ t❤✐r❞ ❝♦❧♦r✳ ■s ✐t ♣♦ss✐❜❧❡ t❤❛t ❛❧❧ ✺✹ ❝❤❛♠❡❧❡♦♥s ❜❡❝♦♠❡ t❤❡ s❛♠❡ ❝♦❧♦r❄ ♠æ❞♠❛① ♣r♦❞✉❝❡s ❚❘❙ ✇❤✐❝❤ ✐s ❝♦♠♣❧❡t❡ ✭♠♦❞✉❧♦ ❆❈✮✿ ✐♥✐t✐❛❧ ❝♦❧♦♥②✿ ✷✵ ✶✽ ✶✻ ✺✷ ✷ ✺✹ ✺✹ ✺✹ ✺✹ ✺✹ ✺✹
✷✺
❆ ❝♦❧♦♥② ♦❢ ❝❤❛♠❡❧❡♦♥s ❝♦♥s✐sts ♦❢ ✷✵ r❡❞✱ ✶✽ ❜❧✉❡✱ ❛♥❞ ✶✻ ❣r❡❡♥ ❛♥✐♠❛❧s✳ ❲❤❡♥❡✈❡r t✇♦ ♦❢ ❞✐✛❡r❡♥t ❝♦❧♦r ♠❡❡t✱ ❜♦t❤ ❝❤❛♥❣❡ t♦ t❤❡ t❤✐r❞ ❝♦❧♦r✳ ■s ✐t ♣♦ss✐❜❧❡ t❤❛t ❛❧❧ ✺✹ ❝❤❛♠❡❧❡♦♥s ❜❡❝♦♠❡ t❤❡ s❛♠❡ ❝♦❧♦r❄ ♠æ❞♠❛① ♣r♦❞✉❝❡s ❚❘❙ ✇❤✐❝❤ ✐s ❝♦♠♣❧❡t❡ ✭♠♦❞✉❧♦ ❆❈✮✿ + → + + → + + → + ✐♥✐t✐❛❧ ❝♦❧♦♥②✿ ✷✵ ✶✽ ✶✻ ✺✷ ✷ ✺✹ ✺✹ ✺✹ ✺✹ ✺✹ ✺✹
✷✺
❆ ❝♦❧♦♥② ♦❢ ❝❤❛♠❡❧❡♦♥s ❝♦♥s✐sts ♦❢ ✷✵ r❡❞✱ ✶✽ ❜❧✉❡✱ ❛♥❞ ✶✻ ❣r❡❡♥ ❛♥✐♠❛❧s✳ ❲❤❡♥❡✈❡r t✇♦ ♦❢ ❞✐✛❡r❡♥t ❝♦❧♦r ♠❡❡t✱ ❜♦t❤ ❝❤❛♥❣❡ t♦ t❤❡ t❤✐r❞ ❝♦❧♦r✳ ■s ✐t ♣♦ss✐❜❧❡ t❤❛t ❛❧❧ ✺✹ ❝❤❛♠❡❧❡♦♥s ❜❡❝♦♠❡ t❤❡ s❛♠❡ ❝♦❧♦r❄ ♠æ❞♠❛① ♣r♦❞✉❝❡s ❚❘❙ ✇❤✐❝❤ ✐s ❝♦♠♣❧❡t❡ ✭♠♦❞✉❧♦ ❆❈✮✿ + → + x + y ≈ y + x + → + (x + y) + z ≈ x + (y + z) + → + ✐♥✐t✐❛❧ ❝♦❧♦♥②✿ ✷✵ ✶✽ ✶✻ ✺✷ ✷ ✺✹ ✺✹ ✺✹ ✺✹ ✺✹ ✺✹
✷✺
❆ ❝♦❧♦♥② ♦❢ ❝❤❛♠❡❧❡♦♥s ❝♦♥s✐sts ♦❢ ✷✵ r❡❞✱ ✶✽ ❜❧✉❡✱ ❛♥❞ ✶✻ ❣r❡❡♥ ❛♥✐♠❛❧s✳ ❲❤❡♥❡✈❡r t✇♦ ♦❢ ❞✐✛❡r❡♥t ❝♦❧♦r ♠❡❡t✱ ❜♦t❤ ❝❤❛♥❣❡ t♦ t❤❡ t❤✐r❞ ❝♦❧♦r✳ ■s ✐t ♣♦ss✐❜❧❡ t❤❛t ❛❧❧ ✺✹ ❝❤❛♠❡❧❡♦♥s ❜❡❝♦♠❡ t❤❡ s❛♠❡ ❝♦❧♦r❄ ♠æ❞♠❛① ♣r♦❞✉❝❡s ❚❘❙ ✇❤✐❝❤ ✐s ❝♦♠♣❧❡t❡ ✭♠♦❞✉❧♦ ❆❈✮✿ + → + x + y ≈ y + x + → + (x + y) + z ≈ x + (y + z) + → + + + → + + ✐♥✐t✐❛❧ ❝♦❧♦♥②✿ ✷✵ ✶✽ ✶✻ ✺✷ ✷ ✺✹ ✺✹ ✺✹ ✺✹ ✺✹ ✺✹
✷✺
❆ ❝♦❧♦♥② ♦❢ ❝❤❛♠❡❧❡♦♥s ❝♦♥s✐sts ♦❢ ✷✵ r❡❞✱ ✶✽ ❜❧✉❡✱ ❛♥❞ ✶✻ ❣r❡❡♥ ❛♥✐♠❛❧s✳ ❲❤❡♥❡✈❡r t✇♦ ♦❢ ❞✐✛❡r❡♥t ❝♦❧♦r ♠❡❡t✱ ❜♦t❤ ❝❤❛♥❣❡ t♦ t❤❡ t❤✐r❞ ❝♦❧♦r✳ ■s ✐t ♣♦ss✐❜❧❡ t❤❛t ❛❧❧ ✺✹ ❝❤❛♠❡❧❡♦♥s ❜❡❝♦♠❡ t❤❡ s❛♠❡ ❝♦❧♦r❄ ♠æ❞♠❛① ♣r♦❞✉❝❡s ❚❘❙ ✇❤✐❝❤ ✐s ❝♦♠♣❧❡t❡ ✭♠♦❞✉❧♦ ❆❈✮✿ + → + x + y ≈ y + x + → + (x + y) + z ≈ x + (y + z) + → + + + → + +
◮
✐♥✐t✐❛❧ ❝♦❧♦♥②✿ ✷✵ + ✶✽ + ✶✻ ✺✷ ✷ ✺✹ ✺✹ ✺✹ ✺✹ ✺✹ ✺✹
✷✺
❆ ❝♦❧♦♥② ♦❢ ❝❤❛♠❡❧❡♦♥s ❝♦♥s✐sts ♦❢ ✷✵ r❡❞✱ ✶✽ ❜❧✉❡✱ ❛♥❞ ✶✻ ❣r❡❡♥ ❛♥✐♠❛❧s✳ ❲❤❡♥❡✈❡r t✇♦ ♦❢ ❞✐✛❡r❡♥t ❝♦❧♦r ♠❡❡t✱ ❜♦t❤ ❝❤❛♥❣❡ t♦ t❤❡ t❤✐r❞ ❝♦❧♦r✳ ■s ✐t ♣♦ss✐❜❧❡ t❤❛t ❛❧❧ ✺✹ ❝❤❛♠❡❧❡♦♥s ❜❡❝♦♠❡ t❤❡ s❛♠❡ ❝♦❧♦r❄ ♠æ❞♠❛① ♣r♦❞✉❝❡s ❚❘❙ ✇❤✐❝❤ ✐s ❝♦♠♣❧❡t❡ ✭♠♦❞✉❧♦ ❆❈✮✿ + → + x + y ≈ y + x + → + (x + y) + z ≈ x + (y + z) + → + + + → + +
◮
✐♥✐t✐❛❧ ❝♦❧♦♥②✿ ✷✵ + ✶✽ + ✶✻ →! ✺✷ + ✷ ✺✹ ✺✹ ✺✹ ✺✹ ✺✹ ✺✹
✷✺
❆ ❝♦❧♦♥② ♦❢ ❝❤❛♠❡❧❡♦♥s ❝♦♥s✐sts ♦❢ ✷✵ r❡❞✱ ✶✽ ❜❧✉❡✱ ❛♥❞ ✶✻ ❣r❡❡♥ ❛♥✐♠❛❧s✳ ❲❤❡♥❡✈❡r t✇♦ ♦❢ ❞✐✛❡r❡♥t ❝♦❧♦r ♠❡❡t✱ ❜♦t❤ ❝❤❛♥❣❡ t♦ t❤❡ t❤✐r❞ ❝♦❧♦r✳ ■s ✐t ♣♦ss✐❜❧❡ t❤❛t ❛❧❧ ✺✹ ❝❤❛♠❡❧❡♦♥s ❜❡❝♦♠❡ t❤❡ s❛♠❡ ❝♦❧♦r❄ ♠æ❞♠❛① ♣r♦❞✉❝❡s ❚❘❙ ✇❤✐❝❤ ✐s ❝♦♠♣❧❡t❡ ✭♠♦❞✉❧♦ ❆❈✮✿ + → + x + y ≈ y + x + → + (x + y) + z ≈ x + (y + z) + → + + + → + +
◮
✐♥✐t✐❛❧ ❝♦❧♦♥②✿ ✷✵ + ✶✽ + ✶✻ →! ✺✷ + ✷
◮
✺✹ →! ✺✹ ✺✹ →! ✺✹ ✺✹ →! ✺✹
✷✺
R ⊆ E ∪ E−✶ s✉❝❝❡ss❄
R
E := E ∪ SE
♥♦ E ②❡s ❙❆❚✴❯◆❙❆❚
❑❧❡✐♥ ❛♥❞ ❍✐r♦❦❛✇❛✱ ▼❛①✐♠❛❧ ❈♦♠♣❧❡t✐♦♥✱ ✷✵✶✶✳
♠❛①❙❆❚ s♦❧✈❡r ✉♥❞❡❝✐❞❛❜❧❡
✷✻
R ⊆ E ∪ E−✶ s✉❝❝❡ss❄
R
E := E ∪ SE
♥♦ E ②❡s ❙❆❚✴❯◆❙❆❚
✵ ✐♥✐t✐❛❧✐③❡ ❡q✉❛t✐♦♥s E t♦ ✐♥♣✉t ❡q✉❛❧✐t✐❡s E✵ ✶ ❣✉❡ss t❡r♠✐♥❛t✐♥❣ r❡✇r✐t❡ s②st❡♠
❢r♦♠
✷ ❝❤❡❝❦ ✇❤❡t❤❡r ❣r♦✉♥❞ ❝♦♠♣❧❡t❡ ✸ ❛❞❞ s♦♠❡ ❝r✐t✐❝❛❧ ♣❛✐rs
❈P ❛♥❞ ❈P ✱ r❡♣❡❛t ❢r♦♠
✶
♠❛①❙❆❚ s♦❧✈❡r ✉♥❞❡❝✐❞❛❜❧❡
✷✻
R ⊆ E ∪ E−✶ s✉❝❝❡ss❄
R
E := E ∪ SE
♥♦ E ②❡s ❙❆❚✴❯◆❙❆❚
✵ ✐♥✐t✐❛❧✐③❡ ❡q✉❛t✐♦♥s E t♦ ✐♥♣✉t ❡q✉❛❧✐t✐❡s E✵ ✶ ❣✉❡ss t❡r♠✐♥❛t✐♥❣ r❡✇r✐t❡ s②st❡♠ R ❢r♦♠ E ✷ ❝❤❡❝❦ ✇❤❡t❤❡r ❣r♦✉♥❞ ❝♦♠♣❧❡t❡ ✸ ❛❞❞ s♦♠❡ ❝r✐t✐❝❛❧ ♣❛✐rs
❈P ❛♥❞ ❈P ✱ r❡♣❡❛t ❢r♦♠
✶
♠❛①❙❆❚ s♦❧✈❡r ✉♥❞❡❝✐❞❛❜❧❡
✷✻
R ⊆ E ∪ E−✶ s✉❝❝❡ss❄
R
E := E ∪ SE
♥♦ E ②❡s ❙❆❚✴❯◆❙❆❚
✵ ✐♥✐t✐❛❧✐③❡ ❡q✉❛t✐♦♥s E t♦ ✐♥♣✉t ❡q✉❛❧✐t✐❡s E✵ ✶ ❣✉❡ss t❡r♠✐♥❛t✐♥❣ r❡✇r✐t❡ s②st❡♠ R ❢r♦♠ E ✷ ❝❤❡❝❦ ✇❤❡t❤❡r ❣r♦✉♥❞ ❝♦♠♣❧❡t❡ ✸ ❛❞❞ s♦♠❡ ❝r✐t✐❝❛❧ ♣❛✐rs
❈P ❛♥❞ ❈P ✱ r❡♣❡❛t ❢r♦♠
✶
♠❛①❙❆❚ s♦❧✈❡r ✉♥❞❡❝✐❞❛❜❧❡
✷✻
R ⊆ E ∪ E−✶ s✉❝❝❡ss❄
R
E := E ∪ SE
♥♦ E ②❡s ❙❆❚✴❯◆❙❆❚
✵ ✐♥✐t✐❛❧✐③❡ ❡q✉❛t✐♦♥s E t♦ ✐♥♣✉t ❡q✉❛❧✐t✐❡s E✵ ✶ ❣✉❡ss t❡r♠✐♥❛t✐♥❣ r❡✇r✐t❡ s②st❡♠ R ❢r♦♠ E ✷ ❝❤❡❝❦ ✇❤❡t❤❡r ❣r♦✉♥❞ ❝♦♠♣❧❡t❡ ✸ ❛❞❞ s♦♠❡ ❝r✐t✐❝❛❧ ♣❛✐rs
❈P ❛♥❞ ❈P ✱ r❡♣❡❛t ❢r♦♠
✶
♠❛①❙❆❚ s♦❧✈❡r ✉♥❞❡❝✐❞❛❜❧❡
✷✻
R ⊆ E ∪ E−✶ s✉❝❝❡ss❄
R
E := E ∪ SE
♥♦ E ②❡s ❙❆❚✴❯◆❙❆❚
✵ ✐♥✐t✐❛❧✐③❡ ❡q✉❛t✐♦♥s E t♦ ✐♥♣✉t ❡q✉❛❧✐t✐❡s E✵ ✶ ❣✉❡ss t❡r♠✐♥❛t✐♥❣ r❡✇r✐t❡ s②st❡♠ R ❢r♦♠ E ✷ ❝❤❡❝❦ ✇❤❡t❤❡r ❣r♦✉♥❞ ❝♦♠♣❧❡t❡ ✸ ❛❞❞ s♦♠❡ ❝r✐t✐❝❛❧ ♣❛✐rs SE ⊆ ❈P(R ∪ E)
❛♥❞ ❈P ✱ r❡♣❡❛t ❢r♦♠
✶
♠❛①❙❆❚ s♦❧✈❡r ✉♥❞❡❝✐❞❛❜❧❡
✷✻
R ⊆ E ∪ E−✶ s✉❝❝❡ss❄
R
E := E ∪ SE
♥♦ E ②❡s ❙❆❚✴❯◆❙❆❚
✵ ✐♥✐t✐❛❧✐③❡ ❡q✉❛t✐♦♥s E t♦ ✐♥♣✉t ❡q✉❛❧✐t✐❡s E✵ ✶ ❣✉❡ss t❡r♠✐♥❛t✐♥❣ r❡✇r✐t❡ s②st❡♠ R ❢r♦♠ E ✷ ❝❤❡❝❦ ✇❤❡t❤❡r ❣r♦✉♥❞ ❝♦♠♣❧❡t❡ ✸ ❛❞❞ s♦♠❡ ❝r✐t✐❝❛❧ ♣❛✐rs SE ⊆ ❈P(R ∪ E)
❛♥❞ ❈P ✱ r❡♣❡❛t ❢r♦♠
✶
♠❛①❙❆❚ s♦❧✈❡r ✉♥❞❡❝✐❞❛❜❧❡
✷✻
R ⊆ E ∪ E−✶ s✉❝❝❡ss❄
R
E := E ∪ SE I := I ∪ SI
♥♦ (E, I) ②❡s ❙❆❚✴❯◆❙❆❚
✵ ✐♥✐t✐❛❧✐③❡ ❡q✉❛t✐♦♥s ❛♥❞ ✐♥❡q✉❛❧✐t✐❡s (E, I) t♦ ✐♥♣✉t (E✵, {s ≈ t}) ✶ ❣✉❡ss t❡r♠✐♥❛t✐♥❣ r❡✇r✐t❡ s②st❡♠ R ❢r♦♠ E ✷ ❝❤❡❝❦ ✇❤❡t❤❡r ❣r♦✉♥❞ ❝♦♠♣❧❡t❡ ♦r ✐♥❡q✉❛❧✐t② ❥♦✐♥❛❜❧❡ ✸ ❛❞❞ s♦♠❡ ❝r✐t✐❝❛❧ ♣❛✐rs SE ⊆ ❈P(R ∪ E) ❛♥❞ SI ⊆ ❈P(R ∪ E, I)✱
r❡♣❡❛t ❢r♦♠
✶
♠❛①❙❆❚ s♦❧✈❡r ✉♥❞❡❝✐❞❛❜❧❡
✷✻
R ⊆ E ∪ E−✶ s✉❝❝❡ss❄
R
E := E ∪ SE I := I ∪ SI
♥♦ (E, I) ②❡s ❙❆❚✴❯◆❙❆❚
♠❛①✐♠❛❧ ♦r❞❡r❡❞ ❝♦♠♣❧❡t✐♦♥ ✐s ❝♦♥✢✐❝t✲❞r✐✈❡♥ ❛♣♣r♦❛❝❤ ♠❛①❙❆❚ s♦❧✈❡r ✉♥❞❡❝✐❞❛❜❧❡
✷✻
R ⊆ E ∪ E−✶ s✉❝❝❡ss❄
R
E := E ∪ SE I := I ∪ SI
♥♦ (E, I) ②❡s ❙❆❚✴❯◆❙❆❚
◮
✉s❡ ♠❛①❙❆❚ s♦❧✈❡r t♦ ✜♥❞ r❡✇r✐t❡ s②st❡♠ ♠❛①✐♠✐③✐♥❣ s♦♠❡ ❣♦❛❧✱ ❡✳❣✳ t♦ ♦r✐❡♥t ❛s ♠❛♥② ❡q✉❛t✐♦♥s ❛s ♣♦ss✐❜❧❡ ❝❤❡❝❦✐♥❣ ❣r♦✉♥❞ ❝♦♠♣❧❡t❡♥❡ss ✐s ✉♥❞❡❝✐❞❛❜❧❡✿ ♦✈❡r❛♣♣r♦①✐♠❛t❡
❲✐♥❦❧❡r✱ ❆ ●r♦✉♥❞ ❏♦✐♥❛❜✐❧✐t② ❈r✐t❡r✐♦♥ ❢♦r ❖r❞❡r❡❞ ❈♦♠♣❧❡t✐♦♥✱ ✷✵✶✼✳
♠❛①❙❆❚ s♦❧✈❡r ✉♥❞❡❝✐❞❛❜❧❡
✷✻
R ⊆ E ∪ E−✶ s✉❝❝❡ss❄
R
E := E ∪ SE I := I ∪ SI
♥♦ (E, I) ②❡s ❙❆❚✴❯◆❙❆❚
◮
✉s❡ ♠❛①❙❆❚ s♦❧✈❡r t♦ ✜♥❞ r❡✇r✐t❡ s②st❡♠ ♠❛①✐♠✐③✐♥❣ s♦♠❡ ❣♦❛❧✱ ❡✳❣✳ t♦ ♦r✐❡♥t ❛s ♠❛♥② ❡q✉❛t✐♦♥s ❛s ♣♦ss✐❜❧❡
◮
❝❤❡❝❦✐♥❣ ❣r♦✉♥❞ ❝♦♠♣❧❡t❡♥❡ss ✐s ✉♥❞❡❝✐❞❛❜❧❡✿ ♦✈❡r❛♣♣r♦①✐♠❛t❡
❲✐♥❦❧❡r✱ ❆ ●r♦✉♥❞ ❏♦✐♥❛❜✐❧✐t② ❈r✐t❡r✐♦♥ ❢♦r ❖r❞❡r❡❞ ❈♦♠♣❧❡t✐♦♥✱ ✷✵✶✼✳
♠❛①❙❆❚ s♦❧✈❡r ✉♥❞❡❝✐❞❛❜❧❡
✷✻
✜♥❞✐♥❣ R ❝❡rt✐✜❛❜❧❡ ♣r♦♦❢s
◮
✉s❡ ❙▼❚ ❡♥❝♦❞✐♥❣s ♦❢ ♦r❞❡rs✿ ▲P❖ ❛♥❞ ❑❇❖✱ ❧✐♥❡❛r ♣♦❧②♥♦♠✐❛❧s ♦♣t✐♠✐③❛t✐♦♥ ❢♦r ♠❛①❙▼❚ ✉s❡s ✇❡✐❣❤t❡❞ ❝♦♠❜✐♥❛t✐♦♥ ♦❢ ✭❛✮ ♠❛①✐♠✐③❡ ✲r❡❞✉❝✐❜❧❡ s✉❜s❡t ♦❢ ✭❜✮ ♠❛①✐♠✐③❡ ✭❝✮ ♠❛①✐♠✐③❡ ❣r♦✉♥❞✲❥♦✐♥❛❜❧❡ ❡q✉❛t✐♦♥s ✐♥ ✭❞✮ ♠✐♥✐♠✐③❡ ❈P
✷✼
✜♥❞✐♥❣ R ❝❡rt✐✜❛❜❧❡ ♣r♦♦❢s
◮
✉s❡ ❙▼❚ ❡♥❝♦❞✐♥❣s ♦❢ ♦r❞❡rs✿ ▲P❖ ❛♥❞ ❑❇❖✱ ❧✐♥❡❛r ♣♦❧②♥♦♠✐❛❧s
◮
♦♣t✐♠✐③❛t✐♦♥ ❢♦r ♠❛①❙▼❚ ✉s❡s ✇❡✐❣❤t❡❞ ❝♦♠❜✐♥❛t✐♦♥ ♦❢ ✭❛✮ ♠❛①✐♠✐③❡ R✲r❡❞✉❝✐❜❧❡ s✉❜s❡t ♦❢ E ✭❜✮ ♠❛①✐♠✐③❡ |R| ✭❝✮ ♠❛①✐♠✐③❡ ❣r♦✉♥❞✲❥♦✐♥❛❜❧❡ ❡q✉❛t✐♦♥s ✐♥ E ✭❞✮ ♠✐♥✐♠✐③❡ |❈P(R)|
✷✼
✜♥❞✐♥❣ R s✉❝❝❡ss ❝❤❡❝❦s ❝❡rt✐✜❛❜❧❡ ♣r♦♦❢s
◮
r❡✇r✐t✐♥❣✴✉♥✐✜❛❜✐❧✐t② ❢♦r ❣♦❛❧s
◮
♥❛rr♦✇✐♥❣ ❢♦r ❣r♦✉♥❞ ❝♦♠♣❧❡t❡ s②st❡♠s
◮
❣r♦✉♥❞ ❝♦♥✢✉❡♥❝❡ ❝r✐t❡r✐❛ ❬▼❛rt✐♥◆✐♣❦♦✇✾✵❪✱ ❬❲✶✼❪ ✭❙❆❚ ♣r♦❜❧❡♠✮
✷✼
✜♥❞✐♥❣ R ✜❧t❡r s✉❝❝❡ss ❝❤❡❝❦s ❝❡rt✐✜❛❜❧❡ ♣r♦♦❢s
◮
❝♦♠♣✉t❡ ❡①t❡♥❞❡❞ ❝r✐t✐❝❛❧ ♣❛✐rs ✇rt ♦r❞❡r ♦r✐❡♥t✐♥❣ R
◮
✜❧t❡r ♦✉t ❡q✉❛t✐♦♥s ❦♥♦✇♥ t♦ ❜❡ ❣r♦✉♥❞ ❥♦✐♥❛❜❧❡ ❬❆❍▲✵✸❪
✷✼
✜♥❞✐♥❣ R ✜❧t❡r ✐♥❞❡①✐♥❣ s✉❝❝❡ss ❝❤❡❝❦s ❝❡rt✐✜❛❜❧❡ ♣r♦♦❢s
◮
❢♦r ♠❛t❝❤✐♥❣ ❛♥❞ ✉♥✐✜❛❜✐❧✐t② ❬❙❝❤✉❧③✶✷❪
✷✼
✜♥❞✐♥❣ R ✜❧t❡r ✐♥❞❡①✐♥❣ s✉❝❝❡ss ❝❤❡❝❦s ❝❡rt✐✜❛❜❧❡ ♣r♦♦❢s r❡st❛rts
◮
❞♦ r❡st❛rts ❦❡❡♣✐♥❣ s♠❛❧❧ ❧❡♠♠❛s ✇❤❡♥ st❛t❡ ✐s st✉❝❦
✷✼
✵ + x ≈ x (−x) + x ≈ ✵ x + (y + z) ≈ (x + y) + z x + y ≈ y + x x · (y · z) ≈ (x · y) · z (x + y) · z ≈ (x · z) + (y · z) ❛ · ✵ ≈ ✵
❁❝❡rt✐❢✐❝❛t✐♦♥Pr♦❜❧❡♠❃ ❁✐♥♣✉t❃ ❁♦r❞❡r❡❞❈♦♠♣❧❡t✐♦♥■♥♣✉t❃ ❁❡q✉❛t✐♦♥s❃ ❁r✉❧❡s❃ ✳✳✳❁✴r✉❧❡s❃ ❁✴❡q✉❛t✐♦♥s❃ ❁trs❃ ❁r✉❧❡s❃ ❁r✉❧❡❃ ❁❧❤s❃ ❁❢✉♥❛♣♣❃ ❁♥❛♠❡❃♠✉❧t❁✴♥❛♠❡❃✳✳✳❁❛r❣❃ ❁❢✉♥❛♣♣❃ ❁♥❛♠❡❃✐♥✈❁✴♥❛♠❡❃ ❁❛r❣❃ ❁✈❛r❃❨❁✴✈❛r❃ ❁✴❛r❣❃ ❁✴❢✉♥❛♣♣❃ ❁✴❛r❣❃ ❁✴❢✉♥❛♣♣❃ ❁✴❧❤s❃ ❁r❤s❃ ❁❢✉♥❛♣♣❃ ❁♥❛♠❡❃♠✉❧t❁✴♥❛♠❡❃ ❁❛r❣❃ ❁✈❛r❃❳❁✴✈❛r❃ ❁✴❛r❣❃ ❁❛r❣❃ ❁✈❛r❃❨❁✴✈❛r❃ ❁✴❛r❣❃ ❁✴❢✉♥❛♣♣❃ ❁✴r❤s❃ ❁✴r✉❧❡❃ ❁✴trs❃ ❁♣r♦♦❢❃ ❁♦r❞❡r❡❞❈♦♠♣❧❡t✐♦♥Pr♦♦❢❃ ❁✴♦r❞❡r❡❞❈♦♠♣❧❡t✐♦♥Pr♦♦❢❃ ❁✴♣r♦♦❢❃ ❁✴❝❡rt✐❢✐❝❛t✐♦♥Pr♦❜❧❡♠❃
✜♥❞✐♥❣ R ✜❧t❡r ✐♥❞❡①✐♥❣ s✉❝❝❡ss ❝❤❡❝❦s ❝❡rt✐✜❛❜❧❡ ♣r♦♦❢s r❡st❛rts
◮
s✉♣♣♦rt ❈P❋ ♦✉t♣✉t ❢♦r ✉♥s❛t✐s✜❛❜❧❡ ❛♥❞ s❛t✐s✜❛❜❧❡ ♣r♦❜❧❡♠s
◮
✾✵✪ ♦❢ ♣r♦♦❢s ✈❛❧✐❞❛t❡❞ ❜② ■s❛❜❡❧❧❡✲❜❛s❡❞ ❝❡rt✐✜❡r ❈❡ ❚ ❆ ❬❙❚✶✺❪ ✭♥♦t ❛❧❧ ❣r♦✉♥❞ ❝♦♥✢✉❡♥❝❡ ❝r✐t❡r✐❛ ❛r❡ s✉♣♣♦rt❡❞ ❜② ❈❡ ❚ ❆ ②❡t✮
✷✼
✵ + x ≈ x (−x) + x ≈ ✵ x + (y + z) ≈ (x + y) + z x + y ≈ y + x x · (y · z) ≈ (x · y) · z (x + y) · z ≈ (x · z) + (y · z) ❛ · ✵ ≈ ✵
▲P❖ · > − > + > ✵ ✜♥❞✐♥❣ R ✜❧t❡r ✐♥❞❡①✐♥❣ s✉❝❝❡ss ❝❤❡❝❦s ❝❡rt✐✜❛❜❧❡ ♣r♦♦❢s r❡st❛rts ♦r❞❡r ❣❡♥❡r❛t✐♦♥
◮
♦✉t♣✉t ✏❜❡st✑ ♦r❞❡r ❢♦✉♥❞ ❛❢t❡r s♦♠❡ ✐t❡r❛t✐♦♥s
✷✼
O(nk) ?
❆✈❛♥③✐♥✐✱ ▼♦s❡r✱ ❛♥❞ ❙❝❤❛♣❡r✱ ❚❝❚✿ ❚②r♦❧❡❛♥ ❈♦♠♣❧❡①✐t② ❚♦♦❧✱ ✷✵✶✻✳
✷✽
O(nk) ?
◮ ❞❡r✐✈❛t✐♦♥ ❤❡✐❣❤t
R u }
✷✽
O(nk) ?
◮ ❞❡r✐✈❛t✐♦♥ ❤❡✐❣❤t
R u }
◮ ❞❡r✐✈❛t✐♦♥❛❧ ❝♦♠♣❧❡①✐t②
✷✽
O(nk) ?
✷✽
O(n✷) ?
✷✽
O(n✷) ?
◮ s②st❡♠ ✐s ✐♥♥❡r♠♦st t❡r♠✐♥❛t✐♥❣ ◮ ❝❛♥ ❛♥❛❧②③❡ ✐♥♥❡r♠♦st ❝♦♠♣❧❡①✐t②
❚❝❚
✷✽
∗
✷✾
∗
◮ r❡♣r❡s❡♥t❛t✐♦♥ ♦❢ r❡✇r✐t❡ s❡q✉❡♥❝❡s ❛s t❡r♠s
✷✾
∗
◮ r❡♣r❡s❡♥t❛t✐♦♥ ♦❢ r❡✇r✐t❡ s❡q✉❡♥❝❡s ❛s t❡r♠s ◮ ❛❞♠✐t ❝♦♥❝✐s❡ ❛♥❛❧②s✐s ♦❢ ❡q✉✐✈❛❧❡♥❝❡ ♦❢ r❡✇r✐t❡ s❡q✉❡♥❝❡s
✷✾
∗
◮ r❡♣r❡s❡♥t❛t✐♦♥ ♦❢ r❡✇r✐t❡ s❡q✉❡♥❝❡s ❛s t❡r♠s ◮ ❛❞♠✐t ❝♦♥❝✐s❡ ❛♥❛❧②s✐s ♦❢ ❡q✉✐✈❛❧❡♥❝❡ ♦❢ r❡✇r✐t❡ s❡q✉❡♥❝❡s
✷✾
∗
◮ r❡♣r❡s❡♥t❛t✐♦♥ ♦❢ r❡✇r✐t❡ s❡q✉❡♥❝❡s ❛s t❡r♠s ◮ ❛❞♠✐t ❝♦♥❝✐s❡ ❛♥❛❧②s✐s ♦❢ ❡q✉✐✈❛❧❡♥❝❡ ♦❢ r❡✇r✐t❡ s❡q✉❡♥❝❡s
✷✾
✸✵
✸✶
❧✐t❡r❛t✉r❡ t♦♦❧ ■s❛❜❡❧❧❡✴❍❖▲ ■s❛❋♦❘ ❈❡ ❚ ❆ ❛❧❣♦r✐t❤♠s t❡❝❤♥✐q✉❡s ✐♥♣✉t s②st❡♠ ♣r♦♣❡rt② ❳▼▲ ❝❡rt✐✜❝❛t❡ t❤❡♦r❡♠s ♣r♦♦❢s ❝♦❞❡ ❣❡♥❡r❛t✐♦♥ ❛❝❝❡♣t r❡❥❡❝t
❚❤✐❡♠❛♥♥ ❛♥❞ ❙t❡r♥❛❣❡❧✱ ❈❡rt✐✜❝❛t✐♦♥ ♦❢ ❚❡r♠✐♥❛t✐♦♥ Pr♦♦❢s ❯s✐♥❣ ❈❡❚❆✱ ✷✵✵✾✳
✸✷
◮
❚❚❚✷ st❛♥❞❛r❞ ❚❘❙✿ ✽✷✾ ❨❊❙ ✭✼✺✵ ✮ ✷✵✵ ◆❖ ✭✶✾✸ ✮ st❛♥❞❛r❞ ❙❘❙✿ ✼✸✸ ❨❊❙ ✭✻✼✵ ✮ ✹✸ ◆❖ ✭✷✹ ✮
◮
❈❙■ st❛♥❞❛r❞ ❚❘❙✿ ✹✷ ❨❊❙ ✭✷✽ ✮ ✸✸ ◆❖ ✭✷✸ ✮
◮
❚❈❚ ❚P❉❇✿ ✷✵✸ ❨❊❙ ✭✶✻✺ ✮
◮
❑❇❈❱ ❝♦♠♣❧❡t✐♦♥ s②st❡♠s✿ ✽✾ ❨❊❙ ✭✽✾ ✮
◮
♠æ❞♠❛① ❚P❚P✿ ✶✶✷ ❙❆❚ ✭✻✾ ✮ ✻✷✶ ❯◆❙❆❚ ✭✻✶✷ ✮
❉❛t❛ t❛❦❡♥ ❢r♦♠ ❚❡r♠✐♥❛t✐♦♥ ❛♥❞ ❈♦♥✢✉❡♥❝❡ ❈♦♠♣❡t✐t✐♦♥s ✷✵✶✾✱ ❬❆❙❚✶✺❪✱ ❬❲▼✶✽❪✱ ❬❙❲❩✶✺❪✳
✸✸
✸✹
◮
r❡✇r✐t❡ t♦♦❧s ❢♦r ❞✐✛❡r❡♥t t❤❡♦r❡♠ ♣r♦✈✐♥❣ t❛s❦s
◮ t❡r♠✐♥❛t✐♦♥ ❛♥❛❧②s✐s ◮ ❝♦♥✢✉❡♥❝❡ ❛♥❛❧②s✐s ◮ ❑♥✉t❤✲❇❡♥❞✐① ❝♦♠♣❧❡t✐♦♥ ◮ ❝♦♠♣❧❡①✐t② ❛♥❛❧②s✐s
❝❡rt✐✜❝❛t✐♦♥ ❢r❛♠❡✇♦r❦✿ ■s❛❜❡❧❧❡ ❧✐❜r❛r② ■s❛❋♦❘ ❛♥❞ ♣r♦♦❢ ❝❤❡❝❦❡r ❈❡ ❚ ❆
t❡❛❝❤✐♥❣ t♦♦❧s st✉❞❡♥ts ♠♦t✐✈❛t❡s ✇r✐t❡ ❤❡❧♣
✇❡❜ ✐♥t❡r❢❛❝❡s ❝♦♥tr♦❧ ♦✈❡r ♠❛♥② ♦♣t✐♦♥s
✸✺
◮
r❡✇r✐t❡ t♦♦❧s ❢♦r ❞✐✛❡r❡♥t t❤❡♦r❡♠ ♣r♦✈✐♥❣ t❛s❦s
◮ t❡r♠✐♥❛t✐♦♥ ❛♥❛❧②s✐s ◮ ❝♦♥✢✉❡♥❝❡ ❛♥❛❧②s✐s ◮ ❑♥✉t❤✲❇❡♥❞✐① ❝♦♠♣❧❡t✐♦♥ ◮ ❝♦♠♣❧❡①✐t② ❛♥❛❧②s✐s
❝❡rt✐✜❝❛t✐♦♥ ❢r❛♠❡✇♦r❦✿ ■s❛❜❡❧❧❡ ❧✐❜r❛r② ■s❛❋♦❘ ❛♥❞ ♣r♦♦❢ ❝❤❡❝❦❡r ❈❡ ❚ ❆
t❡❛❝❤✐♥❣ t♦♦❧s st✉❞❡♥ts ♠♦t✐✈❛t❡s ✇r✐t❡ ❤❡❧♣
ℓ → r
✇❡❜ ✐♥t❡r❢❛❝❡s ❝♦♥tr♦❧ ♦✈❡r ♠❛♥② ♦♣t✐♦♥s
✸✺
◮
r❡✇r✐t❡ t♦♦❧s ❢♦r ❞✐✛❡r❡♥t t❤❡♦r❡♠ ♣r♦✈✐♥❣ t❛s❦s
◮ t❡r♠✐♥❛t✐♦♥ ❛♥❛❧②s✐s ◮ ❝♦♥✢✉❡♥❝❡ ❛♥❛❧②s✐s ◮ ❑♥✉t❤✲❇❡♥❞✐① ❝♦♠♣❧❡t✐♦♥ ◮ ❝♦♠♣❧❡①✐t② ❛♥❛❧②s✐s ◮
❝❡rt✐✜❝❛t✐♦♥ ❢r❛♠❡✇♦r❦✿ ■s❛❜❡❧❧❡ ❧✐❜r❛r② ■s❛❋♦❘ ❛♥❞ ♣r♦♦❢ ❝❤❡❝❦❡r ❈❡ ❚ ❆
t❡❛❝❤✐♥❣ t♦♦❧s st✉❞❡♥ts ♠♦t✐✈❛t❡s ✇r✐t❡ ❤❡❧♣
ℓ → r
✇❡❜ ✐♥t❡r❢❛❝❡s ❝♦♥tr♦❧ ♦✈❡r ♠❛♥② ♦♣t✐♦♥s
✸✺
◮
r❡✇r✐t❡ t♦♦❧s ❢♦r ❞✐✛❡r❡♥t t❤❡♦r❡♠ ♣r♦✈✐♥❣ t❛s❦s
◮ t❡r♠✐♥❛t✐♦♥ ❛♥❛❧②s✐s ◮ ❝♦♥✢✉❡♥❝❡ ❛♥❛❧②s✐s ◮ ❑♥✉t❤✲❇❡♥❞✐① ❝♦♠♣❧❡t✐♦♥ ◮ ❝♦♠♣❧❡①✐t② ❛♥❛❧②s✐s ◮
❝❡rt✐✜❝❛t✐♦♥ ❢r❛♠❡✇♦r❦✿ ■s❛❜❡❧❧❡ ❧✐❜r❛r② ■s❛❋♦❘ ❛♥❞ ♣r♦♦❢ ❝❤❡❝❦❡r ❈❡ ❚ ❆
t❡❛❝❤✐♥❣ t♦♦❧s st✉❞❡♥ts ♠♦t✐✈❛t❡s ✇r✐t❡ ❤❡❧♣
ℓ → r
◮ ✇❡❜ ✐♥t❡r❢❛❝❡s ◮ ❝♦♥tr♦❧ ♦✈❡r ♠❛♥② ♦♣t✐♦♥s ✸✺
❆❛rt ▼✐❞❞❡❧❞♦r♣✱ ●❡♦r❣ ▼♦s❡r✱ ❘❡♥é ❚❤✐❡♠❛♥♥✱ ❍❛r❛❧❞ ❩❛♥❦❧✱ ❈❤r✐st✐❛♥ ❙t❡r♥❛❣❡❧✱ ▼❛rt✐♥ ❑♦r♣✱ ❋r✐❡❞r✐❝❤ ◆❡✉r❛✉t❡r✱ ❆♥❞r❡❛s ❙❝❤♥❛❜❧✱ ▼❛rt✐♥ ❆✈❛♥③✐♥✐✱ ▼✐❝❤❛❡❧ ❙❝❤❛♣❡r✱ ❚❤♦♠❛s ❙t❡r♥❛❣❡❧✱ ❏✉❧✐❛♥ ◆❛❣❡❧❡✱ ❇❡rtr❛♠ ❋❡❧❣❡♥❤❛✉❡r✱ ❈②♥t❤✐❛ ❑♦♣✱ ▼❛♥✉❡❧ ❙❝❤♥❡❝❦❡♥r❡✐t❤❡r✱ ❉❛✈✐❞ ❖❜✇❛❧❧❡r✱ ❙❡✲ ❜❛st✐❛❛♥ ❏♦♦st❡♥✱ ❆❦✐❤✐s❛ ❨❛♠❛❞❛✱ ❘❛❧♣❤ ❇♦tt❡s❝❤✱ ❚✳ ❱✳ ❍✳ Pr❛t❤❛♠❡s❤✱ ❋r❛♥③✐s❦❛ ❘❛♣♣✱ ▼❛r✐❛ ❙❝❤❡tt✱ ▼❛① ❍❛s❧❜❡❝❦✱ ❙✐♠♦♥ ▲❡❣♥❡r✱ ❈❤r✐st✐♥❛ ❑♦❤❧✱ ❆❧❡①❛♥❞❡r ▲♦❝❤♠❛♥♥✱ ❏♦♥❛s ❙❝❤ö♣❢
✸✻