▼❛①✐♠❛❧ ❈❧♦♥❡s ▼✐♥✐♠❛❧ ❈❧♦♥❡s ❙✉❜♠❛①✐♠❛❧ ❈❧♦♥❡s ❆❧❧ ♠❛①✐♠❛❧ ❝❧♦♥❡s ❢♦r ✇❡r❡ ❢♦✉♥❞ ✭❙✳ ❱✳ ❏❛❜❧♦♥s❦✐❥✱ ✶✾✺✺✮ ❆❧❧ ♠❛①✐♠❛❧ ❝❧♦♥❡s ✇❡r❡ ❢♦✉♥❞ ✭■✳ ❘♦s❡♥❜❡r❣✱ ✶✾✼✵✮ ❆❧❧ ✶✺✽ s✉❜♠❛①✐♠❛❧ ❝❧♦♥❡s ❢♦r ✇❡r❡ ❢♦✉♥❞ ✭❉✳ ▲❛✉✱ ❍✳ ▼❛❝❤✐❞❛✱ ❏✳ ❉❡♠❡tr♦✈✐❝s✱ ▲✳ ❍❛♥♥❛❦✱ ❙✳ ❙✳ ▼❛r❝❤❡♥❦♦✈✱ ❏✳ ❇❛❣②✐♥s③❦✐✮ ■✳ ❘♦s❡♥❜❡r❣ ❝❧❛ss✐✜❡❞ ❛❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❆❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❢♦r ✇❡r❡ ❢♦✉♥❞ ✭❇✳ ❈s✁ ❛❦✁ ❛♥②✱ ✶✾✽✸✮ ❆❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❢♦r ✇❡r❡ ❢♦✉♥❞ ✭❑❛rst❡♥ ❙❝❤☎ ♦❧③❡r✱ ✷✵✶✷✮ ❋♦r | A | > 2 O A ❚❤❡r❡ ❡①✐sts ❛ ❝♦♥t✐♥✉✉♠ ♦❢ ❝❧♦♥❡s ❢♦r | A | > 2 ✭❏✉✳ ■✳ ❏❛♥♦✈✱ ❆✳ ❆✳ ▼✉❝❤♥✐❦✱ ✶✾✺✾✮ ❈♦♥t✐♥✉✉♠ ♦❢ ❈❧♦♥❡s J A ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✻ ✴ ✹✾
▼✐♥✐♠❛❧ ❈❧♦♥❡s ❙✉❜♠❛①✐♠❛❧ ❈❧♦♥❡s ❆❧❧ ♠❛①✐♠❛❧ ❝❧♦♥❡s ❢♦r ✇❡r❡ ❢♦✉♥❞ ✭❙✳ ❱✳ ❏❛❜❧♦♥s❦✐❥✱ ✶✾✺✺✮ ❆❧❧ ♠❛①✐♠❛❧ ❝❧♦♥❡s ✇❡r❡ ❢♦✉♥❞ ❈♦♥t✐♥✉✉♠ ✭■✳ ❘♦s❡♥❜❡r❣✱ ✶✾✼✵✮ ♦❢ ❆❧❧ ✶✺✽ s✉❜♠❛①✐♠❛❧ ❝❧♦♥❡s ❢♦r ✇❡r❡ ❈❧♦♥❡s ❢♦✉♥❞ ✭❉✳ ▲❛✉✱ ❍✳ ▼❛❝❤✐❞❛✱ ❏✳ ❉❡♠❡tr♦✈✐❝s✱ ▲✳ ❍❛♥♥❛❦✱ ❙✳ ❙✳ ▼❛r❝❤❡♥❦♦✈✱ ❏✳ ❇❛❣②✐♥s③❦✐✮ ■✳ ❘♦s❡♥❜❡r❣ ❝❧❛ss✐✜❡❞ ❛❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❆❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❢♦r ✇❡r❡ ❢♦✉♥❞ ✭❇✳ ❈s✁ ❛❦✁ ❛♥②✱ ✶✾✽✸✮ ❆❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❢♦r ✇❡r❡ ❢♦✉♥❞ ✭❑❛rst❡♥ ❙❝❤☎ ♦❧③❡r✱ ✷✵✶✷✮ ❋♦r | A | > 2 O A ❚❤❡r❡ ❡①✐sts ❛ ❝♦♥t✐♥✉✉♠ ♦❢ ❝❧♦♥❡s ❢♦r | A | > 2 ✭❏✉✳ ■✳ ❏❛♥♦✈✱ ❆✳ ❆✳ ▼✉❝❤♥✐❦✱ ✶✾✺✾✮ ▼❛①✐♠❛❧ ❈❧♦♥❡s J A ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✻ ✴ ✹✾
▼✐♥✐♠❛❧ ❈❧♦♥❡s ❙✉❜♠❛①✐♠❛❧ ❈❧♦♥❡s ❈♦♥t✐♥✉✉♠ ♦❢ ❆❧❧ ✶✺✽ s✉❜♠❛①✐♠❛❧ ❝❧♦♥❡s ❢♦r ✇❡r❡ ❈❧♦♥❡s ❢♦✉♥❞ ✭❉✳ ▲❛✉✱ ❍✳ ▼❛❝❤✐❞❛✱ ❏✳ ❉❡♠❡tr♦✈✐❝s✱ ▲✳ ❍❛♥♥❛❦✱ ❙✳ ❙✳ ▼❛r❝❤❡♥❦♦✈✱ ❏✳ ❇❛❣②✐♥s③❦✐✮ ■✳ ❘♦s❡♥❜❡r❣ ❝❧❛ss✐✜❡❞ ❛❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❆❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❢♦r ✇❡r❡ ❢♦✉♥❞ ✭❇✳ ❈s✁ ❛❦✁ ❛♥②✱ ✶✾✽✸✮ ❆❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❢♦r ✇❡r❡ ❢♦✉♥❞ ✭❑❛rst❡♥ ❙❝❤☎ ♦❧③❡r✱ ✷✵✶✷✮ ❋♦r | A | > 2 O A ❚❤❡r❡ ❡①✐sts ❛ ❝♦♥t✐♥✉✉♠ ♦❢ ❝❧♦♥❡s ❢♦r | A | > 2 ✭❏✉✳ ■✳ ❏❛♥♦✈✱ ❆✳ ❆✳ ▼✉❝❤♥✐❦✱ ✶✾✺✾✮ ❆❧❧ ♠❛①✐♠❛❧ ❝❧♦♥❡s ❢♦r | A | = 3 ✇❡r❡ ❢♦✉♥❞ ✭❙✳ ❱✳ ❏❛❜❧♦♥s❦✐❥✱ ✶✾✺✺✮ ❆❧❧ ♠❛①✐♠❛❧ ❝❧♦♥❡s ✇❡r❡ ❢♦✉♥❞ ✭■✳ ❘♦s❡♥❜❡r❣✱ ✶✾✼✵✮ ▼❛①✐♠❛❧ ❈❧♦♥❡s J A ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✻ ✴ ✹✾
▼✐♥✐♠❛❧ ❈❧♦♥❡s ❈♦♥t✐♥✉✉♠ ♦❢ ▼❛①✐♠❛❧ ❈❧♦♥❡s ❈❧♦♥❡s ■✳ ❘♦s❡♥❜❡r❣ ❝❧❛ss✐✜❡❞ ❛❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❆❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❢♦r ✇❡r❡ ❢♦✉♥❞ ✭❇✳ ❈s✁ ❛❦✁ ❛♥②✱ ✶✾✽✸✮ ❆❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❢♦r ✇❡r❡ ❢♦✉♥❞ ✭❑❛rst❡♥ ❙❝❤☎ ♦❧③❡r✱ ✷✵✶✷✮ ❋♦r | A | > 2 O A ❚❤❡r❡ ❡①✐sts ❛ ❝♦♥t✐♥✉✉♠ ♦❢ ❝❧♦♥❡s ❢♦r | A | > 2 ✭❏✉✳ ■✳ ❏❛♥♦✈✱ ❆✳ ❆✳ ▼✉❝❤♥✐❦✱ ✶✾✺✾✮ ❆❧❧ ♠❛①✐♠❛❧ ❝❧♦♥❡s ❢♦r | A | = 3 ✇❡r❡ ❢♦✉♥❞ ✭❙✳ ❱✳ ❏❛❜❧♦♥s❦✐❥✱ ✶✾✺✺✮ ❆❧❧ ♠❛①✐♠❛❧ ❝❧♦♥❡s ✇❡r❡ ❢♦✉♥❞ ✭■✳ ❘♦s❡♥❜❡r❣✱ ✶✾✼✵✮ ❆❧❧ ✶✺✽ s✉❜♠❛①✐♠❛❧ ❝❧♦♥❡s ❢♦r | A | = 3 ✇❡r❡ ❢♦✉♥❞ ✭❉✳ ▲❛✉✱ ❍✳ ▼❛❝❤✐❞❛✱ ❏✳ ❉❡♠❡tr♦✈✐❝s✱ ❙✉❜♠❛①✐♠❛❧ ❈❧♦♥❡s ▲✳ ❍❛♥♥❛❦✱ ❙✳ ❙✳ ▼❛r❝❤❡♥❦♦✈✱ ❏✳ ❇❛❣②✐♥s③❦✐✮ J A ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✻ ✴ ✹✾
❈♦♥t✐♥✉✉♠ ♦❢ ▼❛①✐♠❛❧ ❈❧♦♥❡s ❈❧♦♥❡s ❙✉❜♠❛①✐♠❛❧ ❈❧♦♥❡s ■✳ ❘♦s❡♥❜❡r❣ ❝❧❛ss✐✜❡❞ ❛❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❆❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❢♦r ✇❡r❡ ❢♦✉♥❞ ✭❇✳ ❈s✁ ❛❦✁ ❛♥②✱ ✶✾✽✸✮ ❆❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❢♦r ✇❡r❡ ❢♦✉♥❞ ✭❑❛rst❡♥ ❙❝❤☎ ♦❧③❡r✱ ✷✵✶✷✮ ❋♦r | A | > 2 O A ❚❤❡r❡ ❡①✐sts ❛ ❝♦♥t✐♥✉✉♠ ♦❢ ❝❧♦♥❡s ❢♦r | A | > 2 ✭❏✉✳ ■✳ ❏❛♥♦✈✱ ❆✳ ❆✳ ▼✉❝❤♥✐❦✱ ✶✾✺✾✮ ❆❧❧ ♠❛①✐♠❛❧ ❝❧♦♥❡s ❢♦r | A | = 3 ✇❡r❡ ❢♦✉♥❞ ✭❙✳ ❱✳ ❏❛❜❧♦♥s❦✐❥✱ ✶✾✺✺✮ ❆❧❧ ♠❛①✐♠❛❧ ❝❧♦♥❡s ✇❡r❡ ❢♦✉♥❞ ✭■✳ ❘♦s❡♥❜❡r❣✱ ✶✾✼✵✮ ❆❧❧ ✶✺✽ s✉❜♠❛①✐♠❛❧ ❝❧♦♥❡s ❢♦r | A | = 3 ✇❡r❡ ▼✐♥✐♠❛❧ ❈❧♦♥❡s ❢♦✉♥❞ ✭❉✳ ▲❛✉✱ ❍✳ ▼❛❝❤✐❞❛✱ ❏✳ ❉❡♠❡tr♦✈✐❝s✱ ▲✳ ❍❛♥♥❛❦✱ ❙✳ ❙✳ ▼❛r❝❤❡♥❦♦✈✱ ❏✳ ❇❛❣②✐♥s③❦✐✮ J A ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✻ ✴ ✹✾
❈♦♥t✐♥✉✉♠ ♦❢ ▼❛①✐♠❛❧ ❈❧♦♥❡s ❈❧♦♥❡s ❙✉❜♠❛①✐♠❛❧ ❈❧♦♥❡s ❋♦r | A | > 2 O A ❚❤❡r❡ ❡①✐sts ❛ ❝♦♥t✐♥✉✉♠ ♦❢ ❝❧♦♥❡s ❢♦r | A | > 2 ✭❏✉✳ ■✳ ❏❛♥♦✈✱ ❆✳ ❆✳ ▼✉❝❤♥✐❦✱ ✶✾✺✾✮ ❆❧❧ ♠❛①✐♠❛❧ ❝❧♦♥❡s ❢♦r | A | = 3 ✇❡r❡ ❢♦✉♥❞ ✭❙✳ ❱✳ ❏❛❜❧♦♥s❦✐❥✱ ✶✾✺✺✮ ❆❧❧ ♠❛①✐♠❛❧ ❝❧♦♥❡s ✇❡r❡ ❢♦✉♥❞ ✭■✳ ❘♦s❡♥❜❡r❣✱ ✶✾✼✵✮ ❆❧❧ ✶✺✽ s✉❜♠❛①✐♠❛❧ ❝❧♦♥❡s ❢♦r | A | = 3 ✇❡r❡ ▼✐♥✐♠❛❧ ❈❧♦♥❡s ❢♦✉♥❞ ✭❉✳ ▲❛✉✱ ❍✳ ▼❛❝❤✐❞❛✱ ❏✳ ❉❡♠❡tr♦✈✐❝s✱ ▲✳ ❍❛♥♥❛❦✱ ❙✳ ❙✳ ▼❛r❝❤❡♥❦♦✈✱ ❏✳ ❇❛❣②✐♥s③❦✐✮ ■✳ ❘♦s❡♥❜❡r❣ ❝❧❛ss✐✜❡❞ ❛❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❆❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❢♦r | A | = 3 ✇❡r❡ ❢♦✉♥❞ ✭❇✳ ❈s✁ ❛❦✁ ❛♥②✱ ✶✾✽✸✮ ❆❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❢♦r | A | = 4 ✇❡r❡ ❢♦✉♥❞ ✭❑❛rst❡♥ ❙❝❤☎ ♦❧③❡r✱ ✷✵✶✷✮ J A ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✻ ✴ ✹✾
❈❛♥ ✇❡ ❞❡s❝r✐❜❡ ❛ s✐❣♥✐✜❝❛♥t ♣❛rt ♦❢ t❤❡ ❧❛tt✐❝❡❄ ❄ ❈♦♥t✐♥✉✉♠ ❈♦✉♥t❛❜❧❡ ❋✐♥✐t❡ ♦❢ ❈❧♦♥❡s ❈❛♥ ✇❡ ❞❡s❝r✐❜❡ ❛❧❧ s✉❜❝❧♦♥❡s ♦❢ ❛ ♠❛①✐♠❛❧ ❝❧♦♥❡❄ ❋♦r t❤❡ ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦❢ ❧✐♥❡❛r ♦♣❡r❛t✐♦♥s t❤❡ ❧❛tt✐❝❡ ♦❢ s✉❜❝❧♦♥❡s ✐s ✜♥✐t❡ ❛♥❞ ❦♥♦✇♥ ✭ ✐s ❛ ♣r✐♠❡ ♥✉♠❜❡r✮ ✭❆✳ ❆✳ ❙❛❧♦♠❛❛✱ ✶✾✻✹ ❋♦r t❤❡ ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦❢ q✉❛s✐✲❧✐♥❡❛r ♦♣❡r❛t✐♦♥s t❤❡ ❧❛tt✐❝❡ ♦❢ s✉❜❝❧♦♥❡s ✐s ❝♦✉♥t❛❜❧❡ ❜✉t ♥♦t ❦♥♦✇♥ ✭✐❢ ✐s ❛ ♣♦✇❡r ♦❢ ❛ ♣r✐♠❡ ♥✉♠❜❡r✮ ❋♦r ❛❧❧ ♦t❤❡r ♠❛①✐♠❛❧ ❝❧♦♥❡s t❤❡ ❧❛tt✐❝❡ ♦❢ s✉❜❝❧♦♥❡s ✐s ✉♥❝♦✉♥t❛❜❧❡ ✭❏✳ ❉❡♠❡tr♦✈✐❝s✱ ▲✳ ❍❛♥♥❛❦✱ ❙✳ ❙✳ ▼❛r❝❤❡♥❦♦✈✱ ✶✾✽✸✮ ❈❛♥ ✇❡ ❞❡s❝r✐❜❡ ❛ s✉❜❧❛tt✐❝❡ t❤❛t ❤❛s ❝♦♥t✐♥✉✉♠ ❝❛r❞✐♥❛❧✐t②❄ ❋♦r | A | > 2 O A ❄ J A ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✼ ✴ ✹✾
❄ ❈♦♥t✐♥✉✉♠ ❈♦✉♥t❛❜❧❡ ❋✐♥✐t❡ ♦❢ ❈❧♦♥❡s ❈❛♥ ✇❡ ❞❡s❝r✐❜❡ ❛❧❧ s✉❜❝❧♦♥❡s ♦❢ ❛ ♠❛①✐♠❛❧ ❝❧♦♥❡❄ ❋♦r t❤❡ ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦❢ ❧✐♥❡❛r ♦♣❡r❛t✐♦♥s t❤❡ ❧❛tt✐❝❡ ♦❢ s✉❜❝❧♦♥❡s ✐s ✜♥✐t❡ ❛♥❞ ❦♥♦✇♥ ✭ ✐s ❛ ♣r✐♠❡ ♥✉♠❜❡r✮ ✭❆✳ ❆✳ ❙❛❧♦♠❛❛✱ ✶✾✻✹ ❋♦r t❤❡ ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦❢ q✉❛s✐✲❧✐♥❡❛r ♦♣❡r❛t✐♦♥s t❤❡ ❧❛tt✐❝❡ ♦❢ s✉❜❝❧♦♥❡s ✐s ❝♦✉♥t❛❜❧❡ ❜✉t ♥♦t ❦♥♦✇♥ ✭✐❢ ✐s ❛ ♣♦✇❡r ♦❢ ❛ ♣r✐♠❡ ♥✉♠❜❡r✮ ❋♦r ❛❧❧ ♦t❤❡r ♠❛①✐♠❛❧ ❝❧♦♥❡s t❤❡ ❧❛tt✐❝❡ ♦❢ s✉❜❝❧♦♥❡s ✐s ✉♥❝♦✉♥t❛❜❧❡ ✭❏✳ ❉❡♠❡tr♦✈✐❝s✱ ▲✳ ❍❛♥♥❛❦✱ ❙✳ ❙✳ ▼❛r❝❤❡♥❦♦✈✱ ✶✾✽✸✮ ❈❛♥ ✇❡ ❞❡s❝r✐❜❡ ❛ s✉❜❧❛tt✐❝❡ t❤❛t ❤❛s ❝♦♥t✐♥✉✉♠ ❝❛r❞✐♥❛❧✐t②❄ ❋♦r | A | > 2 O A ❈❛♥ ✇❡ ❞❡s❝r✐❜❡ ❛ s✐❣♥✐✜❝❛♥t ♣❛rt ♦❢ t❤❡ ❧❛tt✐❝❡❄ ❄ J A ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✼ ✴ ✹✾
❈♦♥t✐♥✉✉♠ ❈♦✉♥t❛❜❧❡ ❋✐♥✐t❡ ♦❢ ❈❧♦♥❡s ❈❛♥ ✇❡ ❞❡s❝r✐❜❡ ❛ s✐❣♥✐✜❝❛♥t ♣❛rt ♦❢ t❤❡ ❧❛tt✐❝❡❄ ❋♦r t❤❡ ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦❢ ❧✐♥❡❛r ♦♣❡r❛t✐♦♥s t❤❡ ❧❛tt✐❝❡ ♦❢ s✉❜❝❧♦♥❡s ✐s ✜♥✐t❡ ❛♥❞ ❦♥♦✇♥ ✭ ✐s ❛ ♣r✐♠❡ ♥✉♠❜❡r✮ ✭❆✳ ❆✳ ❙❛❧♦♠❛❛✱ ✶✾✻✹ ❋♦r t❤❡ ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦❢ q✉❛s✐✲❧✐♥❡❛r ❄ ♦♣❡r❛t✐♦♥s t❤❡ ❧❛tt✐❝❡ ♦❢ s✉❜❝❧♦♥❡s ✐s ❝♦✉♥t❛❜❧❡ ❜✉t ♥♦t ❦♥♦✇♥ ✭✐❢ ✐s ❛ ♣♦✇❡r ♦❢ ❛ ♣r✐♠❡ ♥✉♠❜❡r✮ ❋♦r ❛❧❧ ♦t❤❡r ♠❛①✐♠❛❧ ❝❧♦♥❡s t❤❡ ❧❛tt✐❝❡ ♦❢ s✉❜❝❧♦♥❡s ✐s ✉♥❝♦✉♥t❛❜❧❡ ✭❏✳ ❉❡♠❡tr♦✈✐❝s✱ ▲✳ ❍❛♥♥❛❦✱ ❙✳ ❙✳ ▼❛r❝❤❡♥❦♦✈✱ ✶✾✽✸✮ ❈❛♥ ✇❡ ❞❡s❝r✐❜❡ ❛ s✉❜❧❛tt✐❝❡ t❤❛t ❤❛s ❝♦♥t✐♥✉✉♠ ❝❛r❞✐♥❛❧✐t②❄ ❋♦r | A | > 2 O A ❈❛♥ ✇❡ ❞❡s❝r✐❜❡ ❛❧❧ s✉❜❝❧♦♥❡s ♦❢ ❛ ♠❛①✐♠❛❧ ❝❧♦♥❡❄ ❄ J A ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✼ ✴ ✹✾
❈♦♥t✐♥✉✉♠ ❈♦✉♥t❛❜❧❡ ♦❢ ❈❧♦♥❡s ❈❛♥ ✇❡ ❞❡s❝r✐❜❡ ❛ s✐❣♥✐✜❝❛♥t ♣❛rt ♦❢ t❤❡ ❧❛tt✐❝❡❄ ❋♦r t❤❡ ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦❢ q✉❛s✐✲❧✐♥❡❛r ❄ ♦♣❡r❛t✐♦♥s t❤❡ ❧❛tt✐❝❡ ♦❢ s✉❜❝❧♦♥❡s ✐s ❝♦✉♥t❛❜❧❡ ❜✉t ♥♦t ❦♥♦✇♥ ❄ ✭✐❢ ✐s ❛ ♣♦✇❡r ♦❢ ❛ ♣r✐♠❡ ♥✉♠❜❡r✮ ❋♦r ❛❧❧ ♦t❤❡r ♠❛①✐♠❛❧ ❝❧♦♥❡s t❤❡ ❧❛tt✐❝❡ ♦❢ s✉❜❝❧♦♥❡s ✐s ✉♥❝♦✉♥t❛❜❧❡ ✭❏✳ ❉❡♠❡tr♦✈✐❝s✱ ▲✳ ❍❛♥♥❛❦✱ ❙✳ ❙✳ ▼❛r❝❤❡♥❦♦✈✱ ✶✾✽✸✮ ❈❛♥ ✇❡ ❞❡s❝r✐❜❡ ❛ s✉❜❧❛tt✐❝❡ t❤❛t ❤❛s ❝♦♥t✐♥✉✉♠ ❝❛r❞✐♥❛❧✐t②❄ ❋♦r | A | > 2 O A ❈❛♥ ✇❡ ❞❡s❝r✐❜❡ ❛❧❧ s✉❜❝❧♦♥❡s ♦❢ ❛ ♠❛①✐♠❛❧ ❝❧♦♥❡❄ ❋♦r t❤❡ ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦❢ ❧✐♥❡❛r ♦♣❡r❛t✐♦♥s t❤❡ ❧❛tt✐❝❡ ♦❢ s✉❜❝❧♦♥❡s ✐s ✜♥✐t❡ ❛♥❞ ❦♥♦✇♥ L ✭ | A | ✐s ❛ ♣r✐♠❡ ♥✉♠❜❡r✮ ✭❆✳ ❆✳ ❙❛❧♦♠❛❛✱ ✶✾✻✹ ❋✐♥✐t❡ J A ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✼ ✴ ✹✾
❈♦♥t✐♥✉✉♠ ♦❢ ❈❧♦♥❡s ❈❛♥ ✇❡ ❞❡s❝r✐❜❡ ❛ s✐❣♥✐✜❝❛♥t ♣❛rt ♦❢ t❤❡ ❧❛tt✐❝❡❄ ❄ ❄ ❋✐♥✐t❡ ❋♦r ❛❧❧ ♦t❤❡r ♠❛①✐♠❛❧ ❝❧♦♥❡s t❤❡ ❧❛tt✐❝❡ ♦❢ s✉❜❝❧♦♥❡s ✐s ✉♥❝♦✉♥t❛❜❧❡ ✭❏✳ ❉❡♠❡tr♦✈✐❝s✱ ▲✳ ❍❛♥♥❛❦✱ ❙✳ ❙✳ ▼❛r❝❤❡♥❦♦✈✱ ✶✾✽✸✮ ❈❛♥ ✇❡ ❞❡s❝r✐❜❡ ❛ s✉❜❧❛tt✐❝❡ t❤❛t ❤❛s ❝♦♥t✐♥✉✉♠ ❝❛r❞✐♥❛❧✐t②❄ ❋♦r | A | > 2 O A ❈❛♥ ✇❡ ❞❡s❝r✐❜❡ ❛❧❧ s✉❜❝❧♦♥❡s ♦❢ ❛ ♠❛①✐♠❛❧ ❝❧♦♥❡❄ ❋♦r t❤❡ ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦❢ ❧✐♥❡❛r ♦♣❡r❛t✐♦♥s t❤❡ ❧❛tt✐❝❡ ♦❢ s✉❜❝❧♦♥❡s ✐s ✜♥✐t❡ ❛♥❞ ❦♥♦✇♥ L ✭ | A | ✐s ❛ ♣r✐♠❡ ♥✉♠❜❡r✮ ✭❆✳ ❆✳ ❙❛❧♦♠❛❛✱ ✶✾✻✹ ❋♦r t❤❡ ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦❢ q✉❛s✐✲❧✐♥❡❛r ♦♣❡r❛t✐♦♥s t❤❡ ❧❛tt✐❝❡ ♦❢ s✉❜❝❧♦♥❡s ✐s ❝♦✉♥t❛❜❧❡ ❜✉t ♥♦t ❦♥♦✇♥ ✭✐❢ | A | ✐s ❛ ♣♦✇❡r ♦❢ ❛ ♣r✐♠❡ ♥✉♠❜❡r✮ ❈♦✉♥t❛❜❧❡ J A ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✼ ✴ ✹✾
❈❛♥ ✇❡ ❞❡s❝r✐❜❡ ❛ s✐❣♥✐✜❝❛♥t ♣❛rt ♦❢ t❤❡ ❧❛tt✐❝❡❄ ❄ ❄ ❈♦✉♥t❛❜❧❡ ❋✐♥✐t❡ ❈❛♥ ✇❡ ❞❡s❝r✐❜❡ ❛ s✉❜❧❛tt✐❝❡ t❤❛t ❤❛s ❝♦♥t✐♥✉✉♠ ❝❛r❞✐♥❛❧✐t②❄ ❋♦r | A | > 2 O A ❈❛♥ ✇❡ ❞❡s❝r✐❜❡ ❛❧❧ s✉❜❝❧♦♥❡s ♦❢ ❛ ♠❛①✐♠❛❧ ❝❧♦♥❡❄ ❋♦r t❤❡ ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦❢ ❧✐♥❡❛r ♦♣❡r❛t✐♦♥s t❤❡ ❧❛tt✐❝❡ ♦❢ s✉❜❝❧♦♥❡s ✐s ✜♥✐t❡ ❛♥❞ ❦♥♦✇♥ C ✭ | A | ✐s ❛ ♣r✐♠❡ ♥✉♠❜❡r✮ ✭❆✳ ❆✳ ❙❛❧♦♠❛❛✱ ✶✾✻✹ ❋♦r t❤❡ ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦❢ q✉❛s✐✲❧✐♥❡❛r ♦♣❡r❛t✐♦♥s t❤❡ ❧❛tt✐❝❡ ♦❢ s✉❜❝❧♦♥❡s ✐s ❝♦✉♥t❛❜❧❡ ❜✉t ♥♦t ❦♥♦✇♥ ❈♦♥t✐♥✉✉♠ ✭✐❢ | A | ✐s ❛ ♣♦✇❡r ♦❢ ❛ ♣r✐♠❡ ♥✉♠❜❡r✮ ♦❢ ❋♦r ❛❧❧ ♦t❤❡r ♠❛①✐♠❛❧ ❝❧♦♥❡s t❤❡ ❧❛tt✐❝❡ ♦❢ ❈❧♦♥❡s s✉❜❝❧♦♥❡s ✐s ✉♥❝♦✉♥t❛❜❧❡ ✭❏✳ ❉❡♠❡tr♦✈✐❝s✱ ▲✳ ❍❛♥♥❛❦✱ ❙✳ ❙✳ ▼❛r❝❤❡♥❦♦✈✱ ✶✾✽✸✮ J A ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✼ ✴ ✹✾
❈❛♥ ✇❡ ❞❡s❝r✐❜❡ ❛ s✐❣♥✐✜❝❛♥t ♣❛rt ♦❢ t❤❡ ❧❛tt✐❝❡❄ ❄ ❄ ❈♦✉♥t❛❜❧❡ ❋✐♥✐t❡ ❋♦r | A | > 2 O A ❈❛♥ ✇❡ ❞❡s❝r✐❜❡ ❛❧❧ s✉❜❝❧♦♥❡s ♦❢ ❛ ♠❛①✐♠❛❧ ❝❧♦♥❡❄ ❋♦r t❤❡ ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦❢ ❧✐♥❡❛r ♦♣❡r❛t✐♦♥s t❤❡ ❧❛tt✐❝❡ ♦❢ s✉❜❝❧♦♥❡s ✐s ✜♥✐t❡ ❛♥❞ ❦♥♦✇♥ C ✭ | A | ✐s ❛ ♣r✐♠❡ ♥✉♠❜❡r✮ ✭❆✳ ❆✳ ❙❛❧♦♠❛❛✱ ✶✾✻✹ ❋♦r t❤❡ ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦❢ q✉❛s✐✲❧✐♥❡❛r ♦♣❡r❛t✐♦♥s t❤❡ ❧❛tt✐❝❡ ♦❢ s✉❜❝❧♦♥❡s ✐s ❝♦✉♥t❛❜❧❡ ❜✉t ♥♦t ❦♥♦✇♥ ❈♦♥t✐♥✉✉♠ ✭✐❢ | A | ✐s ❛ ♣♦✇❡r ♦❢ ❛ ♣r✐♠❡ ♥✉♠❜❡r✮ ♦❢ ❋♦r ❛❧❧ ♦t❤❡r ♠❛①✐♠❛❧ ❝❧♦♥❡s t❤❡ ❧❛tt✐❝❡ ♦❢ ❈❧♦♥❡s s✉❜❝❧♦♥❡s ✐s ✉♥❝♦✉♥t❛❜❧❡ ✭❏✳ ❉❡♠❡tr♦✈✐❝s✱ ▲✳ ❍❛♥♥❛❦✱ ❙✳ ❙✳ ▼❛r❝❤❡♥❦♦✈✱ ✶✾✽✸✮ ❈❛♥ ✇❡ ❞❡s❝r✐❜❡ ❛ s✉❜❧❛tt✐❝❡ t❤❛t ❤❛s ❝♦♥t✐♥✉✉♠ ❝❛r❞✐♥❛❧✐t②❄ J A ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✼ ✴ ✹✾
❉❡✜♥✐t✐♦♥s ❆♥ ✲❛r② ♦♣❡r❛t✐♦♥ ♦♥ t❤r❡❡ ❡❧❡♠❡♥ts ✐s ❝❛❧❧❡❞ s❡❧❢✲❞✉❛❧ ✐❢ ❢♦r ❛❧❧ ✐s ❛❞❞✐t✐♦♥ ♠♦❞✉❧♦ ✸✳ ❙❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s ❛r❡ ♦♣❡r❛t✐♦♥s t❤❛t ♣r❡s❡r✈❡ t❤❡ r❡❧❛t✐♦♥ ❚❤❡ s❡t ♦❢ ❛❧❧ s❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s ✐s ❛ ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦♥ t❤r❡❡ ❡❧❡♠❡♥ts ( | A | = 3 ) ❚❤❡ ▼❛①✐♠❛❧ ❈❧♦♥❡ ♦❢ ❙❡❧❢✲❉✉❛❧ ❖♣❡r❛t✐♦♥s ❍❡r❡ ✇❡ ❛ss✉♠❡ t❤❛t A = { 0 , 1 , 2 } ✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✽ ✴ ✹✾
❙❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s ❛r❡ ♦♣❡r❛t✐♦♥s t❤❛t ♣r❡s❡r✈❡ t❤❡ r❡❧❛t✐♦♥ ❚❤❡ s❡t ♦❢ ❛❧❧ s❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s ✐s ❛ ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦♥ t❤r❡❡ ❡❧❡♠❡♥ts ( | A | = 3 ) ❚❤❡ ▼❛①✐♠❛❧ ❈❧♦♥❡ ♦❢ ❙❡❧❢✲❉✉❛❧ ❖♣❡r❛t✐♦♥s ❍❡r❡ ✇❡ ❛ss✉♠❡ t❤❛t A = { 0 , 1 , 2 } ✳ ❉❡✜♥✐t✐♦♥s ❆♥ n ✲❛r② ♦♣❡r❛t✐♦♥ ♦♥ t❤r❡❡ ❡❧❡♠❡♥ts ✐s ❝❛❧❧❡❞ s❡❧❢✲❞✉❛❧ ✐❢ f ( x 1 + 1 , x 2 + 1 , . . . , x n + 1 ) = f ( x 1 , x 2 , . . . , x n ) + 1 ❢♦r ❛❧❧ x 1 , x 2 , . . . , x n ∈ { 0 , 1 , 2 } . + ✐s ❛❞❞✐t✐♦♥ ♠♦❞✉❧♦ ✸✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✽ ✴ ✹✾
❚❤❡ s❡t ♦❢ ❛❧❧ s❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s ✐s ❛ ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦♥ t❤r❡❡ ❡❧❡♠❡♥ts ( | A | = 3 ) ❚❤❡ ▼❛①✐♠❛❧ ❈❧♦♥❡ ♦❢ ❙❡❧❢✲❉✉❛❧ ❖♣❡r❛t✐♦♥s ❍❡r❡ ✇❡ ❛ss✉♠❡ t❤❛t A = { 0 , 1 , 2 } ✳ ❉❡✜♥✐t✐♦♥s ❆♥ n ✲❛r② ♦♣❡r❛t✐♦♥ ♦♥ t❤r❡❡ ❡❧❡♠❡♥ts ✐s ❝❛❧❧❡❞ s❡❧❢✲❞✉❛❧ ✐❢ f ( x 1 + 1 , x 2 + 1 , . . . , x n + 1 ) = f ( x 1 , x 2 , . . . , x n ) + 1 ❢♦r ❛❧❧ x 1 , x 2 , . . . , x n ∈ { 0 , 1 , 2 } . + ✐s ❛❞❞✐t✐♦♥ ♠♦❞✉❧♦ ✸✳ ❙❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s ❛r❡ ♦♣❡r❛t✐♦♥s t❤❛t ♣r❡s❡r✈❡ t❤❡ r❡❧❛t✐♦♥ � 0 � 1 2 . 1 2 0 ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✽ ✴ ✹✾
( | A | = 3 ) ❚❤❡ ▼❛①✐♠❛❧ ❈❧♦♥❡ ♦❢ ❙❡❧❢✲❉✉❛❧ ❖♣❡r❛t✐♦♥s ❍❡r❡ ✇❡ ❛ss✉♠❡ t❤❛t A = { 0 , 1 , 2 } ✳ ❉❡✜♥✐t✐♦♥s ❆♥ n ✲❛r② ♦♣❡r❛t✐♦♥ ♦♥ t❤r❡❡ ❡❧❡♠❡♥ts ✐s ❝❛❧❧❡❞ s❡❧❢✲❞✉❛❧ ✐❢ f ( x 1 + 1 , x 2 + 1 , . . . , x n + 1 ) = f ( x 1 , x 2 , . . . , x n ) + 1 ❢♦r ❛❧❧ x 1 , x 2 , . . . , x n ∈ { 0 , 1 , 2 } . + ✐s ❛❞❞✐t✐♦♥ ♠♦❞✉❧♦ ✸✳ ❙❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s ❛r❡ ♦♣❡r❛t✐♦♥s t❤❛t ♣r❡s❡r✈❡ t❤❡ r❡❧❛t✐♦♥ � 0 � 1 2 . 1 2 0 ❚❤❡ s❡t ♦❢ ❛❧❧ s❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s ✐s ❛ ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦♥ t❤r❡❡ ❡❧❡♠❡♥ts ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✽ ✴ ✹✾
▼❛✐♥ ❘❡s✉❧t ✭❉✳ ❩❤✉❦✱ ✷✵✶✵✮ ❆❧❧ ❝❧♦♥❡s ♦❢ s❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s ♦♥ t❤r❡❡ ❡❧❡♠❡♥ts ❛r❡ ❞❡s❝r✐❜❡❞ ❚❤✐s ✐s t❤❡ ✜rst ♠❛①✐♠❛❧ ❝❧♦♥❡ ❜❡s✐❞❡s t❤❡ ❝❧♦♥❡ ♦❢ ❛❧❧ ❧✐♥❡❛r ♦♣❡r❛t✐♦♥s t❤❛t ❤❛s s✉❝❤ ❞❡s❝r✐♣t✐♦♥✳ ( | A | = 3 ) ❚❤❡ ▼❛①✐♠❛❧ ❈❧♦♥❡ ♦❢ ❙❡❧❢✲❉✉❛❧ ❖♣❡r❛t✐♦♥s ▼❛♥② ❝❧♦♥❡s ♦❢ s❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s ✇❡r❡ ❢♦✉♥❞ ✭❙✳ ❙✳ ▼❛r❝❤❡♥❦♦✈✱ ❏✳ ❉❡♠❡tr♦✈✐❝❤✱ ▲✳ ❍❛♥♥❛❦✱ ✶✾✽✵✮✳ ❚❤❡r❡ ❡①✐sts ❛ ❝♦♥t✐♥✉✉♠ ♦❢ ❝❧♦♥❡s ♦❢ s❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s ✭❙✳ ❙✳ ▼❛r❝❤❡♥❦♦✈✱ ✶✾✽✸✮ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✾ ✴ ✹✾
( | A | = 3 ) ❚❤❡ ▼❛①✐♠❛❧ ❈❧♦♥❡ ♦❢ ❙❡❧❢✲❉✉❛❧ ❖♣❡r❛t✐♦♥s ▼❛♥② ❝❧♦♥❡s ♦❢ s❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s ✇❡r❡ ❢♦✉♥❞ ✭❙✳ ❙✳ ▼❛r❝❤❡♥❦♦✈✱ ❏✳ ❉❡♠❡tr♦✈✐❝❤✱ ▲✳ ❍❛♥♥❛❦✱ ✶✾✽✵✮✳ ❚❤❡r❡ ❡①✐sts ❛ ❝♦♥t✐♥✉✉♠ ♦❢ ❝❧♦♥❡s ♦❢ s❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s ✭❙✳ ❙✳ ▼❛r❝❤❡♥❦♦✈✱ ✶✾✽✸✮ ▼❛✐♥ ❘❡s✉❧t ✭❉✳ ❩❤✉❦✱ ✷✵✶✵✮ ❆❧❧ ❝❧♦♥❡s ♦❢ s❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s ♦♥ t❤r❡❡ ❡❧❡♠❡♥ts ❛r❡ ❞❡s❝r✐❜❡❞ ❚❤✐s ✐s t❤❡ ✜rst ♠❛①✐♠❛❧ ❝❧♦♥❡ ❜❡s✐❞❡s t❤❡ ❝❧♦♥❡ ♦❢ ❛❧❧ ❧✐♥❡❛r ♦♣❡r❛t✐♦♥s t❤❛t ❤❛s s✉❝❤ ❞❡s❝r✐♣t✐♦♥✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✾ ✴ ✹✾
❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✵ ✴ ✹✾
❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✶ ✴ ✹✾
❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✷ ✴ ✹✾
❲❡ ❞❡✜♥❡ ❛ s❡t ♦❢ r❡❧❛t✐♦♥s ✳ ❲❡ ❞❡✜♥❡ ❛ q✉❛s✐♦r❞❡r ♦♥ t❤❡ s❡t ❀ ❚❤❡ ✉♥❝♦✉♥t❛❜❧❡ ❝❧❛ss ♦❢ ❝❧♦♥❡s ❝♦♥s✐sts ♦❢ ❛❧❧ ❝❧♦♥❡s t❤❛t ❝❛♥ ❜❡ ❞❡✜♥❡❞ ❛s ❢♦r ❛ ❞♦✇♥✲s❡t ✳ ■❢ ❛r❡ ♥♦♥❡♠♣t② ❞♦✇♥✲s❡ts✱ t❤❡♥ ✳ ❊❛❝❤ ❝❧♦♥❡ ❢r♦♠ t❤❡ ✉♥❝♦✉♥t❛❜❧❡ ❝❧❛ss ✐s ✉♥✐q✉❡❧② ❞❡✜♥❡❞ ❜② ❛ ♥♦♥❡♠♣t② ❞♦✇♥✲s❡t ✳ ❲❤② t❤✐s ❞❡s❝r✐♣t✐♦♥ ✐s ❝♦♠♣❧❡t❡ ❛♥❞ ✜♥❛❧❄ ❍♦✇ ❲❡ ❉❡✜♥❡ ❛♥ ❯♥❝♦✉♥t❛❜❧❡ ▲❛tt✐❝❡ ❋✐♥✐t❡ ❛♥❞ ❝♦✉♥t❛❜❧❡ ❝❧❛ss❡s ♦❢ ❝❧♦♥❡s ❛r❡ ❞❡✜♥❡❞ ❡①♣❧✐❝✐t❧② ✭❛s ✐♥ t❤❡ P♦st✬s ▲❛tt✐❝❡✮✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✸ ✴ ✹✾
❲❡ ❞❡✜♥❡ ❛ q✉❛s✐♦r❞❡r ♦♥ t❤❡ s❡t ❀ ❚❤❡ ✉♥❝♦✉♥t❛❜❧❡ ❝❧❛ss ♦❢ ❝❧♦♥❡s ❝♦♥s✐sts ♦❢ ❛❧❧ ❝❧♦♥❡s t❤❛t ❝❛♥ ❜❡ ❞❡✜♥❡❞ ❛s ❢♦r ❛ ❞♦✇♥✲s❡t ✳ ■❢ ❛r❡ ♥♦♥❡♠♣t② ❞♦✇♥✲s❡ts✱ t❤❡♥ ✳ ❊❛❝❤ ❝❧♦♥❡ ❢r♦♠ t❤❡ ✉♥❝♦✉♥t❛❜❧❡ ❝❧❛ss ✐s ✉♥✐q✉❡❧② ❞❡✜♥❡❞ ❜② ❛ ♥♦♥❡♠♣t② ❞♦✇♥✲s❡t ✳ ❲❤② t❤✐s ❞❡s❝r✐♣t✐♦♥ ✐s ❝♦♠♣❧❡t❡ ❛♥❞ ✜♥❛❧❄ ❍♦✇ ❲❡ ❉❡✜♥❡ ❛♥ ❯♥❝♦✉♥t❛❜❧❡ ▲❛tt✐❝❡ ❋✐♥✐t❡ ❛♥❞ ❝♦✉♥t❛❜❧❡ ❝❧❛ss❡s ♦❢ ❝❧♦♥❡s ❛r❡ ❞❡✜♥❡❞ ❡①♣❧✐❝✐t❧② ✭❛s ✐♥ t❤❡ P♦st✬s ▲❛tt✐❝❡✮✳ ❲❡ ❞❡✜♥❡ ❛ s❡t ♦❢ r❡❧❛t✐♦♥s Π ✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✸ ✴ ✹✾
❚❤❡ ✉♥❝♦✉♥t❛❜❧❡ ❝❧❛ss ♦❢ ❝❧♦♥❡s ❝♦♥s✐sts ♦❢ ❛❧❧ ❝❧♦♥❡s t❤❛t ❝❛♥ ❜❡ ❞❡✜♥❡❞ ❛s ❢♦r ❛ ❞♦✇♥✲s❡t ✳ ■❢ ❛r❡ ♥♦♥❡♠♣t② ❞♦✇♥✲s❡ts✱ t❤❡♥ ✳ ❊❛❝❤ ❝❧♦♥❡ ❢r♦♠ t❤❡ ✉♥❝♦✉♥t❛❜❧❡ ❝❧❛ss ✐s ✉♥✐q✉❡❧② ❞❡✜♥❡❞ ❜② ❛ ♥♦♥❡♠♣t② ❞♦✇♥✲s❡t ✳ ❲❤② t❤✐s ❞❡s❝r✐♣t✐♦♥ ✐s ❝♦♠♣❧❡t❡ ❛♥❞ ✜♥❛❧❄ ❍♦✇ ❲❡ ❉❡✜♥❡ ❛♥ ❯♥❝♦✉♥t❛❜❧❡ ▲❛tt✐❝❡ ❋✐♥✐t❡ ❛♥❞ ❝♦✉♥t❛❜❧❡ ❝❧❛ss❡s ♦❢ ❝❧♦♥❡s ❛r❡ ❞❡✜♥❡❞ ❡①♣❧✐❝✐t❧② ✭❛s ✐♥ t❤❡ P♦st✬s ▲❛tt✐❝❡✮✳ ❲❡ ❞❡✜♥❡ ❛ s❡t ♦❢ r❡❧❛t✐♦♥s Π ✳ ❲❡ ❞❡✜♥❡ ❛ q✉❛s✐♦r❞❡r � ♦♥ t❤❡ s❡t Π ❀ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✸ ✴ ✹✾
❲❤② t❤✐s ❞❡s❝r✐♣t✐♦♥ ✐s ❝♦♠♣❧❡t❡ ❛♥❞ ✜♥❛❧❄ ❍♦✇ ❲❡ ❉❡✜♥❡ ❛♥ ❯♥❝♦✉♥t❛❜❧❡ ▲❛tt✐❝❡ ❋✐♥✐t❡ ❛♥❞ ❝♦✉♥t❛❜❧❡ ❝❧❛ss❡s ♦❢ ❝❧♦♥❡s ❛r❡ ❞❡✜♥❡❞ ❡①♣❧✐❝✐t❧② ✭❛s ✐♥ t❤❡ P♦st✬s ▲❛tt✐❝❡✮✳ ❲❡ ❞❡✜♥❡ ❛ s❡t ♦❢ r❡❧❛t✐♦♥s Π ✳ ❲❡ ❞❡✜♥❡ ❛ q✉❛s✐♦r❞❡r � ♦♥ t❤❡ s❡t Π ❀ ❚❤❡ ✉♥❝♦✉♥t❛❜❧❡ ❝❧❛ss ♦❢ ❝❧♦♥❡s ❝♦♥s✐sts ♦❢ ❛❧❧ ❝❧♦♥❡s t❤❛t ❝❛♥ ❜❡ ❞❡✜♥❡❞ ❛s Pol ( F ) ❢♦r ❛ ❞♦✇♥✲s❡t F ⊆ Π ✳ ■❢ F 1 , F 2 ⊆ Π ❛r❡ ♥♦♥❡♠♣t② ❞♦✇♥✲s❡ts✱ t❤❡♥ F 1 � = F 2 ⇒ Pol ( F 1 ) � = Pol ( F 2 ) ✳ ❊❛❝❤ ❝❧♦♥❡ ❢r♦♠ t❤❡ ✉♥❝♦✉♥t❛❜❧❡ ❝❧❛ss ✐s ✉♥✐q✉❡❧② ❞❡✜♥❡❞ ❜② ❛ ♥♦♥❡♠♣t② ❞♦✇♥✲s❡t F ⊆ Π ✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✸ ✴ ✹✾
❍♦✇ ❲❡ ❉❡✜♥❡ ❛♥ ❯♥❝♦✉♥t❛❜❧❡ ▲❛tt✐❝❡ ❋✐♥✐t❡ ❛♥❞ ❝♦✉♥t❛❜❧❡ ❝❧❛ss❡s ♦❢ ❝❧♦♥❡s ❛r❡ ❞❡✜♥❡❞ ❡①♣❧✐❝✐t❧② ✭❛s ✐♥ t❤❡ P♦st✬s ▲❛tt✐❝❡✮✳ ❲❡ ❞❡✜♥❡ ❛ s❡t ♦❢ r❡❧❛t✐♦♥s Π ✳ ❲❡ ❞❡✜♥❡ ❛ q✉❛s✐♦r❞❡r � ♦♥ t❤❡ s❡t Π ❀ ❚❤❡ ✉♥❝♦✉♥t❛❜❧❡ ❝❧❛ss ♦❢ ❝❧♦♥❡s ❝♦♥s✐sts ♦❢ ❛❧❧ ❝❧♦♥❡s t❤❛t ❝❛♥ ❜❡ ❞❡✜♥❡❞ ❛s Pol ( F ) ❢♦r ❛ ❞♦✇♥✲s❡t F ⊆ Π ✳ ■❢ F 1 , F 2 ⊆ Π ❛r❡ ♥♦♥❡♠♣t② ❞♦✇♥✲s❡ts✱ t❤❡♥ F 1 � = F 2 ⇒ Pol ( F 1 ) � = Pol ( F 2 ) ✳ ❊❛❝❤ ❝❧♦♥❡ ❢r♦♠ t❤❡ ✉♥❝♦✉♥t❛❜❧❡ ❝❧❛ss ✐s ✉♥✐q✉❡❧② ❞❡✜♥❡❞ ❜② ❛ ♥♦♥❡♠♣t② ❞♦✇♥✲s❡t F ⊆ Π ✳ ❲❤② t❤✐s ❞❡s❝r✐♣t✐♦♥ ✐s ❝♦♠♣❧❡t❡ ❛♥❞ ✜♥❛❧❄ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✸ ✴ ✹✾
❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✹ ✴ ✹✾
❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✹ ✴ ✹✾
❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✹ ✴ ✹✾
❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✹ ✴ ✹✾
P❛✐r✇✐s❡ ✐♥❝❧✉s✐♦♥ ♦❢ ❝❧♦♥❡s ✇❛s ❞❡s❝r✐❜❡s✳ ❆ ❜❛s✐s ♦❢ ❛ ❝❧♦♥❡ ✐s ❛ ♠✐♥✐♠❛❧ ❜② ✐♥❝❧✉s✐♦♥ ❣❡♥❡r❛t✐♥❣ s❡t✳ ■t ✇❛s ♣r♦✈❡❞ t❤❛t ❛ ❜❛s✐s ❡①✐sts ❢♦r ❡✈❡r② ❝❧♦♥❡ ♦❢ s❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s✦ ❆ ❜❛s✐s ❢♦r ❡✈❡r② ❝❧♦♥❡ ✇❛s ❢♦✉♥❞✳ ❘❡❧❛t✐♦♥ ❞❡❣r❡❡ ♦❢ ❛ ❝❧♦♥❡ ✐s t❤❡ ♠✐♥✐♠❛❧ ❛r✐t② ♦❢ r❡❧❛t✐♦♥s s✉❝❤ t❤❛t t❤❡ ❝❧♦♥❡ ❝❛♥ ❜❡ ❞❡✜♥❡❞ ❛s t❤❡ s❡t ♦❢ ❛❧❧ ♦♣❡r❛t✐♦♥s t❤❛t ♣r❡s❡r✈❡ t❤❡s❡ r❡❧❛t✐♦♥s✳ ❚❤❡ r❡❧❛t✐♦♥ ❞❡❣r❡❡ ♦❢ ❡❛❝❤ ❝❧♦♥❡ ♦❢ s❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s ✐s ❢♦✉♥❞ ❚❤❡ ✈❛❧✉❡s ♦❢ t❤❡ r❡❧❛t✐♦♥ ❞❡❣r❡❡ ♣r♦✈❡ t❤❛t ♦✉r ❞❡s❝r✐♣t✐♦♥ ♦❢ ❝❧♦♥❡s ✐s ♦♣t✐♠❛❧✳ ❚❤❛t ✐s✱ t❤❡s❡ ❝❧♦♥❡s ❝❛♥ ♥♦t ❜❡ ❞❡✜♥❡❞ ❜② r❡❧❛t✐♦♥s ♦❢ s♠❛❧❧❡r ❛r✐t②✳ Pr♦♣❡rt✐❡s ♦❢ t❤❡ ❝❧♦♥❡s ❛♥❞ t❤❡ ❧❛tt✐❝❡ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✺ ✴ ✹✾
❆ ❜❛s✐s ♦❢ ❛ ❝❧♦♥❡ ✐s ❛ ♠✐♥✐♠❛❧ ❜② ✐♥❝❧✉s✐♦♥ ❣❡♥❡r❛t✐♥❣ s❡t✳ ■t ✇❛s ♣r♦✈❡❞ t❤❛t ❛ ❜❛s✐s ❡①✐sts ❢♦r ❡✈❡r② ❝❧♦♥❡ ♦❢ s❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s✦ ❆ ❜❛s✐s ❢♦r ❡✈❡r② ❝❧♦♥❡ ✇❛s ❢♦✉♥❞✳ ❘❡❧❛t✐♦♥ ❞❡❣r❡❡ ♦❢ ❛ ❝❧♦♥❡ ✐s t❤❡ ♠✐♥✐♠❛❧ ❛r✐t② ♦❢ r❡❧❛t✐♦♥s s✉❝❤ t❤❛t t❤❡ ❝❧♦♥❡ ❝❛♥ ❜❡ ❞❡✜♥❡❞ ❛s t❤❡ s❡t ♦❢ ❛❧❧ ♦♣❡r❛t✐♦♥s t❤❛t ♣r❡s❡r✈❡ t❤❡s❡ r❡❧❛t✐♦♥s✳ ❚❤❡ r❡❧❛t✐♦♥ ❞❡❣r❡❡ ♦❢ ❡❛❝❤ ❝❧♦♥❡ ♦❢ s❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s ✐s ❢♦✉♥❞ ❚❤❡ ✈❛❧✉❡s ♦❢ t❤❡ r❡❧❛t✐♦♥ ❞❡❣r❡❡ ♣r♦✈❡ t❤❛t ♦✉r ❞❡s❝r✐♣t✐♦♥ ♦❢ ❝❧♦♥❡s ✐s ♦♣t✐♠❛❧✳ ❚❤❛t ✐s✱ t❤❡s❡ ❝❧♦♥❡s ❝❛♥ ♥♦t ❜❡ ❞❡✜♥❡❞ ❜② r❡❧❛t✐♦♥s ♦❢ s♠❛❧❧❡r ❛r✐t②✳ Pr♦♣❡rt✐❡s ♦❢ t❤❡ ❝❧♦♥❡s ❛♥❞ t❤❡ ❧❛tt✐❝❡ P❛✐r✇✐s❡ ✐♥❝❧✉s✐♦♥ ♦❢ ❝❧♦♥❡s ✇❛s ❞❡s❝r✐❜❡s✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✺ ✴ ✹✾
❘❡❧❛t✐♦♥ ❞❡❣r❡❡ ♦❢ ❛ ❝❧♦♥❡ ✐s t❤❡ ♠✐♥✐♠❛❧ ❛r✐t② ♦❢ r❡❧❛t✐♦♥s s✉❝❤ t❤❛t t❤❡ ❝❧♦♥❡ ❝❛♥ ❜❡ ❞❡✜♥❡❞ ❛s t❤❡ s❡t ♦❢ ❛❧❧ ♦♣❡r❛t✐♦♥s t❤❛t ♣r❡s❡r✈❡ t❤❡s❡ r❡❧❛t✐♦♥s✳ ❚❤❡ r❡❧❛t✐♦♥ ❞❡❣r❡❡ ♦❢ ❡❛❝❤ ❝❧♦♥❡ ♦❢ s❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s ✐s ❢♦✉♥❞ ❚❤❡ ✈❛❧✉❡s ♦❢ t❤❡ r❡❧❛t✐♦♥ ❞❡❣r❡❡ ♣r♦✈❡ t❤❛t ♦✉r ❞❡s❝r✐♣t✐♦♥ ♦❢ ❝❧♦♥❡s ✐s ♦♣t✐♠❛❧✳ ❚❤❛t ✐s✱ t❤❡s❡ ❝❧♦♥❡s ❝❛♥ ♥♦t ❜❡ ❞❡✜♥❡❞ ❜② r❡❧❛t✐♦♥s ♦❢ s♠❛❧❧❡r ❛r✐t②✳ Pr♦♣❡rt✐❡s ♦❢ t❤❡ ❝❧♦♥❡s ❛♥❞ t❤❡ ❧❛tt✐❝❡ P❛✐r✇✐s❡ ✐♥❝❧✉s✐♦♥ ♦❢ ❝❧♦♥❡s ✇❛s ❞❡s❝r✐❜❡s✳ ❆ ❜❛s✐s ♦❢ ❛ ❝❧♦♥❡ ✐s ❛ ♠✐♥✐♠❛❧ ❜② ✐♥❝❧✉s✐♦♥ ❣❡♥❡r❛t✐♥❣ s❡t✳ ■t ✇❛s ♣r♦✈❡❞ t❤❛t ❛ ❜❛s✐s ❡①✐sts ❢♦r ❡✈❡r② ❝❧♦♥❡ ♦❢ s❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s✦ ❆ ❜❛s✐s ❢♦r ❡✈❡r② ❝❧♦♥❡ ✇❛s ❢♦✉♥❞✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✺ ✴ ✹✾
Pr♦♣❡rt✐❡s ♦❢ t❤❡ ❝❧♦♥❡s ❛♥❞ t❤❡ ❧❛tt✐❝❡ P❛✐r✇✐s❡ ✐♥❝❧✉s✐♦♥ ♦❢ ❝❧♦♥❡s ✇❛s ❞❡s❝r✐❜❡s✳ ❆ ❜❛s✐s ♦❢ ❛ ❝❧♦♥❡ ✐s ❛ ♠✐♥✐♠❛❧ ❜② ✐♥❝❧✉s✐♦♥ ❣❡♥❡r❛t✐♥❣ s❡t✳ ■t ✇❛s ♣r♦✈❡❞ t❤❛t ❛ ❜❛s✐s ❡①✐sts ❢♦r ❡✈❡r② ❝❧♦♥❡ ♦❢ s❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s✦ ❆ ❜❛s✐s ❢♦r ❡✈❡r② ❝❧♦♥❡ ✇❛s ❢♦✉♥❞✳ ❘❡❧❛t✐♦♥ ❞❡❣r❡❡ ♦❢ ❛ ❝❧♦♥❡ ✐s t❤❡ ♠✐♥✐♠❛❧ ❛r✐t② ♦❢ r❡❧❛t✐♦♥s s✉❝❤ t❤❛t t❤❡ ❝❧♦♥❡ ❝❛♥ ❜❡ ❞❡✜♥❡❞ ❛s t❤❡ s❡t ♦❢ ❛❧❧ ♦♣❡r❛t✐♦♥s t❤❛t ♣r❡s❡r✈❡ t❤❡s❡ r❡❧❛t✐♦♥s✳ ❚❤❡ r❡❧❛t✐♦♥ ❞❡❣r❡❡ ♦❢ ❡❛❝❤ ❝❧♦♥❡ ♦❢ s❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s ✐s ❢♦✉♥❞ ❚❤❡ ✈❛❧✉❡s ♦❢ t❤❡ r❡❧❛t✐♦♥ ❞❡❣r❡❡ ♣r♦✈❡ t❤❛t ♦✉r ❞❡s❝r✐♣t✐♦♥ ♦❢ ❝❧♦♥❡s ✐s ♦♣t✐♠❛❧✳ ❚❤❛t ✐s✱ t❤❡s❡ ❝❧♦♥❡s ❝❛♥ ♥♦t ❜❡ ❞❡✜♥❡❞ ❜② r❡❧❛t✐♦♥s ♦❢ s♠❛❧❧❡r ❛r✐t②✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✺ ✴ ✹✾
❋♦r ❡❛❝❤ ❝❧♦♥❡ t❤❡ ❝❛r❞✐♥❛❧✐t② ♦❢ ✐s ❢♦✉♥❞✳ ❋♦r ❡❛❝❤ ❝❧♦♥❡ t❤❡ ❝❛r❞✐♥❛❧✐t② ♦❢ ✐s ❢♦✉♥❞✳ ❤❛s ❝♦♥t✐♥✉✉♠ ❝❛r❞✐♥❛❧✐t② ❢♦r ❡✈❡r② ❞♦✇♥✲s❡t s✉❝❤ t❤❛t ❈❛r❞✐♥❛❧✐t② ♦❢ ♣r✐♥❝✐♣❛❧ ✜❧t❡rs ❛♥❞ ♣r✐♥❝✐♣❛❧ ✐❞❡❛❧s ❉❡✜♥✐t✐♦♥ L 3 ✐s t❤❡ s❡t ♦❢ ❛❧❧ ❝❧♦♥❡s ♦❢ s❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s✱ 3 ( M ) := { M ′ ∈ L 3 | M ⊆ M ′ ) , L ↑ 3 ( M ) := { M ′ ∈ L 3 | M ′ ⊆ M ) . L ↓ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✻ ✴ ✹✾
❈❛r❞✐♥❛❧✐t② ♦❢ ♣r✐♥❝✐♣❛❧ ✜❧t❡rs ❛♥❞ ♣r✐♥❝✐♣❛❧ ✐❞❡❛❧s ❉❡✜♥✐t✐♦♥ L 3 ✐s t❤❡ s❡t ♦❢ ❛❧❧ ❝❧♦♥❡s ♦❢ s❡❧❢✲❞✉❛❧ ♦♣❡r❛t✐♦♥s✱ 3 ( M ) := { M ′ ∈ L 3 | M ⊆ M ′ ) , L ↑ 3 ( M ) := { M ′ ∈ L 3 | M ′ ⊆ M ) . L ↓ ❋♦r ❡❛❝❤ ❝❧♦♥❡ C ∈ L 3 t❤❡ ❝❛r❞✐♥❛❧✐t② ♦❢ L ↑ 3 ( C ) ✐s ❢♦✉♥❞✳ ❋♦r ❡❛❝❤ ❝❧♦♥❡ C ∈ L 3 t❤❡ ❝❛r❞✐♥❛❧✐t② ♦❢ L ↓ 3 ( C ) ✐s ❢♦✉♥❞✳ L ↓ 3 ( Pol ( F )) ❤❛s ❝♦♥t✐♥✉✉♠ ❝❛r❞✐♥❛❧✐t② ❢♦r ❡✈❡r② ❞♦✇♥✲s❡t F ⊆ Π s✉❝❤ t❤❛t F � = Π , L ↓ 3 ( Pol (Π)) = 4 . ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✻ ✴ ✹✾
❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✼ ✴ ✹✾
❚❤❡ ♥✉♠❜❡r ♦❢ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ ❛ ♠❛❥♦r✐t② ♦♣❡r❛t✐♦♥ ◆❡①t st❡♣s O A ❈❛♥ ✇❡ ❞♦ t❤❡ s❛♠❡ ❢♦r ♦t❤❡r ♠❛①✐♠❛❧ ❝❧♦♥❡s ✐❢ | A | = 3 ❄ ❲❤✐❝❤ ♠❛①✐♠❛❧ ❝❧♦♥❡ ✐s t❤❡ ✏s♠❛❧❧❡st✑ ♦♥❡❄ ❄ J A ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✽ ✴ ✹✾
◆❡①t st❡♣s O A ❈❛♥ ✇❡ ❞♦ t❤❡ s❛♠❡ ❢♦r ♦t❤❡r ♠❛①✐♠❛❧ ❝❧♦♥❡s ✐❢ | A | = 3 ❄ ❲❤✐❝❤ ♠❛①✐♠❛❧ ❝❧♦♥❡ ✐s t❤❡ ✏s♠❛❧❧❡st✑ ♦♥❡❄ ❚❤❡ ♥✉♠❜❡r ♦❢ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ ❛ ♠❛❥♦r✐t② ♦♣❡r❛t✐♦♥ � 0 � 1 2 0 1 Pol ( 0 ) Pol ( { 0 , 1 } ) Pol 0 1 2 1 0 ❄ 1 744 466 1 722 818 36 942 � 0 � � 0 � 1 2 0 0 1 1 2 Pol Pol 0 1 2 1 2 2 1 2 0 1 546 17 � 0 � 1 2 0 0 1 2 Pol 0 1 2 1 2 0 0 84 201 J A ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✽ ✴ ✹✾
■ ❜❡❧✐❡✈❡ t❤❡ s✉❜❧❛tt✐❝❡ ❝❛♥ ❜❡ ❞✐✈✐❞❡❞ ✐♥t♦ ✶ ♠✐❧❧✐♦♥ ♣❛rts✱ ❛♥❞ t❤❡♥ ❡✈❡r② ♣❛rt ❝❛♥ ❜❡ ❞❡s❝r✐❜❡❞ ✐♥ ❛ s✐♠✐❧❛r ✇❛②✦ ■s ✐t ❛ ❣♦♦❞ ✐❞❡❛ t♦ ❞♦ t❤✐s❄ ◆♦✦ Pr♦❜❛❜❧② ✇❡ ❝♦♥s✐❞❡r t❤❡ ✇r♦♥❣ ♠❛✐♥ ♣r♦❜❧❡♠✳ ◆❡①t st❡♣s O A ❈❛♥ ✇❡ ❣❡t t❤❡ s❛♠❡ ❞❡s❝r✐♣t✐♦♥ ❢♦r t❤❡ M ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦❢ ♠♦♥♦t♦♥❡ ♦♣❡r❛t✐♦♥s ❢♦r | A | = 3 ❄ ❄ J A ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✾ ✴ ✹✾
■s ✐t ❛ ❣♦♦❞ ✐❞❡❛ t♦ ❞♦ t❤✐s❄ ◆♦✦ Pr♦❜❛❜❧② ✇❡ ❝♦♥s✐❞❡r t❤❡ ✇r♦♥❣ ♠❛✐♥ ♣r♦❜❧❡♠✳ ◆❡①t st❡♣s O A ❈❛♥ ✇❡ ❣❡t t❤❡ s❛♠❡ ❞❡s❝r✐♣t✐♦♥ ❢♦r t❤❡ M ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦❢ ♠♦♥♦t♦♥❡ ♦♣❡r❛t✐♦♥s ❢♦r | A | = 3 ❄ ■ ❜❡❧✐❡✈❡ t❤❡ s✉❜❧❛tt✐❝❡ ❝❛♥ ❜❡ ❞✐✈✐❞❡❞ ✐♥t♦ ✶ ♠✐❧❧✐♦♥ ♣❛rts✱ ❛♥❞ t❤❡♥ ❡✈❡r② ♣❛rt ❝❛♥ ❜❡ ❞❡s❝r✐❜❡❞ ✐♥ ❛ s✐♠✐❧❛r ✇❛②✦ ❄ J A ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✾ ✴ ✹✾
Pr♦❜❛❜❧② ✇❡ ❝♦♥s✐❞❡r t❤❡ ✇r♦♥❣ ♠❛✐♥ ♣r♦❜❧❡♠✳ ◆❡①t st❡♣s O A ❈❛♥ ✇❡ ❣❡t t❤❡ s❛♠❡ ❞❡s❝r✐♣t✐♦♥ ❢♦r t❤❡ M ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦❢ ♠♦♥♦t♦♥❡ ♦♣❡r❛t✐♦♥s ❢♦r | A | = 3 ❄ ■ ❜❡❧✐❡✈❡ t❤❡ s✉❜❧❛tt✐❝❡ ❝❛♥ ❜❡ ❞✐✈✐❞❡❞ ✐♥t♦ ✶ ♠✐❧❧✐♦♥ ♣❛rts✱ ❛♥❞ t❤❡♥ ❡✈❡r② ♣❛rt ❝❛♥ ❜❡ ❞❡s❝r✐❜❡❞ ✐♥ ❛ s✐♠✐❧❛r ✇❛②✦ ❄ ■s ✐t ❛ ❣♦♦❞ ✐❞❡❛ t♦ ❞♦ t❤✐s❄ ◆♦✦ J A ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✾ ✴ ✹✾
◆❡①t st❡♣s O A ❈❛♥ ✇❡ ❣❡t t❤❡ s❛♠❡ ❞❡s❝r✐♣t✐♦♥ ❢♦r t❤❡ M ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦❢ ♠♦♥♦t♦♥❡ ♦♣❡r❛t✐♦♥s ❢♦r | A | = 3 ❄ ■ ❜❡❧✐❡✈❡ t❤❡ s✉❜❧❛tt✐❝❡ ❝❛♥ ❜❡ ❞✐✈✐❞❡❞ ✐♥t♦ ✶ ♠✐❧❧✐♦♥ ♣❛rts✱ ❛♥❞ t❤❡♥ ❡✈❡r② ♣❛rt ❝❛♥ ❜❡ ❞❡s❝r✐❜❡❞ ✐♥ ❛ s✐♠✐❧❛r ✇❛②✦ ❄ ■s ✐t ❛ ❣♦♦❞ ✐❞❡❛ t♦ ❞♦ t❤✐s❄ ◆♦✦ Pr♦❜❛❜❧② ✇❡ ❝♦♥s✐❞❡r t❤❡ ✇r♦♥❣ ♠❛✐♥ ♣r♦❜❧❡♠✳ J A ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✾ ✴ ✹✾
◆❡①t st❡♣s O A ❈❛♥ ✇❡ ❣❡t t❤❡ s❛♠❡ ❞❡s❝r✐♣t✐♦♥ ❢♦r t❤❡ M ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦❢ ♠♦♥♦t♦♥❡ ♦♣❡r❛t✐♦♥s ❢♦r | A | = 3 ❄ ■ ❜❡❧✐❡✈❡ t❤❡ s✉❜❧❛tt✐❝❡ ❝❛♥ ❜❡ ❞✐✈✐❞❡❞ ✐♥t♦ ✶ ♠✐❧❧✐♦♥ ♣❛rts✱ ❛♥❞ t❤❡♥ ❡✈❡r② ♣❛rt ❝❛♥ ❜❡ ❞❡s❝r✐❜❡❞ ✐♥ ❛ s✐♠✐❧❛r ✇❛②✦ ❄ ■s ✐t ❛ ❣♦♦❞ ✐❞❡❛ t♦ ❞♦ t❤✐s❄ ◆♦✦ Pr♦❜❛❜❧② ✇❡ ❝♦♥s✐❞❡r t❤❡ ✇r♦♥❣ ♠❛✐♥ ♣r♦❜❧❡♠✳ J A ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✾ ✴ ✹✾
◆❡①t st❡♣s O A ❈❛♥ ✇❡ ❣❡t t❤❡ s❛♠❡ ❞❡s❝r✐♣t✐♦♥ ❢♦r t❤❡ M ♠❛①✐♠❛❧ ❝❧♦♥❡ ♦❢ ♠♦♥♦t♦♥❡ ♦♣❡r❛t✐♦♥s ❢♦r | A | = 3 ❄ ■ ❜❡❧✐❡✈❡ t❤❡ s✉❜❧❛tt✐❝❡ ❝❛♥ ❜❡ ❞✐✈✐❞❡❞ ✐♥t♦ ✶ ♠✐❧❧✐♦♥ ♣❛rts✱ ❛♥❞ t❤❡♥ ❡✈❡r② ♣❛rt ❝❛♥ ❜❡ ❞❡s❝r✐❜❡❞ ✐♥ ❛ s✐♠✐❧❛r ✇❛②✦ ❄ ■s ✐t ❛ ❣♦♦❞ ✐❞❡❛ t♦ ❞♦ t❤✐s❄ ◆♦✦ Pr♦❜❛❜❧② ✇❡ ❝♦♥s✐❞❡r t❤❡ ✇r♦♥❣ ♠❛✐♥ ♣r♦❜❧❡♠✳ J A ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✶✾ ✴ ✹✾
❚❤❡ ♥❡✇ ♠❛✐♥ ♣r♦❜❧❡♠s ❚❤❡ ◆❡✇ ▼❛✐♥ Pr♦❜❧❡♠s ♦❢ ❈❧♦♥❡ ❚❤❡♦r② ❚♦ ✜♥❞ ♦✉t ❤♦✇ t♦ ❝❤❡❝❦ ♣r♦♣❡rt✐❡s ♦❢ ❝❧♦♥❡s t♦ ✜♥❞ ✜♥✐t❡ ♣❛rts ♦❢ t❤❡ ❧❛tt✐❝❡ t♦ ❝❤❡❝❦ ♣r♦♣❡rt✐❡s ♦❢ t❤❡ ❧❛tt✐❝❡ ♦❢ ❝❧♦♥❡s ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✵ ✴ ✹✾
●✐✈❡♥ ❛ s❡t ♦❢ ♦♣❡r❛t✐♦♥s ✳ ❆ ❝❧♦♥❡ ✐s ❞❡✜♥❡❞ ❜② ✱ t❤❛t ✐s t❤❡ ♠✐♥✐♠❛❧ ❝❧♦♥❡ ❝♦♥t❛✐♥✐♥❣ ✳ ●✐✈❡♥ ❛ s❡t ♦❢ r❡❧❛t✐♦♥s ✳ ❆ ❝❧♦♥❡ ✐s ❞❡✜♥❡❞ ❜② ✱ t❤❛t ✐s t❤❡ s❡t ♦❢ ❛❧❧ ♦♣❡r❛t✐♦♥s ♣r❡s❡r✈✐♥❣ ❡✈❡r② r❡❧❛t✐♦♥ ❢r♦♠ ✳ ●✐✈❡♥ t✇♦ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s ❛♥❞ ✳ ❆ ❝❧♦♥❡ ✐s ❞❡✜♥❡❞ ❜② ✳ ❍♦✇ ✇❡ ❞❡✜♥❡ ❛ ❝❧♦♥❡ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✶ ✴ ✹✾
●✐✈❡♥ ❛ s❡t ♦❢ r❡❧❛t✐♦♥s ✳ ❆ ❝❧♦♥❡ ✐s ❞❡✜♥❡❞ ❜② ✱ t❤❛t ✐s t❤❡ s❡t ♦❢ ❛❧❧ ♦♣❡r❛t✐♦♥s ♣r❡s❡r✈✐♥❣ ❡✈❡r② r❡❧❛t✐♦♥ ❢r♦♠ ✳ ●✐✈❡♥ t✇♦ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s ❛♥❞ ✳ ❆ ❝❧♦♥❡ ✐s ❞❡✜♥❡❞ ❜② ✳ ❍♦✇ ✇❡ ❞❡✜♥❡ ❛ ❝❧♦♥❡ ●✐✈❡♥ ❛ s❡t ♦❢ ♦♣❡r❛t✐♦♥s F ✳ ❆ ❝❧♦♥❡ ✐s ❞❡✜♥❡❞ ❜② Clo ( F ) ✱ t❤❛t ✐s t❤❡ ♠✐♥✐♠❛❧ ❝❧♦♥❡ ❝♦♥t❛✐♥✐♥❣ F ✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✶ ✴ ✹✾
●✐✈❡♥ t✇♦ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s ❛♥❞ ✳ ❆ ❝❧♦♥❡ ✐s ❞❡✜♥❡❞ ❜② ✳ ❍♦✇ ✇❡ ❞❡✜♥❡ ❛ ❝❧♦♥❡ ●✐✈❡♥ ❛ s❡t ♦❢ ♦♣❡r❛t✐♦♥s F ✳ ❆ ❝❧♦♥❡ ✐s ❞❡✜♥❡❞ ❜② Clo ( F ) ✱ t❤❛t ✐s t❤❡ ♠✐♥✐♠❛❧ ❝❧♦♥❡ ❝♦♥t❛✐♥✐♥❣ F ✳ ●✐✈❡♥ ❛ s❡t ♦❢ r❡❧❛t✐♦♥s C ✳ ❆ ❝❧♦♥❡ ✐s ❞❡✜♥❡❞ ❜② Pol ( C ) ✱ t❤❛t ✐s t❤❡ s❡t ♦❢ ❛❧❧ ♦♣❡r❛t✐♦♥s ♣r❡s❡r✈✐♥❣ ❡✈❡r② r❡❧❛t✐♦♥ ❢r♦♠ C ✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✶ ✴ ✹✾
❍♦✇ ✇❡ ❞❡✜♥❡ ❛ ❝❧♦♥❡ ●✐✈❡♥ ❛ s❡t ♦❢ ♦♣❡r❛t✐♦♥s F ✳ ❆ ❝❧♦♥❡ ✐s ❞❡✜♥❡❞ ❜② Clo ( F ) ✱ t❤❛t ✐s t❤❡ ♠✐♥✐♠❛❧ ❝❧♦♥❡ ❝♦♥t❛✐♥✐♥❣ F ✳ ●✐✈❡♥ ❛ s❡t ♦❢ r❡❧❛t✐♦♥s C ✳ ❆ ❝❧♦♥❡ ✐s ❞❡✜♥❡❞ ❜② Pol ( C ) ✱ t❤❛t ✐s t❤❡ s❡t ♦❢ ❛❧❧ ♦♣❡r❛t✐♦♥s ♣r❡s❡r✈✐♥❣ ❡✈❡r② r❡❧❛t✐♦♥ ❢r♦♠ C ✳ ●✐✈❡♥ t✇♦ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s F 1 ❛♥❞ F 2 ✳ ❆ ❝❧♦♥❡ ✐s ❞❡✜♥❡❞ ❜② Clo ( F 1 ) ∩ Clo ( F 2 ) ✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✶ ✴ ✹✾
❉❡❝✐s✐♦♥ Pr♦❜❧❡♠s ✶ ●✐✈❡♥ t✇♦ ✜♥✐t❡ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s ❛♥❞ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r ✳ ■t ✐s ❞❡❝✐❞❛❜❧❡✦ ✷ ●✐✈❡♥ t✇♦ r❡❧❛t✐♦♥s ❛♥❞ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r ✳ ■t ✐s ❞❡❝✐❞❛❜❧❡✦ ✸ ●✐✈❡♥ ❛ s❡t ♦❢ ♦♣❡r❛t✐♦♥s ❛♥❞ ❛ r❡❧❛t✐♦♥ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✶✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✹ ●✐✈❡♥ ✸ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s ✱ ✱ ❛♥❞ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❍♦✇ ✇❡ ❞❡✜♥❡ ❛ ❝❧♦♥❡ ●❡♥❡r❛❧ Pr♦❜❧❡♠ ✶ ❉❡❝✐❞❡ ✇❤❡t❤❡r t✇♦ ❞❡✜♥✐t✐♦♥s ❣✐✈❡ t❤❡ s❛♠❡ ❝❧♦♥❡✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✷ ✴ ✹✾
■t ✐s ❞❡❝✐❞❛❜❧❡✦ ✷ ●✐✈❡♥ t✇♦ r❡❧❛t✐♦♥s ❛♥❞ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r ✳ ■t ✐s ❞❡❝✐❞❛❜❧❡✦ ✸ ●✐✈❡♥ ❛ s❡t ♦❢ ♦♣❡r❛t✐♦♥s ❛♥❞ ❛ r❡❧❛t✐♦♥ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✶✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✹ ●✐✈❡♥ ✸ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s ✱ ✱ ❛♥❞ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❍♦✇ ✇❡ ❞❡✜♥❡ ❛ ❝❧♦♥❡ ●❡♥❡r❛❧ Pr♦❜❧❡♠ ✶ ❉❡❝✐❞❡ ✇❤❡t❤❡r t✇♦ ❞❡✜♥✐t✐♦♥s ❣✐✈❡ t❤❡ s❛♠❡ ❝❧♦♥❡✳ ❉❡❝✐s✐♦♥ Pr♦❜❧❡♠s ✶ ●✐✈❡♥ t✇♦ ✜♥✐t❡ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s F 1 ❛♥❞ F 2 ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r Clo ( F 1 ) = Clo ( F 2 ) ✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✷ ✴ ✹✾
✷ ●✐✈❡♥ t✇♦ r❡❧❛t✐♦♥s ❛♥❞ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r ✳ ■t ✐s ❞❡❝✐❞❛❜❧❡✦ ✸ ●✐✈❡♥ ❛ s❡t ♦❢ ♦♣❡r❛t✐♦♥s ❛♥❞ ❛ r❡❧❛t✐♦♥ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✶✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✹ ●✐✈❡♥ ✸ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s ✱ ✱ ❛♥❞ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❍♦✇ ✇❡ ❞❡✜♥❡ ❛ ❝❧♦♥❡ ●❡♥❡r❛❧ Pr♦❜❧❡♠ ✶ ❉❡❝✐❞❡ ✇❤❡t❤❡r t✇♦ ❞❡✜♥✐t✐♦♥s ❣✐✈❡ t❤❡ s❛♠❡ ❝❧♦♥❡✳ ❉❡❝✐s✐♦♥ Pr♦❜❧❡♠s ✶ ●✐✈❡♥ t✇♦ ✜♥✐t❡ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s F 1 ❛♥❞ F 2 ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r Clo ( F 1 ) = Clo ( F 2 ) ✳ ■t ✐s ❞❡❝✐❞❛❜❧❡✦ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✷ ✴ ✹✾
■t ✐s ❞❡❝✐❞❛❜❧❡✦ ✸ ●✐✈❡♥ ❛ s❡t ♦❢ ♦♣❡r❛t✐♦♥s ❛♥❞ ❛ r❡❧❛t✐♦♥ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✶✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✹ ●✐✈❡♥ ✸ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s ✱ ✱ ❛♥❞ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❍♦✇ ✇❡ ❞❡✜♥❡ ❛ ❝❧♦♥❡ ●❡♥❡r❛❧ Pr♦❜❧❡♠ ✶ ❉❡❝✐❞❡ ✇❤❡t❤❡r t✇♦ ❞❡✜♥✐t✐♦♥s ❣✐✈❡ t❤❡ s❛♠❡ ❝❧♦♥❡✳ ❉❡❝✐s✐♦♥ Pr♦❜❧❡♠s ✶ ●✐✈❡♥ t✇♦ ✜♥✐t❡ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s F 1 ❛♥❞ F 2 ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r Clo ( F 1 ) = Clo ( F 2 ) ✳ ■t ✐s ❞❡❝✐❞❛❜❧❡✦ ✷ ●✐✈❡♥ t✇♦ r❡❧❛t✐♦♥s ρ 1 ❛♥❞ ρ 2 ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r Pol ( ρ 1 ) = Pol ( ρ 2 ) ✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✷ ✴ ✹✾
✸ ●✐✈❡♥ ❛ s❡t ♦❢ ♦♣❡r❛t✐♦♥s ❛♥❞ ❛ r❡❧❛t✐♦♥ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✶✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✹ ●✐✈❡♥ ✸ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s ✱ ✱ ❛♥❞ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❍♦✇ ✇❡ ❞❡✜♥❡ ❛ ❝❧♦♥❡ ●❡♥❡r❛❧ Pr♦❜❧❡♠ ✶ ❉❡❝✐❞❡ ✇❤❡t❤❡r t✇♦ ❞❡✜♥✐t✐♦♥s ❣✐✈❡ t❤❡ s❛♠❡ ❝❧♦♥❡✳ ❉❡❝✐s✐♦♥ Pr♦❜❧❡♠s ✶ ●✐✈❡♥ t✇♦ ✜♥✐t❡ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s F 1 ❛♥❞ F 2 ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r Clo ( F 1 ) = Clo ( F 2 ) ✳ ■t ✐s ❞❡❝✐❞❛❜❧❡✦ ✷ ●✐✈❡♥ t✇♦ r❡❧❛t✐♦♥s ρ 1 ❛♥❞ ρ 2 ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r Pol ( ρ 1 ) = Pol ( ρ 2 ) ✳ ■t ✐s ❞❡❝✐❞❛❜❧❡✦ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✷ ✴ ✹✾
❖♣❡♥ Pr♦❜❧❡♠ ✶✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✹ ●✐✈❡♥ ✸ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s ✱ ✱ ❛♥❞ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❍♦✇ ✇❡ ❞❡✜♥❡ ❛ ❝❧♦♥❡ ●❡♥❡r❛❧ Pr♦❜❧❡♠ ✶ ❉❡❝✐❞❡ ✇❤❡t❤❡r t✇♦ ❞❡✜♥✐t✐♦♥s ❣✐✈❡ t❤❡ s❛♠❡ ❝❧♦♥❡✳ ❉❡❝✐s✐♦♥ Pr♦❜❧❡♠s ✶ ●✐✈❡♥ t✇♦ ✜♥✐t❡ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s F 1 ❛♥❞ F 2 ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r Clo ( F 1 ) = Clo ( F 2 ) ✳ ■t ✐s ❞❡❝✐❞❛❜❧❡✦ ✷ ●✐✈❡♥ t✇♦ r❡❧❛t✐♦♥s ρ 1 ❛♥❞ ρ 2 ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r Pol ( ρ 1 ) = Pol ( ρ 2 ) ✳ ■t ✐s ❞❡❝✐❞❛❜❧❡✦ ✸ ●✐✈❡♥ ❛ s❡t ♦❢ ♦♣❡r❛t✐♦♥s F ❛♥❞ ❛ r❡❧❛t✐♦♥ ρ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r Clo ( F ) = Pol ( ρ ) ✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✷ ✴ ✹✾
✹ ●✐✈❡♥ ✸ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s ✱ ✱ ❛♥❞ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❍♦✇ ✇❡ ❞❡✜♥❡ ❛ ❝❧♦♥❡ ●❡♥❡r❛❧ Pr♦❜❧❡♠ ✶ ❉❡❝✐❞❡ ✇❤❡t❤❡r t✇♦ ❞❡✜♥✐t✐♦♥s ❣✐✈❡ t❤❡ s❛♠❡ ❝❧♦♥❡✳ ❉❡❝✐s✐♦♥ Pr♦❜❧❡♠s ✶ ●✐✈❡♥ t✇♦ ✜♥✐t❡ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s F 1 ❛♥❞ F 2 ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r Clo ( F 1 ) = Clo ( F 2 ) ✳ ■t ✐s ❞❡❝✐❞❛❜❧❡✦ ✷ ●✐✈❡♥ t✇♦ r❡❧❛t✐♦♥s ρ 1 ❛♥❞ ρ 2 ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r Pol ( ρ 1 ) = Pol ( ρ 2 ) ✳ ■t ✐s ❞❡❝✐❞❛❜❧❡✦ ✸ ●✐✈❡♥ ❛ s❡t ♦❢ ♦♣❡r❛t✐♦♥s F ❛♥❞ ❛ r❡❧❛t✐♦♥ ρ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r Clo ( F ) = Pol ( ρ ) ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✶✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✷ ✴ ✹✾
❖♣❡♥ Pr♦❜❧❡♠ ✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❍♦✇ ✇❡ ❞❡✜♥❡ ❛ ❝❧♦♥❡ ●❡♥❡r❛❧ Pr♦❜❧❡♠ ✶ ❉❡❝✐❞❡ ✇❤❡t❤❡r t✇♦ ❞❡✜♥✐t✐♦♥s ❣✐✈❡ t❤❡ s❛♠❡ ❝❧♦♥❡✳ ❉❡❝✐s✐♦♥ Pr♦❜❧❡♠s ✶ ●✐✈❡♥ t✇♦ ✜♥✐t❡ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s F 1 ❛♥❞ F 2 ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r Clo ( F 1 ) = Clo ( F 2 ) ✳ ■t ✐s ❞❡❝✐❞❛❜❧❡✦ ✷ ●✐✈❡♥ t✇♦ r❡❧❛t✐♦♥s ρ 1 ❛♥❞ ρ 2 ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r Pol ( ρ 1 ) = Pol ( ρ 2 ) ✳ ■t ✐s ❞❡❝✐❞❛❜❧❡✦ ✸ ●✐✈❡♥ ❛ s❡t ♦❢ ♦♣❡r❛t✐♦♥s F ❛♥❞ ❛ r❡❧❛t✐♦♥ ρ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r Clo ( F ) = Pol ( ρ ) ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✶✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✹ ●✐✈❡♥ ✸ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s B ✱ C ✱ ❛♥❞ D ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r Clo ( B ) ∩ Clo ( C ) = Clo ( D ) ✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✷ ✴ ✹✾
❍♦✇ ✇❡ ❞❡✜♥❡ ❛ ❝❧♦♥❡ ●❡♥❡r❛❧ Pr♦❜❧❡♠ ✶ ❉❡❝✐❞❡ ✇❤❡t❤❡r t✇♦ ❞❡✜♥✐t✐♦♥s ❣✐✈❡ t❤❡ s❛♠❡ ❝❧♦♥❡✳ ❉❡❝✐s✐♦♥ Pr♦❜❧❡♠s ✶ ●✐✈❡♥ t✇♦ ✜♥✐t❡ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s F 1 ❛♥❞ F 2 ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r Clo ( F 1 ) = Clo ( F 2 ) ✳ ■t ✐s ❞❡❝✐❞❛❜❧❡✦ ✷ ●✐✈❡♥ t✇♦ r❡❧❛t✐♦♥s ρ 1 ❛♥❞ ρ 2 ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r Pol ( ρ 1 ) = Pol ( ρ 2 ) ✳ ■t ✐s ❞❡❝✐❞❛❜❧❡✦ ✸ ●✐✈❡♥ ❛ s❡t ♦❢ ♦♣❡r❛t✐♦♥s F ❛♥❞ ❛ r❡❧❛t✐♦♥ ρ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r Clo ( F ) = Pol ( ρ ) ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✶✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✹ ●✐✈❡♥ ✸ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s B ✱ C ✱ ❛♥❞ D ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r Clo ( B ) ∩ Clo ( C ) = Clo ( D ) ✳ ❖♣❡♥ Pr♦❜❧❡♠ 2 ✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✷ ✴ ✹✾
❉❡❝✐s✐♦♥ ♣r♦❜❧❡♠s ✶ ●✐✈❡♥ ❛ ✜♥✐t❡ s❡t ♦❢ ♦♣❡r❛t✐♦♥s✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤❡s❡ ♦♣❡r❛t✐♦♥s✳ ❖♣❡♥ Pr♦❜❧❡♠ ✸✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✷ ●✐✈❡♥ ❛♥ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✹✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✸ ●✐✈❡♥ ❛ ❲◆❯ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✺✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✹ ●✐✈❡♥ ❛ ▼❛❧✬ts❡✈ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✻✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✺ ●✐✈❡♥ ❛ r❡❧❛t✐♦♥ ✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✼✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❚❤❡ ❝❛r❞✐♥❛❧✐t② ♦❢ ♣r✐♥❝✐♣❛❧ ✜❧t❡rs ●❡♥❡r❛❧ Pr♦❜❧❡♠ ✷ ●✐✈❡♥ ❛ ❝❧♦♥❡✱ ❞❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ❝❧♦♥❡✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✸ ✴ ✹✾
❖♣❡♥ Pr♦❜❧❡♠ ✸✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✷ ●✐✈❡♥ ❛♥ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✹✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✸ ●✐✈❡♥ ❛ ❲◆❯ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✺✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✹ ●✐✈❡♥ ❛ ▼❛❧✬ts❡✈ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✻✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✺ ●✐✈❡♥ ❛ r❡❧❛t✐♦♥ ✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✼✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❚❤❡ ❝❛r❞✐♥❛❧✐t② ♦❢ ♣r✐♥❝✐♣❛❧ ✜❧t❡rs ●❡♥❡r❛❧ Pr♦❜❧❡♠ ✷ ●✐✈❡♥ ❛ ❝❧♦♥❡✱ ❞❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ❝❧♦♥❡✳ ❉❡❝✐s✐♦♥ ♣r♦❜❧❡♠s ✶ ●✐✈❡♥ ❛ ✜♥✐t❡ s❡t ♦❢ ♦♣❡r❛t✐♦♥s✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤❡s❡ ♦♣❡r❛t✐♦♥s✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✸ ✴ ✹✾
✷ ●✐✈❡♥ ❛♥ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✹✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✸ ●✐✈❡♥ ❛ ❲◆❯ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✺✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✹ ●✐✈❡♥ ❛ ▼❛❧✬ts❡✈ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✻✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✺ ●✐✈❡♥ ❛ r❡❧❛t✐♦♥ ✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✼✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❚❤❡ ❝❛r❞✐♥❛❧✐t② ♦❢ ♣r✐♥❝✐♣❛❧ ✜❧t❡rs ●❡♥❡r❛❧ Pr♦❜❧❡♠ ✷ ●✐✈❡♥ ❛ ❝❧♦♥❡✱ ❞❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ❝❧♦♥❡✳ ❉❡❝✐s✐♦♥ ♣r♦❜❧❡♠s ✶ ●✐✈❡♥ ❛ ✜♥✐t❡ s❡t ♦❢ ♦♣❡r❛t✐♦♥s✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤❡s❡ ♦♣❡r❛t✐♦♥s✳ ❖♣❡♥ Pr♦❜❧❡♠ ✸✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✸ ✴ ✹✾
❖♣❡♥ Pr♦❜❧❡♠ ✹✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✸ ●✐✈❡♥ ❛ ❲◆❯ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✺✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✹ ●✐✈❡♥ ❛ ▼❛❧✬ts❡✈ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✻✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✺ ●✐✈❡♥ ❛ r❡❧❛t✐♦♥ ✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✼✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❚❤❡ ❝❛r❞✐♥❛❧✐t② ♦❢ ♣r✐♥❝✐♣❛❧ ✜❧t❡rs ●❡♥❡r❛❧ Pr♦❜❧❡♠ ✷ ●✐✈❡♥ ❛ ❝❧♦♥❡✱ ❞❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ❝❧♦♥❡✳ ❉❡❝✐s✐♦♥ ♣r♦❜❧❡♠s ✶ ●✐✈❡♥ ❛ ✜♥✐t❡ s❡t ♦❢ ♦♣❡r❛t✐♦♥s✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤❡s❡ ♦♣❡r❛t✐♦♥s✳ ❖♣❡♥ Pr♦❜❧❡♠ ✸✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✷ ●✐✈❡♥ ❛♥ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✸ ✴ ✹✾
✸ ●✐✈❡♥ ❛ ❲◆❯ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✺✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✹ ●✐✈❡♥ ❛ ▼❛❧✬ts❡✈ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✻✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✺ ●✐✈❡♥ ❛ r❡❧❛t✐♦♥ ✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✼✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❚❤❡ ❝❛r❞✐♥❛❧✐t② ♦❢ ♣r✐♥❝✐♣❛❧ ✜❧t❡rs ●❡♥❡r❛❧ Pr♦❜❧❡♠ ✷ ●✐✈❡♥ ❛ ❝❧♦♥❡✱ ❞❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ❝❧♦♥❡✳ ❉❡❝✐s✐♦♥ ♣r♦❜❧❡♠s ✶ ●✐✈❡♥ ❛ ✜♥✐t❡ s❡t ♦❢ ♦♣❡r❛t✐♦♥s✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤❡s❡ ♦♣❡r❛t✐♦♥s✳ ❖♣❡♥ Pr♦❜❧❡♠ ✸✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✷ ●✐✈❡♥ ❛♥ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✹✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✸ ✴ ✹✾
❖♣❡♥ Pr♦❜❧❡♠ ✺✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✹ ●✐✈❡♥ ❛ ▼❛❧✬ts❡✈ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✻✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✺ ●✐✈❡♥ ❛ r❡❧❛t✐♦♥ ✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✼✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❚❤❡ ❝❛r❞✐♥❛❧✐t② ♦❢ ♣r✐♥❝✐♣❛❧ ✜❧t❡rs ●❡♥❡r❛❧ Pr♦❜❧❡♠ ✷ ●✐✈❡♥ ❛ ❝❧♦♥❡✱ ❞❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ❝❧♦♥❡✳ ❉❡❝✐s✐♦♥ ♣r♦❜❧❡♠s ✶ ●✐✈❡♥ ❛ ✜♥✐t❡ s❡t ♦❢ ♦♣❡r❛t✐♦♥s✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤❡s❡ ♦♣❡r❛t✐♦♥s✳ ❖♣❡♥ Pr♦❜❧❡♠ ✸✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✷ ●✐✈❡♥ ❛♥ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✹✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✸ ●✐✈❡♥ ❛ ❲◆❯ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✸ ✴ ✹✾
✹ ●✐✈❡♥ ❛ ▼❛❧✬ts❡✈ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✻✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✺ ●✐✈❡♥ ❛ r❡❧❛t✐♦♥ ✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✼✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❚❤❡ ❝❛r❞✐♥❛❧✐t② ♦❢ ♣r✐♥❝✐♣❛❧ ✜❧t❡rs ●❡♥❡r❛❧ Pr♦❜❧❡♠ ✷ ●✐✈❡♥ ❛ ❝❧♦♥❡✱ ❞❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ❝❧♦♥❡✳ ❉❡❝✐s✐♦♥ ♣r♦❜❧❡♠s ✶ ●✐✈❡♥ ❛ ✜♥✐t❡ s❡t ♦❢ ♦♣❡r❛t✐♦♥s✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤❡s❡ ♦♣❡r❛t✐♦♥s✳ ❖♣❡♥ Pr♦❜❧❡♠ ✸✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✷ ●✐✈❡♥ ❛♥ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✹✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✸ ●✐✈❡♥ ❛ ❲◆❯ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✺✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✸ ✴ ✹✾
❖♣❡♥ Pr♦❜❧❡♠ ✻✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✺ ●✐✈❡♥ ❛ r❡❧❛t✐♦♥ ✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✼✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❚❤❡ ❝❛r❞✐♥❛❧✐t② ♦❢ ♣r✐♥❝✐♣❛❧ ✜❧t❡rs ●❡♥❡r❛❧ Pr♦❜❧❡♠ ✷ ●✐✈❡♥ ❛ ❝❧♦♥❡✱ ❞❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ❝❧♦♥❡✳ ❉❡❝✐s✐♦♥ ♣r♦❜❧❡♠s ✶ ●✐✈❡♥ ❛ ✜♥✐t❡ s❡t ♦❢ ♦♣❡r❛t✐♦♥s✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤❡s❡ ♦♣❡r❛t✐♦♥s✳ ❖♣❡♥ Pr♦❜❧❡♠ ✸✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✷ ●✐✈❡♥ ❛♥ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✹✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✸ ●✐✈❡♥ ❛ ❲◆❯ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✺✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✹ ●✐✈❡♥ ❛ ▼❛❧✬ts❡✈ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✸ ✴ ✹✾
✺ ●✐✈❡♥ ❛ r❡❧❛t✐♦♥ ✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✼✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❚❤❡ ❝❛r❞✐♥❛❧✐t② ♦❢ ♣r✐♥❝✐♣❛❧ ✜❧t❡rs ●❡♥❡r❛❧ Pr♦❜❧❡♠ ✷ ●✐✈❡♥ ❛ ❝❧♦♥❡✱ ❞❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ❝❧♦♥❡✳ ❉❡❝✐s✐♦♥ ♣r♦❜❧❡♠s ✶ ●✐✈❡♥ ❛ ✜♥✐t❡ s❡t ♦❢ ♦♣❡r❛t✐♦♥s✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤❡s❡ ♦♣❡r❛t✐♦♥s✳ ❖♣❡♥ Pr♦❜❧❡♠ ✸✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✷ ●✐✈❡♥ ❛♥ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✹✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✸ ●✐✈❡♥ ❛ ❲◆❯ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✺✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✹ ●✐✈❡♥ ❛ ▼❛❧✬ts❡✈ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✻✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✸ ✴ ✹✾
❖♣❡♥ Pr♦❜❧❡♠ ✼✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❚❤❡ ❝❛r❞✐♥❛❧✐t② ♦❢ ♣r✐♥❝✐♣❛❧ ✜❧t❡rs ●❡♥❡r❛❧ Pr♦❜❧❡♠ ✷ ●✐✈❡♥ ❛ ❝❧♦♥❡✱ ❞❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ❝❧♦♥❡✳ ❉❡❝✐s✐♦♥ ♣r♦❜❧❡♠s ✶ ●✐✈❡♥ ❛ ✜♥✐t❡ s❡t ♦❢ ♦♣❡r❛t✐♦♥s✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤❡s❡ ♦♣❡r❛t✐♦♥s✳ ❖♣❡♥ Pr♦❜❧❡♠ ✸✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✷ ●✐✈❡♥ ❛♥ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✹✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✸ ●✐✈❡♥ ❛ ❲◆❯ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✺✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✹ ●✐✈❡♥ ❛ ▼❛❧✬ts❡✈ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✻✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✺ ●✐✈❡♥ ❛ r❡❧❛t✐♦♥ ρ ✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ Pol ( ρ ) ✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✸ ✴ ✹✾
❚❤❡ ❝❛r❞✐♥❛❧✐t② ♦❢ ♣r✐♥❝✐♣❛❧ ✜❧t❡rs ●❡♥❡r❛❧ Pr♦❜❧❡♠ ✷ ●✐✈❡♥ ❛ ❝❧♦♥❡✱ ❞❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ❝❧♦♥❡✳ ❉❡❝✐s✐♦♥ ♣r♦❜❧❡♠s ✶ ●✐✈❡♥ ❛ ✜♥✐t❡ s❡t ♦❢ ♦♣❡r❛t✐♦♥s✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤❡s❡ ♦♣❡r❛t✐♦♥s✳ ❖♣❡♥ Pr♦❜❧❡♠ ✸✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✷ ●✐✈❡♥ ❛♥ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✹✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✸ ●✐✈❡♥ ❛ ❲◆❯ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✺✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✹ ●✐✈❡♥ ❛ ▼❛❧✬ts❡✈ ♦♣❡r❛t✐♦♥✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ t❤✐s ♦♣❡r❛t✐♦♥✳ ❖♣❡♥ Pr♦❜❧❡♠ ✻✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✺ ●✐✈❡♥ ❛ r❡❧❛t✐♦♥ ρ ✳ ❉❡❝✐❞❡ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ Pol ( ρ ) ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✼✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✸ ✴ ✹✾
◗✉❡st✐♦♥ ❍♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ ❛ ❣✐✈❡♥ ♠✐♥✐♠❛❧ ❝❧♦♥❡❄ ❚❤❡ ♣r✐♥❝✐♣❛❧ ✜❧t❡rs ❢♦r ♠✐♥✐♠❛❧ ❝❧♦♥❡s O A ❉❡✜♥✐t✐♦♥ ❆ ❝❧♦♥❡ A � = J k ✐s ❝❛❧❧❡❞ ♠✐♥✐♠❛❧✱ ✐❢ ❡✈❡r② ♦♣❡r❛t✐♦♥ ❢r♦♠ A \ J k ❣❡♥❡r❛t❡s t❤✐s ❝❧♦♥❡✳ ❄ ❊①❛♠♣❧❡s ♦❢ ♠✐♥✐♠❛❧ ❝❧♦♥❡s Clo ( { max } ) , Clo ( { x + 1 } ) . J A ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✹ ✴ ✹✾
❚❤❡ ♣r✐♥❝✐♣❛❧ ✜❧t❡rs ❢♦r ♠✐♥✐♠❛❧ ❝❧♦♥❡s O A ❉❡✜♥✐t✐♦♥ ❆ ❝❧♦♥❡ A � = J k ✐s ❝❛❧❧❡❞ ♠✐♥✐♠❛❧✱ ✐❢ ❡✈❡r② ♦♣❡r❛t✐♦♥ ❢r♦♠ A \ J k ❣❡♥❡r❛t❡s t❤✐s ❝❧♦♥❡✳ ❄ ❊①❛♠♣❧❡s ♦❢ ♠✐♥✐♠❛❧ ❝❧♦♥❡s Clo ( { max } ) , Clo ( { x + 1 } ) . ◗✉❡st✐♦♥ ❍♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ ❛ ❣✐✈❡♥ ♠✐♥✐♠❛❧ ❝❧♦♥❡❄ J A ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✹ ✴ ✹✾
❘♦s❡♥❜❡r❣ ❈❧❛ss✐✜❝❛t✐♦♥ ♦❢ ▼✐♥✐♠❛❧ ❈❧♦♥❡s ❚❤❡♦r❡♠ ❊❛❝❤ ♠✐♥✐♠❛❧ ❝❧♦♥❡ ♦♥ k ❡❧❡♠❡♥ts ❝❛♥ ❜❡ ❣❡♥❡r❛t❡❞ ❜② f ✇❤❡r❡ ✶ f ✐s ❛♥ ✉♥❛r② ♦♣❡r❛t✐♦♥✳ ✷ f ✐s ❛ ❜✐♥❛r② ✐❞❡♠♣♦t❡♥t ♦♣❡r❛t✐♦♥ f ( a , a ) = a ❢♦r ❡✈❡r② a ∈ E 3 . ✸ f ✐s ❛ ♠❛❥♦r✐t② ♦♣❡r❛t✐♦♥ ∀ a , b ∈ E 3 : f ( a , a , b ) = f ( a , b , a ) = f ( b , a , a ) = a ✹ f ✐s ❛ ♠✐♥♦r✐t② ♦♣❡r❛t✐♦♥ ∀ a , b ∈ E 3 : f ( a , a , b ) = f ( a , b , a ) = f ( b , a , a ) = b ✺ f ✐s ❛ s❡♠✐♣r♦❥❡❝t✐♦♥ t♦ t❤❡ i ✲t❤ ✈❛r✐❛❜❧❡ f ∈ P n k ✱ 3 ≤ n ≤ k ✱ ❢♦r ❡✈❡r② t✉♣❧❡ ( a 1 , a 2 , . . . , a n ) s❛t✐s❢②✐♥❣ |{ a 1 , a 2 , . . . , a n }| < n ✇❡ ❤❛✈❡ f ( a 1 , a 2 , . . . , a n ) = a i ✳ ❲❡ ✇✐❧❧ ❛ss✉♠❡ t❤❛t i = 1 ❢♦r ❛❧❧ ♦❝❝✉rr✐♥❣ s❡♠✐♣r♦❥❡❝t✐♦♥s✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✺ ✴ ✹✾
▼✐♥✐♠❛❧ ❈❧♦♥❡s ♦♥ t❤r❡❡ ❡❧❡♠❡♥ts ✭❢♦✉♥❞ ❜② ❇✳ ❈s✁ ❛❦✁ ❛♥②✮ ❚❤❡r❡ ❛r❡ ❡①❛❝t❧② ✽✹ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ♦♥ ✸ ❡❧❡♠❡♥ts✳ ❖♥❡ ♦❜t❛✐♥s ❡✈❡r② ♦♥❡ ♦❢ t❤❡s❡ ❝❧♦♥❡s ❜② ❛♣♣❧②✐♥❣ ✐♥♥❡r ❛✉t♦♠♦r♣❤✐s♠s ♦❢ P 3 t♦ ❡①❛❝t❧② ♦♥❡ ♦❢ t❤❡ ❢♦❧❧♦✇✐♥❣ ❝❧♦♥❡s✿ x c 0 c 1 c 2 c 3 0 1 1 0 1 ❛✮ ▼✐♥✐♠❛❧ ❝❧♦♥❡s ❣❡♥❡r❛t❡❞ ❜② ✉♥❛r② ♦♣❡r❛t✐♦♥s 1 1 0 1 2 2 1 2 1 0 ❜✮ ▼✐♥✐♠❛❧ ❝❧♦♥❡s ❣❡♥❡r❛t❡❞ ❜② ✐❞❡♠♣♦t❡♥t ❜✐♥❛r② ♦♣❡r❛t✐♦♥s x y b 1 b 2 b 3 b 4 b 5 b 6 b 7 b 8 b 9 b 10 b 11 b 12 0 1 1 0 1 1 1 1 0 0 0 0 1 2 1 0 1 1 1 1 1 1 1 1 1 1 1 2 0 2 1 0 0 0 0 0 0 1 0 1 0 1 2 0 1 1 0 2 0 2 0 1 1 2 0 1 1 2 1 1 1 1 1 1 1 1 1 0 2 0 2 1 1 1 1 1 2 2 1 2 2 2 2 0 ❝✮ ▼✐♥✐♠❛❧ ❝❧♦♥❡s ❣❡♥❡r❛t❡❞ ❜② ♠❛❥♦r✐t② ♦♣❡r❛t✐♦♥s m 1 , m 2 , m 3 ❛♥❞ x y z m 1 m 2 m 3 s 1 s 2 s 3 s 4 s 5 0 1 2 1 0 0 1 0 0 1 1 0 2 1 1 1 0 1 0 0 1 2 s❡♠✐♣r♦❥❡❝t✐♦♥s s 1 , s 2 , s 3 , s 4 , s 5 1 0 2 1 1 1 1 1 1 0 0 1 2 0 1 0 1 1 1 1 0 2 2 0 1 1 0 2 1 1 0 2 0 2 1 0 1 1 2 1 1 1 2 1 ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✻ ✴ ✹✾
❋♦r ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❣❡♥❡r❛t❡❞ ❜② ♠❛❥♦r✐t② ♦♣❡r❛t✐♦♥s t❤❡ r❡s✉❧t ❢♦❧❧♦✇s ❢r♦♠ ❇❛❦❡r✲P✐①❧❡② ❚❤❡♦r❡♠ ✭❑✳ ❆✳ ❇❛❦❡r✱ ❆✳ ❋✳ P✐①❧❡②✱ ✶✾✼✺✮ ❈❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ ❛♥❞ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ ❛r❡ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞ ✭❙✳ ❙✳ ▼❛r❝❤❡♥❦♦✈✱ ✶✾✽✹✮ ❚❤❡ s❡t ♦❢ ❛❧❧ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ ✐s ✜♥✐t❡ ❛♥❞ ❝♦♠♣❧❡t❡❧② ❞❡s❝r✐❜❡❞ ✭■✳ ❘♦s❡♥❜❡r❣✱ ✶✾✾✺✮✳ ❋♦r t❤❡ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❣❡♥❡r❛t❡❞ ❜② ✉♥❛r② ♦♣❡r❛t✐♦♥s t❤✐s ♣r♦❜❧❡♠ ✇❛s s♦❧✈❡❞ ❜② ❏✳ P❛♥t♦✈✐✁ ❝ ❛♥❞ ❉✳ ❱♦✐✈♦❞✐✁ ❝ ✭✷✵✵✵✮✳ ❚❤❡ s❡t ♦❢ ❛❧❧ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ ❛ ♦♣❡r❛t✐♦♥ ❤❛s ❝♦♥t✐♥✉✉♠ ❝❛r❞✐♥❛❧✐t② ❢♦r ❡✈❡r② ❚❤❡ s❡t ♦❢ ❛❧❧ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ ❛ ♦♣❡r❛t✐♦♥ ✐s ❛t ❧❡❛st ❝♦✉♥t❛❜❧❡ ❢♦r ❡✈❡r② ✭❏✳ P❛♥t♦✈✐✁ ❝✱ ❉✳ ❱♦✐✈♦❞✐✁ ❝✱ ✷✵✵✵✮✳ Pr♦❜❧❡♠ ❍♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ ❛ ❣✐✈❡♥ ♠✐♥✐♠❛❧ ❝❧♦♥❡ ♦♥ t❤r❡❡ ❡❧❡♠❡♥ts❄ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✼ ✴ ✹✾
❈❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ ❛♥❞ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ ❛r❡ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞ ✭❙✳ ❙✳ ▼❛r❝❤❡♥❦♦✈✱ ✶✾✽✹✮ ❚❤❡ s❡t ♦❢ ❛❧❧ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ ✐s ✜♥✐t❡ ❛♥❞ ❝♦♠♣❧❡t❡❧② ❞❡s❝r✐❜❡❞ ✭■✳ ❘♦s❡♥❜❡r❣✱ ✶✾✾✺✮✳ ❋♦r t❤❡ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❣❡♥❡r❛t❡❞ ❜② ✉♥❛r② ♦♣❡r❛t✐♦♥s t❤✐s ♣r♦❜❧❡♠ ✇❛s s♦❧✈❡❞ ❜② ❏✳ P❛♥t♦✈✐✁ ❝ ❛♥❞ ❉✳ ❱♦✐✈♦❞✐✁ ❝ ✭✷✵✵✵✮✳ ❚❤❡ s❡t ♦❢ ❛❧❧ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ ❛ ♦♣❡r❛t✐♦♥ ❤❛s ❝♦♥t✐♥✉✉♠ ❝❛r❞✐♥❛❧✐t② ❢♦r ❡✈❡r② ❚❤❡ s❡t ♦❢ ❛❧❧ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ ❛ ♦♣❡r❛t✐♦♥ ✐s ❛t ❧❡❛st ❝♦✉♥t❛❜❧❡ ❢♦r ❡✈❡r② ✭❏✳ P❛♥t♦✈✐✁ ❝✱ ❉✳ ❱♦✐✈♦❞✐✁ ❝✱ ✷✵✵✵✮✳ Pr♦❜❧❡♠ ❍♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ ❛ ❣✐✈❡♥ ♠✐♥✐♠❛❧ ❝❧♦♥❡ ♦♥ t❤r❡❡ ❡❧❡♠❡♥ts❄ ❋♦r ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❣❡♥❡r❛t❡❞ ❜② ♠❛❥♦r✐t② ♦♣❡r❛t✐♦♥s t❤❡ r❡s✉❧t ❢♦❧❧♦✇s ❢r♦♠ ❇❛❦❡r✲P✐①❧❡② ❚❤❡♦r❡♠ ✭❑✳ ❆✳ ❇❛❦❡r✱ ❆✳ ❋✳ P✐①❧❡②✱ ✶✾✼✺✮ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✼ ✴ ✹✾
❚❤❡ s❡t ♦❢ ❛❧❧ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ ✐s ✜♥✐t❡ ❛♥❞ ❝♦♠♣❧❡t❡❧② ❞❡s❝r✐❜❡❞ ✭■✳ ❘♦s❡♥❜❡r❣✱ ✶✾✾✺✮✳ ❋♦r t❤❡ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❣❡♥❡r❛t❡❞ ❜② ✉♥❛r② ♦♣❡r❛t✐♦♥s t❤✐s ♣r♦❜❧❡♠ ✇❛s s♦❧✈❡❞ ❜② ❏✳ P❛♥t♦✈✐✁ ❝ ❛♥❞ ❉✳ ❱♦✐✈♦❞✐✁ ❝ ✭✷✵✵✵✮✳ ❚❤❡ s❡t ♦❢ ❛❧❧ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ ❛ ♦♣❡r❛t✐♦♥ ❤❛s ❝♦♥t✐♥✉✉♠ ❝❛r❞✐♥❛❧✐t② ❢♦r ❡✈❡r② ❚❤❡ s❡t ♦❢ ❛❧❧ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ ❛ ♦♣❡r❛t✐♦♥ ✐s ❛t ❧❡❛st ❝♦✉♥t❛❜❧❡ ❢♦r ❡✈❡r② ✭❏✳ P❛♥t♦✈✐✁ ❝✱ ❉✳ ❱♦✐✈♦❞✐✁ ❝✱ ✷✵✵✵✮✳ Pr♦❜❧❡♠ ❍♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ ❛ ❣✐✈❡♥ ♠✐♥✐♠❛❧ ❝❧♦♥❡ ♦♥ t❤r❡❡ ❡❧❡♠❡♥ts❄ ❋♦r ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❣❡♥❡r❛t❡❞ ❜② ♠❛❥♦r✐t② ♦♣❡r❛t✐♦♥s t❤❡ r❡s✉❧t ❢♦❧❧♦✇s ❢r♦♠ ❇❛❦❡r✲P✐①❧❡② ❚❤❡♦r❡♠ ✭❑✳ ❆✳ ❇❛❦❡r✱ ❆✳ ❋✳ P✐①❧❡②✱ ✶✾✼✺✮ ❈❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ s 5 ❛♥❞ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ b 12 ❛r❡ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞ ✭❙✳ ❙✳ ▼❛r❝❤❡♥❦♦✈✱ ✶✾✽✹✮ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✼ ✴ ✹✾
❋♦r t❤❡ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❣❡♥❡r❛t❡❞ ❜② ✉♥❛r② ♦♣❡r❛t✐♦♥s t❤✐s ♣r♦❜❧❡♠ ✇❛s s♦❧✈❡❞ ❜② ❏✳ P❛♥t♦✈✐✁ ❝ ❛♥❞ ❉✳ ❱♦✐✈♦❞✐✁ ❝ ✭✷✵✵✵✮✳ ❚❤❡ s❡t ♦❢ ❛❧❧ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ ❛ ♦♣❡r❛t✐♦♥ ❤❛s ❝♦♥t✐♥✉✉♠ ❝❛r❞✐♥❛❧✐t② ❢♦r ❡✈❡r② ❚❤❡ s❡t ♦❢ ❛❧❧ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ ❛ ♦♣❡r❛t✐♦♥ ✐s ❛t ❧❡❛st ❝♦✉♥t❛❜❧❡ ❢♦r ❡✈❡r② ✭❏✳ P❛♥t♦✈✐✁ ❝✱ ❉✳ ❱♦✐✈♦❞✐✁ ❝✱ ✷✵✵✵✮✳ Pr♦❜❧❡♠ ❍♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ ❛ ❣✐✈❡♥ ♠✐♥✐♠❛❧ ❝❧♦♥❡ ♦♥ t❤r❡❡ ❡❧❡♠❡♥ts❄ ❋♦r ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❣❡♥❡r❛t❡❞ ❜② ♠❛❥♦r✐t② ♦♣❡r❛t✐♦♥s t❤❡ r❡s✉❧t ❢♦❧❧♦✇s ❢r♦♠ ❇❛❦❡r✲P✐①❧❡② ❚❤❡♦r❡♠ ✭❑✳ ❆✳ ❇❛❦❡r✱ ❆✳ ❋✳ P✐①❧❡②✱ ✶✾✼✺✮ ❈❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ s 5 ❛♥❞ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ b 12 ❛r❡ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞ ✭❙✳ ❙✳ ▼❛r❝❤❡♥❦♦✈✱ ✶✾✽✹✮ ❚❤❡ s❡t ♦❢ ❛❧❧ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ b 12 ✐s ✜♥✐t❡ ❛♥❞ ❝♦♠♣❧❡t❡❧② ❞❡s❝r✐❜❡❞ ✭■✳ ❘♦s❡♥❜❡r❣✱ ✶✾✾✺✮✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✼ ✴ ✹✾
❚❤❡ s❡t ♦❢ ❛❧❧ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ ❛ ♦♣❡r❛t✐♦♥ ❤❛s ❝♦♥t✐♥✉✉♠ ❝❛r❞✐♥❛❧✐t② ❢♦r ❡✈❡r② ❚❤❡ s❡t ♦❢ ❛❧❧ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ ❛ ♦♣❡r❛t✐♦♥ ✐s ❛t ❧❡❛st ❝♦✉♥t❛❜❧❡ ❢♦r ❡✈❡r② ✭❏✳ P❛♥t♦✈✐✁ ❝✱ ❉✳ ❱♦✐✈♦❞✐✁ ❝✱ ✷✵✵✵✮✳ Pr♦❜❧❡♠ ❍♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ ❛ ❣✐✈❡♥ ♠✐♥✐♠❛❧ ❝❧♦♥❡ ♦♥ t❤r❡❡ ❡❧❡♠❡♥ts❄ ❋♦r ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❣❡♥❡r❛t❡❞ ❜② ♠❛❥♦r✐t② ♦♣❡r❛t✐♦♥s t❤❡ r❡s✉❧t ❢♦❧❧♦✇s ❢r♦♠ ❇❛❦❡r✲P✐①❧❡② ❚❤❡♦r❡♠ ✭❑✳ ❆✳ ❇❛❦❡r✱ ❆✳ ❋✳ P✐①❧❡②✱ ✶✾✼✺✮ ❈❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ s 5 ❛♥❞ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ b 12 ❛r❡ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞ ✭❙✳ ❙✳ ▼❛r❝❤❡♥❦♦✈✱ ✶✾✽✹✮ ❚❤❡ s❡t ♦❢ ❛❧❧ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ b 12 ✐s ✜♥✐t❡ ❛♥❞ ❝♦♠♣❧❡t❡❧② ❞❡s❝r✐❜❡❞ ✭■✳ ❘♦s❡♥❜❡r❣✱ ✶✾✾✺✮✳ ❋♦r t❤❡ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❣❡♥❡r❛t❡❞ ❜② ✉♥❛r② ♦♣❡r❛t✐♦♥s t❤✐s ♣r♦❜❧❡♠ ✇❛s s♦❧✈❡❞ ❜② ❏✳ P❛♥t♦✈✐✁ ❝ ❛♥❞ ❉✳ ❱♦✐✈♦❞✐✁ ❝ ✭✷✵✵✵✮✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✼ ✴ ✹✾
Pr♦❜❧❡♠ ❍♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ ❛ ❣✐✈❡♥ ♠✐♥✐♠❛❧ ❝❧♦♥❡ ♦♥ t❤r❡❡ ❡❧❡♠❡♥ts❄ ❋♦r ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❣❡♥❡r❛t❡❞ ❜② ♠❛❥♦r✐t② ♦♣❡r❛t✐♦♥s t❤❡ r❡s✉❧t ❢♦❧❧♦✇s ❢r♦♠ ❇❛❦❡r✲P✐①❧❡② ❚❤❡♦r❡♠ ✭❑✳ ❆✳ ❇❛❦❡r✱ ❆✳ ❋✳ P✐①❧❡②✱ ✶✾✼✺✮ ❈❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ s 5 ❛♥❞ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ b 12 ❛r❡ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞ ✭❙✳ ❙✳ ▼❛r❝❤❡♥❦♦✈✱ ✶✾✽✹✮ ❚❤❡ s❡t ♦❢ ❛❧❧ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ b 12 ✐s ✜♥✐t❡ ❛♥❞ ❝♦♠♣❧❡t❡❧② ❞❡s❝r✐❜❡❞ ✭■✳ ❘♦s❡♥❜❡r❣✱ ✶✾✾✺✮✳ ❋♦r t❤❡ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ❣❡♥❡r❛t❡❞ ❜② ✉♥❛r② ♦♣❡r❛t✐♦♥s t❤✐s ♣r♦❜❧❡♠ ✇❛s s♦❧✈❡❞ ❜② ❏✳ P❛♥t♦✈✐✁ ❝ ❛♥❞ ❉✳ ❱♦✐✈♦❞✐✁ ❝ ✭✷✵✵✵✮✳ ❚❤❡ s❡t ♦❢ ❛❧❧ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ ❛ ♦♣❡r❛t✐♦♥ f ❤❛s ❝♦♥t✐♥✉✉♠ ❝❛r❞✐♥❛❧✐t② ❢♦r ❡✈❡r② f ∈ { s 1 , s 2 , b 1 , b 2 , b 4 , b 6 , b 8 , b 9 } . ❚❤❡ s❡t ♦❢ ❛❧❧ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ ❛ ♦♣❡r❛t✐♦♥ g ✐s ❛t ❧❡❛st ❝♦✉♥t❛❜❧❡ ❢♦r ❡✈❡r② g ∈ { s 3 , s 4 , b 3 , b 5 , b 7 , b 10 } ✭❏✳ P❛♥t♦✈✐✁ ❝✱ ❉✳ ❱♦✐✈♦❞✐✁ ❝✱ ✷✵✵✵✮✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✼ ✴ ✹✾
❘❡s✉❧t ❢♦r ✸✲❡❧❡♠❡♥t ❝❛s❡ ❚❤❡♦r❡♠ ✭❉✳ ❩❤✉❦✱ ✷✵✶✷✮ ❙✉♣♣♦s❡ ❛ ♠✐♥✐♠❛❧ ❝❧♦♥❡ ♦♥ ✸ ❡❧❡♠❡♥ts M ✐s ❣❡♥❡r❛t❡❞ ❜② f ✳ ❚❤❡ s❡t ♦❢ ❛❧❧ ❝❧♦♥❡s ❝♦♥t❛✐♥✐♥❣ M ✐s ✜♥✐t❡ ✐❢ f ∈ { c 3 , b 12 , m 1 , m 2 , m 3 } , ✐s ❝♦✉♥t❛❜❧❡ ✐❢ f ∈ { s 4 , s 5 } , ❤❛s ❝♦♥t✐♥✉✉♠ ❝❛r❞✐♥❛❧✐t② ✐❢ f ∈ { c 0 , c 1 , c 2 , b 1 , b 2 , b 3 , . . . , b 10 , b 11 , s 1 , s 2 , s 3 } . ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✽ ✴ ✹✾
❋✐♥✐t❡ ❛♥❞ ❝♦✉♥t❛❜❧❡ ❝❛s❡s ❢♦r ✸✲❡❧❡♠❡♥t ❝❛s❡ ❋✐♥✐t❡ ❝❛s❡s ✭❡①❝❡♣t ❝❧♦♥❡s ❣❡♥❡r❛t❡❞ ❜② ♠❛❥♦r✐t② ♦♣❡r❛t✐♦♥s✮ c 3 ( x ) = x + 1 ; b 12 ( x , y ) = 2 x + 2 y . ❈♦✉♥t❛❜❧❡ ❝❛s❡s � 2 x + 1 , ✐❢ |{ x , y , z }| = 3 ❀ s 4 ( x , y , z ) = ; x , ♦t❤❡r✇✐s❡✳ � y , ✐❢ |{ x , y , z }| = 3 ❀ s 5 ( x , y , z ) = . x , ♦t❤❡r✇✐s❡✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✷✾ ✴ ✹✾
❖♣❡♥ Pr♦❜❧❡♠s ✽ ❋✐♥❞ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ ❛ ❣✐✈❡♥ ♠✐♥✐♠❛❧ ❝❧♦♥❡ ♦♥ ✹ ❡❧❡♠❡♥ts✳ ✾ ❋✐♥❞ ❛❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s s✉❝❤ t❤❛t t❤❡ ❝♦rr❡s♣♦♥❞✐♥❣ ♣r✐♥❝✐♣❛❧ ✜❧t❡r ✐s ✜♥✐t❡✳ ✶✵ ❋✐♥❞ ❛❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s s✉❝❤ t❤❛t t❤❡ ❝♦rr❡s♣♦♥❞✐♥❣ ♣r✐♥❝✐♣❛❧ ✜❧t❡r ✐s ❝♦✉♥t❛❜❧❡✳ ▼✐♥✐♠❛❧ ❝❧♦♥❡s ❢♦r | A | > 3 ❆❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ♦♥ ✹ ❡❧❡♠❡♥ts ✇❡r❡ ❢♦✉♥❞ ✭P☎ ♦s❤❡❧✱ ❑❛❧✉③❤♥✐♥✱ ❙③❝③❡♣❛r❛✱ ❲❛❧❞❤❛✉s❡r✱ ❏❡③❡❦✱ ◗✉❛❝❦❡♥❜✉s❤✱ ❑❛rst❡♥ ❙❝❤☎ ♦❧③❡r✱ ✷✵✶✷✮✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✸✵ ✴ ✹✾
✾ ❋✐♥❞ ❛❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s s✉❝❤ t❤❛t t❤❡ ❝♦rr❡s♣♦♥❞✐♥❣ ♣r✐♥❝✐♣❛❧ ✜❧t❡r ✐s ✜♥✐t❡✳ ✶✵ ❋✐♥❞ ❛❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s s✉❝❤ t❤❛t t❤❡ ❝♦rr❡s♣♦♥❞✐♥❣ ♣r✐♥❝✐♣❛❧ ✜❧t❡r ✐s ❝♦✉♥t❛❜❧❡✳ ▼✐♥✐♠❛❧ ❝❧♦♥❡s ❢♦r | A | > 3 ❆❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ♦♥ ✹ ❡❧❡♠❡♥ts ✇❡r❡ ❢♦✉♥❞ ✭P☎ ♦s❤❡❧✱ ❑❛❧✉③❤♥✐♥✱ ❙③❝③❡♣❛r❛✱ ❲❛❧❞❤❛✉s❡r✱ ❏❡③❡❦✱ ◗✉❛❝❦❡♥❜✉s❤✱ ❑❛rst❡♥ ❙❝❤☎ ♦❧③❡r✱ ✷✵✶✷✮✳ ❖♣❡♥ Pr♦❜❧❡♠s ✽ ❋✐♥❞ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ ❛ ❣✐✈❡♥ ♠✐♥✐♠❛❧ ❝❧♦♥❡ ♦♥ ✹ ❡❧❡♠❡♥ts✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✸✵ ✴ ✹✾
✶✵ ❋✐♥❞ ❛❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s s✉❝❤ t❤❛t t❤❡ ❝♦rr❡s♣♦♥❞✐♥❣ ♣r✐♥❝✐♣❛❧ ✜❧t❡r ✐s ❝♦✉♥t❛❜❧❡✳ ▼✐♥✐♠❛❧ ❝❧♦♥❡s ❢♦r | A | > 3 ❆❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ♦♥ ✹ ❡❧❡♠❡♥ts ✇❡r❡ ❢♦✉♥❞ ✭P☎ ♦s❤❡❧✱ ❑❛❧✉③❤♥✐♥✱ ❙③❝③❡♣❛r❛✱ ❲❛❧❞❤❛✉s❡r✱ ❏❡③❡❦✱ ◗✉❛❝❦❡♥❜✉s❤✱ ❑❛rst❡♥ ❙❝❤☎ ♦❧③❡r✱ ✷✵✶✷✮✳ ❖♣❡♥ Pr♦❜❧❡♠s ✽ ❋✐♥❞ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ ❛ ❣✐✈❡♥ ♠✐♥✐♠❛❧ ❝❧♦♥❡ ♦♥ ✹ ❡❧❡♠❡♥ts✳ ✾ ❋✐♥❞ ❛❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s s✉❝❤ t❤❛t t❤❡ ❝♦rr❡s♣♦♥❞✐♥❣ ♣r✐♥❝✐♣❛❧ ✜❧t❡r ✐s ✜♥✐t❡✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✸✵ ✴ ✹✾
▼✐♥✐♠❛❧ ❝❧♦♥❡s ❢♦r | A | > 3 ❆❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s ♦♥ ✹ ❡❧❡♠❡♥ts ✇❡r❡ ❢♦✉♥❞ ✭P☎ ♦s❤❡❧✱ ❑❛❧✉③❤♥✐♥✱ ❙③❝③❡♣❛r❛✱ ❲❛❧❞❤❛✉s❡r✱ ❏❡③❡❦✱ ◗✉❛❝❦❡♥❜✉s❤✱ ❑❛rst❡♥ ❙❝❤☎ ♦❧③❡r✱ ✷✵✶✷✮✳ ❖♣❡♥ Pr♦❜❧❡♠s ✽ ❋✐♥❞ ❤♦✇ ♠❛♥② ❝❧♦♥❡s ❝♦♥t❛✐♥ ❛ ❣✐✈❡♥ ♠✐♥✐♠❛❧ ❝❧♦♥❡ ♦♥ ✹ ❡❧❡♠❡♥ts✳ ✾ ❋✐♥❞ ❛❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s s✉❝❤ t❤❛t t❤❡ ❝♦rr❡s♣♦♥❞✐♥❣ ♣r✐♥❝✐♣❛❧ ✜❧t❡r ✐s ✜♥✐t❡✳ ✶✵ ❋✐♥❞ ❛❧❧ ♠✐♥✐♠❛❧ ❝❧♦♥❡s s✉❝❤ t❤❛t t❤❡ ❝♦rr❡s♣♦♥❞✐♥❣ ♣r✐♥❝✐♣❛❧ ✜❧t❡r ✐s ❝♦✉♥t❛❜❧❡✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✸✵ ✴ ✹✾
❉❡❝✐s✐♦♥ Pr♦❜❧❡♠s ✶ ●✐✈❡♥ ❛ r❡❧❛t✐♦♥ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r t❤❡ ❝❧♦♥❡ ✐s ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ❖♣❡♥ Pr♦❜❧❡♠ ✶✶✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✷ ●✐✈❡♥ ❛ r❡❧❛t✐♦♥ s✉❝❤ t❤❛t t❤❡ ❝❧♦♥❡ ✐s ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ❋✐♥❞ ❛ ❣❡♥❡r❛t✐♥❣ s❡t ❢♦r ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✶✷✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✸ ●✐✈❡♥ t✇♦ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s ❛♥❞ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r t❤❡ ❝❧♦♥❡ ✐s ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ❖♣❡♥ Pr♦❜❧❡♠ ✶✸✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❚❤❡r❡ ❡①✐st ✜♥✐t❡ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s ❛♥❞ s✉❝❤ t❤❛t ✐s ♥♦t ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞ ✭▲✳❍❛❞❞❛❞✱ ✶✾✾✵✮✳ ●❡♥❡r❛t✐♦♥ ♦❢ ❈❧♦♥❡s ●❡♥❡r❛❧ ♣r♦❜❧❡♠ ✸ ●✐✈❡♥ ❛ ❝❧♦♥❡✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r t❤❡ ❝❧♦♥❡ ✐s ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ❋✐♥❞ ❛ ❣❡♥❡r❛t✐♥❣ s❡t✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✸✶ ✴ ✹✾
❖♣❡♥ Pr♦❜❧❡♠ ✶✶✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✷ ●✐✈❡♥ ❛ r❡❧❛t✐♦♥ s✉❝❤ t❤❛t t❤❡ ❝❧♦♥❡ ✐s ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ❋✐♥❞ ❛ ❣❡♥❡r❛t✐♥❣ s❡t ❢♦r ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✶✷✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✸ ●✐✈❡♥ t✇♦ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s ❛♥❞ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r t❤❡ ❝❧♦♥❡ ✐s ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ❖♣❡♥ Pr♦❜❧❡♠ ✶✸✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❚❤❡r❡ ❡①✐st ✜♥✐t❡ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s ❛♥❞ s✉❝❤ t❤❛t ✐s ♥♦t ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞ ✭▲✳❍❛❞❞❛❞✱ ✶✾✾✵✮✳ ●❡♥❡r❛t✐♦♥ ♦❢ ❈❧♦♥❡s ●❡♥❡r❛❧ ♣r♦❜❧❡♠ ✸ ●✐✈❡♥ ❛ ❝❧♦♥❡✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r t❤❡ ❝❧♦♥❡ ✐s ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ❋✐♥❞ ❛ ❣❡♥❡r❛t✐♥❣ s❡t✳ ❉❡❝✐s✐♦♥ Pr♦❜❧❡♠s ✶ ●✐✈❡♥ ❛ r❡❧❛t✐♦♥ ρ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r t❤❡ ❝❧♦♥❡ Pol ( ρ ) ✐s ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✸✶ ✴ ✹✾
✷ ●✐✈❡♥ ❛ r❡❧❛t✐♦♥ s✉❝❤ t❤❛t t❤❡ ❝❧♦♥❡ ✐s ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ❋✐♥❞ ❛ ❣❡♥❡r❛t✐♥❣ s❡t ❢♦r ✳ ❖♣❡♥ Pr♦❜❧❡♠ ✶✷✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✸ ●✐✈❡♥ t✇♦ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s ❛♥❞ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r t❤❡ ❝❧♦♥❡ ✐s ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ❖♣❡♥ Pr♦❜❧❡♠ ✶✸✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❚❤❡r❡ ❡①✐st ✜♥✐t❡ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s ❛♥❞ s✉❝❤ t❤❛t ✐s ♥♦t ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞ ✭▲✳❍❛❞❞❛❞✱ ✶✾✾✵✮✳ ●❡♥❡r❛t✐♦♥ ♦❢ ❈❧♦♥❡s ●❡♥❡r❛❧ ♣r♦❜❧❡♠ ✸ ●✐✈❡♥ ❛ ❝❧♦♥❡✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r t❤❡ ❝❧♦♥❡ ✐s ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ❋✐♥❞ ❛ ❣❡♥❡r❛t✐♥❣ s❡t✳ ❉❡❝✐s✐♦♥ Pr♦❜❧❡♠s ✶ ●✐✈❡♥ ❛ r❡❧❛t✐♦♥ ρ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r t❤❡ ❝❧♦♥❡ Pol ( ρ ) ✐s ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ❖♣❡♥ Pr♦❜❧❡♠ ✶✶✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✸✶ ✴ ✹✾
❖♣❡♥ Pr♦❜❧❡♠ ✶✷✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✸ ●✐✈❡♥ t✇♦ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s ❛♥❞ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r t❤❡ ❝❧♦♥❡ ✐s ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ❖♣❡♥ Pr♦❜❧❡♠ ✶✸✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ❚❤❡r❡ ❡①✐st ✜♥✐t❡ s❡ts ♦❢ ♦♣❡r❛t✐♦♥s ❛♥❞ s✉❝❤ t❤❛t ✐s ♥♦t ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞ ✭▲✳❍❛❞❞❛❞✱ ✶✾✾✵✮✳ ●❡♥❡r❛t✐♦♥ ♦❢ ❈❧♦♥❡s ●❡♥❡r❛❧ ♣r♦❜❧❡♠ ✸ ●✐✈❡♥ ❛ ❝❧♦♥❡✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r t❤❡ ❝❧♦♥❡ ✐s ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ❋✐♥❞ ❛ ❣❡♥❡r❛t✐♥❣ s❡t✳ ❉❡❝✐s✐♦♥ Pr♦❜❧❡♠s ✶ ●✐✈❡♥ ❛ r❡❧❛t✐♦♥ ρ ✳ ❉❡❝✐❞❡ ✇❤❡t❤❡r t❤❡ ❝❧♦♥❡ Pol ( ρ ) ✐s ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ❖♣❡♥ Pr♦❜❧❡♠ ✶✶✿ ✐s t❤✐s ❞❡❝✐❞❛❜❧❡❄ ✷ ●✐✈❡♥ ❛ r❡❧❛t✐♦♥ ρ s✉❝❤ t❤❛t t❤❡ ❝❧♦♥❡ Pol ( ρ ) ✐s ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ❋✐♥❞ ❛ ❣❡♥❡r❛t✐♥❣ s❡t ❢♦r Pol ( ρ ) ✳ ❉♠✐tr✐② ❩❤✉❦ ③❤✉❦✳❞♠✐tr✐②❅❣♠❛✐❧✳❝♦♠ ✭▼♦s❝♦✇ ❙t❛t❡ ❯♥✐✈❡rs✐t②✮ ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❈❧♦♥❡ ❚❤❡♦r② ❖♣❡♥ Pr♦❜❧❡♠s ✐♥ ❯❆ ✸✶ ✴ ✹✾
Recommend
More recommend