strtrs r sst - - PowerPoint PPT Presentation
strtrs r sst r rst
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✶ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✷ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✷ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✷ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✷ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✷ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✷ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✷ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✷ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✷ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✷ ✴ ✾✼
✶ ❛ss❡rt ❛ ♣r♦♣❡rt② ♦❢ ❛ s②st❡♠ ✷ ♣r♦✈❡ t❤❛t t❤❡ ❛ss❡rt✐♦♥ ❤♦❧❞s ❢♦r t❤❡ s②st❡♠
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✸ ✴ ✾✼
✶ ❛ss❡rt ❛ ♣r♦♣❡rt② ♦❢ ❛ s②st❡♠ ✷ ♣r♦✈❡ t❤❛t t❤❡ ❛ss❡rt✐♦♥ ❤♦❧❞s ❢♦r t❤❡ s②st❡♠
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✸ ✴ ✾✼
✶ ❛ss❡rt ❛ ♣r♦♣❡rt② ♦❢ ❛ s②st❡♠ ✷ ♣r♦✈❡ t❤❛t t❤❡ ❛ss❡rt✐♦♥ ❤♦❧❞s ❢♦r t❤❡ s②st❡♠
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✸ ✴ ✾✼
✶ ❛ss❡rt ❛ ♣r♦♣❡rt② ♦❢ ❛ s②st❡♠ ✷ ♣r♦✈❡ t❤❛t t❤❡ ❛ss❡rt✐♦♥ ❤♦❧❞s ❢♦r t❤❡ s②st❡♠
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✸ ✴ ✾✼
✶ ❛ss❡rt ❛ ♣r♦♣❡rt② ♦❢ ❛ s②st❡♠ ✷ ♣r♦✈❡ t❤❛t t❤❡ ❛ss❡rt✐♦♥ ❤♦❧❞s ❢♦r t❤❡ s②st❡♠
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✸ ✴ ✾✼
✶ ❛ss❡rt ❛ ♣r♦♣❡rt② ♦❢ ❛ s②st❡♠ ✷ ♣r♦✈❡ t❤❛t t❤❡ ❛ss❡rt✐♦♥ ❤♦❧❞s ❢♦r t❤❡ s②st❡♠
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✸ ✴ ✾✼
✶ ❆①✐♦♠❛t✐❝ ♠❡t❤♦❞
✷ ▼♦❞❡❧✲t❤❡♦r❡t✐❝ ♠❡t❤♦❞
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✹ ✴ ✾✼
✶ ❆①✐♦♠❛t✐❝ ♠❡t❤♦❞
✷ ▼♦❞❡❧✲t❤❡♦r❡t✐❝ ♠❡t❤♦❞
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✹ ✴ ✾✼
✶ ❆①✐♦♠❛t✐❝ ♠❡t❤♦❞
✷ ▼♦❞❡❧✲t❤❡♦r❡t✐❝ ♠❡t❤♦❞
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✹ ✴ ✾✼
✶ ❆①✐♦♠❛t✐❝ ♠❡t❤♦❞
✷ ▼♦❞❡❧✲t❤❡♦r❡t✐❝ ♠❡t❤♦❞
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✹ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✺ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✻ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✼ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✽ ✴ ✾✼
✶ (e,d),(b,−),(d,−),(−,b)(−,d) ❛r❡ ❜✐♥❛r② r❡❧❛t✐♦♥s
✷ t❡r♥❛r② r❡❧❛t✐♦♥ ✇✐t❤ t✉♣❧❡s ✭❢❛t❤❡r✱ ♠♦t❤❡r✱ ❝❤✐❧❞✮
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✾ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✶✵ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✶✶ ✴ ✾✼
✶
✷
✸
✹
✺
✻ likes(x,y) ∧ likes(y,x) ∧ ¬likes(x,x) ✼ ∀y (∀z likes(y,z) ⇒ likes(x,y)) ❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✶✷ ✴ ✾✼
✶
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✶✸ ✴ ✾✼
✷
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✶✹ ✴ ✾✼
✸
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✶✺ ✴ ✾✼
✹
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✶✻ ✴ ✾✼
✺ [
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✶✼ ✴ ✾✼
✻
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✶✽ ✴ ✾✼
✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✶✾ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✷✵ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✷✶ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✷✷ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✷✸ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✷✹ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✷✺ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✷✻ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✷✼ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✷✽ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✷✾ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✸✵ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✸✶ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✸✷ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✸✸ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✸✹ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✸✺ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✸✻ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✸✼ ✴ ✾✼
2 ⊊
MSO2
1
1
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✸✽ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✸✾ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✹✵ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✹✶ ✴ ✾✼
l r l r l r l r l r l r l r
l r r
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✹✷ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✹✸ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✹✹ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✹✺ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✹✻ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✹✼ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✹✽ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✹✾ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✺✵ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✺✶ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✺✷ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✺✸ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✺✹ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✺✺ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✺✻ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✺✼ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✺✽ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✺✾ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✻✵ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✻✶ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✻✷ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✻✸ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✻✹ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✻✹ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✻✹ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✻✹ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✻✹ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✻✹ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✻✹ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✻✹ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✻✺ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✻✻ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✻✼ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✻✽ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✻✾ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✼✵ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✼✶ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✼✷ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✼✸ ✴ ✾✼
✶ ❢❛♠✐❧② ♦❢ ♠❛❝❤✐♥❡s (Ma ∣ a ∈ Σ) ✭r❡s♣✳ tr❛♥s❞✉❝❡rs (Ta ∣ a ∈ Σ)✮ ✷ ♠❛❝❤✐♥❡ ✭r❡s♣✳ tr❛♥s❞✉❝❡r✮ ✇✐t❤ ✜♥❛❧ st❛t❡s ❧❛❜❡❧❧❡❞ ✐♥ Σ
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✼✹ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✼✺ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✼✻ ✴ ✾✼
✶✉♣ t♦ r❡str✐❝t✐♦♥ t♦ ❛ r❡❛❝❤❛❜❧❡ s✉❜❣r❛♣❤ ❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✼✼ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✼✽ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✼✾ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✽✵ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✽✶ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✽✷ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✽✸ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✽✹ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✽✺ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✽✻ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✽✼ ✴ ✾✼
✶ r❡❞✉❝t✐♦♥✲❜♦✉♥❞❡❞✱ ✉♥✐t❛r② r❡❞✉❝t✐♦♥✲❜♦✉♥❞❡❞✱ ✷ ♣r❡✜①✲❜♦✉♥❞❡❞✱ ♣r❡✜①✱ ✸ ✐♥❝r❡❛s✐♥❣ ❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✽✽ ✴ ✾✼
❝❧❛ss ♦❢ ❣r❛♣❤s ♣r❡s❡♥t❛t✐♦♥s ❝❛r❛❝t❡r✐③❛t✐♦♥ ❜② ❈❛②❧❡②✲t②♣❡ ❣r❛♣❤s CGΣ(S, K) ❞❡❝✐❞❛❜✐✲ ❧✐t② ♦❢ ▼❙❖ ❞❡❝✐❞❛❜✐✲ ❧✐t② ♦❢ ❋❖ ❝❧♦s✉r❡ ✉♥❞❡r s②♥❝❤r♦♥✐③❡❞ ♣r♦❞✉❝t ✜♥✐t❡ ❣r❛♣❤s ❝❧❛ss✐❝ K ∈ Fin❀ S ∈ Fin ❨❊❙ ❨❊❙ ❨❊❙ ♣✉s❤❞♦✇♥ ♣✉s❤❞♦✇♥ ❛✉t♦♠❛t❛ K ∈ Rat❀ S ∈ Fin ∩ 1RredB ❨❊❙ ❨❊❙ ◆❖ ♣r❡✜①✕ r❡❝♦❣♥✐s❛❜❧❡ ❣r❛♣❤s ♣r❡✜①✕ r❡❝♦❣♥✐s❛❜❧❡ r❡❧❛t✐♦♥s✱ s②st❡♠s ❱❘ ❡q✉❛t✐♦♥s K ∈ Rat❀ S ∈ Fin ∩ Pref ♦✉ S ∈ Rec ∩ PrefB ♦✉ . . . ❨❊❙ ❨❊❙ ◆❖ P❡tr✐ ♥❡t ❣r❛♣❤s P❡tr✐ ♥❡ts✱ ✈❡❝t♦r ❛❞❞✐t✐♦♥ s②st❡♠s ❄ ◆❖ ❨❊❙ ❨❊❙ ❛✉t♦♠❛t✐❝ ❣r❛♣❤s s②♥❝❤r♦♥✐③❡❞ tr❛♥s❞✉❝❡rs ❄ ◆❖ ❨❊❙ ❨❊❙ r❛t✐♦♥❛❧ ❣r❛♣❤s r❛t✐♦♥♥❛❧ tr❛♥s❞✉❝❡rs K ∈ Rat❀ S ∈ Fin ∩ LInc ♦✉ S ∈ Rec ∩ LInc ♦✉ . . . ◆❖ ◆❖ ❨❊❙ ❧✐♥❡❛r✐❧② ❜♦✉♥❞❡❞ ❣r❛♣❤s ❧✐♥❡❛r✐❧② ❜♦✉♥❞❡❞ ❛✉t♦♠❛t❛ K ∈ Rat❀ S ∈ Fin ∩ LB ◆❖ ◆❖ ❨❊❙ r❡❝✉rs✐✈❡❧② ❡♥✉♠❡r❛❜❧❡s ❣r❛♣❤s ❚✉r✐♥❣ ♠❛❝❤✐♥❡s K ∈ Rat❀ S ∈ Fin ◆❖ ◆❖ ❨❊❙ ❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✽✾ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✾✵ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✾✶ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✾✷ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✾✸ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✾✹ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✾✺ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✾✻ ✴ ✾✼
❚❑ ✭❯◆❈ ✫ ■▼❙❝✮ ▲♦❣✐❝ ✫ str✉❝t✉r❡s ✾✼ ✴ ✾✼