Revision Based Total Semantics for Extended Normal Logic Programs

▼ár✐♦ ❆♥tó♥✐♦ ❘♦❞r✐❣✉❡s ●r❛♥❞❡ ❆❜r❛♥t❡s

❘❡✈✐s✐♦♥ ❇❛s❡❞ ❚♦t❛❧ ❙❡♠❛♥t✐❝s

❢♦r ❊①t❡♥❞❡❞ ◆♦r♠❛❧ ▲♦❣✐❝ Pr♦❣r❛♠s

❉✐ss❡rt❛çã♦ ♣❛r❛ ♦❜t❡♥çã♦ ❞♦ ●r❛✉ ❞❡ ❉♦✉t♦r ❡♠ ▼❛t❡♠át✐❝❛ ✲ ▲ó❣✐❝❛ ❡ ❋✉♥❞❛♠❡♥t♦s ❞❛ ▼❛t❡♠át✐❝❛

❖r✐❡♥t❛❞♦r✿ ▲✉ís ▼❛♥✉❡❧ ❙❛♥❝❤♦ ▼♦♥✐③ P❡r❡✐r❛

Pr♦❢❡ss♦r ❈❛t❡❞rát✐❝♦ ❛♣♦s❡♥t❛❞♦ ❞♦ ❉❡♣❛rt❛♠❡♥t♦ ❞❡ ■♥❢♦r♠át✐❝❛ ❞❛ ❋❈❚✲❯◆▲ ❈♦✲♦r✐❡♥t❛❞♦r❛✿ ■s❛❜❡❧ ❖✐t❛✈❡♠ ❘♦❝❤❛

Pr♦❢❡ss♦r❛ ❆✉①✐❧✐❛r ❞♦ ❉❡♣❛rt❛♠❡♥t♦ ❞❡ ▼❛t❡♠át✐❝❛ ❞❛ ❋❈❚✲❯◆▲

❏úr✐✿

Pr❡s✐❞❡♥t❡✿ ❉♦✉t♦r❛ ▼❛r✐❛ ❆❞❡❧❛✐❞❡ ❞❡ ❆❧♠❡✐❞❛ P❡❞r♦ ❞❡ ❏❡s✉s✱ Pr♦❢❡ss♦r❛ ❈❛t❡❞rát✐❝❛ ❞♦ ❉❊♣❛rt❛♠❡♥t♦ ❞❡ ❋ís✐❝❛✱ ❋❈❚✲❯◆▲

❆r❣✉❡♥t❡✭s✮✿

❉♦✉t♦r ❈❛r❧♦s ▼❛♥✉❡❧ ❈♦st❛ ▲♦✉r❡♥ç♦ ❈❛❧❡✐r♦✱ Pr♦❢❡ss♦r ❆ss♦❝✐❛❞♦ ❞♦ ❉❡♣❛rt❛♠❡♥t♦ ❞❡ ▼❛t❡♠át✐❝❛✱ ■❙❚✲❯▲

❉♦✉t♦r ❆❧❡①❛♥❞r❡ ▼✐❣✉❡❧ ❞♦s ❙❛♥t♦s ▼❛rt✐♥s P✐♥t♦✱ Pr♦❢❡ss♦r ❆✉①✐❧✐❛r ❈♦♥✈✐❞❛❞♦ ❞♦ ❉❡♣❛rt❛♠❡♥t♦ ❞❡ ❊♥❣❡♥❤❛r✐❛ ■♥❢♦r♠át✐❝❛✱ ❋❈❚✲❯❈

❱♦❣❛✐s✿

❉♦✉t♦r ❘❡✐♥❤❛r❞ ❏♦s❡❢ ❑❧❛✉s ❑❛❤❧❡✱ Pr♦❢❡ss♦r ❆ss♦❝✐❛❞♦ ❝✴❆❣r❡❣❛çã♦ ❞♦ ❉❡♣❛rt❛♠❡♥t♦ ❞❡ ▼❛t❡♠át✐❝❛✱ ❋❈❚✲❯◆▲

❉♦✉t♦r P❡❞r♦ ❍❡♥r✐q✉❡ ❡ ❋✐❣✉❡✐r❡❞♦ ◗✉❛r❡s♠❛ ❞❡ ❆❧♠❡✐❞❛✱ Pr♦❢❡s♦r ❆✉①✐❧✐❛r ❞♦ ❉❡♣❛rt❛♠❡♥t♦ ❞❡ ▼❛t❡♠át✐❝❛✱ ❋❈❚✲❯❈

❉♦✉t♦r❛ ■s❛❜❡❧ ❖✐t❛✈❡♠ ❘♦❝❤❛✱ Pr♦❢❡ss♦r❛ ❆✉①✐❧✐❛r ❉❡♣❛rt❛♠❡♥t♦ ❞❡ ▼❛t❡♠át✐❝❛✱ ❋❈❚✲❯◆▲ ✭❝♦✲♦r✐❡♥t❛❞♦r❛✮

❉♦✉t♦r ▲✉ís ▼♦♥✐③ P❡r❡✐r❛✱ ❉❡♣❛rt❛♠❡♥t♦ ❞❡ ■♥❢♦r♠át✐❝❛✱ Pr♦❢❡ss♦r ❈❛t❡❞rát✐❝♦ ✭❛♣♦s❡♥t❛❞♦✮ ❋❈❚✲❯◆▲ ✭♦r✐❡♥t❛❞♦r✮

❚♦ ❏❛♥✉s③ ❑✉s♦❝✐➠s❦✐✱ ❘✉❞♦❧♣❤ ❍❛r❜✐❣✱ ❛♥❞ ❉❛✈❡ ❲♦tt❧❡

❆❝❦♥♦✇❧❡❞❣❡♠❡♥ts

❋✐rst ♦❢ ❛❧❧✱ ■ ✇✐s❤ t♦ ❡①♣r❡ss ♠② ❞❡❡♣❡st ❣r❛t✐t✉❞❡ t♦ ♠② s✉♣❡r✈✐s♦r✱ Pr♦❢❡ss♦r ▲✉ís ▼♦♥✐③ P❡r❡✐r❛✱ ❢♦r ❤✐s ✐♥✈❛❧✉❛❜❧❡ s✉♣♣♦rt ❛♥❞ ❣✉✐❞❛♥❝❡ t❤r♦✉❣❤♦✉t t❤❡ ♣r❡♣❛r❛t✐♦♥ ♦❢ t❤✐s ✇♦r❦✳ ■ t❤❛♥❦ ❤✐♠ ❢♦r ❤✐s ♣❛t✐❡♥❝❡ ❛♥❞ ✇✐❧❧✐♥❣♥❡ss t♦ ❞❡❜❛t❡ ♠② s✉❣❣❡st✐♦♥s ❛♥❞ t♦ ❛♥s✇❡r ♠② q✉❡st✐♦♥s✱ ❡✈❡♥ ✇❤❡♥ t❤❡② ✇❡r❡ ♠❡ss② ♦r ♥♦t ♣❡rt✐♥❡♥t✳

■ ❛❧s♦ t❤❛♥❦ ♠② ❝♦✲❛❞✈✐s❡r Pr♦❢❡ss♦r ■s❛❜❡❧ ❖✐t❛✈❡♠ ❢♦r ❤❡r ❣✉✐❞❛♥❝❡ ❛♥❞ ❝♦♥❝❡r♥✳

■ ❛♠ ✐♥❞❡❜t❡❞ t♦ Pr♦❢❡ss♦r ❘❡✐♥❤❛r❞ ❑❛❤❧❡ t❤❛t ❦✐♥❞❧② ♣r❡s❡♥t❡❞ ♠❡ ♠② s✉♣❡r✈✐s♦r✱ ❛❢t❡r ❧✐st❡♥✐♥❣ t♦ ♠② ✐♥t❡♥t✐♦♥s t♦ ✉♥❞❡rt❛❦❡ ❛ P❤❉✳

■ t❤❛♥❦ ❡s♣❡❝✐❛❧❧② ❆❧❡①❛♥❞r❡ P✐♥t♦✱ ❢♦r ❤✐s ✇✐❧❧✐♥❣♥❡ss ❢♦r ❞❡❜❛t✐♥❣ ♠② q✉❡st✐♦♥s ❛♥❞ ♣r♦✲ ♣♦s❛❧s✱ ❛♥❞ ❢♦r ❤✐s s✉❣❣❡st✐♦♥s ❛♥❞ ✐♥✈❛r✐❛❜❧② ❣♦♦❞ ❛❞✈✐❝❡s✳

■ ❛♠ ✐♥❞❡❜t❡❞ t♦ t❤❡ ❢♦❧❧♦✇✐♥❣ ♣❡♦♣❧❡ ✇❤♦✱ ✐♥ ♦♥❡ ✇❛② ♦r ❛♥♦t❤❡r✱ ❤❡❧♣❡❞ ♠❡ ❞✉r✐♥❣ t❤✐s ✇♦r❦✱ ❛♥s✇❡r✐♥❣ ♠② q✉❡st✐♦♥s✱ ❝♦♠♠❡♥t✐♥❣ ♠② s✉❣❣❡st✐♦♥s✱ s❡♥❞✐♥❣ ♠❡ r❡q✉❡st❡❞ ♣❛♣❡rs ♦r ❣✐✈✐♥❣ ♠❡ ✈❛❧✉❛❜❧❡ ♦♣✐♥✐♦♥s ✭t❤❡ ♦r❞❡r ♦❢ t❤❡ ♥❛♠❡s ✐s ♥♦t ✐♠♣♦rt❛♥t✮✿ ▼❛♥✉❡❧ ❆✳ ▼❛rt✐♥s✱ ❖❢❡r ❆r✐❡❧✐✱ ❚♦rst❡♥ ❙❝❤❛✉❜✱ ❘♦❧❛♥❞ ❑❛♠✐♥s❦✐✱ ❱❧❛❞✐♠✐r ▲✐❢s❝❤✐t③✱ ❚❡♦❞♦r Pr③✲ ♠✉s✐♥s❦✐✱ ❏❛♥ ❲✐❡❧❡♠❛❦❡r✱ P❡t❡r ❙❝❤✉❡❧❧❡r✱ ❋❧♦r❜❡❧❛ ❋❡r♥❛♥❞❡s✱ ❏♦ã♦ ▲❡✐t❡✱ ▼❛rt✐♥ ❏✳ ❇✳✳ ■ ❡s♣❡❝✐❛❧❧② t❤❛♥❦ ❈❤✐❛❦✐ ❙❛❦❛♠❛ ❢♦r ♣r❡s❡♥t✐♥❣ ❛ ♣❛♣❡r ♦❢ ✇❤✐❝❤ ■ ❛♠ ❝♦✲❛✉t❤♦r ❛t ■◆❆P✶✸✬✱ ❛♥❞ ❢♦r ❤❡❧♣❢✉❧ ❝♦♠♠❡♥ts ❛♥❞ s✉❣❣❡st✐♦♥s✳

■ ❛❝❦♥♦✇❧❡❞❣❡ t❤❡ ❋✉♥❞❛çã♦ ♣❛r❛ ❛ ❈✐ê♥❝✐❛ ❡ ❚❡❝♥♦❧♦❣✐❛ ❞♦ ▼✐♥✐stér✐♦ ❞❛ ❊❞✉❝❛çã♦ ❡ ❈✐ê♥❝✐❛ ❛♥❞ t❤❡ ■♥st✐t✉t♦ P♦❧✐té❝♥✐❝♦ ❞❡ ❇r❛❣❛♥ç❛ ❢♦r t❤❡ ❣r❛♥t ❙❋❘❍ ✴ P❘❖❚❊❈✴ ✹✾✼✹✼✴ ✷✵✵✾✳

■ ❛❝❦♥♦✇❧❡❞❣❡ t❤❡ ❊s❝♦❧❛ ❙✉♣❡r✐♦r ❞❡ ❚❡❝♥♦❧♦❣✐❛ ❡ ❞❡ ●❡stã♦ ✲ ■P❇ ❜♦❛r❞ ❛♥❞ t❤❡ ❉❡✲ ♣❛rt❛♠❡♥t♦ ❞❡ ▼❛t❡♠át✐❝❛ ❞❛ ❊s❝♦❧❛ ❙✉♣❡r✐♦r ❞❡ ❚❡❝♥♦❧♦❣✐❛ ❡ ❞❡ ●❡stã♦ ✲ ■P❇✱ ❢♦r t❤❡✐r ✐♥t❡r❡st ✐♥ ♣r♦✈✐❞✐♥❣ ♠❡ ✇✐t❤ t❤❡ ❜❡st ❝♦♥❞✐t✐♦♥s t♦ ❞❡✈❡❧♦♣ ♠② ✇♦r❦✳

❆ s♣❡❝✐❛❧ t❤❛♥❦s t♦ ♠② ❝♦❧❧❡❛❣✉❡s ●❡tú❧✐♦ ■❣r❡❥❛s✱ ▼ár✐♦ ❊s❝✉❞❡✐r♦✱ ❋❧♦r❜❡❧❛ ❋❡r♥❛♥❞❡s✱ ❏✳P✳ ❈♦❡❧❤♦✱ ❘✉✐ ❋❡r♥❛♥❞❡s ❛♥❞ ❚✐❛❣♦ P❡❞r♦s❛✱ ❢♦r ♦✉r ✈❛r✐♦✉s✱ ❛♥❞ ♠♦st ♦❢ t❤❡ t✐♠❡ ❢✉♥♥②✱ ❝♦♥✈❡rs❛t✐♦♥s ❛❜♦✉t ✧P❤❉s✧✳

▲❛st✱ ❜✉t ❢♦r s✉r❡ ♥♦t ❧❡❛st✱ ■ t❤❛♥❦ ✇✐t❤ ❛❧❧ ♠② ❤❡❛rt t❤❡ ❧♦✈❡ ❛♥❞ ♣❛t✐❡♥❝❡ ♦❢ ❆♥❛ ❘♦❞r✐❣✉❡s ❛♥❞ ♦❢ ♠② ♠♦t❤❡r ▼❛r✐❛ ●❡♥t✐❧✱ ❞✉r✐♥❣ t❤❡ ✭♣❡r❤❛♣s t♦♦ ♠❛♥②✮ ②❡❛rs t❤✐s ✇♦r❦ t♦♦❦ t♦ ❜❡ ✜♥✐s❤❡❞✳

❆❜str❛❝t

❚❤❡ ♣✉r♣♦s❡ ♦❢ t❤✐s t❤❡s✐s ✐s t❤❡ ❞❡✈❡❧♦♣♠❡♥t ♦❢ ❛ ❢♦r♠❛❧ s❡♠❛♥t✐❝❛❧ ❛♣♣r♦❛❝❤ ❢♦r ❡①t❡♥❞❡❞ ♥♦r♠❛❧ ❧♦❣✐❝ ♣r♦❣r❛♠s✱ ✇❤❡r❡ ❝♦♥tr❛❞✐❝t✐♦♥s ❛r❡ t❛❝❦❧❡❞ ❜② ♠❡❛♥s ♦❢ ❛ r❡❞✉❝t✐♦♥ ❛❞ ❛❜✲ s✉r❞✉♠ ✇✐t❤ r❡s♣❡❝t t♦ ❞❡❢❛✉❧t ♥❡❣❛t✐♦♥ ♠❡❝❤❛♥✐s♠✱ ✐♥ t❤❡ ❢❛s❤✐♦♥ ♦❢ ❛rt✐✜❝✐❛❧ ✐♥t❡❧❧✐❣❡♥❝❡ ❜❡❧✐❡❢ r❡✈✐s✐♦♥✱ t❤❛t ❧❡❛❞s t♦ ❛ s❡t ♦❢ ✐♠♣❧✐❝✐t r❡✈✐s✐♦♥s✳ ❲❡ ❢✉❧✜❧❧❡❞ t❤❡s❡ ♦❜❥❡❝t✐✈❡s ✐♥ t✇♦ st❡♣s✳ ❚❤❡ ✜rst ♦♥❡ ✇❛s t❤❡ ✐♠♣❧❡♠❡♥t❛t✐♦♥ ♦❢ ❛ t♦t❛❧ ♣❛r❛❝♦♥s✐st❡♥t ♠♦❞❡❧s s❡♠❛♥t✐❝s ❢♦r ❡①t❡♥❞❡❞ ♥♦r♠❛❧ ❧♦❣✐❝ ♣r♦❣r❛♠sM HP✱ t❤❛t ❝♦♠❜✐♥❡s t❤❡ ♠❡r✐ts ♦❢ t✇♦ ❛❧r❡❛❞② ❡①✐st✐♥❣ s❡✲

