SLIDE 27 ■♥tr♦❞✉❝t✐♦♥ Pr♦❞✉❝❡r ❥♦❜s ❈♦♥s✉♠❡r ❥♦❜s ❊❛r❧✐❡r ✇♦r❦ ◆❡✇ r❡s✉❧ts P❚❆❙ ❢♦r ✶|r♠ = ✶, q = ❝♦♥st|❈♠❛①
❈♦♥♥❡❝t✐♦♥ ❜❡t✇❡❡♥ t❤❡ ❞❡❧✐✈❡r② t❛r❞✐♥❡ss ✭♣r♦❞✉❝❡r ❥♦❜s✮✱ ❛♥❞ t❤❡ ♠❛❦❡s♣❛♥ ♠✐♥✐♠✐③❛t✐♦♥ ✭❝♦♥s✉♠❡r ❥♦❜s✮ ♣r♦❜❧❡♠s
▲❡♠♠❛
- ✐✈❡♥ ❛♥ ✐♥st❛♥❝❡ ■ = {♥, q, (♣❥, ❛❥)♥
❥=✶, (✉ℓ, ❜ℓ)q ℓ=✶} ♦❢ t❤❡ ❉❡❧✐✈❡r②
t❛r❞✐♥❡ss ♣r♦❜❧❡♠✳ ❉❡✜♥❡ ❛♥ ✐♥st❛♥❝❡ ■ ′ = {♥, q, (♣❥, ❛❥)♥
❥=✶, (✉′ ℓ, ❜′ ℓ)q ℓ=✶} ♦❢ t❤❡ ▼❛❦❡s♣❛♥ ♠✐♥✐♠✐③❛t✐♦♥
♣r♦❜❧❡♠✿ ✉′
ℓ = ✉q − ✉q+✶−ℓ
❜′
ℓ = ❜q+✶−ℓ
ℓ = ✶, . . . , q. ❚❤❡♥✱ ✐❢ σ ✐s ❛ s❡q✉❡♥❝❡ ♦❢ ❥♦❜s ❣✐✈✐♥❣ ❛ ♠❛①✐♠✉♠ ❞❡❧✐✈❡r② t❛r❞✐♥❡ss ♦❢ ❚ σ
♠❛① ❢♦r ■✱ t❤❡♥ s❝❤❡❞✉❧✐♥❣ t❤❡ ❥♦❜s ✐♥ r❡✈❡rs❡ σ ♦r❞❡r
❣✐✈❡s ❛ s❝❤❡❞✉❧❡ ♦❢ ♠❛❦❡s♣❛♥ ✉q + ❚ σ
♠❛① ❢♦r ✐♥st❛♥❝❡ ■ ′ ♦❢ t❤❡
▼❛❦❡s♣❛♥ ♠✐♥✐♠✐③❛t✐♦♥ ♣r♦❜❧❡♠✳
❉rót♦s✱ ●②ör❣②✐✱ ❑✐s