♠❛♥t✐❝s✿ ✐t ✐♥❤❡r✐ts t❤❡ ❡①✐st❡♥❝❡ ♣r♦♣❡rt② ♦❢ t❤❡ ❛❜❞✉❝t✐✈❡ ♠✐♥✐♠❛❧ ❤②♣♦t❤❡s❡s s❡♠❛♥t✐❝s M H✱ ❛ s❡♠❛♥t✐❝s ♦❢ t♦t❛❧ ♠♦❞❡❧s✱ ❛♥❞ t❤❡ ♣r♦♣❡rt② ♦❢ ❞❡t❡❝t✐♦♥ ♦❢ s✉♣♣♦rt ♦♥ ❝♦♥tr❛✲ ❞✐❝t✐♦♥ ♦❢ t❤❡ ♣❛r❛❝♦♥s✐st❡♥t ✇❡❧❧✲❢♦✉♥❞❡❞ s❡♠❛♥t✐❝s ✇✐t❤ ❡①♣❧✐❝✐t ♥❡❣❛t✐♦♥ W F SXP✱ ❛

s❡♠❛♥t✐❝s ♦❢ ♣❛rt✐❛❧ ♣❛r❛❝♦♥s✐st❡♥t ♠♦❞❡❧s✳ ❆s ❢♦r t❤❡ s❡❝♦♥❞ st❡♣✱ ✇❡ ❞❡✈❡❧♦♣❡❞ ❛ r❡✈✐s✐♦♥ ♣r♦❝❡❞✉r❡ ❢♦r ✐♥❝♦♥s✐st❡♥t ❝♦♥str❛✐♥❡❞ t❤❡♦r✐❡s✱ t❤❛t t❛❝❦❧❡s ✐♥❝♦♥s✐st❡♥❝✐❡s ❛r✐s✐♥❣ ❢r♦♠ ❝♦♥tr❛❞✐❝t✐♦♥s ✇✐t❤ r❡s♣❡❝t t♦ ❡①♣❧✐❝✐t ♥❡❣❛t✐♦♥✱ ✐✳❡✳✱ L ❛♥❞ ¬L ✐♥ t❤❡ s❛♠❡ ♠♦❞❡❧✱ ❛♥❞ st❡♣♣✐♥❣ ❜❡②♦♥❞✱ ❛❧s♦ t❛❝❦❧❡s ✐♥❝♦♥s✐st❡♥❝✐❡s ❛r✐s✐♥❣ ✐♥ ♠♦r❡ ❣❡♥❡r❛❧ ❝♦♥str❛✐♥❡❞ t❤❡♦r✐❡s ✭✐✳❡✳✱ t❤❡♦r✐❡s ❝♦♥t❛✐♥✐♥❣ ❝♦♥str❛✐♥ts ♦❢ t❤❡ t②♣❡⊥ ←A, not B✱ ✇❤❡r❡A✐s ❛ ❝♦♥❥✉♥❝t✐♦♥ ♦❢ ♦❜❥❡❝t✐✈❡ ❧✐t❡r❛❧s ❛♥❞not B st❛♥❞s ❢♦r ❛ ❝♦♥❥✉♥❝t✐♦♥ ♦❢ ❞❡❢❛✉❧t ❧✐t❡r❛❧s✮✳ ❆♥ ❛❧❣♦r✐t❤♠ ❢♦r ✐♥❝♦♥s✐st❡♥❝② ♣r♦♣❛❣❛t✐♦♥ ❞❡t❡❝t✐♦♥ ✇❛s ❛❧s♦ ❞❡✈❡❧♦♣❡❞✳ ❆ ❝❤❛r❛❝t❡r✐③❛t✐♦♥ ♦❢ t❤❡ M HP

✇✐t❤ r❡s♣❡❝t t♦ t❤❡ s❡♠❛♥t✐❝ ❢♦r♠❛❧ ♣r♦♣❡rt✐❡s ♦❢ r❡❧❡✈❛♥❝❡ ❛♥❞ ❝✉♠✉❧❛t✐✈✐t② ✐s ❢✉r♥✐s❤❡❞✱ ❜② r❡s♦rt✐♥❣ t♦ ❛ s❡t ♦❢ r❡s✉❧ts t❤❛t ❛r♦s❡ ❢r♦♠ ❛ ❞❡t❛✐❧❡❞ st✉❞② ♦❢ t❤❡s❡ ♣r♦♣❡rt✐❡s ❢♦r ❛ ❝❧❛ss ♦❢ 2✲✈❛❧✉❡❞ ❝♦♥s❡r✈❛t✐✈❡ ❡①t❡♥s✐♦♥s ♦❢ t❤❡ st❛❜❧❡ ♠♦❞❡❧s s❡♠❛♥t✐❝s✳

❑❡②✇♦r❞s✿ t♦t❛❧ ♣❛r❛❝♦♥s✐st❡♥t ♠♦❞❡❧s✱ ❞❡❝❧❛r❛t✐✈❡ ❞❡❜✉❣❣✐♥❣✱ ✐♥❝♦♥s✐st❡♥❝② ♣r♦♣❛❣❛✲ t✐♦♥ ❞❡t❡❝t✐♦♥✱ ❞❡❢❡❝t✐✈✐t②✱ ❡①❝❡ss✐✈❡♥❡ss✱ ✐rr❡❣✉❧❛r✐t②✳

❘❡s✉♠♦

❖ ♦❜❥❡t✐✈♦ ❞❡st❛ t❡s❡ é ♦ ❞❡s❡♥✈♦❧✈✐♠❡♥t♦ ❞❡ ✉♠❛ ❛❜♦r❞❛❣❡♠ ❢♦r♠❛❧ s❡♠â♥t✐❝❛ ♣❛r❛ ♣r♦✲ ❣r❛♠❛s ❧ó❣✐❝♦s ♥♦r♠❛✐s ❡st❡♥❞✐❞♦s ✭✐✳❡✳✱ ♣r♦❣r❛♠❛s ❝♦♠ ❞♦✐s t✐♣♦s ❞❡ ♥❡❣❛çã♦✿ ✉♠❛ ♥❡❣❛çã♦ ❡①♣❧í❝✐t❛ ❡ ❛ ♥❡❣❛çã♦ ♣♦r ♦♠✐ssã♦✮✱ ♥❛ q✉❛❧ ❛s ❝♦♥tr❛❞✐çõ❡s sã♦ r❡s♦❧✈✐❞❛s ♣♦r ♠❡✐♦ ❞❡ ✉♠ ♠❡❝❛♥✐s♠♦ ❞❡ r❛❝✐♦❝í♥✐♦ ♣♦r r❡❞✉çã♦ ❛♦ ❛❜s✉r❞♦✱ ❛♦ ❡st✐❧♦ ❞❛ r❡✈✐sã♦ ❞❡ ❝r❡♥ç❛s ♥❛ ✐♥✲ t❡❧✐❣ê♥❝✐❛ ❛rt✐✜❝✐❛❧✳ ❊st❡ ♦❜❥❡❝t✐✈♦ ❢♦✐ ❛❧❝❛♥ç❛❞♦ ❡♠ ❞✉❛s ❡t❛♣❛s✳ ❆ ♣r✐♠❡✐r❛ ❞❡❧❛s ❢♦✐ ❛ ✐♠♣❧❡♠❡♥t❛çã♦ ❞❡ ✉♠❛ s❡♠â♥t✐❝❛ ❞❡ ♠♦❞❡❧♦s t♦t❛✐s ♣❛r❛ ♣r♦❣r❛♠❛s ❧ó❣✐❝♦s ❡st❡♥❞✐❞♦s✱ M HP✱ q✉❡ ❝♦♠❜✐♥❛ ♦s ♠ér✐t♦s ❞❡ ❞✉❛s s❡♠â♥t✐❝❛s ❥á ❡①✐st❡♥t❡s✿ ❤❡r❞❛ ❛ ♣r♦♣r✐❡❞❛❞❡ ❞❡

❡①✐stê♥❝✐❛ ❞❛ s❡♠â♥t✐❝❛ ❛❜❞✉t✐✈❛ ❞❡ ❤✐♣ót❡s❡s ♠í♥✐♠❛s M H✱ ✉♠❛ s❡♠â♥t✐❝❛ ❞❡ ♠♦❞❡✲ ❧♦s t♦t❛✐s ♣❛r❛ ♣r♦❣r❛♠❛s ♥♦r♠❛✐s❀ ❤❡r❞❛ t❛♠❜é♠ ❛ ♣r♦♣r✐❡❞❛❞❡ ❞❡ ❞❡t❡❝çã♦ ❞❡ s✉♣♦rt❡ ❡♠ ❝♦♥tr❛❞✐çã♦ ❞❛ s❡♠â♥t✐❝❛ ♣❛r❛❝♦♥s✐st❡♥t❡ W F SXP✱ ✉♠❛ s❡♠â♥t✐❝❛ ❞❡ ♠♦❞❡❧♦s ♣❛r❛✲

❝♦♥s✐st❡♥t❡s ♣❛r❝✐❛✐s ♣❛r❛ ♣r♦❣r❛♠❛s ❧ó❣✐❝♦s ❡st❡♥❞✐❞♦s✳ ❆ s❡❣✉♥❞❛ ❡t❛♣❛ ❝♦♥s✐st✐✉ ♥♦ ❞❡s❡♥✈♦❧✈✐♠❡♥t♦ ❞❡ ✉♠ ❛❧❣♦r✐t♠♦ ❞❡ r❡✈✐sã♦ ❞❡ t❡♦r✐❛s ✐♥❝♦♥s✐st❡♥t❡s✱ q✉❡ ❛❜♦r❞❛ ♥ã♦ ❛♣❡✲ ♥❛s ✐♥❝♦♥s✐stê♥❝✐❛s ❞❡❝♦rr❡♥t❡s ❞❡ ❝♦♥tr❛❞✐çõ❡s ❝♦♠ r❡s♣❡✐t♦ à ♥❡❣❛çã♦ ❡①♣❧í❝✐t❛✱ ♦✉ s❡❥❛ L ❡ ¬L ♥♦ ♠❡s♠♦ ♠♦❞❡❧♦✱ ♠❛s t❛♠❜é♠ ✐♥❝♦♥s✐stê♥❝✐❛s ❝♦♠ r❡s♣❡✐t♦ ❛ t❡♦r✐❛s ❝♦♥t❡♥❞♦ r❡str✐çõ❡s ❞❡ ✐♥t❡❣r✐❞❛❞❡ ♠❛✐s ❣❡r❛✐s✱ ❞♦ t✐♣♦ ⊥ ← A, not B✱ s❡♥❞♦ A ✉♠❛ ❝♦♥❥✉♥çã♦ ❞❡ ❧✐t❡r❛✐s ♦❜❥❡❝t✐✈♦s ❡not B ✉♠❛ ❝♦♥❥✉♥çã♦ ❞❡ ❧✐t❡r❛✐s ♦❜❥❡❝t✐✈♦s ♥❡❣❛❞♦s ♣♦r ♦♠✐ssã♦✳ ❯♠ ❛❧❣♦r✐t♠♦ ❞❡ ❞❡t❡❝çã♦ ❞❡ ♣r♦♣❛❣❛çã♦ ❞❡ ✐♥❝♦♥s✐stê♥❝✐❛s ❢♦✐ t❛♠❜é♠ ❞❡s❡♥✈♦❧✈✐❞♦✳ ➱ ❛♣r❡✲ s❡♥t❛❞❛ ✉♠❛ ❝❛r❛❝t❡r✐③❛çã♦ ❞❡t❛❧❤❛❞❛ ❞❛ M HP ❝♦♠ r❡s♣❡✐t♦ às ♣r♦♣r✐❡❞❛❞❡s s❡♠â♥t✐❝❛s

❢♦r♠❛✐s ❞❡ r❡❧❡✈â♥❝✐❛ ❡ ❝✉♠✉❧❛t✐✈✐❞❛❞❡✱ ✉t✐❧✐③❛♥❞♦ ✉♠ ❝♦♥❥✉♥t♦ ❞❡ r❡s✉❧t❛❞♦s ♦❜t✐❞♦s ❞❡ ✉♠ ❡st✉❞♦ ❞❡ss❛s ♣r♦♣r✐❡❞❛❞❡s ♣❛r❛ ✉♠❛ ❝❧❛ss❡ ❞❡ ❡①t❡♥sõ❡s ❝♦♥s❡r✈❛t✐✈❛s ✷✲✈❛❧♦r❛❞❛s ❞❛ s❡♠â♥t✐❝❛ ❞❡ ♠♦❞❡❧♦s ❡stá✈❡✐s✳

P❛❧❛✈r❛s✲❝❤❛✈❡✿ ♠♦❞❡❧♦s t♦t❛✐s ♣❛r❛❝♦♥s✐st❡♥t❡s✱ r❡✈✐sã♦ ❞❡❝❧❛r❛t✐✈❛ ❞❡ ♣r♦❣r❛♠❛s ❧ó❣✐✲ ❝♦s✱ ❞❡t❡❝çã♦ ❞❛ ♣r♦♣❛❣❛çã♦ ❞❡ ✐♥❝♦♥s✐stê♥❝✐❛s✱ ❞❡❢❡❝t✐✈✐❞❛❞❡✱ ❡①❝❡ss♦✱ ✐rr❡❣✉❧❛r✐❞❛❞❡✳

❈♦♥t❡♥ts

❆❝❦♥♦✇❧❡❞❣❡♠❡♥ts ✈

❆❜str❛❝t ✈✐✐

❘❡s✉♠♦ ✐①

▲✐st ♦❢ ❚❛❜❧❡s ①✐✐✐

▲✐st ♦❢ ❆❝r♦♥②♠s✱ ❆❜❜r❡✈✐❛t✐♦♥s ❛♥❞ ◆♦♠❡♥❝❧❛t✉r❡ ①✈

✶ ■♥tr♦❞✉❝t✐♦♥ ✶

✷ ❙tr✉❝t✉r❡ ♦❢ ◆♦❡t❤❡r✐❛♥ ◆♦r♠❛❧ ▲♦❣✐❝ Pr♦❣r❛♠s ✾

✷✳✶ ▲❛♥❣✉❛❣❡ ❛♥❞ ❚❡r♠✐♥♦❧♦❣② ♦❢ ▲♦❣✐❝ Pr♦❣r❛♠s ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✾ ✷✳✷ ❘✉❧❡ ❉❡♣❡♥❞❡♥❝✐❡s ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✵ ✷✳✸ ◆♦❡t❤❡r✐❛♥ ◆♦r♠❛❧ ▲♦❣✐❝ Pr♦❣r❛♠s ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✶

✸ ❙❡♠❛♥t✐❝s ❢♦r ◆♦r♠❛❧ ▲♦❣✐❝ Pr♦❣r❛♠s ✶✺

✸✳✶ ■♥t❡r♣r❡t❛t✐♦♥s ❛♥❞ ▼♦❞❡❧s ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✻ ✸✳✷ ▼✐♥✐♠❛❧ ▼♦❞❡❧s ❙❡♠❛♥t✐❝s ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✼ ✸✳✷✳✶ ▲❡❛st ▼♦❞❡❧ ❙❡♠❛♥t✐❝s ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✼ ✸✳✷✳✷ ❙t❛❜❧❡ ▼♦❞❡❧ ❙❡♠❛♥t✐❝s ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✽ ✸✳✷✳✸ ❲❡❧❧✲❋♦✉♥❞❡❞ ❙❡♠❛♥t✐❝s ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✽ ✸✳✸ ❚❤❡ ▼✐♥✐♠❛❧ ❍②♣♦t❤❡s❡s ❙❡♠❛♥t✐❝s✱M H ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✾ ✸✳✸✳✶ 2✲❱❛❧✉❡❞ ❙❡♠❛♥t✐❝s t❤r♦✉❣❤ ❆❜❞✉❝t✐♦♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✾

✸✳✸✳✷ M H ▼♦❞❡❧s ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✾ ✸✳✸✳✸ ❋♦r♠❛❧ Pr♦♣❡rt✐❡s ♦❢M H ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✷✷

✹ ❈♦♥s❡r✈❛t✐✈❡ ✷✲❱❛❧✉❡❞ ❊①t❡♥s✐♦♥s ♦❢ t❤❡ ❙t❛❜❧❡ ▼♦❞❡❧ ❙❡♠❛♥t✐❝s ✷✺ ✹✳✶ ❚❤❡ ASM✱ASMh _{❛♥❞ ASM}m _{❙❡♠❛♥t✐❝s ❋❛♠✐❧✐❡s ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✷✻}

✹✳✷ ❆❞✈❛♥t❛❣❡♦✉s ❋♦r♠❛❧ Pr♦♣❡rt✐❡s ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✸✵ ✹✳✸ ❈❤❛r❛❝t❡r✐③❛t✐♦♥ ♦❢ ❈✉♠✉❧❛t✐✈✐t② ❢♦rASMh ❛♥❞ASMm ❋❛♠✐❧✐❡s ✳ ✳ ✳ ✳ ✳ ✳ ✸✶ ✹✳✹ ❉❡❢❡❝t✐✈✐t②✱ ❊①❝❡ss✐✈❡♥❡ss ❛♥❞ ■rr❡❣✉❧❛r✐t② ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✸✹ ✹✳✹✳✶ ❉❡❢❡❝t✐✈✐t② ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✸✹ ✹✳✹✳✷ ❊①❝❡ss✐✈❡♥❡ss ❛♥❞ ■rr❡❣✉❧❛r✐t② ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✸✻ ✹✳✺ ❋✐♥❛❧ ❘❡♠❛r❦s ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✸✾

✺ ❆ P❛r❛❝♦♥s✐st❡♥t ❊①t❡♥s✐♦♥ ♦❢ t❤❡ M H ❙❡♠❛♥t✐❝s ✹✶

✺✳✶ ❚❡r♠✐♥♦❧♦❣② ♦❢ ❊①t❡♥❞❡❞ ◆♦r♠❛❧ ▲♦❣✐❝ Pr♦❣r❛♠s ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✹✷ ✺✳✷ ❚❤❡ ❲❋❙❳♣ ❙❡♠❛♥t✐❝s ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✹✷

✺✳✷✳✶ ❆❧t❡r♥❛t✐♥❣ ❋✐①♣♦✐♥t ❉❡✜♥✐t✐♦♥ ♦❢ t❤❡ W F SXP ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✹✸

✺✳✷✳✷ ❚❤❡ t−o❚r❛♥s❢♦r♠❛t✐♦♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✹✸ ✺✳✷✳✸ ❈❤❛r❛❝t❡r✐③❛t✐♦♥ ♦❢ t❤❡ W F SXP ▼♦❞❡❧ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✹✺

✺✳✷✳✹ ▲♦❣✐❝ ❙❧❛❝❦ ✈✐❛ t❤❡ t−o❚r❛♥s❢♦r♠❛t✐♦♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✹✽ ✺✳✸ ❇❛❧❛♥❝❡❞ ▲❛②❡r❡❞ ❘❡♠❛✐♥❞❡r ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✺✵ ✺✳✸✳✶ ❇❛❧❛♥❝❡❞ ▲❛②❡r❡❞ ◆❡❣❛t✐✈❡ ❘❡❞✉❝t✐♦♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✺✵ ✺✳✸✳✷ ❚❤❡ 7→bLW F S ❘❡❞✉❝t✐♦♥ ❙②st❡♠ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✺✷

✺✳✹ ❚❤❡ M Hp❙❡♠❛♥t✐❝s ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✺✹ ✺✳✹✳✶ M HP ▼♦❞❡❧s ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✺✹

✺✳✹✳✷ M HP ❈♦❧❧❛♣s❡s ✐♥t♦ M H ❢♦r ◆♦r♠❛❧ ▲♦❣✐❝ Pr♦❣r❛♠s ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✺✻

✺✳✹✳✸ ❚❤❡ ▲♦❣✐❝Six ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✺✼ ✺✳✹✳✹ Pr♦♣❡rt✐❡s ♦❢ t❤❡M HP ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✺✽

✺✳✹✳✺ ❈♦♠♣❧❡①✐t② ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✺✾ ✺✳✺ ◗✉❡r②✐♥❣ ❛♥ ❊①t❡♥❞❡❞ ❉❛t❛❜❛s❡ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✺✾

✻ ❉❡❛❧✐♥❣ ✇✐t❤ ■♥❝♦♥s✐st❡♥❝② ✇✐t❤ t❤❡ ▼❍♣ ❙❡♠❛♥t✐❝s ✻✶

✻✳✶ ❘❡✈✐s✐♦♥ t❤r♦✉❣❤ ❉❡❝❧❛r❛t✐✈❡ ❉❡❜✉❣❣✐♥❣ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✻✷ ✻✳✶✳✶ ❉❡❝❧❛r❛t✐✈❡ ❉❡❜✉❣❣✐♥❣ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✻✷ ✻✳✶✳✷ ❘❡✈✐s✐♥❣ ❛♥ ■♥❝♦♥s✐st❡♥t ❚❤❡♦r② ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✻✺ ✻✳✷ ■♥❝♦♥s✐st❡♥❝② Pr♦♣❛❣❛t✐♦♥ ❉❡t❡❝t✐♦♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✼✹ ✻✳✷✳✶ ▼♦t✐✈❛t✐♦♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✼✹ ✻✳✷✳✷ ❙❡♠❛♥t✐❝ ❙✉♣♣♦rt ♦♥ ■♥❝♦♥s✐st❡♥❝② ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✼✹ ✻✳✷✳✸ ❈♦♠♣✉t✐♥❣ t❤❡ ❙❛❢❡ ▲✐t❡r❛❧s ✐♥ t❤❡ ❊①t❡♥❞❡❞ ❙❡♠❛♥t✐❝ ❑❡r♥❡❧ ✳ ✳ ✳ ✳ ✼✻ ✻✳✸ ◗✉❡r② ❆♥s✇❡r✐♥❣ ✇✐t❤ ❘❡✈✐s✐♦♥ ❛♥❞ ■♥❝♦♥s✐st❡♥❝② Pr♦♣❛❣❛t✐♦♥ ❉❡t❡❝t✐♦♥ ✳ ✽✺ ✻✳✹ ❋✐♥❛❧ ❘❡♠❛r❦s ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✽✻

✼ ❈♦♥❝❧✉s✐♦♥s ❛♥❞ ❋✉t✉r❡ ❲♦r❦ Pr♦♣♦s❛❧s ✽✾

❇✐❜❧✐♦❣r❛♣❤② ✾✸

❆ ❘❡❢❡rs t♦ ❈❤❛♣t❡r ✸ ✾✼

❇ ❘❡❢❡rs t♦ ❈❤❛♣t❡r ✹ ✾✾

❇✳✶ ❘❡❢❡rs t♦ ❙❡❝t✐♦♥ ✹✳✸ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✾✾ ❇✳✷ ❘❡❢❡rs t♦ ❙❡❝t✐♦♥ ✹✳✹ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✵✷ ❇✳✸ ❈❤❛r❛❝t❡r✐③❛t✐♦♥ ♦❢ ❙♦♠❡ ASMh _{❛♥❞ ASM}m _{❙❡♠❛♥t✐❝s ✇✐t❤ ❘❡s♣❡❝t t♦}

❊①✐st❡♥❝❡✱ ❘❡❧❡✈❛♥❝❡ ❛♥❞ ❈✉♠✉❧❛t✐✈✐t② ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✵✺

❈ ❘❡❢❡rs t♦ ❈❤❛♣t❡r ✺ ✶✶✶

❈✳✶ ❘❡❢❡rs t♦ ❙❡❝t✐♦♥ ✺✳✷ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✶✶ ❈✳✷ ❘❡❢❡rs t♦ s❡❝t✐♦♥ ✺✳✸ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✶✷ ❈✳✸ ❘❡❢❡rs t♦ s❡❝t✐♦♥ ✺✳✹ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✶✺

■♥❞❡① ✶✶✽

▲✐st ♦❢ ❚❛❜❧❡s

✹✳✶ ❚❤❡ 12 ♣♦ss✐❜❧❡ t②♣❡s ♦❢ ASMh _{❛♥❞ ASM}m _{s❡♠❛♥t✐❝s ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✹✵}

✺✳✶ T wenty−N ine−Six✈❛❧✉❛t✐♦♥s ❝♦rr❡s♣♦♥❞❡♥❝❡✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✺✽

▲✐st ♦❢ ❆❝r♦♥②♠s✱ ❆❜❜r❡✈✐❛t✐♦♥s ❛♥❞

◆♦♠❡♥❝❧❛t✉r❡

ASM ❆✣① st❛❜❧❡ ♠♦❞❡❧s ❢❛♠✐❧② ♦❢ s❡♠❛♥t✐❝s

ASMh _{❆ s✉❜❝❧❛ss ♦❢ASM}

ASMm ❆ s✉❜❝❧❛ss ♦❢ASM

7→bLW F S ❘❡❞✉❝t✐♦♥ s②st❡♠ ❢♦r ❝♦♠♣✉t✐♥❣ t❤❡ ❜❛❧❛♥❝❡❞ ❧❛②❡r❡❞ r❡♠❛✐♥❞❡r

bW F SXP ❇❛❧❛♥❝❡❞ ♣❛r❛❝♦♥s✐st❡♥t ❡①t❡♥❞❡❞ ✇❡❧❧✲❢♦✉♥❞❡❞ s❡♠❛♥t✐❝s

CRG(P) ❈♦♠♣❧❡t❡ r✉❧❡ ❣r❛♣❤ ♦❢ ♣r♦❣r❛♠P

△ ❖♣❡r❛t♦r t❤❛t t❛❦❡s ❛ ♥♦r♠❛❧ ❧♦❣✐❝ ♣r♦❣r❛♠ ❛♥❞ r❡tr✐❡✈❡s ❛ ✸✲✈❛❧✉❡❞ ✐♥t❡r♣r❡t❛t✐♦♥

▽ ❖♣❡r❛t♦r t❤❛t tr❛♥s❧❛t❡s ❛ ✇❡❧❧✲❢♦✉♥❞❡❞ ♠♦❞❡❧ ✐♥t♦ ❛ ♣❛r❛❝♦♥s✐st❡♥t ❡①t❡♥❞❡❞ ✇❡❧❧✲❢♦✉♥❞❡❞ ♠♦❞❡❧

Γ ●❡❧❢♦♥❞✲▲✐❢s❝❤✐t③ ♦♣❡r❛t♦r

HP ❍❡r❜r❛♥❞ ❜❛s❡ ♦❢ ♣r♦❣r❛♠ P

kerSEM(P) ❙❡♠❛♥t✐❝ ❦❡r♥❡❧ ♦❢ ♣r♦❣r❛♠ P

kerxSEM(P) ❊①t❡♥❞❡❞ s❡♠❛♥t✐❝ ❦❡r♥❡❧ ♦❢ ♣r♦❣r❛♠P

7→LW F S ❘❡❞✉❝t✐♦♥ s②st❡♠ ❢♦r ❝♦♠♣✉t✐♥❣ t❤❡ ❧❛②❡r❡❞ r❡♠❛✐♥❞❡r

MGP ▼♦❞✉❧❡s ❣r❛♣❤ ♦❢ ♣r♦❣r❛♠ P

M H ▼✐♥✐♠❛❧ ❤②♣♦t❤❡s❡s s❡♠❛♥t✐❝s

M HP P❛r❛❝♦♥s✐st❡♥t ♠✐♥✐♠❛❧ ❤②♣♦t❤❡s❡s s❡♠❛♥t✐❝s

P≤T _{T s❡❣♠❡♥t ♦❢ ♣r♦❣r❛♠ P}

RelP(a) ❘❡❧❡✈❛♥t s✉❜♣r♦❣r❛♠ ♦❢P t♦ ❛t♦♠ a

SCC ❙tr♦♥❣❧② ❝♦♥♥❡❝t❡❞ ❝♦♠♣♦♥❡♥t

SEM ❆❜❜r❡✈✐❛t✐♦♥ ❢♦r ✧s❡♠❛♥t✐❝s✧

7→W F S ❘❡❞✉❝t✐♦♥ s②st❡♠ ❢♦r ❝♦♠♣✉t✐♥❣ t❤❡ ✇❡❧❧✲❢♦✉♥❞❡❞ ♠♦❞❡❧

W F S ❲❡❧❧✲❢♦✉♥❞❡❞ s❡♠❛♥t✐❝s

W F SXP P❛r❛❝♦♥s✐st❡♥t ❡①t❡♥❞❡❞ ✇❡❧❧✲❢♦✉♥❞❡❞ s❡♠❛♥t✐❝s

❈❤❛♣t❡r ✶

■♥tr♦❞✉❝t✐♦♥

❲❡ ♠❛❦❡ ❛ ❜r✐❡❢ ♦✈❡r✈✐❡✇ ♦❢ t❤❡ ❤✐st♦r✐❝❛❧ ❞❡✈❡❧♦♣♠❡♥ts ✐♥ t❤❡ ✜❡❧❞ ♦❢ ❧♦❣✐❝ ♣r♦❣r❛♠s s❡✲ ♠❛♥t✐❝s✱ t❤❛t ❤❡❛❞❡❞ t♦ t❤❡ ✐♠♣❧❡♠❡♥t❛t✐♦♥ ♦❢2✲✈❛❧✉❡❞ ❝♦♥s❡r✈❛t✐✈❡ ❡①t❡♥s✐♦♥s ♦❢ t❤❡ st❛✲

❜❧❡ ♠♦❞❡❧ s❡♠❛♥t✐❝s ❛♥❞ ♦❢ ♣❛r❛❝♦♥s✐st❡♥t s❡♠❛♥t✐❝s✱ ✇❤✐❝❤ ❛r❡ t♦♦❧s ✇❡ ✉s❡ ✐♥ t❤✐s ✇♦r❦✳ ❚❤❡r❡♦♥✱ ✇❡ ❥✉st✐❢② t❤❡ ✐♥t❡r❡st ❛♥❞ s✉❝❝✐♥❝t❧② ♣r❡s❡♥t t❤❡ ❡ss❡♥❝❡ ♦❢ t❤❡ r❡s✉❧ts st❛t❡❞ ✐♥ t❤✐s t❤❡s✐s✳

❆rt✐✜❝✐❛❧ ✐♥t❡❧❧✐❣❡♥❝❡ ✐s ❛❜♦✉t t❤❡ ❞❡s✐❣♥ ♦❢ ❡♥t✐t✐❡s ✭❛❣❡♥ts✮ ❝❛♣❛❜❧❡ ♦❢ ❜❡❤❛✈✐♥❣ ✐♥t❡❧✲ ❧✐❣❡♥t❧② ✐♥ s♦♠❡ ❡♥✈✐r♦♥♠❡♥t✳ ❙✉❝❤ ❛♥ ❡♥t✐t② ♥❡❡❞s t♦ ❛❝❝❡ss ❦♥♦✇❧❡❞❣❡ ❛❜♦✉t t❤✐s ❡♥✈✐✲ r♦♥♠❡♥t✱ ✇❤✐❝❤ ✐♥ t✉r♥ ❞❡♠❛♥❞s ❛♥ ✉♥❛♠❜✐❣✉♦✉s ❧❛♥❣✉❛❣❡ ❢♦r ❡①♣r❡ss✐♥❣ t❤✐s ❦♥♦✇❧❡❞❣❡✱ t♦❣❡t❤❡r ✇✐t❤ s♦♠❡ ✇❛② ♦❢ ♠❛♥✐♣✉❧❛t✐♥❣ s❡♥t❡♥❝❡s ♦❢ t❤❡ ❧❛♥❣✉❛❣❡ ✐♥ ♦r❞❡r t♦ ✐♥❢❡r ♥❡✇ ❦♥♦✇❧❡❞❣❡ ❢r♦♠ t❤❡ ❦♥♦✇❧❡❞❣❡ ❛❧r❡❛❞② ❛❝q✉✐r❡❞✳ ❆r♦✉♥❞ ✶✾✻✵✱ ▼❝❈❛rt❤② ❬▼❝❝✺✾❪ ✜rst ♣r♦♣♦s❡❞ t❤❡ ✉s❡ ♦❢ ❧♦❣✐❝❛❧ ❢♦r♠✉❧❛s ❛s ❛ ❜❛s✐s ❢♦r ❛ ❦♥♦✇❧❡❞❣❡ r❡♣r❡s❡♥t❛t✐♦♥ ❧❛♥❣✉❛❣❡ ♦❢ t❤✐s t②♣❡✳ ■♥ ❤✐s ♦✇♥ ✇♦r❞s✱

❊①♣r❡ss✐♥❣ ✐♥❢♦r♠❛t✐♦♥ ✐♥ ❞❡❝❧❛r❛t✐✈❡ s❡♥t❡♥❝❡s ✐s ❢❛r ♠♦r❡ ♠♦❞✉❧❛r t❤❛♥ ❡①✲ ♣r❡ss✐♥❣ ✐t ✐♥ s❡❣♠❡♥ts ♦❢ ❝♦♠♣✉t❡r ♣r♦❣r❛♠s ♦r ✐♥ t❛❜❧❡s✳ ❙❡♥t❡♥❝❡s ❝❛♥ ❜❡ tr✉❡ ✐♥ ❛ ♠✉❝❤ ✇✐❞❡r ❝♦♥t❡①t t❤❛♥ s♣❡❝✐✜❝ ♣r♦❣r❛♠s ❝❛♥ ❜❡ ✉s❡❞✳ ❚❤❡ s✉♣♣❧✐❡r ♦❢ ❛ ❢❛❝t ❞♦❡s ♥♦t ❤❛✈❡ t♦ ✉♥❞❡rst❛♥❞ ♠✉❝❤ ❛❜♦✉t ❤♦✇ t❤❡ r❡❝❡✐✈❡r ❢✉♥❝t✐♦♥s ♦r ❤♦✇ ♦r ✇❤❡t❤❡r t❤❡ r❡❝❡✐✈❡r ✇✐❧❧ ✉s❡ ✐t✳ ❚❤❡ s❛♠❡ ❢❛❝t ❝❛♥ ❜❡ ✉s❡❞ ❢♦r ♠❛♥② ♣✉r♣♦s❡s✱ ❜❡❝❛✉s❡ t❤❡ ❧♦❣✐❝❛❧ ❝♦♥s❡q✉❡♥❝❡s ♦❢ ❝♦❧❧❡❝t✐♦♥s ♦❢ ❢❛❝ts ❝❛♥ ❜❡ ❛✈❛✐❧❛❜❧❡✳

❚❤❡ ❝♦♠❜✐♥❛t✐♦♥ ♦❢ ❧♦❣✐❝ ❛s ❛ r❡♣r❡s❡♥t❛t✐♦♥ ❧❛♥❣✉❛❣❡✱ ✇✐t❤ t❤❡ t❤❡♦r② ♦❢ ❛✉t♦♠❛t❡❞ ❞❡❞✉❝✲ t✐♦♥✱ ❧❡❞ ❑♦✇❛❧s❦✐ ❛♥❞ ❈♦❧♠❡r❛✉❡r t♦ t❤❡ ❝r❡❛t✐♦♥ ♦❢ t❤❡ ✜rst ❞❡❝❧❛r❛t✐✈❡ ❧♦❣✐❝ ♣r♦❣r❛♠♠✐♥❣ ❧❛♥❣✉❛❣❡✱ Pr♦❧♦❣ ❬❈❑❘P✼✸✱ ✈❊❑✼✻❪✳ ❚❤❡ Pr♦❧♦❣ ❧❛♥❣✉❛❣❡ ❤❛s ❛✈❛✐❧❛❜❧❡ t❤❡ ♠❡❝❤❛♥✐s♠ ♦❢ ♥❡❣❛t✐♦♥ ❛s ❢❛✐❧✉r❡✱ ✉♥❞❡r ✇❤✐❝❤ ❡✈❡r②t❤✐♥❣ t❤❛t ❝❛♥♥♦t ❜❡ ✜♥✐t❡❧② ♣r♦✈❡♥ tr✉❡ ✐s ❝♦♥❝❧✉❞❡❞ ❢❛❧s❡✳✶

✶_{❚❤✐s ✜rst ♣❛rt ♦❢ t❤❡ ✐♥tr♦❞✉❝t✐♦♥ ✐s ❛ ✈❡r② ❝❧♦s❡ ❛❞❛♣t❛t✐♦♥ ❢r♦♠ ❬❇●✾✹❪✳}

❆ ♥✉♠❜❡r ♦❢ s❡♠❛♥t✐❝s ❢♦r ♥♦r♠❛❧ ❧♦❣✐❝ ♣r♦❣r❛♠s✱ ✐✳❡✳✱ t❤♦s❡ ✇✐t❤ ♥❡❣❛t✐♦♥ ❜② ❞❡❢❛✉❧t✷_✱

❛♣♣❡❛r❡❞ s✐♥❝❡ t❤❡♥✱ t✇♦ ♠❛✐♥ ♦❢ ✇❤✐❝❤ ❛r❡ t❤❡ 3✲✈❛❧✉❡❞ ✇❡❧❧✲❢♦✉♥❞❡❞ s❡♠❛♥t✐❝s✱ ❲❋❙

❬●❘❙✾✶❪✱ ❛♥❞ t❤❡ 2✲✈❛❧✉❡❞ st❛❜❧❡ ♠♦❞❡❧ s❡♠❛♥t✐❝s ❙▼ ❬●▲✽✽❪✳ ❚❤❡ ❙▼ s❡♠❛♥t✐❝s ✐s

❣❡♥❡r❛❧❧② ❛❝❝❡♣t❡❞ ❜② t❤❡ ❧♦❣✐❝ ♣r♦❣r❛♠s s❝✐❡♥t✐✜❝ ❝♦♠♠✉♥✐t② ❛s t❤❡ ❞❡ ❢❛❝t♦ st❛♥❞❛r❞2✲

✈❛❧✉❡❞ s❡♠❛♥t✐❝s✳ ◆❡✈❡rt❤❡❧❡ss t❤❡r❡ ❛r❡ ❛❞✈❛♥t❛❣❡♦✉s ♣r♦♣❡rt✐❡s t❤❡ ❙▼ s❡♠❛♥t✐❝s ❧❛❝❦s✱ s✉❝❤ ❛s ♠♦❞❡❧ ❡①✐st❡♥❝❡ ❢♦r ❡✈❡r② ♥♦r♠❛❧ ❧♦❣✐❝ ♣r♦❣r❛♠✱ r❡❧❡✈❛♥❝❡ ❛♥❞ ❝✉♠✉❧❛t✐✈✐t②✳ ▼♦❞❡❧ ❡①✐st❡♥❝❡ ❣✉❛r❛♥t❡❡s t❤❛t ❡✈❡r② ♥♦r♠❛❧ ❧♦❣✐❝ ♣r♦❣r❛♠ ❤❛s ❛ s❡♠❛♥t✐❝s✳ ❚❤✐s ✐s ✐♠♣♦rt❛♥t t♦ ❛❧❧♦✇ ❛r❜✐tr❛r② ✉♣❞❛t❡s ❛♥❞✴♦r ♠❡r❣❡s ✐♥✈♦❧✈✐♥❣ ❦♥♦✇❧❡❞❣❡ ❜❛s❡s✱ ♣♦ss✐❜❧② ❢r♦♠ ❞✐✛❡r✲ ❡♥t ❛✉t❤♦rs ♦r s♦✉r❝❡s ❬PP✶✶❪✳ ❘❡❧❡✈❛♥❝❡ ❛❧❧♦✇s ❢♦r t♦♣✲❞♦✇♥ q✉❡r② s♦❧✈✐♥❣ ✇✐t❤♦✉t t❤❡ ♥❡❡❞ t♦ ❛❧✇❛②s ❝♦♠♣✉t❡ ❝♦♠♣❧❡t❡ ♠♦❞❡❧s✱ ❜✉t ❥✉st t❤❡ s✉❜✲♠♦❞❡❧s t❤❛t s✉st❛✐♥ t❤❡ ❛♥s✇❡r t♦ ❛ q✉❡r②✱ t❤♦✉❣❤ ❣✉❛r❛♥t❡❡❞ ❡①t❡♥❞❛❜❧❡ t♦ ✇❤♦❧❡ ♦♥❡s ❬PP✶✶❪✳ ❆s ❢♦r ❝✉♠✉❧❛t✐✈✐t②✱ ✐t ❛❧❧♦✇s t❤❡ ♣r♦❣r❛♠♠❡r t♦ t❛❦❡ ❛❞✈❛♥t❛❣❡ ♦❢ t❛❜❧✐♥❣ t❡❝❤♥✐q✉❡s ❬❙✇✐✾✾❪ ❢♦r s♣❡❡❞✐♥❣ ✉♣ ❝♦♠♣✉t❛t✐♦♥s ❬PP✶✶❪✳

■t ✐s t❤✉s r❡❛s♦♥❛❜❧❡ t♦ s❡❛r❝❤ ❢♦r 2✲✈❛❧✉❡❞ s❡♠❛♥t✐❝s t❤❛t ❡①t❡♥❞ ❝♦♥s❡r✈❛t✐✈❡❧② t❤❡ SM✱ ♠❡❛♥✐♥❣ t❤❛t ❢♦r ❡❛❝❤ ♥♦r♠❛❧ ❧♦❣✐❝ ♣r♦❣r❛♠ ❛❧❧ t❤❡ st❛❜❧❡ ♠♦❞❡❧s ❛r❡ ♦❜t❛✐♥❡❞✱ ❡✈❡♥t✉❛❧❧② t♦❣❡t❤❡r ✇✐t❤ s♦♠❡ ♦t❤❡r ♠♦❞❡❧s ✐♥ ♦r❞❡r t♦ ❡♥s✉r❡ s♦♠❡ ♦r ❛❧❧ ♦❢ t❤❡ r❡❢❡rr❡❞ ♣r♦♣❡rt✐❡s✳ ■♥ ❬PP✶✶❪ t❤❡ ❛✉t❤♦rs ❞❡✈❡❧♦♣❡❞ t❤❡ ❛❜❞✉❝t✐✈❡ ♠✐♥✐♠❛❧ ❤②♣♦t❤❡s❡s s❡♠❛♥t✐❝s ❢♦r ♥♦r♠❛❧ ❧♦❣✐❝ ♣r♦❣r❛♠s M H✱ ✇❤✐❝❤ ✐s ❛♥ ❡①✐st❡♥t✐❛❧ 2✲✈❛❧✉❡❞ ♠♦❞❡❧s s❡♠❛♥t✐❝s✳ ❆❜❞✉❝t✐✈❡ ❧♦❣✐❝

♣r♦❣r❛♠♠✐♥❣ ✐s ❛♥ ❡①t❡♥s✐♦♥ ♦❢ ❧♦❣✐❝ ♣r♦❣r❛♠♠✐♥❣ t♦ ♣❡r❢♦r♠ ❛❜❞✉❝t✐✈❡ r❡❛s♦♥✐♥❣ ❬❉❑✵✷❪ ✭s❡❡ s❡❝t✐♦♥ ✸✳✸✮✳ ❈♦♥s✐❞❡r ❛s ❛♥ ❡①❛♠♣❧❡ t❤❡ ❢♦❧❧♦✇✐♥❣ ♣r♦❣r❛♠P

p←not p b←a a←

✇❤✐❝❤ ❤❛s ♥♦ st❛❜❧❡ ♠♦❞❡❧s✱ ❞✉❡ t♦ t❤❡ r✉❧❡ p ← not p✱ ❜✉t ♥♦♥❡t❤❡❧❡ss ❤❛s t❤❡ M HP

♠♦❞❡❧ M = {a, b, p}✱ ✇❤✐❝❤ ✐s ♦❜t❛✐♥❡❞ ❛❢t❡r ❛❞❞✐♥❣ t♦ P t❤❡ ❛❜❞✉❝t✐✈❡ ❡①♣❧❛♥❛t✐♦♥ ✭❢♦r M✮ p✱ ❛❧s♦ ❝❛❧❧❡❞ ❛❜❞✉❝t✐✈❡ ❤②♣♦t❤❡s✐s✳

❆ ❧✐♠✐t❛t✐♦♥ ♦❢ t❤❡ s❡♠❛♥t✐❝s ❢♦r ♥♦r♠❛❧ ❧♦❣✐❝ ♣r♦❣r❛♠s✱ ✐s t❤❛t t❤❡② ❞♦ ♥♦t ❝♦♥s✐❞❡r t❤❡ ❛ss❡rt✐♦♥ ♦❢ ♥❡❣❛t✐♦♥✳ ❙❡✈❡r❛❧ ❛✉t❤♦rs ❬❲❛❣✾✶✱ Pr③✾✵❛✱ ●▲✾✵✱ P❆✾✷✱ ❑❙✾✵✱ ●❙❈✾✽✱ Pr③✾✵❜❪ ❤❛✈❡ str❡ss❡❞ t❤❡ ♥❡❡❞ t♦ ❡♥❞♦✇ ♥♦r♠❛❧ ❧♦❣✐❝ ♣r♦❣r❛♠s ✇✐t❤ ❛ s❡❝♦♥❞ ❦✐♥❞ ♦❢ ♥❡❣❛t✐♦♥ ♦♣❡r❛t♦r✱ t❤❡ ❡①♣❧✐❝✐t ♥❡❣❛t✐♦♥ ✧¬✧✱ ❢♦r r❡♣r❡s❡♥t✐♥❣ ❝♦♥tr❛❞✐❝t♦r② ❦♥♦✇❧❡❞❣❡✱ ✐♥ ❛❞❞✐t✐♦♥ t♦ t❤❡ ❞❡❢❛✉❧t ♥❡❣❛t✐♦♥ ♦♣❡r❛t♦r ✧not✧✱ ✉s❡❞ ❢♦r r❡♣r❡s❡♥t✐♥❣ ✐♥❝♦♠♣❧❡t❡ ✐♥❢♦r♠❛t✐♦♥✳ ❆ ❧❛♥❣✉❛❣❡ ❝♦♥t❛✐♥✐♥❣ ❛♥ ❡①♣❧✐❝✐t ♥❡❣❛t✐♦♥ ♦♣❡r❛t♦r✱ ❤❛s t✇♦ t②♣❡s ♦❢ ♥♦♥ ❞❡❢❛✉❧t ❧✐t❡r❛❧s✿ ♣♦s✐t✐✈❡ ❧✐t❡r❛❧s L✱ ❛♥❞ ❡①♣❧✐❝✐t❧② ♥❡❣❛t❡❞ ❧✐t❡r❛❧s ¬L✱ ❡❛❝❤ ❛❞♠✐tt✐♥❣ t❤❡ ❝♦rr❡s♣♦♥❞✐♥❣ ❞❡❢❛✉❧t ♥❡❣❛t❡❞ ✈❡rs✐♦♥✱ r❡s♣❡❝t✐✈❡❧② not L❛♥❞ not¬L✳ ❚❤❡r❡ ❛r❡ ♣❧❡♥t② ♦❢ ❡①❛♠♣❧❡s t❤❛t ❞✐s♣❧❛② t❤❡ ♥❡❡❞ ❢♦r ❡①♣❧✐❝✐t❧② ♥❡❣❛t❡❞ ❧✐t❡r❛❧s ✐♥ ❧♦❣✐❝ ♣r♦❣r❛♠♠✐♥❣✱ ❜♦t❤ ✐♥ t❤❡ ❤❡❛❞s ❛♥❞ ✐♥ t❤❡ ❜♦❞✐❡s ♦❢ t❤❡ r✉❧❡s✳

❊①❛♠♣❧❡ ✶✳✶✳ ✭❛❞❛♣t❡❞ ❢r♦♠ ❬❆P✾✻❪✮ ❈♦♥s✐❞❡r t❤❡ st❛t❡♠❡♥t ✧P❡♥❣✉✐♥s ❞♦ ♥♦t ✢②✧✳ ❚❤✐s st❛t❡♠❡♥t ♠❛② ❜❡ r❡♣r❡s❡♥t❡❞ ✇✐t❤✐♥ ❧♦❣✐❝ ♣r♦❣r❛♠♠✐♥❣ ❜② no❴f ly(X) ← penguin(X)✳

✷_{◆❡❣❛t✐♦♥ ❜② ❞❡❢❛✉❧t ✐s ❛ s❡♠❛♥t✐❝ ❝♦✉♥t❡r♣❛rt ♥♦t✐♦♥ ❢♦r t❤❡ ♣r♦❝❡❞✉r❛❧ Pr♦❧♦❣ ♥♦t✐♦♥ ♦❢ ♥❡❣❛t✐♦♥} ❛s ❢❛✐❧✉r❡✱ ❜r♦✉❣❤t ❢r♦♠ ♥♦♥✲♠♦♥♦t♦♥✐❝ r❡❛s♦♥✐♥❣ ✐♥t♦ ❧♦❣✐❝ ♣r♦❣r❛♠♠✐♥❣ s❡♠❛♥t✐❝s✱ ❛s ❛♥ ❛❞❛♣t❛t✐♦♥ ♦❢ t❤❡ ❝❧♦s❡❞ ✇♦r❧❞ ❛ss✉♠♣t✐♦♥ ♣r✐♥❝✐♣❧❡✱ ❈❲❆ ❬❘❡✐✼✽❪✳ ❆❧t❤♦✉❣❤ ❜♦t❤ ❡①♣r❡ss✐♦♥s ❛r❡ s♦♠❡t✐♠❡s ✉s❡❞ ❛s s②♥♦♥②♠s✱ t❤❡② ❛r❡ ♥♦t t❤❡ s❛♠❡ ✭s❡❡ ❬▲❧♦✽✼❪✮✳

▼❡❛♥✇❤✐❧❡ ✐❢ ❛❞❞✐t✐♦♥❛❧❧② ✇❡ ✇✐s❤ t♦ r❡♣r❡s❡♥t t❤❡ st❛t❡♠❡♥t ✧❇✐r❞s ✢②✧✱ f ly(X) ← birds(X)✱ ♥♦ ❝♦♥♥❡❝t✐♦♥ r❡s✉❧ts ❜❡t✇❡❡♥ t❤❡ ♣r❡❞✐❝❛t❡s no❴f ly(X) ❛♥❞f ly(X)✱ ❛❧t❤♦✉❣❤

t❤❡ ✐♥t❡♥t✐♦♥ ♦❢ t❤❡ ♣r♦❣r❛♠♠❡r ✐s t♦ s❡t t❤❡♠ ❛s ❝♦♥tr❛❞✐❝t♦r② ✭✐✳❡✳✱ t❤❡ ♣r❡❞✐❝❛t❡s ❛r❡ ✐♥t❡♥❞❡❞ ♥♦t t♦ ❜❡ ❜♦t❤ tr✉❡ ♦r ❜♦t❤ ❢❛❧s❡ ✐♥ ❛ ♠♦❞❡❧✮✳ ■♥ t❤✐s ❝❛s❡ ✐t ✐s s✉✐t❛❜❧❡ t♦ ❤❛✈❡ t❤❡ r✉❧❡¬f ly(X)←penguin(X)✐♥st❡❛❞ ♦❢no❴f ly(X)←penguin(X)✱ s✐♥❝❡ ❛ s❡♠❛♥t✐❝s t❤❛t

❞❡❛❧s ✇✐t❤ t❤❡ ♦♣❡r❛t♦r ✧¬✧ ✇✐❧❧ ❜② ❞❡✜♥✐t✐♦♥ ❝♦♥s✐❞❡r ♣r❡❞✐❝❛t❡sf ly(X) ❛♥❞ ¬f ly(X) ❛s

❝♦♥tr❛❞✐❝t♦r② ♦♣♣♦s✐t❡s✳

❊①❛♠♣❧❡ ✶✳✷✳ ✭❛❞❛♣t❡❞ ❢r♦♠ ❬❆P✾✻❪✮ ❈♦♥s✐❞❡r t❤❡ st❛t❡♠❡♥t ✧❆ s❝❤♦♦❧ ❜✉s ♠❛② ❝r♦ss r❛✐❧✇❛② tr❛❝❦s ✉♥❞❡r t❤❡ ❝♦♥❞✐t✐♦♥ t❤❛t t❤❡r❡ ✐s ♥♦ ❛♣♣r♦❛❝❤✐♥❣ tr❛✐♥✧✳ ■❢ ✇❡ ❡①♣r❡ss t❤❡ st❛t❡♠❡♥t ✇✐t❤ t❤❡ r✉❧❡ cross ← not train✱ t❤❡♥ t❤❡ ❧❛❝❦ ♦❢ ✐♥❢♦r♠❛t✐♦♥ ❛❜♦✉t t❤❡ ♣r❡s❡♥❝❡ ♦❢ t❤❡ tr❛✐♥ ❛❧❧♦✇s t❤❡ ❜✉s t♦ ❝r♦ss t❤❡ tr❛❝❦s✳ ■♥ t❤✐s ❝❛s❡ ✐t ✐s s✉✐t❛❜❧❡ t♦ ❤❛✈❡ ✐♥st❡❛❞ t❤❡ r✉❧❡cross ← ¬train✱ ♠❛❦✐♥❣ cross ❞❡♣❡♥❞ ♦♥ ❛ ♣r♦♦❢ ♦❢ ¬train✭♦❢ ❝♦✉rs❡ ✐t ✐s t❤❡ ♣r♦❣r❛♠♠❡r✬s r❡s♣♦♥s✐❜✐❧✐t② t♦ ❞❡✜♥❡¬train✐♥ ❛ ♠❛♥♥❡r t❤❛t ❝❛t❡rs t♦ t❤❡ ♥❡❡❞ ❢♦r ❛ss✉r❡❞♥❡ss ♦❢ t❤❡ ❢❛❧s✐t② ♦❢ train✮✳

❆s ❛ ❝♦♥s❡q✉❡♥❝❡ ♦❢ t❤❡ ♥❡❡❞ ❢♦r ❛♥ ❡①♣❧✐❝✐t ♥❡❣❛t✐♦♥ ♦♣❡r❛t♦r✱ ❛ ♥✉♠❜❡r ♦❢ s❡♠❛♥t✐❝s t❤❛t ✐♥t❡r♣r❡t t❤✐s t②♣❡ ♦❢ ♦♣❡r❛t♦r ❤❛✈❡ ❜❡❡♥ ♣r♦♣♦s❡❞ ✕ t❤♦s❡ ❢♦r ❡①t❡♥❞❡❞ ♥♦r♠❛❧ ❧♦❣✐❝ ♣r♦✲ ❣r❛♠s✳ ❆♠♦♥❣ t❤♦s❡ ❛r❡ t❤❡ ♣❛r❛❝♦♥s✐st❡♥t s❡♠❛♥t✐❝s ❬❆❉P✾✺✱ ❆r✐✵✷✱ ❇❙✽✾✱ P❲✽✾✱ ❙❛❦✾✷❪✱ ✇❤✐❝❤ ❤❛✈❡ t❤❡ ❢♦❧❧♦✇✐♥❣ ❛❞✈❛♥t❛❣❡♦✉s ♣r♦♣❡rt②✿ ✐❢SEM✐s ❛ ♣❛r❛❝♦♥s✐st❡♥t s❡♠❛♥t✐❝s ❛♥❞ P ❛♥ ✐♥❝♦♥s✐st❡♥t ❡①t❡♥❞❡❞ ♥♦r♠❛❧ ❧♦❣✐❝ ♣r♦❣r❛♠ ✇✐t❤ r❡s♣❡❝t t♦ ❡①♣❧✐❝✐t ♥❡❣❛t✐♦♥✱ ✐✳❡✳ ❛ ♣r♦❣r❛♠ ✇❤❡r❡ ❛❧❧ t❤❡ SEM ♠♦❞❡❧s ❤❛✈❡ ❛t ❧❡❛st ❛ ♣❛✐r ♦❢ ❝♦♥tr❛❞✐❝t♦r② ❧✐t❡r❛❧s✱ s❛② b ❛♥❞ ¬b✱ t❤❡♥ SEM(P) ✐s ♥♦t ♠❛♥❞❛t♦r✐❧② tr✐✈✐❛❧ ✕ ❛ tr✐✈✐❛❧ s❡♠❛♥t✐❝s ♦❢ ❛ ❧♦❣✐❝ ♣r♦❣r❛♠

❜❡✐♥❣ ♦♥❡ t❤❛t ❝♦♥t❛✐♥s t❤❡ ❧✐t❡r❛❧s L ❛♥❞ ¬L✱ ❢♦r ❡✈❡r② ❛t♦♠ L ♦❢ t❤❡ ❧❛♥❣✉❛❣❡ ♦❢ P ✸✳ ❚❤✐s ❤❛s ❜❡❡♥ s❤♦✇♥ ❛♥ ✐♠♣♦rt❛♥t ♣r♦♣❡rt② ❢♦r ❢r❛♠❡✇♦r❦s ♦❢ ❦♥♦✇❧❡❞❣❡ ❛♥❞ r❡❛s♦♥✐♥❣ r❡♣r❡s❡♥t❛t✐♦♥✳ ❚❤✐s ♣♦✐♥t ✐s ❝❧❛r✐✜❡❞ ❜② t❤❡ ♥❡①t ❡①❛♠♣❧❡✳

❊①❛♠♣❧❡ ✶✳✸✳ ✭❛❞❛♣t❡❞ ❢r♦♠ ❬❆r✐✵✷❪✮ ❈♦♥s✐❞❡r t❤❡ ❢♦❧❧♦✇✐♥❣ ♣r♦❣r❛♠P✳

a←r q← r←

¬r←not¬q.

❇♦t❤ q ❛♥❞ r s❤♦✉❧❞ ❜❡ tr✉❡ ✐♥ ❛♥② r❡❛s♦♥❛❜❧❡ s❡♠❛♥t✐❝s ♦❢ P✳ ◆♦✇ ¬r ✐s ❛❧s♦ tr✉❡ s✐♥❝❡ ¬q ❞♦❡s ♥♦t ❤♦❧❞✳ ❚❤✐s s❡❡♠s ❛ ♥❛t✉r❛❧ ✐♥t❡r♣r❡t❛t✐♦♥ ♦❢ P✱ ❛♥❞ ❤❡♥❝❡ P ❝♦♥t❛✐♥s ❝♦♥tr❛❞✐❝t♦r② ✐♥❢♦r♠❛t✐♦♥ r❡❣❛r❞✐♥❣ r✳ ❍♦✇❡✈❡r t❤❡ tr✉❡ ✈❛❧✉❡ ♦❢ q ✐s ♥♦t r❡❧❛t❡❞ t♦ ❛♥② ❝♦♥tr❛❞✐❝t♦r② ✐♥❢♦r♠❛t✐♦♥✳ ❚❤❡ s❛♠❡ ❝❛♥♥♦t ❜❡ s❛✐❞ ❛❜♦✉t a✱ ✇❤✐❝❤ ❞❡♣❡♥❞s ♦♥ r✳ ❚❤✉s ❛ ♣❛r❛❝♦♥s✐st❡♥t s❡♠❛♥t✐❝s s❤♦✉❧❞ ❜❡ ❛❜❧❡ t♦ s♣♦t t❤❡ tr✉❡ ✈❛❧✉❡ ♦❢ q ❛s ♥♦t s✉♣♣♦rt❡❞ ♦♥ ❝♦♥tr❛❞✐❝t✐♦♥✱ ❛♥❞ t❤❡ tr✉❡ ✈❛❧✉❡ ♦❢ a ❛s s✉♣♣♦rt❡❞ ♦♥ ❝♦♥tr❛❞✐❝t✐♦♥✱ ✇❤✐❧❡ r ✐s ✐ts❡❧❢ ❝♦♥tr❛❞✐❝t♦r② ✭❛♥❞ t❤✉s s✉♣♣♦rt❡❞ ♦♥ ✐ts ♦✇♥ ❝♦♥tr❛❞✐❝t✐♦♥✮✳

❲✐t❤ s♣❡❝✐❛❧ ✐♥t❡r❡st ❢♦r t❤✐s ✇♦r❦ ✐s t❤❡ ♣❛r❛❝♦♥s✐st❡♥t ✇❡❧❧✲❢♦✉♥❞❡❞ s❡♠❛♥t✐❝s ✇✐t❤ ❡①♣❧✐❝✐t ♥❡❣❛t✐♦♥ W F SXP ❬❆❉P✾✺❪✱ ✇❤✐❝❤ ✐s ❛ s❡♠❛♥t✐❝s ♦❢ ♣❛rt✐❛❧ ♠♦❞❡❧s ❢♦r ❡①t❡♥❞❡❞ ♥♦r♠❛❧

✸_{❚❤✐s ❝❤❛r❛❝t❡r✐③❛t✐♦♥ ♦❢ ❛ ♣❛r❛❝♦♥s✐st❡♥t s❡♠❛♥t✐❝s ✐s ✐♥ ❧✐♥❡ ✇✐t❤ ❏❛❦♦✇s❦✐✲❞❛ ❈♦st❛✬s ❣❡♥❡r❛❧ ❞❡✜♥✐t✐♦♥} ♦❢ ♣❛r❛❝♦♥s✐st❡♥t t❤❡♦r②✿ ❣✐✈❡♥ ❛ ❧♦❣✐❝ ✇✐t❤ ❛ ♥❡❣❛t✐♦♥ ✧¬✧✱ ❛ t❤❡♦r②T ✐s ♣❛r❛❝♦♥s✐st❡♥t ✐✛ ✐t ✐s ✐♥❝♦♥s✐st❡♥t

❛♥❞ ♥♦♥✲tr✐✈✐❛❧ ✭s❡❡ ❬❞❈❇❇✾✺❪✮✳

❧♦❣✐❝ ♣r♦❣r❛♠s✳ ❚❤❡ W F SXP ❡♥✈✐s❛❣❡s ❞❡❢❛✉❧t ♥❡❣❛t✐♦♥ ❛♥❞ ❡①♣❧✐❝✐t ♥❡❣❛t✐♦♥ ♥❡❝❡ss❛r✐❧②

r❡❧❛t❡❞ t❤r♦✉❣❤ t❤❡ ❝♦❤❡r❡♥❝❡ ♣r✐♥❝✐♣❧❡ ❬P❆✾✷❪✿ ✐❢ ¬L ❤♦❧❞s✱ t❤❡♥ not L s❤♦✉❧❞ ❛❧s♦ ❤♦❧❞ ✭s✐♠✐❧❛r❧② ✐❢ L✱ t❤❡♥ not ¬L✮✳ ❚❤❡W F SXP s❡♠❛♥t✐❝s ♦❢ t❤❡ ♣r♦❣r❛♠ ✐♥ ❡①❛♠♣❧❡ ✶✳✸ ✐s

✭s❡❡ ❝❤❛♣t❡r ✺✮

W F MP(P) ={a, not a, not¬a, r, not r,¬r, not ¬r, q, not¬q}.

◆♦t✐❝❡ t❤❛t ❞❡❢❛✉❧t ❝♦♥s✐st❡♥❝② ✭✐✳❡✳ L ❛♥❞ not L ❝❛♥♥♦t s✐♠✉❧t❛♥❡♦✉s❧② ❜❡ tr✉❡✮ ✐s ♥♦t ❡♥❢♦r❝❡❞ ❜② W F SXP✳ ❚❤✐s ✐s ❛ ❞✐st✐♥❣✉✐s❤ ❢❡❛t✉r❡ ♦❢ t❤✐s s❡♠❛♥t✐❝s✱ ❞✉❡ t♦ t❤❡ ❛❞♦♣t✐♦♥

♦❢ t❤❡ ❝♦❤❡r❡♥❝❡ ♣r✐♥❝✐♣❧❡✱ ✇❤✐❝❤ ♣❡r♠✐ts ❞❡t❡❝t✐♦♥ ♦❢ s✉♣♣♦rt ♦♥ ❝♦♥tr❛❞✐❝t✐♦♥✿ ✇❤❡♥ L ❛♥❞not L❜❡❧♦♥❣ t♦ ❛ ♠♦❞❡❧✱ t❤❡♥L✐s s✉♣♣♦rt❡❞ ♦♥ ❝♦♥tr❛❞✐❝t✐♦♥ ❬❆❉P✾✺❪✳ ❚❤❡W F SXP

r❡❞✉❝❡s t♦ t❤❡ W F S ♦♥ ♥♦r♠❛❧ ❧♦❣✐❝ ♣r♦❣r❛♠s✳

■♥ ❝❤❛♣t❡r ✺ ✇❡ ❞❡✜♥❡ t❤❡ ♣❛r❛❝♦♥s✐st❡♥t ♠✐♥✐♠❛❧ ❤②♣♦t❤❡s❡s s❡♠❛♥t✐❝sM HP✱ ✇❤✐❝❤ ❝♦♠✲

❜✐♥❡s t❤❡ ♠❡r✐ts ♦❢ t❤❡ M H ❛♥❞ ♦❢ t❤❡ W F SXP✳ ■t ✐s ❛ s❡♠❛♥t✐❝s ♦❢ t♦t❛❧ ♣❛r❛❝♦♥s✐st❡♥t

♠♦❞❡❧s✱ ♠❡❛♥✐♥❣ t❤❛t ❣✐✈❡♥ ❛♥ ❡①t❡♥❞❡❞ ♥♦r♠❛❧ ❧♦❣✐❝ ♣r♦❣r❛♠P ❛♥❞ ❛ M HP ♠♦❞❡❧M ♦❢

P✱ ♠♦❞❡❧ M ❝♦♥t❛✐♥s ♥♦ ✉♥❞❡✜♥❡❞ ❧✐t❡r❛❧s✳ ■t ❡♥❞♦✇s W F SXP ✇✐t❤ ❝❤♦✐❝❡ ♠❡❝❤❛♥✐s♠s

t❤❛t ❛❧❧♦✇ r❡❛s♦♥✐♥❣ ❜② ❝❛s❡s✱ ✐♥ t❤❡ st②❧❡ ♦❢ M H✳ ▲❡t ✉s ✐❧❧✉str❛t❡ t❤✐s ❝❤❛r❛❝t❡r✐③❛t✐♦♥ ♦❢ t❤❡ M HP ✇✐t❤ ❛♥ ❡①❛♠♣❧❡✳

❊①❛♠♣❧❡ ✶✳✹✳ ❈♦♥s✐❞❡r t❤❡ ❢♦❧❧♦✇✐♥❣ ♣r♦❣r❛♠ P✳

c← a←not b

b←not a ¬c←a ¬c←b r ←c

❚❤❡ W F SXP ♠♦❞❡❧ ♦❢ P ✐s✹✿

W F MP(P) =h{c, r}+,{a, b}u,{¬a,¬b,¬c,¬r}−i.

◆♦t✐❝❡ t❤❛t ¬c ∈ W F M_P−(P) ❞✉❡ t♦ t❤❡ ❝♦❤❡r❡♥❝❡ ♣r✐♥❝✐♣❧❡✳ ◆♦✇ t❤✐s ♠♦❞❡❧ ✐s ♥♦t

✐♥❝♦♥s✐st❡♥t✱ ❡✐t❤❡r ✇✐t❤ r❡s♣❡❝t t♦ ❞❡❢❛✉❧t ♥❡❣❛t✐♦♥✱ ♦r ✇✐t❤ r❡s♣❡❝t t♦ ❡①♣❧✐❝✐t ♥❡❣❛t✐♦♥✺_✳

❚❤❡ ❧✐t❡r❛❧r ∈W F M_P+(P)❞♦❡s ♥♦t ❤❛✈❡ s✉♣♣♦rt ♦♥ ❝♦♥tr❛❞✐❝t✐♦♥✱ ❜❡❝❛✉s❡ t❤❡W F SXP✱

❜❡✐♥❣ W F S ❜❛s❡❞✱ r❡tr✐❡✈❡sa, b ❛s ✉♥❞❡✜♥❡❞✳ ◆❡✈❡rt❤❡❧❡ss ✐t ✐s ❛r❣✉❡❞ ✐♥ t❤❡ ❧✐t❡r❛t✉r❡ t❤❛t ❛ r❡❛s♦♥❛❜❧❡ s❡♠❛♥t✐❝s ❢♦r ♥♦r♠❛❧ ❧♦❣✐❝ ♣r♦❣r❛♠s s❤♦✉❧❞ r❡❧② ♦♥ t❤❡ ✐♥t❡rs❡❝t✐♦♥ ♦❢2✲

✈❛❧✉❡❞ ♠♦❞❡❧s ✭s❡❡ ❢♦r ✐♥st❛♥❝❡ ❬❉✐①✾✻❪✱ s❡❝t✐♦♥ ✸✳✺✮✳ ❆s t❤❡ s✉❜♣r♦❣r❛♠{a←not b, b← not a} ✐s ♥♦r♠❛❧ ❛♥❞ ❞❡♣❡♥❞s ♦♥ ♥♦ ♦t❤❡r r✉❧❡✱ ❛ ❧❡ss s❦❡♣t✐❝❛❧ s❡♠❛♥t✐❝s ❝♦✉❧❞ r❡tr✐❡✈❡ ❡✐t❤❡r a ♦r b ❛s ♣♦s✐t✐✈❡✱ ❛♥❞ t❤✉s ¬c ✇♦✉❧❞ ❜❡ ♣♦s✐t✐✈❡ ❛♥❞ r ✇♦✉❧❞ ❜❡ s✉♣♣♦rt❡❞ ♦♥ ❝♦♥tr❛❞✐❝t✐♦♥✳ ■t ✐s t❤❡ ❝❛s❡ t❤❛t t❤❡M HP s❡♠❛♥t✐❝s ♦❢P ❝♦♥s✐sts ♦❢ t❤❡ ♠♦❞❡❧s

M1=h{a, c,¬c, r}+,{¬a, b,¬b, c,¬c, r,¬r}−i M2=h{b, c,¬c, r}+,{a,¬a,¬b, c,¬c, r,¬r}−i,

✹_{❲❡ r❡♣r❡s❡♥t t❤❡ ♠♦❞❡❧ ✇✐t❤ t❤❡ ❛❧t❡r♥❛t✐✈❡ ♥♦t❛t✐♦♥M =hM}+_{, M}u_{, M}−_{i ❛♥❞ ❡♠♣❤❛s✐③❡ t❤❡ ✈❛❧✉❛✲}

t✐♦♥s ❜② ✉s✐♥❣ t❤❡ ❝♦rr❡s♣♦♥❞✐♥❣ ❧❛❜❡❧ ✧+, u,−✧✳

✺_{❲❡ ✇✐❧❧ s❡❡ ✐♥ ❝❤❛♣t❡r ✺ t❤❛t ❛ ❝♦♥tr❛❞✐❝t✐♦♥ ✇✐t❤ r❡s♣❡❝t t♦ ❞❡❢❛✉❧t ♥❡❣❛t✐♦♥ ✭L ❛♥❞ not L✮ ♦♥❧②} ♦❝❝✉rs ✐❢ ❛ ❝♦♥tr❛❞✐❝t✐♦♥ ✇✐t❤ r❡s♣❡❝t t♦ ❡①♣❧✐❝✐t ♥❡❣❛t✐♦♥ ❛❧s♦ ♦❝❝✉rs ✇✐t❤ s♦♠❡ ❧✐t❡r❛❧L❞❡♣❡♥❞s ♦♥✳

❜♦t❤ ♦❢ t❤❡♠ s❤♦✇✐♥❣r❛s s✉♣♣♦rt❡❞ ♦♥ ❝♦♥tr❛❞✐❝t✐♦♥✱ ❜❡❝❛✉s❡r ❛♥❞not r❜❡❧♦♥❣ t♦ ❜♦t❤ ♠♦❞❡❧s✳

❚❤❡ ♠❛✐♥ ✈✐rt✉❡ ♦❢ ❛ ♣❛r❛❝♦♥s✐st❡♥t s❡♠❛♥t✐❝s ✐s t❤❛t ♦❢ ♣r❡s❡r✈✐♥❣ t❤❡ ✐♥❢♦r♠❛t✐♦♥ t❤❛t ✐s ❢r❡❡ ❢r♦♠ ❝♦♥tr❛❞✐❝t✐♦♥✱ ✐♥ t❤❡ ♣r❡s❡♥❝❡ ♦❢ ❝♦♥tr❛❞✐❝t♦r② ✐♥❢♦r♠❛t✐♦♥✱ ❜② ❛❧❧♦✇✐♥❣ ♥♦♥ tr✐✈✐❛❧ ♠♦❞❡❧s✳ ◆♦t✇✐t❤st❛♥❞✐♥❣✱ t❤❡ ❡①✐st❡♥❝❡ ♦❢ ♥♦♥✲tr✐✈✐❛❧ ♠♦❞❡❧s ✐s ♦❢ ❧✐tt❧❡ ✉s❡ ✐❢ s♦♠❡ ♠❡❝❤❛♥✐s♠ t♦ s❡♣❛r❛t❡ t❤✐s t✇♦ t②♣❡s ♦❢ ✐♥❢♦r♠❛t✐♦♥ ✐s ♥♦t ❛t ❤❛♥❞✳ ❇② ❞❡t❡❝t✐♥❣ s✉♣♣♦rt ♦♥ ❝♦♥tr❛❞✐❝t✐♦♥✱ t❤❡M HP ❤❛s ✐♥❝♦r♣♦r❛t❡❞ s✉❝❤ ❛ ♠❡❝❤❛♥✐s♠ ❢♦r ❝♦♥tr❛❞✐❝t✐♦♥s

✇✐t❤ r❡s♣❡❝t t♦ ❡①♣❧✐❝✐t ♥❡❣❛t✐♦♥✳ ▼❡❛♥✇❤✐❧❡ ✇❡ ♠❛② ✇❛♥t t♦ ❞❡❛❧ ✇✐t❤ ❜r♦❛❞❡r ✐♥❝♦♥s✐s✲ t❡♥❝② t❤❡♦r✐❡s t❤❛♥ t❤❡ ♦♥❡s ✇❤✐❝❤ ❝♦♥s✐❞❡r ♦♥❧② ❛ s✐♥❣❧❡ t②♣❡ ♦❢ ❝♦♥str❛✐♥t✱ ⊥ ← L,¬L✳ ❚❤❛t ✐s ✇❤② ✐♥ ❝❤❛♣t❡r ✻ ✇❡ ❝♦♥s✐❞❡r t✇♦ ♣r♦❝❡❞✉r❡s t♦ ❞❡❛❧ ✇✐t❤ ✐♥❝♦♥s✐st❡♥t t❤❡♦r✐❡s✱ ✇✐t❤ r❡s♣❡❝t t♦ ❝♦♥str❛✐♥t t❤❡♦r✐❡s t❤❛t ❝♦♥t❛✐♥ ♠♦r❡ ❣❡♥❡r❛❧ ❝♦♥str❛✐♥ts✱ s❛②⊥ ←a, not b✳ ■♥ t❤❡ ♣r❡s❡♥❝❡ ♦❢ s✉❝❤ ♠♦r❡ ❣❡♥❡r❛❧ ❝♦♥str❛✐♥ts✱ t❤❡ s✉♣♣♦rt ♦♥ ❝♦♥tr❛❞✐❝t✐♦♥ ❝❛♣❛❜✐❧✐t② ❞✐s♣♦s❡❞ ❜② t❤❡ M HP s❡♠❛♥t✐❝s ✐s ♥♦t s✉✣❝✐❡♥t t♦ ❞❡t❡❝t ❛❧❧ t②♣❡s ♦❢ s✉♣♣♦rt ♦♥ ✐♥❝♦♥✲

s✐st❡♥❝② t❤❛t ♠❛② ♥♦✇ ❛r✐s❡ ❢r♦♠ t❤❡ ❛❝t✐✈❛t✐♦♥ ♦❢ ✐♥t❡❣r✐t② ❝♦♥str❛✐♥ts✳ ❚❤❡ ♣r♦❝❡❞✉r❡s ✇❡ ❡①♣♦✉♥❞ t❤❡r❡ t♦ ❞❡❛❧ ✇✐t❤ ♠♦r❡ ❣❡♥❡r❛❧ ✐♥❝♦♥s✐st❡♥t t❤❡♦r✐❡s✱ ❛r❡ t❤❡ ❢♦❧❧♦✇✐♥❣✳ ❲❡ ❝♦♥s✐❞❡r ❛ r❡✈✐s✐♦♥ ♣r♦❝❡❞✉r❡ t❤❛t ❛❝ts ✐♥ t❤❡ ❢❛s❤✐♦♥ ♦❢ ❛ ❞❡❝❧❛r❛t✐✈❡ ❞❡❜✉❣❣❡r ❬P❉❆✾✸❛❪✱ ✐✳❡✳✱ t❤❡ r❡✈✐s✐♦♥ ♣r♦❝❡❡❞s ❜② ❞❡❧❡t✐♥❣ r✉❧❡s ♦❢ ❛ t❤❡♦r② ♦r ❜② r❡✈✐s✐♥❣ t❤❡ ❈❲❆ ✈❛❧✉❛✲ t✐♦♥ ♦❢ ❝❡rt❛✐♥ ❧✐t❡r❛❧s✱ t❤✉s tr❡❛t✐♥❣ ♣r♦❣r❛♠s ❛s ♠❛❧❢✉♥❝t✐♦♥✐♥❣ ❞❡✈✐❝❡s ♥❡❡❞✐♥❣ r❡♣❛✐r✳ ❚❤✐s t②♣❡ ♦❢ r❡✈✐s✐♦♥ ❛♣♣r♦❛❝❤ ✐s ♦❢ ❛ s②♥t❛❝t✐❝ ♥❛t✉r❡✱ ✐♥❧✐♥❡ ✇✐t❤ ❛ ❢❛♠✐❧② ♦❢ ❛♣♣r♦❛❝❤❡s ♥♦r♠❛❧❧② ❞❡s✐❣♥❛t❡❞ ❜❡❧✐❡❢ ❜❛s❡✱ ❛♥❞ t❤✉s ❞✐✛❡r❡♥t ❢r♦♠ ♦t❤❡r t②♣❡ ♦❢ ✧s❡♠❛♥t✐❝ ✢❛✈♦r❡❞✧ ❛♣♣r♦❛❝❤❡s ♥♦r♠❛❧❧② ❞❡s✐❣♥❛t❡❞ ❜❡❧✐❡❢ s❡t ❬❉❙❚❲✶✷❪✳ ❲❡ ❝♦♥s✐❞❡r ❛❧s♦ ❛ ♣r♦❝❡❞✉r❡ ❢♦r ❞❡t❡❝t✐♥❣ s✉♣♣♦rt ♦♥ ❝♦♥tr❛❞✐❝t✐♦♥✱ ✇❤❡r❡ t❤❡ ❝♦♥tr❛❞✐❝t♦r② ❧✐t❡r❛❧s ❛r❡ t❤♦s❡ t❤❛t ❛♣♣❡❛r ✐♥ t❤❡ ❞❡✜♥✐t✐♦♥ ♦❢ t❤❡ ❝♦♥str❛✐♥ts ✇❤♦s❡ ❜♦❞✐❡s ❛r❡ ✈❡r✐✜❡❞ ❜② s♦♠❡ ♠♦❞❡❧✳ ❍❛✈✐♥❣ s✉❝❤ ❛♥ ✐♥❝♦♥s✐st❡♥❝② ♣r♦♣❛❣❛t✐♦♥ ❞❡t❡❝t✐♦♥ ♣r♦❝❡❞✉r❡ ✐s ♦❢ ✉t♠♦st ✐♠♣♦rt❛♥❝❡✱ ❜❡❝❛✉s❡✿ ✭✶✮ ✐t ❢✉❧✜❧❧s t❤❡ ✈❡r② r❡❛s♦♥ t❤❛t ✉♥❞❡r❧✐❡s t❤❡ ❡①✐st❡♥❝❡ ♦❢ ♣❛r❛❝♦♥s✐st❡♥t s❡♠❛♥t✐❝s✱ ✇❤✐❝❤ ✐s t❤❡ ♣♦ss✐❜✐❧✐t② ♦❢ ❡①tr❛❝t✐♥❣ ✐♥❢♦r♠❛t✐♦♥ ❢r♦♠ ✐♥❝♦♥s✐st❡♥t ♠♦❞❡❧s❀ ✭✷✮ ✐t ♠❛② ❜❡ ✉s❡❞ t♦ ❣❡t t❤❡ s♦✉♥❞ ✐♥❢♦r♠❛t✐♦♥ ❢r♦♠ ❛♥ ✐♥❝♦♥s✐st❡♥t t❤❡♦r②✱ ✐♥ ❝❛s❡s ✇❤❡r❡ ❛ r❡✈✐s✐♦♥ ♣r♦❝❡ss ✐s ♥♦t ❝♦♥s✐❞❡r❡❞✱ ♦r ✐♥ ❝❛s❡s ✇❤❡r❡ ❛ r❡✈✐s✐♦♥ ✐s ♥♦t ❝❛♣❛❜❧❡ ♦❢ ❡❧✐♠✐♥❛t✐♥❣ ❛❧❧ ✐♥❝♦♥s✐st❡♥❝✐❡s ✐♥ t❤❡ r❡s✉❧t✐♥❣ ♠♦❞❡❧s✳

■♥ t❤✐s ✐♥tr♦❞✉❝t♦r② ♣❛rt ♦❢ t❤❡ t❤❡s✐s✱ ✇❡ ❤❛✈❡ ❛❧r❡❛❞② ✉♥✈❡✐❧❡❞ ♦✉r ♣r♦♣♦s❛❧s t♦ ❛❝❝♦♠✲ ♣❧✐s❤ t❤❡ ♠❛✐♥ ❣♦❛❧ ♦❢ t❤✐s ✇♦r❦✱ ✇❤✐❝❤ ✐s t♦ ♦❜t❛✐♥ ❛ s❡♠❛♥t✐❝s t❤❛t ❞❡❛❧s ✇✐t❤ ✐♥❝♦♥s✐st❡♥t t❤❡♦r✐❡s✱ ❛♥❞ t❤❡♥ ❢❛❝❡ t❤❡ r❡✈✐s✐♦♥ ♣r♦❝❡ss ❜② r❡s♦rt✐♥❣ t♦ ❛♥ ❛❜❞✉❝t✐✈❡ ♠❡❝❤❛♥✐s♠ ✐♥ t❤❡ st②❧❡ ♦❢ t❤❡M H s❡♠❛♥t✐❝s✳ ❚❤❡ ❢✉❧✜❧❧♠❡♥t ♦❢ t❤✐s ♣❧❛♥ ❝♦♥s✐sts ✐♥ t❤❡ ♠❛t❡r✐❛❧ ♣r❡s❡♥t❡❞ ✐♥ ❝❤❛♣t❡rs ✺ ❛♥❞ ✻✳

▼❡❛♥✇❤✐❧❡ s♦♠❡ ✐ss✉❡s ❝♦♥❝❡r♥✐♥❣ t❤❡ ❝❤❛r❛❝t❡r✐③❛t✐♦♥ ♦❢ t❤❡ M HP ✇✐t❤ r❡s♣❡❝t t♦ t❤❡

♣r♦♣❡rt✐❡s ♦❢ ❡①✐st❡♥❝❡✱ r❡❧❡✈❛♥❝❡ ❛♥❞ ❝✉♠✉❧❛t✐✈✐t② ✇❡r❡ ❛❧s♦ t❛❝❦❧❡❞✳ ❚❤♦s❡ ❛r❡ ✐♠♣♦rt❛♥t ♣r♦♣❡rt✐❡s ❢r♦♠ t❤❡ ❝♦♠♣✉t❛t✐♦♥❛❧ ♣♦✐♥t ♦❢ ✈✐❡✇✱ ❛s ❛❧r❡❛❞② r❡❢❡rr❡❞✳ ❚❤❡ ♠❛✐♥ r❡s✉❧ts ♦❢ ♦✉r ❛♣♣r♦❛❝❤ ♦♥ t❤❡s❡ ♠❛tt❡rs✱ ❛r❡ st❛t❡❞ ✐♥ ❝❤❛♣t❡r ✹✳ ❚❤❡r❡ ✇❡ ❞❡✜♥❡ ❛ ❢❛♠✐❧② ♦❢

2✲✈❛❧✉❡❞ ❝♦♥s❡r✈❛t✐✈❡ ❡①t❡♥s✐♦♥s ♦❢ t❤❡ SM s❡♠❛♥t✐❝s✻✱ t❤❡ ❛✣① st❛❜❧❡ ♠♦❞❡❧ s❡♠❛♥t✐❝s ❢❛♠✐❧② ASM✱ ✇❤♦s❡ ❡❧❡♠❡♥ts ❛r❡ ✷✲✈❛❧✉❡❞ s❡♠❛♥t✐❝s ❢♦r ♥♦r♠❛❧ ❧♦❣✐❝ ♣r♦❣r❛♠s✳ ❚❤❡ ♣✉r♣♦s❡ ♦❢ ❡st❛❜❧✐s❤✐♥❣ t❤✐s ❢❛♠✐❧②✱ ✐s t♦ ♣r❡s❡♥t ❛ ❣❡♥❡r❛❧ ❡♥♦✉❣❤ ❞❡✜♥✐t✐♦♥ ♦❢ 2✲✈❛❧✉❡❞

✻_{▼❡❛♥✐♥❣ s❡♠❛♥t✐❝s t❤❛t ❢♦r ❡❛❝❤ ♥♦r♠❛❧ ❧♦❣✐❝ ♣r♦❣r❛♠ r❡tr✐❡✈❡ ❛❧❧ t❤❡ st❛❜❧❡ ♠♦❞❡❧s ♦❢ t❤❡ ♣r♦❣r❛♠✱} ❡✈❡♥t✉❛❧❧② t♦❣❡t❤❡r ✇✐t❤ s♦♠❡ ♦t❤❡r ♠♦❞❡❧s ✐♥ ♦r❞❡r t♦ ❡♥s✉r❡ s♦♠❡ ♦r ❛❧❧ ♦❢ t❤❡ ♣r♦♣❡rt✐❡s ♦❢ ❡①✐st❡♥❝❡✱ r❡❧❡✈❛♥❝❡ ❛♥❞ ❝✉♠✉❧❛t✐✈✐t②✳

♠♦❞❡❧ ❝♦♥s❡r✈❛t✐✈❡ ❡①t❡♥s✐♦♥s ♦❢ t❤❡ st❛❜❧❡ ♠♦❞❡❧ s❡♠❛♥t✐❝s✱ ✇❤✐❝❤ ❡✈❡♥t✉❛❧❧② r❡♣r❡s❡♥ts ❜♦t❤ ❛ ❧❛r❣❡ ❛♥❞ ✐♥t❡r❡st✐♥❣ ♥✉♠❜❡r ♦❢ s❡♠❛♥t✐❝s ✉♥❞❡r t❤✐s ❞❡s✐❣♥❛t✐♦♥✳ ■♥ ♦r❞❡r t♦ ❧♦♦❦ ❢♦r ❛ ❝❤❛r❛❝t❡r✐③❛t✐♦♥ ♦❢ s♦♠❡ s❡♠❛♥t✐❝s ♣❡rt❛✐♥✐♥❣ t♦ t❤❡ ASM ❢❛♠✐❧②✱ ✇✐t❤ r❡s♣❡❝t t♦ t❤❡ ♣r♦♣❡rt✐❡s ♦❢ ❡①✐st❡♥❝❡✱ r❡❧❡✈❛♥❝❡ ❛♥❞ ❝✉♠✉❧❛t✐✈✐t②✱ ✇❡ ✇❡r❡ ❧❡❞ t♦ t❤❡ ❞❡✜♥✐t✐♦♥ ♦❢ t✇♦ s✉❜❢❛♠✐❧✐❡s ASMh _{⊂ ASM ❛♥❞ ASM}m _{⊂ ASM✳ ❙❡♠❛♥t✐❝s ♦❢ t❤❡ ASM}h _{❢❛♠✐❧②}

❛r❡ ♠✐♥✐♠❛❧ ✭♣♦s✐t✐✈❡✮ ❤②♣♦t❤❡s❡s ❣❡♥❡r❛t❡❞ ❛❜❞✉❝t✐✈❡ s❡♠❛♥t✐❝s✱ ✐♥ t❤❡ st②❧❡ ♦❢ M H✱ ✇❤✐❧st s❡♠❛♥t✐❝s ♦❢ t❤❡ ASMm ❢❛♠✐❧② ❛r❡ ♠✐♥✐♠❛❧ ♠♦❞❡❧s ❛❜❞✉❝t✐✈❡ s❡♠❛♥t✐❝s✳ ❲❡ s❤♦✇ t❤❛t ❛ s❡♠❛♥t✐❝s SEM ♦❢ ❛♥② ♦❢ t❤❡s❡ t✇♦ ❢❛♠✐❧✐❡s ✐s ❝✉♠✉❧❛t✐✈❡ ✐✛ ❢♦r ❛♥② ♥♦r♠❛❧ ❧♦❣✐❝ ♣r♦❣r❛♠ P ❛♥❞ ❛♥② s✉❜s❡t S ⊆ ∩

M∈SEM(P)M

+_{✱ ✇❡ ❤❛✈❡ SEM(P) =SEM(P ∪S)✱ t❤❛t}

✐s✱ P ❛♥❞P∪S ❤❛✈❡ ❡①❛❝t❧② t❤❡ s❛♠❡2✲✈❛❧✉❡❞ ♠♦❞❡❧s✱ ✇❤❡r❡M+r❡♣r❡s❡♥ts t❤❡ ♣♦s✐t✐✈❡ ❧✐t❡r❛❧s ✐♥ M =hM+_{, M}−_{i ❛♥❞ M}− _{❝♦♠♣r✐s❡s t❤❡ ❛t♦♠s ❢❛❧s❡ ❜② ❞❡❢❛✉❧t✳ ❚❤✐s ✐s ❛ ✈❡r②}

✐♥t❡r❡st✐♥❣ r❡s✉❧t✱ ✐♥ ♦✉r ♦♣✐♥✐♦♥✱ s✐♥❝❡ ✐t r❡♣r❡s❡♥ts ❛ ❞❡✜♥✐t✐♦♥ ♦❢ ❝✉♠✉❧❛t✐✈✐t② ♥♦t ✐♥ t❡r♠s ♦❢ s❡ts ♦❢ ❧✐t❡r❛❧s ♣❡rt❛✐♥✐♥❣ t♦ ❛❧❧ ♠♦❞❡❧s ♦❢ ❛ ♣r♦❣r❛♠✱ ❜✉t ✐♥ t❡r♠s ♦❢ t❤❡ ♠♦❞❡❧s ♦❢ t❤❡ ♣r♦❣r❛♠ t❤❡♠s❡❧✈❡s✱ ♥♦t ❝♦♥s✐❞❡r✐♥❣ t❤❡✐r ✐♥t❡rs❡❝t✐♦♥✳ ❲❡ ❛❧s♦ s❤♦✇ t❤✐s ♣r♦♣❡rt② ♣❡r♠✐ts t♦ s♣♦t ❝✉♠✉❧❛t✐✈✐t② ❢❛✐❧✉r❡ ❜② ♠❡❛♥s ♦❢ ❝♦✉♥t❡r✲❡①❛♠♣❧❡s✱ ❡✈❡♥ ✐♥ s♦♠❡ ❝❛s❡s ✇❤❡r❡ t❤❡ ♣r♦❣r❛♠s ✉s❡❞ t♦ s❡t t❤❡ ❝♦✉♥t❡r✲❡①❛♠♣❧❡s ❞♦ ♥♦t ❡①♣❧✐❝✐t❧② ❡①❤✐❜✐t ❛ ❢❛✐❧✉r❡ ♦❢ ❝✉♠✉❧❛t✐✈✐t② ✭s❡❡ ❡①❛♠♣❧❡s ✐♥ s❡❝t✐♦♥ ✹✳✸✮✳ ❇② r❡s♦rt✐♥❣ t♦ t❤r❡❡ s❡♠❛♥t✐❝s str✉❝t✉r❛❧ ♣r♦♣❡rt✐❡s ✜rst ❞❡✜♥❡❞ ✐♥ t❤✐s ✇♦r❦✱ ❞❡❢❡❝t✐✈✐t②✱ ❡①❝❡ss✐✈❡♥❡ss ❛♥❞ ✐rr❡❣✉❧❛r✐t②✱ t❤❡ ❢♦❧❧♦✇✐♥❣ r❡❧❛t✐♦♥s ❛r❡ ❡st❛❜❧✐s❤❡❞ ❢♦r ❛♥② s❡♠❛♥t✐❝sSEM ♦❢ASMh _♦rASMm _{❢❛♠✐❧✐❡s ✭s❡❡ s❡❝t✐♦♥}

✹✳✹✮✿

✶✳ ❉❡❢❡❝t✐✈✐t② ⇔ ¬❊①✐st❡♥❝❡⇔ ¬●❧♦❜❛❧ t♦ ▲♦❝❛❧ ❘❡❧❡✈❛♥❝❡❀ ✷✳ ❉❡❢❡❝t✐✈✐t② ⇒ ¬❈❛✉t✐♦✉s ▼♦♥♦t♦♥②❀

✸✳ ❊①❝❡ss✐✈❡♥❡ss ⇒ ¬❈✉t❀

✹✳ ■rr❡❣✉❧❛r✐t② ⇔ ¬▲♦❝❛❧ t♦ ●❧♦❜❛❧ ❘❡❧❡✈❛♥❝❡✱

✇❤❡r❡ t❤❡ ♣r♦♣❡rt✐❡s ❣❧♦❜❛❧ t♦ ❧♦❝❛❧ r❡❧❡✈❛♥❝❡ ❛♥❞ ❧♦❝❛❧ t♦ ❣❧♦❜❛❧ r❡❧❡✈❛♥❝❡ ❛r✐s❡ ❢r♦♠ s♣❧✐t✲ t✐♥❣ r❡❧❡✈❛♥❝❡ ✐♥t♦ ✐ts t✇♦ s❡♣❛r❛t❡ ❧♦❣✐❝ ✐♠♣❧✐❝❛t✐♦♥s✳ ❆❧❧ t❤❡ r❡s✉❧ts r❡❢❡rr❡❞ ❛❜♦✈❡ ♠❛② t✉r♥ ✐♥t♦ ❛♥ ❡❛s✐❡r ❥♦❜ ❜♦t❤ t❤❡ ❞❡❢❡❛t✐♥❣ ❛s ✇❡❧❧ ❛s t❤❡ ♣r♦♦❢ ♦❢ t❤❡ ♣r♦♣❡rt✐❡s ♦❢ ❡①✐st❡♥❝❡✱ r❡❧❡✈❛♥❝❡ ❛♥❞ ❝✉♠✉❧❛t✐✈✐t②✱ ♠❛❦✐♥❣ ✐t ❛ ♠❛tt❡r ♦❢ ❞❡❛❧✐♥❣ ✇✐t❤ t❤❡ str✉❝t✉r❡ ♦❢ ♣r♦❣r❛♠s ✭✐✳❡✳✱ t❤❡ ❧❛②❡rs ♦❢ ♥♦r♠❛❧ ❧♦❣✐❝ ♣r♦❣r❛♠s ❬PP✶✶❪✮ ❛♥❞ ✇✐t❤ t❤❡ ❞❡❝♦♠♣♦s✐t✐♦♥ ♦❢ ♠♦❞❡❧s ♦✈❡r t❤❛t str✉❝t✉r❡✱ t❤✉s ❛✈♦✐❞✐♥❣ ✐♥ s♦♠❡ ❝❛s❡s ♣r♦♦❢s t❤❛t ♠❛② ♥♦t ❜❡ ❡❛s② t♦ ♦❜t❛✐♥ ✉s✐♥❣ ❛ ❞✐r❡❝t ♣r♦♦❢ str❛t❡❣②✳ ❚❤❡ str✉❝t✉r❛❧ ❛♣♣r♦❛❝❤ t❛❦❡♥ t♦ ❡st❛❜❧✐s❤ t❤❡ ♣r♦✜❧❡ ♦❢ ASMh _{❛♥❞ ASM}m _{❢❛♠✐❧✐❡s s❡♠❛♥t✐❝s✱ ❝♦♥❝❡r♥✐♥❣ t❤❡ ❛❢♦r❡♠❡♥t✐♦♥❡❞ ♣r♦♣❡rt✐❡s✱ r❡❧✐❡s}

❤❡❛✈✐❧② ♦♥ t❤❡ ❝♦♥❝❡♣t ♦❢ ❧❛②❡r✐♥❣ ♦❢ ♥♦r♠❛❧ ❧♦❣✐❝ ♣r♦❣r❛♠s ❬PP✶✶❪✱ ❛♥❞ ✐s t❤✉s ✐♥ ❧✐♥❡ ✇✐t❤ ❛ s②♥t❛❝t✐❝ t❛❝❦❧✐♥❣ ♦❢ t❤❡ s❡♠❛♥t✐❝s ♦❢ ♥♦r♠❛❧ ❧♦❣✐❝ ♣r♦❣r❛♠s✳

❚❤❡ ♠❛✐♥ r❡s✉❧ts ✐♥ t❤✐s ♣❛♣❡r ❛r❡ ❡♥♦✉♥❝❡❞ ❢♦r t❤❡ ✉♥✐✈❡rs❡ ♦❢ ✜♥✐t❡ ❣r♦✉♥❞ ❧♦❣✐❝ ♣r♦✲ ❣r❛♠s✱ ♠❡❛♥✐♥❣ ♣r♦❣r❛♠s ✇✐t❤♦✉t ✈❛r✐❛❜❧❡s ❛♥❞ ✇❤❡r❡ t❤❡ r✉❧❡s✱ ❝♦♥s✐❞❡r❡❞ ❛s s❡q✉❡♥❝❡s ♦❢ s②♠❜♦❧s✱ ❤❛✈❡ ✜♥✐t❡ ❧❡♥❣t❤✳

❚❤❡ ♠❛✐♥ ♦r✐❣✐♥❛❧ ❝♦♥tr✐❜✉t✐♦♥s ♦❢ t❤✐s ✇♦r❦✱ t♦ ❜❡ ❞❡t❛✐❧❡❞ ✐♥ t❤❡ s❡q✉❡❧✱ ❛r❡✿

✶✳ ❆♥ ✐♠♣r♦✈❡♠❡♥t ✐♥ t❤❡ ❞❡✜♥✐t✐♦♥ ♦❢ t❤❡ M H s❡♠❛♥t✐❝s t❤❛t r❡❞✉❝❡s t❤❡ s❡t ♦❢ ❛s✲ s✉♠❛❜❧❡ ❤②♣♦t❤❡s❡s ♦❢ ❛ ♣r♦❣r❛♠ ✭s❡❡ ❞❡✜♥✐t✐♦♥ ✸✳✶✻✮✳

✷✳ ❚❤❡ ❝♦♥❝❡♣t ♦❢ s✐♠♣❧❡ r❡❧❡✈❛♥❝❡ ♦❢ ❛ s❡♠❛♥t✐❝s✱ t❤❛t ❛❧❧♦✇s q✉❡r② ❛♥s✇❡r✐♥❣ ✐♥ ❛ ❜r❛✈❡ r❡❛s♦♥✐♥❣ ❢❛s❤✐♦♥ ✭s❡❡ ❞❡✜♥✐t✐♦♥ ✸✳✶✽✮ ✳

✸✳ ❚❤❡ ❞❡✜♥✐t✐♦♥ ♦❢ ❝✉♠✉❧❛t✐✈✐t② ❢♦r t❤❡ ❝❧❛ssASMh∪ASMm ♦❢ s❡♠❛♥t✐❝s✱ ❛s ❛ st❛t❡✲ ♠❡♥t ❛❜♦✉t s❡ts ♦❢ ♠♦❞❡❧s ✐♥st❡❛❞ ♦❢ ❛ st❛t❡♠❡♥t ❛❜♦✉t s❡ts ♦❢ ❛t♦♠s✱ ✇❤✐❝❤ ✐s ❛❞✈❛♥t❛❣❡♦✉s ❢♦r t❤❡ st✉❞② ♦❢ t❤✐s ♣r♦♣❡rt② ✭s❡❡ t❤❡♦r❡♠ ✹✳✾✮✳

✹✳ ❚❤❡ str✉❝t✉r❛❧ ❝♦♥❝❡♣ts ♦❢ ❞❡❢❡❝t✐✈✐t②✱ ❡①❝❡ss✐✈❡♥❡ss ❛♥❞ ✐rr❡❣✉❧❛r✐t②✱ ♦♥ t❤❡ ❜❛s✐s ♦❢ ✇❤✐❝❤ s♦♠❡ r❡❧❛t✐♦♥s ❛♠♦♥❣ t❤❡ ♣r♦♣❡rt✐❡s ♦❢ ❡①✐st❡♥❝❡✱ r❡❧❡✈❛♥❝❡ ❛♥❞ ❝✉♠✉❧❛t✐✈✐t② ✇❡r❡ ❞❡✜♥❡❞✱ ✇✐t❤ ❛❞✈❛♥t❛❣❡ ❢♦r t❤❡ st✉❞② ♦❢ t❤❡s❡s ♣r♦♣❡rt✐❡s ✭s❡❡ ❞❡✜♥✐t✐♦♥s ✹✳✶✽✱ ✹✳✶✾✱ ✹✳✷✵✮✳

✺✳ ❆s ❛♥ ❡①❛♠♣❧❡ ♦❢ t❤❡ r❡❧❛t✐♦♥s ❛♠♦♥❣ ♣r♦♣❡rt✐❡s ♠❡♥t✐♦♥❡❞ ✐♥ t❤❡ ❧❛st ✐t❡♠✱ ✇❡ ❤❛✈❡ s❤♦✇♥ t❤❛t ❡①✐st❡♥❝❡ ❢❛✐❧✉r❡ ✐♠♣❧✐❡s ❝❛✉t✐♦✉s ♠♦♥♦t♦♥② ❢❛✐❧✉r❡ ❢♦r t❤❡SM s❡♠❛♥t✐❝s✳ ❚❤✐s r❡s✉❧t✱ t♦ t❤❡ ❜❡st ♦❢ ♦✉r ❦♥♦✇❧❡❞❣❡✱ ❤❛❞ ♥♦t ②❡t ❜❡❡♥ s❡tt❧❡❞✳

✻✳ ❆ ❞❡t❛✐❧❡❞ ❝❤❛r❛❝t❡r✐③❛t✐♦♥ ♦❢ t❤❡ M H s❡♠❛♥t✐❝s ✇✐t❤ r❡s♣❡❝t t♦ t❤❡ ♣r♦♣❡rt✐❡s ♦❢ r❡❧❡✈❛♥❝❡ ❛♥❞ ❝✉♠✉❧❛t✐✈✐t②✳

✼✳ ❚❤❡ ❞❡✜♥✐t✐♦♥ ♦❢ t❤❡ s❡♠❛♥t✐❝s ❈②❛♥ t❤❛t✱ t♦ t❤❡ ❜❡st ♦❢ ♦✉r ❦♥♦✇❧❡❞❣❡✱ ✐s t❤❡ ✜rst ❞❡✜♥❡❞ ✷✲✈❛❧✉❡❞ ❢❛✐r ❝♦♥s❡r✈❛t✐✈❡ ❡①t❡♥s✐♦♥ ♦❢ t❤❡ SM s❡♠❛♥t✐❝s t❤❛t ✐s r❛t✐♦♥❛❧✱ ❡①✐st❡♥t✐❛❧✱ r❡❧❡✈❛♥t ❛♥❞ ❝✉♠✉❧❛t✐✈❡✳

✽✳ ❆ t♦t❛❧ ♠♦❞❡❧s ♣❛r❛❝♦♥s✐st❡♥t s❡♠❛♥t✐❝s M HP✱ t❤❛t ✐s ❡①✐st❡♥t✐❛❧✱ s✐♠♣❧❡ r❡❧❡✈❛♥t

❛♥❞ ❤❛s t❤❡ ❝❛♣❛❜✐❧✐t② ♦❢ ❞❡t❡❝t✐♥❣ s✉♣♣♦rt ♦♥ ❝♦♥tr❛❞✐❝t✐♦♥ ✭s❡❡ ❞❡✜♥✐t✐♦♥ ✺✳✶✶✮✳ ✾✳ ❆ r❡✈✐s✐♦♥ ❛❧❣♦r✐t❤♠ ❢♦r ✐♥❝♦♥s✐st❡♥t t❤❡♦r✐❡s ✇✐t❤ r❡s♣❡❝t t♦ t❤❡ M HP s❡♠❛♥t✐❝s

✭s❡❡ s✉❜s❡❝t✐♦♥ ✻✳✶✳✷✮✳

✶✵✳ ❆♥ ❛❧❣♦r✐t❤♠ ❢♦r ❝♦♠♣✉t✐♥❣ t❤❡ s❡t ♦❢ s❛❢❡ ❧✐t❡r❛❧s ♦❢ t❤❡ ❡①t❡♥❞❡❞ ❦❡r♥❡❧ ♦❢ ❛♥ ✐♥❝♦♥s✐st❡♥t t❤❡♦r② ✇✐t❤ r❡s♣❡❝t t♦ t❤❡M HP s❡♠❛♥t✐❝s ✭s❡❡ s✉❜s❡❝t✐♦♥ ✻✳✷✳✸✮✳

❲❡ r❡❝♦♠♠❡♥❞ r❡❛❞✐♥❣ t❤❡ ❝❤❛♣t❡rs ✐♥ t❤✐s t❤❡s✐s ✐♥ t❤❡ s❡q✉❡♥❝❡ t❤❡② ❛♣♣❡❛r✳ ❍♦✇✲ ❡✈❡r✱ ✐❢ t❤❡ r❡❛❞❡r ✐s ♥♦t ✐♥t❡r❡st❡❞ ✐♥ ❛❧❧ t❤❡ s✉❜❥❡❝ts✱ ♦r ✐s ♠♦r❡ ❦❡❡♥ ♦♥ s♦♠❡ t♦♣✐❝s r❛t❤❡r t❤❛♥ ♦t❤❡rs✱ ✇❡ ♣r♦✈✐❞❡ ❛❧t❡r♥❛t✐✈❡ r❡❛❞✐♥❣ ♣❛t❤s ❛s s❤♦✇♥ ❜❡❧♦✇✳

✷✲✸✲✹✲✼ ❙t✉❞② ♦❢ t❤❡ ♣r♦♣❡rt✐❡s ♦❢ ❡①✐st❡♥❝❡✱ ❝✉♠✉❧❛t✐✈✐t② ❛♥❞ r❡❧❡✈❛♥❝❡ ✐♥ ❛ s✉❜❝❧❛ss ♦❢ t❤❡ASM ❢❛♠✐❧② ♦❢ ✷✲✈❛❧✉❡❞ s❡♠❛♥t✐❝s✳

✷✲✸✲✺✲✻✲✼ P❛r❛❝♦♥s✐st❡♥tM HP s❡♠❛♥t✐❝s✱ ♣❧✉s r❡✈✐s✐♦♥ ❛♥❞ ✐♥❝♦♥s✐st❡♥❝②

♣r♦♣❛❣❛t✐♦♥ ❞❡t❡❝t✐♦♥ ♠❡t❤♦❞s ✭❛❧❧ s❡❝t✐♦♥s ✐♥ ✷ ❛♥❞ ✸ ❛r❡ ♦♣t✐♦♥❛❧✱ ❜✉t s❡❝t✐♦♥ ✸✳✸✮