rs srs t - - PowerPoint PPT Presentation

• r❛♣❤s ♦♥ s✉r❢❛❝❡s✿ t♦♣♦❧♦❣✐❝❛❧ ❛❧❣♦r✐t❤♠s

➱r✐❝ ❈♦❧✐♥ ❞❡ ❱❡r❞✐èr❡

➱❝♦❧❡ ♥♦r♠❛❧❡ s✉♣ér✐❡✉r❡ ✭P❛r✐s✮ ❛♥❞ ❈◆❘❙

➱P■❚ ✷✵✶✻

▼♦r❡ ❘❡s✉❧ts✳✳✳

❙❤♦rt❡st ♥♦♥✲tr✐✈✐❛❧ ❝❧♦s❡❞ ❝✉r✈❡s

g✿ ❣❡♥✉s✱ k✿ s✐③❡ ♦❢ ♦✉t♣✉t ✭♥✉♠❜❡r ♦❢ ❡❞❣❡s ♦❢ s❤♦rt❡st ♥♦♥✲tr✐✈✐❛❧ ❝❧♦s❡❞ ❝✉r✈❡✮

♥♦♥✲❞✐r❡❝t❡❞ ❞✐r❡❝t❡❞ ✇❡✐❣❤t❡❞ ❖(♥✷ ❧♦❣ ♥) ❬❊r✐❝❦s♦♥✕❍❛r✲P❡❧❡❞✬✵✹❪ O(g✸/✷n✸/✷ ❧♦❣ n) ♥♦♥✲s❡♣ gO(g)n✸/✷ ♥♦♥✲❝♦♥tr

• ❬❈❛❜❡❧❧♦✕▼♦❤❛r✬✵✼❪

gO(g)n ❧♦❣ n ❬❑✉t③✬✵✻❪ O(g✸n ❧♦❣ n) ❬❈❛❜❡❧❧♦✕❈❤❛♠❜❡rs✬✵✼❪ ❖(❣ ✷♥ ❧♦❣ ♥) ❬❈❛❜❡❧❧♦✕❈❤❛♠❜❡rs✕❊r✐❝❦s♦♥✬✶✷❪ ❣ ❖(❣)♥ ❧♦❣ ❧♦❣ ♥ ❬■t❛❧✐❛♥♦ ❡t ❛❧✳✬✶✶❪ O(n✷ ❧♦❣ n) ❬❈❛❜❡❧❧♦✕❈❞❱✕▲❛③❛r✉s✬✶✵❪ ❖(❣ ✶/✷♥✸/✷ ❧♦❣ ♥) ❬❈❛❜✕❈❞❱✕▲❛③❪ ✷O(g)n ❧♦❣ n ♥♦♥✲s❡♣ ❬❊r✐❝❦s♦♥✕◆❛②②❡r✐✬✶✶❪ ❖(❣ ✷♥ ❧♦❣ ♥) ♥♦♥✲s❡♣ gO(g)n ❧♦❣ n ♥♦♥✲❝♦♥tr

• ❬❊r✐❝❦s♦♥✬✶✶❪

❖(❣ ✸♥ ❧♦❣ ♥) ♥♦♥✲❝♦♥tr ❬❋♦①✬✶✸❪ ✉♥✇❡✐❣❤t❡❞ O(n✸) ❬❚❤♦♠❛ss❡♥✬✾✵❪ ❖(♥✷) ❬❈❛❜❡❧❧♦✕❈❞❱✕▲❛③❛r✉s✬✶✵❪ ❖(❣♥❦) ❬❈❛❜❡❧❧♦✕❈❞❱✕▲❛③❛r✉s✬✶✵❪ O(gn) ❢♦r ✷✲❛♣♣r♦① ❬❊r✐❝❦s♦♥✕❍❛r✲P❡❧❡❞✬✵✹❪ ❖(❣♥/ε) ❢♦r (✶ + ε)✲❛♣♣r♦① ❬❈❛❜❡❧❧♦✕❈❞❱✕▲❛③❛r✉s✬✶✵❪ ❖(♥✷) ❬❈❛❜❡❧❧♦✕❈❞❱✕▲❛③❛r✉s✬✶✵❪ ❖(❣♥❦) ❬❈❛❜❡❧❧♦✕❈❞❱✕▲❛③❛r✉s✬✶✻❪

❖t❤❡r ♣r♦❜❧❡♠s s♦❧✈❡❞

❈✉r✈❡s ❛♥❞ ❞❡❝♦♠♣♦s✐t✐♦♥s s❤♦rt❡st ❝✉r✈❡s✿ s❤♦rt❡st s♣❧✐tt✐♥❣ ❝②❝❧❡ ❬❈❤❛♠❜❡rs ❡t ❛❧✳✱ ✷✵✵✻❪✱ s❤♦rt❡st ❡ss❡♥t✐❛❧ ❝②❝❧❡ ❬❊r✐❝❦s♦♥✱ ❲♦r❛❤✱ ✷✵✶✵❪✱ s♦♠❡ ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡ ❛s s❤♦rt ❛s ♣♦ss✐❜❧❡ ✐♥ ✐ts ❤♦♠♦t♦♣② ❝❧❛ss ❬❈❛❜❡❧❧♦ ❡t ❛❧✳✱ ✷✵✵✽❪❀ ❞❡❝♦♠♣♦s✐t✐♦♥s✿ ❝❛♥♦♥✐❝❛❧ s②st❡♠ ♦❢ ❧♦♦♣s ❬▲❛③❛r✉s ❡t ❛❧✳✱ ✷✵✵✶❪❀ ❜♦✉♥❞s ♦♥ t❤❡✐r ❧❡♥❣t❤ ❬❈❞❱✱ ❍✉❜❛r❞✱ ❞❡ ▼❡s♠❛②✱ ✷✵✶✺❪✳ ❉❡❝✐s✐♦♥ ♣r♦❜❧❡♠s ♦♥ ❞❡❢♦r♠❛t✐♦♥s ❉❡❝✐❞✐♥❣ ❤♦♠♦t♦♣② ✴ ✐s♦t♦♣② ❢♦r ♣❛t❤s ✴ ❝❧♦s❡❞ ❝✉r✈❡s ✴ ❣r❛♣❤s ❬▲❛③❛r✉s✱ ❘✐✈❛✉❞✱ ✷✵✶✷❀ ❊r✐❝❦s♦♥✱ ❲❤✐tt❧❡s❡②✱ ✷✵✶✸❀ ❈❞❱✱ ❞❡ ▼❡s♠❛②✱ ✷✵✶✸❀ ✳ ✳ ✳ ❪✳ ❈r♦ss✐♥❣s ❞r❛✇✐♥❣ ❛ ❣r❛♣❤ ✐♥ t❤❡ ♣❧❛♥❡ ✇✐t❤ ≤ k ❝r♦ss✐♥❣s ❬❑❛✇❛r❛❜❛②❛s❤✐✱ ❘❡❡❞✱ ✷✵✵✼❪❀ ♠❛❦✐♥❣ ❝✉r✈❡s ♠✐♥✐♠❛❧❧② ❝r♦ss✐♥❣ ❬▼❛t♦✉➨❡❦ ❡t ❛❧✳✱ ✷✵✶✸❪✳ ❋❧♦✇s✱ ❝✉ts✱ ❝②❝❧❡ ❜❛s❡s✱ ❤♦♠♦❧♦❣② ❜❛s❡s ♠✐♥ ❝✉t ❛♥❞ ♠❛① ✢♦✇ ❬❈❤❛♠❜❡rs ❡t ❛❧✳✱ ✷✵✶✷❪✱ ✳ ✳ ✳ ❀ ❝②❝❧❡ ❛♥❞ ❤♦♠♦❧♦❣② ❜❛s❡s ❬❇♦rr❛❞❛✐❧❡ ❡t ❛❧✳✱ ✷✵✶✻❪✳ ▼❆◆❨ ♦t❤❡r ❛❧❣♦r✐t❤♠s ❢♦r ❣r❛♣❤s ❡♠❜❡❞❞❛❜❧❡ ♦♥ ❛ ✜①❡❞ s✉r❢❛❝❡✳

P❛t❤ t✐❣❤t❡♥✐♥❣

Pr♦❜❧❡♠

▲♦❝❛❧ ♦♣t✐♠✐③❛t✐♦♥ ❞♦❡s♥✬t ✇♦r❦✦

Pr♦❜❧❡♠

▲♦❝❛❧ ♦♣t✐♠✐③❛t✐♦♥ ❞♦❡s♥✬t ✇♦r❦✦

Pr♦❜❧❡♠

▲♦❝❛❧ ♦♣t✐♠✐③❛t✐♦♥ ❞♦❡s♥✬t ✇♦r❦✦

❯♥✐✈❡rs❛❧ ❝♦✈❡r ˜ S ♦❢ t❤❡ t♦r✉s ✭g = ✶ ❤❛♥❞❧❡✮

❊✈❡r② ♣❛t❤ ♦♥ S ❝❛♥ ❜❡ ✏❧✐❢t❡❞✑ t♦ ˜ S ✳ ❚✇♦ ♣❛t❤s ❛r❡ ❤♦♠♦t♦♣✐❝ ✐✛ t❤❡② ❛❞♠✐t ❧✐❢ts ✇✐t❤ t❤❡ s❛♠❡ ❡♥❞♣♦✐♥ts✳

❯♥✐✈❡rs❛❧ ❝♦✈❡r ˜ S ♦❢ t❤❡ t♦r✉s ✭g = ✶ ❤❛♥❞❧❡✮

❊✈❡r② ♣❛t❤ ♦♥ S ❝❛♥ ❜❡ ✏❧✐❢t❡❞✑ t♦ ˜ S ✳ ❚✇♦ ♣❛t❤s ❛r❡ ❤♦♠♦t♦♣✐❝ ✐✛ t❤❡② ❛❞♠✐t ❧✐❢ts ✇✐t❤ t❤❡ s❛♠❡ ❡♥❞♣♦✐♥ts✳

❯♥✐✈❡rs❛❧ ❝♦✈❡r ˜ S ♦❢ t❤❡ t♦r✉s ✭g = ✶ ❤❛♥❞❧❡✮

❊✈❡r② ♣❛t❤ ♦♥ S ❝❛♥ ❜❡ ✏❧✐❢t❡❞✑ t♦ ˜ S ✳ ❚✇♦ ♣❛t❤s ❛r❡ ❤♦♠♦t♦♣✐❝ ✐✛ t❤❡② ❛❞♠✐t ❧✐❢ts ✇✐t❤ t❤❡ s❛♠❡ ❡♥❞♣♦✐♥ts✳ ■t ✏s✉✣❝❡s✑ t♦ ❝♦♠♣✉t❡ s❤♦rt❡st ♣❛t❤s ✐♥ ˜ S ✳

Pr♦♣❡rt✐❡s ♦❢ ❛ s❤♦rt❡st ❝✉t ❣r❛♣❤ ✇✐t❤ ♦♥❡ ✈❡rt❡①

a b a b ▲❡♠♠❛ ■❢ t❤❡ ✐♥✐t✐❛❧ ❝②❝❧❡s ❢♦r♠ ❛ s❤♦rt❡st ♦♥❡✲✈❡rt❡① ❝✉t ❣r❛♣❤✱ t❤❡♥ t❤❡ ✏❤♦r✐③♦♥t❛❧s✑ ❛♥❞ t❤❡ ✏✈❡rt✐❝❛❧s✑ ❛r❡ s❤♦rt❡st ♣❛t❤s✳ ❈♦r♦❧❧❛r② ❚❤❡ s❤♦rt❡st ♣❛t❤ ❝♦♥♥❡❝t✐♥❣ a t♦ b ✐♥ ˜ S r❡♠❛✐♥s ✐♥ t❤❡ r❡❝t❛♥❣❧❡ ❝♦♥t❛✐♥✐♥❣ a ❛♥❞ b✳

❆❧❣♦r✐t❤♠ ✭g = ✶ ❤❛♥❞❧❡✮

❈♦♠♣✉t❡ ❛ s❤♦rt❡st ♦♥❡✲✈❡rt❡① ❝✉t ❣r❛♣❤❀

→ O(n✷ ❧♦❣ n) → ❆❝t✉❛❧❧②✱ O(n ❧♦❣ n)✳

❝♦✉♥t t❤❡ ❛❧❣❡❜r❛✐❝ ♥✉♠❜❡r ♦❢ ❝r♦ss✐♥❣s p ✇✐t❤ t❤❡ ✏❤♦r✐③♦♥t❛❧✑ ❝②❝❧❡ ❛♥❞ q ✇✐t❤ t❤❡ ✏✈❡rt✐❝❛❧✑ ❝②❝❧❡❀

→ p, q = O(k) ✇❤❡r❡ k❂❝♦♠♣❧❡①✐t② ♦❢ t❤❡ ✐♥♣✉t ♣❛t❤✳

❣❧✉❡ p × q ❝♦♣✐❡s ♦❢ t❤❡ sq✉❛r❡❀

→ O(pqn) = O(k✷n)✳ → ❆❝t✉❛❧❧②✱ O(p + q) ❝♦♣✐❡s s✉✣❝❡✿ O(kn)✳

❝♦♠♣✉t❡ ❛ s❤♦rt❡st ♣❛t❤ ❜❡t✇❡❡♥ t❤❡ ❝♦rr❡s♣♦♥❞✐♥❣ ♣♦✐♥ts ♦❢ t❤❡ ❣r✐❞✳

→ O(k✷n ❧♦❣(k✷n)) ✭❉✐❥❦str❛✮✳ → ❆❝t✉❛❧❧②✱ O(kn)✳

❚♦t❛❧✿ O(n✷ ❧♦❣ n + k✷n ❧♦❣ kn)✳ ❆❝t✉❛❧❧②✿ O(n ❧♦❣ n + kn) ❬❈❞❱✱ ❊r✐❝❦s♦♥✱ ✷✵✵✻❪✰❬❈❞❱✱ ❏♦✉❤❡t✱ ∞❪✳

❆❧❣♦r✐t❤♠ ✭g = ✶ ❤❛♥❞❧❡✮

❈♦♠♣✉t❡ ❛ s❤♦rt❡st ♦♥❡✲✈❡rt❡① ❝✉t ❣r❛♣❤❀

→ O(n✷ ❧♦❣ n) → ❆❝t✉❛❧❧②✱ O(n ❧♦❣ n)✳

❝♦✉♥t t❤❡ ❛❧❣❡❜r❛✐❝ ♥✉♠❜❡r ♦❢ ❝r♦ss✐♥❣s p ✇✐t❤ t❤❡ ✏❤♦r✐③♦♥t❛❧✑ ❝②❝❧❡ ❛♥❞ q ✇✐t❤ t❤❡ ✏✈❡rt✐❝❛❧✑ ❝②❝❧❡❀

→ p, q = O(k) ✇❤❡r❡ k❂❝♦♠♣❧❡①✐t② ♦❢ t❤❡ ✐♥♣✉t ♣❛t❤✳

❣❧✉❡ p × q ❝♦♣✐❡s ♦❢ t❤❡ sq✉❛r❡❀

→ O(pqn) = O(k✷n)✳ → ❆❝t✉❛❧❧②✱ O(p + q) ❝♦♣✐❡s s✉✣❝❡✿ O(kn)✳

❝♦♠♣✉t❡ ❛ s❤♦rt❡st ♣❛t❤ ❜❡t✇❡❡♥ t❤❡ ❝♦rr❡s♣♦♥❞✐♥❣ ♣♦✐♥ts ♦❢ t❤❡ ❣r✐❞✳

→ O(k✷n ❧♦❣(k✷n)) ✭❉✐❥❦str❛✮✳ → ❆❝t✉❛❧❧②✱ O(kn)✳

❚♦t❛❧✿ O(n✷ ❧♦❣ n + k✷n ❧♦❣ kn)✳ ❆❝t✉❛❧❧②✿ O(n ❧♦❣ n + kn) ❬❈❞❱✱ ❊r✐❝❦s♦♥✱ ✷✵✵✻❪✰❬❈❞❱✱ ❏♦✉❤❡t✱ ∞❪✳

❆❧❣♦r✐t❤♠ ✭g = ✶ ❤❛♥❞❧❡✮

❈♦♠♣✉t❡ ❛ s❤♦rt❡st ♦♥❡✲✈❡rt❡① ❝✉t ❣r❛♣❤❀

→ O(n✷ ❧♦❣ n) → ❆❝t✉❛❧❧②✱ O(n ❧♦❣ n)✳

❝♦✉♥t t❤❡ ❛❧❣❡❜r❛✐❝ ♥✉♠❜❡r ♦❢ ❝r♦ss✐♥❣s p ✇✐t❤ t❤❡ ✏❤♦r✐③♦♥t❛❧✑ ❝②❝❧❡ ❛♥❞ q ✇✐t❤ t❤❡ ✏✈❡rt✐❝❛❧✑ ❝②❝❧❡❀

→ p, q = O(k) ✇❤❡r❡ k❂❝♦♠♣❧❡①✐t② ♦❢ t❤❡ ✐♥♣✉t ♣❛t❤✳

❣❧✉❡ p × q ❝♦♣✐❡s ♦❢ t❤❡ sq✉❛r❡❀

→ O(pqn) = O(k✷n)✳ → ❆❝t✉❛❧❧②✱ O(p + q) ❝♦♣✐❡s s✉✣❝❡✿ O(kn)✳

❝♦♠♣✉t❡ ❛ s❤♦rt❡st ♣❛t❤ ❜❡t✇❡❡♥ t❤❡ ❝♦rr❡s♣♦♥❞✐♥❣ ♣♦✐♥ts ♦❢ t❤❡ ❣r✐❞✳

→ O(k✷n ❧♦❣(k✷n)) ✭❉✐❥❦str❛✮✳ → ❆❝t✉❛❧❧②✱ O(kn)✳

❚♦t❛❧✿ O(n✷ ❧♦❣ n + k✷n ❧♦❣ kn)✳ ❆❝t✉❛❧❧②✿ O(n ❧♦❣ n + kn) ❬❈❞❱✱ ❊r✐❝❦s♦♥✱ ✷✵✵✻❪✰❬❈❞❱✱ ❏♦✉❤❡t✱ ∞❪✳

❖❦❛②✱ ❜✉t ✇❤❛t ❛❜♦✉t g ≥ ✷ ❤❛♥❞❧❡s❄

❚❤❡ ❧✐❢ts ♦❢ ❛ s❤♦rt❡st ❝✉t ❣r❛♣❤ ❛r❡ ♥♦t s❤♦rt❡st ♣❛t❤s✳ ❲❤❛t ✐s ❛ ❣♦♦❞ r❡♣❧❛❝❡♠❡♥t ❢♦r t❤❡ s❤♦rt❡st ❝✉t ❣r❛♣❤❄ ❲❤❛t ❞♦❡s t❤❡ ✉♥✐✈❡rs❛❧ ❝♦✈❡r ❧♦♦❦ ❧✐❦❡❄

❖❦❛②✱ ❜✉t ✇❤❛t ❛❜♦✉t g ≥ ✷ ❤❛♥❞❧❡s❄

❚❤❡ ❧✐❢ts ♦❢ ❛ s❤♦rt❡st ❝✉t ❣r❛♣❤ ❛r❡ ♥♦t s❤♦rt❡st ♣❛t❤s✳ ❲❤❛t ✐s ❛ ❣♦♦❞ r❡♣❧❛❝❡♠❡♥t ❢♦r t❤❡ s❤♦rt❡st ❝✉t ❣r❛♣❤❄ ❲❤❛t ❞♦❡s t❤❡ ✉♥✐✈❡rs❛❧ ❝♦✈❡r ❧♦♦❦ ❧✐❦❡❄

❖❦❛②✱ ❜✉t ✇❤❛t ❛❜♦✉t g ≥ ✷ ❤❛♥❞❧❡s❄

❚❤❡ ❧✐❢ts ♦❢ ❛ s❤♦rt❡st ❝✉t ❣r❛♣❤ ❛r❡ ♥♦t s❤♦rt❡st ♣❛t❤s✳ ❲❤❛t ✐s ❛ ❣♦♦❞ r❡♣❧❛❝❡♠❡♥t ❢♦r t❤❡ s❤♦rt❡st ❝✉t ❣r❛♣❤❄ ❲❤❛t ❞♦❡s t❤❡ ✉♥✐✈❡rs❛❧ ❝♦✈❡r ❧♦♦❦ ❧✐❦❡❄ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥ ❡❛❝❤ ♣❛t❤ ❧✐❢ts t♦ ❛ s❤♦rt❡st ♣❛t❤

❖❦❛②✱ ❜✉t ✇❤❛t ❛❜♦✉t g ≥ ✷ ❤❛♥❞❧❡s❄

❚❤❡ ❧✐❢ts ♦❢ ❛ s❤♦rt❡st ❝✉t ❣r❛♣❤ ❛r❡ ♥♦t s❤♦rt❡st ♣❛t❤s✳ ❲❤❛t ✐s ❛ ❣♦♦❞ r❡♣❧❛❝❡♠❡♥t ❢♦r t❤❡ s❤♦rt❡st ❝✉t ❣r❛♣❤❄ ❲❤❛t ❞♦❡s t❤❡ ✉♥✐✈❡rs❛❧ ❝♦✈❡r ❧♦♦❦ ❧✐❦❡❄ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥ ❡❛❝❤ ♣❛t❤ ❧✐❢ts t♦ ❛ s❤♦rt❡st ♣❛t❤

❚❡❝❤♥✐❝❛❧ ▲❡♠♠❛ ❛♥❞ ❈♦♥✈❡①✐t②

▲❡♠♠❛ ▲❡t γ ❜❡ ❛ t✐❣❤t ❝②❝❧❡✱ ❧❡t p ❜❡ ❛ ♣❛t❤ ✏✇r❛♣♣✐♥❣ ❛r♦✉♥❞✑ γ✳ ❚❤❡♥ p ✐s t✐❣❤t✳

❚❡❝❤♥✐❝❛❧ ▲❡♠♠❛ ❛♥❞ ❈♦♥✈❡①✐t②

▲❡♠♠❛ ▲❡t γ ❜❡ ❛ t✐❣❤t ❝②❝❧❡✱ ❧❡t p ❜❡ ❛ ♣❛t❤ ✏✇r❛♣♣✐♥❣ ❛r♦✉♥❞✑ γ✳ ❚❤❡♥ p ✐s t✐❣❤t✳ ❈♦♥✈❡①✐t② ❧✐♥❡✿ ❧✐❢t ♦❢ ❛ ❝②❝❧❡ ❤❛❧❢✲♣❧❛♥❡✿ ❞❡❧✐♠✐t❡❞ ❜② ❛ ❧✐♥❡ ❝♦♥✈❡①✿ ✐♥t❡rs❡❝t✐♦♥ ♦❢ ❤❛❧❢✲♣❧❛♥❡s t❤❡ s❤♦rt❡st ♣♦✐♥t ✇✐t❤ ❡♥❞♣♦✐♥ts ✐♥ ❛ ❝♦♥✈❡① s❡t C st❛②s ✐♥ C✳

❚❡❝❤♥✐❝❛❧ ▲❡♠♠❛ ❛♥❞ ❈♦♥✈❡①✐t②

▲❡♠♠❛ ▲❡t γ ❜❡ ❛ t✐❣❤t ❝②❝❧❡✱ ❧❡t p ❜❡ ❛ ♣❛t❤ ✏✇r❛♣♣✐♥❣ ❛r♦✉♥❞✑ γ✳ ❚❤❡♥ p ✐s t✐❣❤t✳ ❈♦♥✈❡①✐t② ❧✐♥❡✿ ❧✐❢t ♦❢ ❛ ❝②❝❧❡ ❤❛❧❢✲♣❧❛♥❡✿ ❞❡❧✐♠✐t❡❞ ❜② ❛ ❧✐♥❡ ❝♦♥✈❡①✿ ✐♥t❡rs❡❝t✐♦♥ ♦❢ ❤❛❧❢✲♣❧❛♥❡s t❤❡ s❤♦rt❡st ♣♦✐♥t ✇✐t❤ ❡♥❞♣♦✐♥ts ✐♥ ❛ ❝♦♥✈❡① s❡t C st❛②s ✐♥ C✳

❇✉✐❧❞✐♥❣ t❤❡ ❝♦♥✈❡① r❡❣✐♦♥ ♦❢ ˜ S

❇✉✐❧❞✐♥❣ t❤❡ ❝♦♥✈❡① r❡❣✐♦♥ ♦❢ ˜ S

❇✉✐❧❞✐♥❣ t❤❡ ❝♦♥✈❡① r❡❣✐♦♥ ♦❢ ˜ S

❇✉✐❧❞✐♥❣ t❤❡ ❝♦♥✈❡① r❡❣✐♦♥ ♦❢ ˜ S

❇✉✐❧❞✐♥❣ t❤❡ ❝♦♥✈❡① r❡❣✐♦♥ ♦❢ ˜ S

❇✉✐❧❞✐♥❣ t❤❡ ❝♦♥✈❡① r❡❣✐♦♥ ♦❢ ˜ S

❇✉✐❧❞✐♥❣ t❤❡ ❝♦♥✈❡① r❡❣✐♦♥ ♦❢ ˜ S

❇✉✐❧❞✐♥❣ t❤❡ ❝♦♥✈❡① r❡❣✐♦♥ ♦❢ ˜ S

❇✉✐❧❞✐♥❣ t❤❡ ❝♦♥✈❡① r❡❣✐♦♥ ♦❢ ˜ S ✱ ❞❡t❛✐❧s

■♥❝r❡♠❡♥t❛❧ ❝♦♥str✉❝t✐♦♥ ❙t❛rt ✇✐t❤ ❛ ❝♦♣② ♦❢ t❤❡ ♦❝t❛❣♦♥ ❝♦♥t❛✐♥✐♥❣ t❤❡ s♦✉r❝❡ ♦❢ ˜ p✳ ❲❤❡♥ ˜ p ❝r♦ss❡s ❛ ♥❡✇ ❧✐♥❡✱ ❛✉❣♠❡♥t t❤❡ ❝♦♥✈❡① r❡❣✐♦♥✳ ♦❧❞ ❝♦♥✈❡① r❡❣✐♦♥

❈♦♠♣❧❡①✐t②

❙✐③❡ ♦❢ t❤❡ ❝♦♥✈❡① r❡❣✐♦♥✿ ❤②♣❡r❜♦❧✐❝✐t② ■❢ ˜ c ❝r♦ss❡s m ✏❧✐♥❡s✑✱ t❤❡ ❝♦♥✈❡① r❡❣✐♦♥ ❝♦♥t❛✐♥s O(m) ♦❝t❛❣♦♥s✳ Pr♦♦❢ ❆r❡❛❂❖✭♣❡r✐♠❡t❡r✮✿ ■♥❞❡❡❞✱ ✐t❡r❛t✐✈❡❧② r❡♠♦✈❡ ❛♥ ♦❝t❛❣♦♥ ❢❛rt❤❡st ❢r♦♠ t❤❡ ✏❝❡♥t❡r✑✳ ❚❤❛t ♦❝t❛❣♦♥ ❤❛s ≥ ✺ s✐❞❡s ♦♥ t❤❡ ❜♦✉♥❞❛r②✱ s♦ ❡❛❝❤ st❡♣ ❞❡❝r❡❛s❡s t❤❡ ♣❡r✐♠❡t❡r❀ ♣❡r✐♠❡t❡r ✐s O(m)✱ ❜❡❝❛✉s❡✿

❛t ♠♦st ✷m ✢❛t ✈❡rt✐❝❡s ♦♥ t❤❡ ❜♦✉♥❞❛r② ♦❢ t❤❡ ❝♦♥✈❡① r❡❣✐♦♥ ❛t ♠♦st ✻ ❝♦r♥❡r ✈❡rt✐❝❡s ❜❡t✇❡❡♥ t✇♦ ❝♦♥s❡❝✉t✐✈❡ ✢❛t ✈❡rt✐❝❡s✳

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥✿ t❡❝❤♥✐❝❛❧ ❧❡♠♠❛

❆r❝✿ ♣❛t❤ ✇✐t❤ ❡♥❞♣♦✐♥ts ♦♥ t❤❡ ❜♦✉♥❞❛r② ♦❢ t❤❡ s✉r❢❛❝❡ ▲❡♠♠❛ ❖♥ ❛ s✉r❢❛❝❡✱ ❧❡t α ❜❡ ❛ t✐❣❤t s✐♠♣❧❡ ❝✉r✈❡ t❤❛t ✐s ❡✐t❤❡r ❛♥ ❛r❝ ♦r ❛ ♥♦♥✲❝♦♥tr❛❝t✐❜❧❡ ❝②❝❧❡✱ β ❜❡ ❛ s✐♠♣❧❡ ♣❛t❤ ♦r ❝②❝❧❡ ❞✐s❥♦✐♥t ❢r♦♠ α✳ ❚❤❡♥ β ✐s t✐❣❤t ♦♥ S ✐✛ ✐t ✐s t✐❣❤t ♦♥ S\ \α✳

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱

✷✵✵✸❪✱❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❇✉✐❧❞✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥

s❦✐♣

❖♥ ❛ s✉r❢❛❝❡ ✇✐t❤ ❝♦♠♣❧❡①✐t② n✱ ❣❡♥✉s g✱ ❛♥❞ b ❜♦✉♥❞❛r✐❡s✿

✶ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❝②❝❧❡✿ O(n✷ ❧♦❣ n) ✷ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❛r❝ ❜❡t✇❡❡♥ t✇♦ ♣♦✐♥ts ♦❢ t❤❡

❜♦✉♥❞❛r② ✭♦r ❜❡t✇❡❡♥ t✇♦ ❞✐st✐♥❝t ❜♦✉♥❞❛r✐❡s✮✿ O(n ❧♦❣ n)

❬❉✐❥❦str❛❪

✸ ✐❢ b ≥ ✶✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ♥♦♥✲s❡♣❛r❛t✐♥❣ ❛r❝✿

O(n ❧♦❣ n) ❬❊r✐❝❦s♦♥✱ ❍❛r✲P❡❧❡❞✱ ✷✵✵✷❪

✹ ✐❢ g = ✵ ❛♥❞ b ∈ {✷, ✸}✱ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❛ s❤♦rt❡st ❝②❝❧❡

❤♦♠♦t♦♣✐❝ t♦ ❛ ❣✐✈❡♥ ❜♦✉♥❞❛r②✿ O(n ❧♦❣ n) ❬❈❞❱✱ ▲❛③❛r✉s✱ ✷✵✵✸❪✱

❬❋r❡❞❡r✐❝❦s♦♥✱ ✶✾✽✼❪

❈♦♠♣❧❡①✐t② ❬❈❞❱✱ ❊r✐❝❦s♦♥✱ ✷✵✵✻❪

Pr❡♣r♦❝❡ss✐♥❣ st❡♣✿ ❈♦♠♣✉t✐♥❣ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥ O(gn ❧♦❣ n) ✭✐♠♣r♦✈❡♠❡♥t ✉s✐♥❣ ❬❈❛❜❡❧❧♦ ❡t ❛❧✳✱ ✷✵✵✽❪✮✳ ❉❡t❛✐❧s✿ ❝r♦ss✲♠❡tr✐❝ s✉r❢❛❝❡

• r❛♣❤ G ❝❡❧❧✉❧❛r❧② ❡♠❜❡❞❞❡❞ ♦♥ S

P❛t❤ p ✐♥ G ✇✐t❤ k ❡❞❣❡s ❖❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥ ✐♥ t❤❡ ❝r♦ss✲♠❡tr✐❝ s✉r❢❛❝❡ ✭✐♥ ❣❡♥❡r❛❧ ♣♦s✐t✐♦♥ ✇✳r✳t✳ G ∗✮ ❆❞♠✐tt❡❞✿ ❊❛❝❤ ❝②❝❧❡ ♦❢ t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥ ❡♥t❡rs O(✶) t✐♠❡s ❡✈❡r② ❢❛❝❡ ♦❢ G ∗✳ ❚✐❣❤t❡♥✐♥❣ ❛❧❣♦r✐t❤♠ O(gnk)✱ ✇❤❡r❡ k ✐s t❤❡ ❝♦♠♣❧❡①✐t② ♦❢ t❤❡ ✐♥♣✉t ♣❛t❤✱ ❜❡❝❛✉s❡ p ❝r♦ss❡s t❤❡ ♦❝t❛❣♦♥❛❧ ❞❡❝♦♠♣♦s✐t✐♦♥ O(gk) t✐♠❡s✱ ❡❛❝❤ ♦❝t❛❣♦♥ ❤❛s ❝♦♠♣❧❡①✐t② O(n)✳ ❊①t❡♥s✐♦♥✿ ❝❧♦s❡❞ ❝✉r✈❡s ✭❛❧❧♦✇✐♥❣ t❤❡ ❜❛s❡♣♦✐♥t t♦ ♠♦✈❡✮✳

▼✐♥✐♠✉♠ ❝✉t ❛❧❣♦r✐t❤♠

Pr♦❜❧❡♠

❚❤❡ ♠✐♥✐♠✉♠ ❝✉t ♣r♦❜❧❡♠

• ✐✈❡♥

G = (V , E)✿ ❛ ✇❡✐❣❤t❡❞✱ ✉♥❞✐r❡❝t❡❞ ❣r❛♣❤❀ s, t✿ t✇♦ ✈❡rt✐❝❡s ♦❢ G✱ ❝♦♠♣✉t❡ W ⊂ V ❝♦♥t❛✐♥✐♥❣ s ❜✉t ♥♦t t t❤❛t ♠✐♥✐♠✐③❡s t❤❡ s✉♠ ♦❢ t❤❡ ✇❡✐❣❤ts ♦❢ t❤❡ ❡❞❣❡s ❜❡t✇❡❡♥ W ❛♥❞ V \ W ✳ ❚❤❡♦r❡♠ ❬❈❤❛♠❜❡rs✱ ❊r✐❝❦s♦♥✱ ◆❛②②❡r✐✱ ✷✵✵✾❪ ■❢ G ✐s ❡♠❜❡❞❞❡❞ ♦♥ ❛ s✉r❢❛❝❡ ♦❢ ❣❡♥✉s g✱ t❤✐s ♣r♦❜❧❡♠ ❝❛♥ ❜❡ s♦❧✈❡❞ ✐♥ O(gO(g)n ❧♦❣ n) t✐♠❡✳ ❇❡st r❡s✉❧t ❦♥♦✇♥ ❜❡❢♦r❡ ❆❧❣♦r✐t❤♠s ❢♦r s♣❛rs❡ ❣r❛♣❤s ✐♥ O(n✷ ❧♦❣ n) ❬❙❧❡❛t♦r✱ ❚❛r❥❛♥✱ ✶✾✽✸❪ ❛♥❞ O(n✸/✷ ❧♦❣ n ❧♦❣ C) ❬●♦❧❞❜❡r❣✱ ❘❛♦✱ ✶✾✾✽❪✳

Pr♦❜❧❡♠

❚❤❡ ♠✐♥✐♠✉♠ ❝✉t ♣r♦❜❧❡♠

• ✐✈❡♥

G = (V , E)✿ ❛ ✇❡✐❣❤t❡❞✱ ✉♥❞✐r❡❝t❡❞ ❣r❛♣❤❀ s, t✿ t✇♦ ✈❡rt✐❝❡s ♦❢ G✱ ❝♦♠♣✉t❡ W ⊂ V ❝♦♥t❛✐♥✐♥❣ s ❜✉t ♥♦t t t❤❛t ♠✐♥✐♠✐③❡s t❤❡ s✉♠ ♦❢ t❤❡ ✇❡✐❣❤ts ♦❢ t❤❡ ❡❞❣❡s ❜❡t✇❡❡♥ W ❛♥❞ V \ W ✳ ❚❤❡♦r❡♠ ❬❈❤❛♠❜❡rs✱ ❊r✐❝❦s♦♥✱ ◆❛②②❡r✐✱ ✷✵✵✾❪ ■❢ G ✐s ❡♠❜❡❞❞❡❞ ♦♥ ❛ s✉r❢❛❝❡ ♦❢ ❣❡♥✉s g✱ t❤✐s ♣r♦❜❧❡♠ ❝❛♥ ❜❡ s♦❧✈❡❞ ✐♥ O(gO(g)n ❧♦❣ n) t✐♠❡✳ ❇❡st r❡s✉❧t ❦♥♦✇♥ ❜❡❢♦r❡ ❆❧❣♦r✐t❤♠s ❢♦r s♣❛rs❡ ❣r❛♣❤s ✐♥ O(n✷ ❧♦❣ n) ❬❙❧❡❛t♦r✱ ❚❛r❥❛♥✱ ✶✾✽✸❪ ❛♥❞ O(n✸/✷ ❧♦❣ n ❧♦❣ C) ❬●♦❧❞❜❡r❣✱ ❘❛♦✱ ✶✾✾✽❪✳

Pr♦❜❧❡♠

❚❤❡ ♠✐♥✐♠✉♠ ❝✉t ♣r♦❜❧❡♠

• ✐✈❡♥

G = (V , E)✿ ❛ ✇❡✐❣❤t❡❞✱ ✉♥❞✐r❡❝t❡❞ ❣r❛♣❤❀ s, t✿ t✇♦ ✈❡rt✐❝❡s ♦❢ G✱ ❝♦♠♣✉t❡ W ⊂ V ❝♦♥t❛✐♥✐♥❣ s ❜✉t ♥♦t t t❤❛t ♠✐♥✐♠✐③❡s t❤❡ s✉♠ ♦❢ t❤❡ ✇❡✐❣❤ts ♦❢ t❤❡ ❡❞❣❡s ❜❡t✇❡❡♥ W ❛♥❞ V \ W ✳ ❚❤❡♦r❡♠ ❬❈❤❛♠❜❡rs✱ ❊r✐❝❦s♦♥✱ ◆❛②②❡r✐✱ ✷✵✵✾❪ ■❢ G ✐s ❡♠❜❡❞❞❡❞ ♦♥ ❛ s✉r❢❛❝❡ ♦❢ ❣❡♥✉s g✱ t❤✐s ♣r♦❜❧❡♠ ❝❛♥ ❜❡ s♦❧✈❡❞ ✐♥ O(gO(g)n ❧♦❣ n) t✐♠❡✳ ❇❡st r❡s✉❧t ❦♥♦✇♥ ❜❡❢♦r❡ ❆❧❣♦r✐t❤♠s ❢♦r s♣❛rs❡ ❣r❛♣❤s ✐♥ O(n✷ ❧♦❣ n) ❬❙❧❡❛t♦r✱ ❚❛r❥❛♥✱ ✶✾✽✸❪ ❛♥❞ O(n✸/✷ ❧♦❣ n ❧♦❣ C) ❬●♦❧❞❜❡r❣✱ ❘❛♦✱ ✶✾✾✽❪✳

Pr❡❧✐♠✐♥❛r✐❡s✿ ❝❛s❡ ♦❢ t❤❡ ♣❧❛♥❡ ✭❂♦❢ t❤❡ s♣❤❡r❡✮

▼✐♥✐♠✉♠ ❝✉t ✐♥ G ↔ ❝②❝❧❡ γ s❡♣❛r❛t✐♥❣ s ❢r♦♠ t✱ ♦❢ ♠✐♥✐♠✉♠ ❧❡♥❣t❤ ✐♥ G ∗✱ ♦r ❡q✉✐✈❛❧❡♥t❧② ✐♥ t❤❡ ❝r♦ss✲♠❡tr✐❝ s✉r❢❛❝❡ ❞❡✜♥❡❞ ❜② G✳ γ ❝❛♥ ❜❡ ❝♦♠♣✉t❡❞ ✐♥ O(n ❧♦❣ n) t✐♠❡ ❬❘❡✐❢ ✶✾✽✸❀ ❋r❡❞❡r✐❝❦s♦♥ ✶✾✽✼❀

❍❡♥③✐♥❣❡r ❡t ❛❧✳ ✶✾✾✼❪✳

Pr❡❧✐♠✐♥❛r✐❡s✿ ❝❛s❡ ♦❢ t❤❡ ♣❧❛♥❡ ✭❂♦❢ t❤❡ s♣❤❡r❡✮

▼✐♥✐♠✉♠ ❝✉t ✐♥ G ↔ ❝②❝❧❡ γ s❡♣❛r❛t✐♥❣ s ❢r♦♠ t✱ ♦❢ ♠✐♥✐♠✉♠ ❧❡♥❣t❤ ✐♥ G ∗✱ ♦r ❡q✉✐✈❛❧❡♥t❧② ✐♥ t❤❡ ❝r♦ss✲♠❡tr✐❝ s✉r❢❛❝❡ ❞❡✜♥❡❞ ❜② G✳ γ ❝❛♥ ❜❡ ❝♦♠♣✉t❡❞ ✐♥ O(n ❧♦❣ n) t✐♠❡ ❬❘❡✐❢ ✶✾✽✸❀ ❋r❡❞❡r✐❝❦s♦♥ ✶✾✽✼❀

❍❡♥③✐♥❣❡r ❡t ❛❧✳ ✶✾✾✼❪✳

Pr❡❧✐♠✐♥❛r✐❡s✿ ❝❛s❡ ♦❢ t❤❡ ♣❧❛♥❡ ✭❂♦❢ t❤❡ s♣❤❡r❡✮

▼✐♥✐♠✉♠ ❝✉t ✐♥ G ↔ ❝②❝❧❡ γ s❡♣❛r❛t✐♥❣ s ❢r♦♠ t✱ ♦❢ ♠✐♥✐♠✉♠ ❧❡♥❣t❤ ✐♥ G ∗✱ ♦r ❡q✉✐✈❛❧❡♥t❧② ✐♥ t❤❡ ❝r♦ss✲♠❡tr✐❝ s✉r❢❛❝❡ ❞❡✜♥❡❞ ❜② G✳ γ ❝❛♥ ❜❡ ❝♦♠♣✉t❡❞ ✐♥ O(n ❧♦❣ n) t✐♠❡ ❬❘❡✐❢ ✶✾✽✸❀ ❋r❡❞❡r✐❝❦s♦♥ ✶✾✽✼❀

❍❡♥③✐♥❣❡r ❡t ❛❧✳ ✶✾✾✼❪✳

Pr❡❧✐♠✐♥❛r✐❡s✿ ❝❛s❡ ♦❢ t❤❡ ♣❧❛♥❡ ✭❂♦❢ t❤❡ s♣❤❡r❡✮

▼✐♥✐♠✉♠ ❝✉t ✐♥ G ↔ ❝②❝❧❡ γ s❡♣❛r❛t✐♥❣ s ❢r♦♠ t✱ ♦❢ ♠✐♥✐♠✉♠ ❧❡♥❣t❤ ✐♥ G ∗✱ ♦r ❡q✉✐✈❛❧❡♥t❧② ✐♥ t❤❡ ❝r♦ss✲♠❡tr✐❝ s✉r❢❛❝❡ ❞❡✜♥❡❞ ❜② G✳ γ ❝❛♥ ❜❡ ❝♦♠♣✉t❡❞ ✐♥ O(n ❧♦❣ n) t✐♠❡ ❬❘❡✐❢ ✶✾✽✸❀ ❋r❡❞❡r✐❝❦s♦♥ ✶✾✽✼❀

❍❡♥③✐♥❣❡r ❡t ❛❧✳ ✶✾✾✼❪✳

Pr❡❧✐♠✐♥❛r✐❡s✿ ❝❛s❡ ♦❢ t❤❡ ♣❧❛♥❡ ✭❂♦❢ t❤❡ s♣❤❡r❡✮

▼✐♥✐♠✉♠ ❝✉t ✐♥ G ↔ ❝②❝❧❡ γ s❡♣❛r❛t✐♥❣ s ❢r♦♠ t✱ ♦❢ ♠✐♥✐♠✉♠ ❧❡♥❣t❤ ✐♥ G ∗✱ ♦r ❡q✉✐✈❛❧❡♥t❧② ✐♥ t❤❡ ❝r♦ss✲♠❡tr✐❝ s✉r❢❛❝❡ ❞❡✜♥❡❞ ❜② G✳ γ ❝❛♥ ❜❡ ❝♦♠♣✉t❡❞ ✐♥ O(n ❧♦❣ n) t✐♠❡ ❬❘❡✐❢ ✶✾✽✸❀ ❋r❡❞❡r✐❝❦s♦♥ ✶✾✽✼❀

❍❡♥③✐♥❣❡r ❡t ❛❧✳ ✶✾✾✼❪✳

Pr❡❧✐♠✐♥❛r✐❡s✿ ❝❛s❡ ♦❢ t❤❡ ♣❧❛♥❡ ✭❂♦❢ t❤❡ s♣❤❡r❡✮

▼✐♥✐♠✉♠ ❝✉t ✐♥ G ↔ ❝②❝❧❡ γ s❡♣❛r❛t✐♥❣ s ❢r♦♠ t✱ ♦❢ ♠✐♥✐♠✉♠ ❧❡♥❣t❤ ✐♥ G ∗✱ ♦r ❡q✉✐✈❛❧❡♥t❧② ✐♥ t❤❡ ❝r♦ss✲♠❡tr✐❝ s✉r❢❛❝❡ ❞❡✜♥❡❞ ❜② G✳ γ ❝❛♥ ❜❡ ❝♦♠♣✉t❡❞ ✐♥ O(n ❧♦❣ n) t✐♠❡ ❬❘❡✐❢ ✶✾✽✸❀ ❋r❡❞❡r✐❝❦s♦♥ ✶✾✽✼❀

❍❡♥③✐♥❣❡r ❡t ❛❧✳ ✶✾✾✼❪✳

❈❛s❡ ♦❢ s✉r❢❛❝❡s

t s ❈✉t ✐♥ G → ❢❛♠✐❧② Γ ♦❢ ❞✐s❥♦✐♥t ❝②❝❧❡s ✐♥ t❤❡ ❝r♦ss✲♠❡tr✐❝ s✉r❢❛❝❡ ❞❡✜♥❡❞ ❜② G✳ ❈♦♠♣✉t❡ ❛ ❝✉t ❣r❛♣❤ ❜❛s❡❞ ❛t s✱ ♦❜t❛✐♥✐♥❣ ❧♦♦♣s ℓ✶, . . . , ℓ✷g✳ ▲❡t p ❜❡ ❛ s❤♦rt❡st ♣❛t❤ ❢r♦♠ s t♦ t✳ Γ ✐s ❛ ❝✉t ✐✛ ✐t ❝r♦ss❡s ❡✈❡r② ℓi ❛♥ ❡✈❡♥ ♥✉♠❜❡r ♦❢ t✐♠❡s ❛♥❞ p ❛♥ ♦❞❞ ♥✉♠❜❡r ♦❢ t✐♠❡s✳

❈❛s❡ ♦❢ s✉r❢❛❝❡s

t s ❈✉t ✐♥ G → ❢❛♠✐❧② Γ ♦❢ ❞✐s❥♦✐♥t ❝②❝❧❡s ✐♥ t❤❡ ❝r♦ss✲♠❡tr✐❝ s✉r❢❛❝❡ ❞❡✜♥❡❞ ❜② G✳ ❈♦♠♣✉t❡ ❛ ❝✉t ❣r❛♣❤ ❜❛s❡❞ ❛t s✱ ♦❜t❛✐♥✐♥❣ ❧♦♦♣s ℓ✶, . . . , ℓ✷g✳ ▲❡t p ❜❡ ❛ s❤♦rt❡st ♣❛t❤ ❢r♦♠ s t♦ t✳ Γ ✐s ❛ ❝✉t ✐✛ ✐t ❝r♦ss❡s ❡✈❡r② ℓi ❛♥ ❡✈❡♥ ♥✉♠❜❡r ♦❢ t✐♠❡s ❛♥❞ p ❛♥ ♦❞❞ ♥✉♠❜❡r ♦❢ t✐♠❡s✳

❈❛s❡ ♦❢ s✉r❢❛❝❡s

ℓ✶ ℓ✷ t s ❈✉t ✐♥ G → ❢❛♠✐❧② Γ ♦❢ ❞✐s❥♦✐♥t ❝②❝❧❡s ✐♥ t❤❡ ❝r♦ss✲♠❡tr✐❝ s✉r❢❛❝❡ ❞❡✜♥❡❞ ❜② G✳ ❈♦♠♣✉t❡ ❛ ❝✉t ❣r❛♣❤ ❜❛s❡❞ ❛t s✱ ♦❜t❛✐♥✐♥❣ ❧♦♦♣s ℓ✶, . . . , ℓ✷g✳ ▲❡t p ❜❡ ❛ s❤♦rt❡st ♣❛t❤ ❢r♦♠ s t♦ t✳ Γ ✐s ❛ ❝✉t ✐✛ ✐t ❝r♦ss❡s ❡✈❡r② ℓi ❛♥ ❡✈❡♥ ♥✉♠❜❡r ♦❢ t✐♠❡s ❛♥❞ p ❛♥ ♦❞❞ ♥✉♠❜❡r ♦❢ t✐♠❡s✳

❈❛s❡ ♦❢ s✉r❢❛❝❡s

ℓ✶ p ℓ✷ t s ❈✉t ✐♥ G → ❢❛♠✐❧② Γ ♦❢ ❞✐s❥♦✐♥t ❝②❝❧❡s ✐♥ t❤❡ ❝r♦ss✲♠❡tr✐❝ s✉r❢❛❝❡ ❞❡✜♥❡❞ ❜② G✳ ❈♦♠♣✉t❡ ❛ ❝✉t ❣r❛♣❤ ❜❛s❡❞ ❛t s✱ ♦❜t❛✐♥✐♥❣ ❧♦♦♣s ℓ✶, . . . , ℓ✷g✳ ▲❡t p ❜❡ ❛ s❤♦rt❡st ♣❛t❤ ❢r♦♠ s t♦ t✳ Γ ✐s ❛ ❝✉t ✐✛ ✐t ❝r♦ss❡s ❡✈❡r② ℓi ❛♥ ❡✈❡♥ ♥✉♠❜❡r ♦❢ t✐♠❡s ❛♥❞ p ❛♥ ♦❞❞ ♥✉♠❜❡r ♦❢ t✐♠❡s✳

❈❛s❡ ♦❢ s✉r❢❛❝❡s

ℓ✶ p ℓ✷ t s ❈✉t ✐♥ G → ❢❛♠✐❧② Γ ♦❢ ❞✐s❥♦✐♥t ❝②❝❧❡s ✐♥ t❤❡ ❝r♦ss✲♠❡tr✐❝ s✉r❢❛❝❡ ❞❡✜♥❡❞ ❜② G✳ ❈♦♠♣✉t❡ ❛ ❝✉t ❣r❛♣❤ ❜❛s❡❞ ❛t s✱ ♦❜t❛✐♥✐♥❣ ❧♦♦♣s ℓ✶, . . . , ℓ✷g✳ ▲❡t p ❜❡ ❛ s❤♦rt❡st ♣❛t❤ ❢r♦♠ s t♦ t✳ Γ ✐s ❛ ❝✉t ✐✛ ✐t ❝r♦ss❡s ❡✈❡r② ℓi ❛♥ ❡✈❡♥ ♥✉♠❜❡r ♦❢ t✐♠❡s ❛♥❞ p ❛♥ ♦❞❞ ♥✉♠❜❡r ♦❢ t✐♠❡s✳

❈❛s❡ ♦❢ s✉r❢❛❝❡s

ℓ✶ p ℓ✷ t s ℓ✶ ℓ✷ ℓ✶ ℓ✷ p p ❈✉t ✐♥ G → ❢❛♠✐❧② Γ ♦❢ ❞✐s❥♦✐♥t ❝②❝❧❡s ✐♥ t❤❡ ❝r♦ss✲♠❡tr✐❝ s✉r❢❛❝❡ ❞❡✜♥❡❞ ❜② G✳ ❈♦♠♣✉t❡ ❛ ❝✉t ❣r❛♣❤ ❜❛s❡❞ ❛t s✱ ♦❜t❛✐♥✐♥❣ ❧♦♦♣s ℓ✶, . . . , ℓ✷g✳ ▲❡t p ❜❡ ❛ s❤♦rt❡st ♣❛t❤ ❢r♦♠ s t♦ t✳ Γ ✐s ❛ ❝✉t ✐✛ ✐t ❝r♦ss❡s ❡✈❡r② ℓi ❛♥ ❡✈❡♥ ♥✉♠❜❡r ♦❢ t✐♠❡s ❛♥❞ p ❛♥ ♦❞❞ ♥✉♠❜❡r ♦❢ t✐♠❡s✳

❈❛s❡ ♦❢ s✉r❢❛❝❡s

ℓ✶ p ℓ✷ t s ℓ✶ ℓ✷ ℓ✶ ℓ✷ p p ❈✉t ✐♥ G → ❢❛♠✐❧② Γ ♦❢ ❞✐s❥♦✐♥t ❝②❝❧❡s ✐♥ t❤❡ ❝r♦ss✲♠❡tr✐❝ s✉r❢❛❝❡ ❞❡✜♥❡❞ ❜② G✳ ❈♦♠♣✉t❡ ❛ ❝✉t ❣r❛♣❤ ❜❛s❡❞ ❛t s✱ ♦❜t❛✐♥✐♥❣ ❧♦♦♣s ℓ✶, . . . , ℓ✷g✳ ▲❡t p ❜❡ ❛ s❤♦rt❡st ♣❛t❤ ❢r♦♠ s t♦ t✳ Γ ✐s ❛ ❝✉t ✐✛ ✐t ❝r♦ss❡s ❡✈❡r② ℓi ❛♥ ❡✈❡♥ ♥✉♠❜❡r ♦❢ t✐♠❡s ❛♥❞ p ❛♥ ♦❞❞ ♥✉♠❜❡r ♦❢ t✐♠❡s✳

❆❧❣♦r✐t❤♠

ℓ✶ ℓ✷ ℓ✶ ℓ✷ p p ▲❡♠♠❛✳ ■❢ Γ ❝♦rr❡s♣♦♥❞s t♦ ❛ ♠✐♥✐♠✉♠ ❝✉t✱ t❤❡♥ ✐t ❝r♦ss❡s O(g) t✐♠❡s p ❛♥❞ ❡❛❝❤ ℓi✳ ❊♥✉♠❡r❛t❡ ❛❧❧ ♣♦ss✐❜❧❡ ♣❛tt❡r♥s t❤❛t ❢♦r♠ ❞✐s❥♦✐♥t ❝②❝❧❡s✳ ❚❤❡r❡ ❛r❡ gO(g) ♣♦ss✐❜✐❧✐t✐❡s✳ ❋♦r ❡❛❝❤ ♣❛tt❡r♥✱ ❛♥❞ ❡❛❝❤ ❝②❝❧❡ ❛♣♣❡❛r✐♥❣ ✐♥ t❤✐s ♣❛tt❡r♥✱ ❝♦♠♣✉t❡ t❤❡ s❤♦rt❡st ❝②❝❧❡ t❤❛t ❝r♦ss❡s p ❛♥❞ t❤❡ ℓi ✐♥ t❤❡ s❛♠❡ ♦r❞❡r✳ ❚❤✐s ❜♦✐❧s ❞♦✇♥ t♦ t❤❡ ♣❧❛♥❛r ❝❛s❡✦ ❈♦♠♣❧❡①✐t② O(g✷n ❧♦❣ n)✳ ❚♦t❛❧ r✉♥♥✐♥❣ t✐♠❡✿ O(gO(g)n ❧♦❣ n)✳

❆❧❣♦r✐t❤♠

ℓ✶ ℓ✷ ℓ✶ ℓ✷ p p ▲❡♠♠❛✳ ■❢ Γ ❝♦rr❡s♣♦♥❞s t♦ ❛ ♠✐♥✐♠✉♠ ❝✉t✱ t❤❡♥ ✐t ❝r♦ss❡s O(g) t✐♠❡s p ❛♥❞ ❡❛❝❤ ℓi✳ ❊♥✉♠❡r❛t❡ ❛❧❧ ♣♦ss✐❜❧❡ ♣❛tt❡r♥s t❤❛t ❢♦r♠ ❞✐s❥♦✐♥t ❝②❝❧❡s✳ ❚❤❡r❡ ❛r❡ gO(g) ♣♦ss✐❜✐❧✐t✐❡s✳ ❋♦r ❡❛❝❤ ♣❛tt❡r♥✱ ❛♥❞ ❡❛❝❤ ❝②❝❧❡ ❛♣♣❡❛r✐♥❣ ✐♥ t❤✐s ♣❛tt❡r♥✱ ❝♦♠♣✉t❡ t❤❡ s❤♦rt❡st ❝②❝❧❡ t❤❛t ❝r♦ss❡s p ❛♥❞ t❤❡ ℓi ✐♥ t❤❡ s❛♠❡ ♦r❞❡r✳ ❚❤✐s ❜♦✐❧s ❞♦✇♥ t♦ t❤❡ ♣❧❛♥❛r ❝❛s❡✦ ❈♦♠♣❧❡①✐t② O(g✷n ❧♦❣ n)✳ ❚♦t❛❧ r✉♥♥✐♥❣ t✐♠❡✿ O(gO(g)n ❧♦❣ n)✳

❆❧❣♦r✐t❤♠

ℓ✶ ℓ✷ ℓ✶ ℓ✷ p p ▲❡♠♠❛✳ ■❢ Γ ❝♦rr❡s♣♦♥❞s t♦ ❛ ♠✐♥✐♠✉♠ ❝✉t✱ t❤❡♥ ✐t ❝r♦ss❡s O(g) t✐♠❡s p ❛♥❞ ❡❛❝❤ ℓi✳ ❊♥✉♠❡r❛t❡ ❛❧❧ ♣♦ss✐❜❧❡ ♣❛tt❡r♥s t❤❛t ❢♦r♠ ❞✐s❥♦✐♥t ❝②❝❧❡s✳ ❚❤❡r❡ ❛r❡ gO(g) ♣♦ss✐❜✐❧✐t✐❡s✳ ❋♦r ❡❛❝❤ ♣❛tt❡r♥✱ ❛♥❞ ❡❛❝❤ ❝②❝❧❡ ❛♣♣❡❛r✐♥❣ ✐♥ t❤✐s ♣❛tt❡r♥✱ ❝♦♠♣✉t❡ t❤❡ s❤♦rt❡st ❝②❝❧❡ t❤❛t ❝r♦ss❡s p ❛♥❞ t❤❡ ℓi ✐♥ t❤❡ s❛♠❡ ♦r❞❡r✳ ❚❤✐s ❜♦✐❧s ❞♦✇♥ t♦ t❤❡ ♣❧❛♥❛r ❝❛s❡✦ ❈♦♠♣❧❡①✐t② O(g✷n ❧♦❣ n)✳ ❚♦t❛❧ r✉♥♥✐♥❣ t✐♠❡✿ O(gO(g)n ❧♦❣ n)✳

❆❧❣♦r✐t❤♠

ℓ✶ ℓ✷ ℓ✶ ℓ✷ p p ▲❡♠♠❛✳ ■❢ Γ ❝♦rr❡s♣♦♥❞s t♦ ❛ ♠✐♥✐♠✉♠ ❝✉t✱ t❤❡♥ ✐t ❝r♦ss❡s O(g) t✐♠❡s p ❛♥❞ ❡❛❝❤ ℓi✳ ❊♥✉♠❡r❛t❡ ❛❧❧ ♣♦ss✐❜❧❡ ♣❛tt❡r♥s t❤❛t ❢♦r♠ ❞✐s❥♦✐♥t ❝②❝❧❡s✳ ❚❤❡r❡ ❛r❡ gO(g) ♣♦ss✐❜✐❧✐t✐❡s✳ ❋♦r ❡❛❝❤ ♣❛tt❡r♥✱ ❛♥❞ ❡❛❝❤ ❝②❝❧❡ ❛♣♣❡❛r✐♥❣ ✐♥ t❤✐s ♣❛tt❡r♥✱ ❝♦♠♣✉t❡ t❤❡ s❤♦rt❡st ❝②❝❧❡ t❤❛t ❝r♦ss❡s p ❛♥❞ t❤❡ ℓi ✐♥ t❤❡ s❛♠❡ ♦r❞❡r✳ ❚❤✐s ❜♦✐❧s ❞♦✇♥ t♦ t❤❡ ♣❧❛♥❛r ❝❛s❡✦ ❈♦♠♣❧❡①✐t② O(g✷n ❧♦❣ n)✳ ❚♦t❛❧ r✉♥♥✐♥❣ t✐♠❡✿ O(gO(g)n ❧♦❣ n)✳

❆❧❣♦r✐t❤♠

ℓ✶ ℓ✷ ℓ✶ ℓ✷ p p ▲❡♠♠❛✳ ■❢ Γ ❝♦rr❡s♣♦♥❞s t♦ ❛ ♠✐♥✐♠✉♠ ❝✉t✱ t❤❡♥ ✐t ❝r♦ss❡s O(g) t✐♠❡s p ❛♥❞ ❡❛❝❤ ℓi✳ ❊♥✉♠❡r❛t❡ ❛❧❧ ♣♦ss✐❜❧❡ ♣❛tt❡r♥s t❤❛t ❢♦r♠ ❞✐s❥♦✐♥t ❝②❝❧❡s✳ ❚❤❡r❡ ❛r❡ gO(g) ♣♦ss✐❜✐❧✐t✐❡s✳ ❋♦r ❡❛❝❤ ♣❛tt❡r♥✱ ❛♥❞ ❡❛❝❤ ❝②❝❧❡ ❛♣♣❡❛r✐♥❣ ✐♥ t❤✐s ♣❛tt❡r♥✱ ❝♦♠♣✉t❡ t❤❡ s❤♦rt❡st ❝②❝❧❡ t❤❛t ❝r♦ss❡s p ❛♥❞ t❤❡ ℓi ✐♥ t❤❡ s❛♠❡ ♦r❞❡r✳ ❚❤✐s ❜♦✐❧s ❞♦✇♥ t♦ t❤❡ ♣❧❛♥❛r ❝❛s❡✦ ❈♦♠♣❧❡①✐t② O(g✷n ❧♦❣ n)✳ ❚♦t❛❧ r✉♥♥✐♥❣ t✐♠❡✿ O(gO(g)n ❧♦❣ n)✳

❆❧❣♦r✐t❤♠

ℓ✶ ℓ✷ ℓ✶ ℓ✷ p p ▲❡♠♠❛✳ ■❢ Γ ❝♦rr❡s♣♦♥❞s t♦ ❛ ♠✐♥✐♠✉♠ ❝✉t✱ t❤❡♥ ✐t ❝r♦ss❡s O(g) t✐♠❡s p ❛♥❞ ❡❛❝❤ ℓi✳ ❊♥✉♠❡r❛t❡ ❛❧❧ ♣♦ss✐❜❧❡ ♣❛tt❡r♥s t❤❛t ❢♦r♠ ❞✐s❥♦✐♥t ❝②❝❧❡s✳ ❚❤❡r❡ ❛r❡ gO(g) ♣♦ss✐❜✐❧✐t✐❡s✳ ❋♦r ❡❛❝❤ ♣❛tt❡r♥✱ ❛♥❞ ❡❛❝❤ ❝②❝❧❡ ❛♣♣❡❛r✐♥❣ ✐♥ t❤✐s ♣❛tt❡r♥✱ ❝♦♠♣✉t❡ t❤❡ s❤♦rt❡st ❝②❝❧❡ t❤❛t ❝r♦ss❡s p ❛♥❞ t❤❡ ℓi ✐♥ t❤❡ s❛♠❡ ♦r❞❡r✳ ❚❤✐s ❜♦✐❧s ❞♦✇♥ t♦ t❤❡ ♣❧❛♥❛r ❝❛s❡✦ ❈♦♠♣❧❡①✐t② O(g✷n ❧♦❣ n)✳ ❚♦t❛❧ r✉♥♥✐♥❣ t✐♠❡✿ O(gO(g)n ❧♦❣ n)✳

❆❧❣♦r✐t❤♠

ℓ✶ ℓ✷ ℓ✶ ℓ✷ p p ℓ✶ ℓ✶ ▲❡♠♠❛✳ ■❢ Γ ❝♦rr❡s♣♦♥❞s t♦ ❛ ♠✐♥✐♠✉♠ ❝✉t✱ t❤❡♥ ✐t ❝r♦ss❡s O(g) t✐♠❡s p ❛♥❞ ❡❛❝❤ ℓi✳ ❊♥✉♠❡r❛t❡ ❛❧❧ ♣♦ss✐❜❧❡ ♣❛tt❡r♥s t❤❛t ❢♦r♠ ❞✐s❥♦✐♥t ❝②❝❧❡s✳ ❚❤❡r❡ ❛r❡ gO(g) ♣♦ss✐❜✐❧✐t✐❡s✳ ❋♦r ❡❛❝❤ ♣❛tt❡r♥✱ ❛♥❞ ❡❛❝❤ ❝②❝❧❡ ❛♣♣❡❛r✐♥❣ ✐♥ t❤✐s ♣❛tt❡r♥✱ ❝♦♠♣✉t❡ t❤❡ s❤♦rt❡st ❝②❝❧❡ t❤❛t ❝r♦ss❡s p ❛♥❞ t❤❡ ℓi ✐♥ t❤❡ s❛♠❡ ♦r❞❡r✳ ❚❤✐s ❜♦✐❧s ❞♦✇♥ t♦ t❤❡ ♣❧❛♥❛r ❝❛s❡✦ ❈♦♠♣❧❡①✐t② O(g✷n ❧♦❣ n)✳ ❚♦t❛❧ r✉♥♥✐♥❣ t✐♠❡✿ O(gO(g)n ❧♦❣ n)✳

❆❧❣♦r✐t❤♠

ℓ✶ ℓ✷ ℓ✶ ℓ✷ p p ℓ✶ ℓ✶ ℓ✶ ▲❡♠♠❛✳ ■❢ Γ ❝♦rr❡s♣♦♥❞s t♦ ❛ ♠✐♥✐♠✉♠ ❝✉t✱ t❤❡♥ ✐t ❝r♦ss❡s O(g) t✐♠❡s p ❛♥❞ ❡❛❝❤ ℓi✳ ❊♥✉♠❡r❛t❡ ❛❧❧ ♣♦ss✐❜❧❡ ♣❛tt❡r♥s t❤❛t ❢♦r♠ ❞✐s❥♦✐♥t ❝②❝❧❡s✳ ❚❤❡r❡ ❛r❡ gO(g) ♣♦ss✐❜✐❧✐t✐❡s✳ ❋♦r ❡❛❝❤ ♣❛tt❡r♥✱ ❛♥❞ ❡❛❝❤ ❝②❝❧❡ ❛♣♣❡❛r✐♥❣ ✐♥ t❤✐s ♣❛tt❡r♥✱ ❝♦♠♣✉t❡ t❤❡ s❤♦rt❡st ❝②❝❧❡ t❤❛t ❝r♦ss❡s p ❛♥❞ t❤❡ ℓi ✐♥ t❤❡ s❛♠❡ ♦r❞❡r✳ ❚❤✐s ❜♦✐❧s ❞♦✇♥ t♦ t❤❡ ♣❧❛♥❛r ❝❛s❡✦ ❈♦♠♣❧❡①✐t② O(g✷n ❧♦❣ n)✳ ❚♦t❛❧ r✉♥♥✐♥❣ t✐♠❡✿ O(gO(g)n ❧♦❣ n)✳

❆❧❣♦r✐t❤♠

ℓ✶ ℓ✷ ℓ✶ ℓ✷ p p ℓ✶ ℓ✷ ℓ✶ ℓ✶ ▲❡♠♠❛✳ ■❢ Γ ❝♦rr❡s♣♦♥❞s t♦ ❛ ♠✐♥✐♠✉♠ ❝✉t✱ t❤❡♥ ✐t ❝r♦ss❡s O(g) t✐♠❡s p ❛♥❞ ❡❛❝❤ ℓi✳ ❊♥✉♠❡r❛t❡ ❛❧❧ ♣♦ss✐❜❧❡ ♣❛tt❡r♥s t❤❛t ❢♦r♠ ❞✐s❥♦✐♥t ❝②❝❧❡s✳ ❚❤❡r❡ ❛r❡ gO(g) ♣♦ss✐❜✐❧✐t✐❡s✳ ❋♦r ❡❛❝❤ ♣❛tt❡r♥✱ ❛♥❞ ❡❛❝❤ ❝②❝❧❡ ❛♣♣❡❛r✐♥❣ ✐♥ t❤✐s ♣❛tt❡r♥✱ ❝♦♠♣✉t❡ t❤❡ s❤♦rt❡st ❝②❝❧❡ t❤❛t ❝r♦ss❡s p ❛♥❞ t❤❡ ℓi ✐♥ t❤❡ s❛♠❡ ♦r❞❡r✳ ❚❤✐s ❜♦✐❧s ❞♦✇♥ t♦ t❤❡ ♣❧❛♥❛r ❝❛s❡✦ ❈♦♠♣❧❡①✐t② O(g✷n ❧♦❣ n)✳ ❚♦t❛❧ r✉♥♥✐♥❣ t✐♠❡✿ O(gO(g)n ❧♦❣ n)✳

❆❧❣♦r✐t❤♠

ℓ✶ ℓ✷ ℓ✶ ℓ✷ p p ℓ✶ ℓ✷ ℓ✶ ℓ✶ ▲❡♠♠❛✳ ■❢ Γ ❝♦rr❡s♣♦♥❞s t♦ ❛ ♠✐♥✐♠✉♠ ❝✉t✱ t❤❡♥ ✐t ❝r♦ss❡s O(g) t✐♠❡s p ❛♥❞ ❡❛❝❤ ℓi✳ ❊♥✉♠❡r❛t❡ ❛❧❧ ♣♦ss✐❜❧❡ ♣❛tt❡r♥s t❤❛t ❢♦r♠ ❞✐s❥♦✐♥t ❝②❝❧❡s✳ ❚❤❡r❡ ❛r❡ gO(g) ♣♦ss✐❜✐❧✐t✐❡s✳ ❋♦r ❡❛❝❤ ♣❛tt❡r♥✱ ❛♥❞ ❡❛❝❤ ❝②❝❧❡ ❛♣♣❡❛r✐♥❣ ✐♥ t❤✐s ♣❛tt❡r♥✱ ❝♦♠♣✉t❡ t❤❡ s❤♦rt❡st ❝②❝❧❡ t❤❛t ❝r♦ss❡s p ❛♥❞ t❤❡ ℓi ✐♥ t❤❡ s❛♠❡ ♦r❞❡r✳ ❚❤✐s ❜♦✐❧s ❞♦✇♥ t♦ t❤❡ ♣❧❛♥❛r ❝❛s❡✦ ❈♦♠♣❧❡①✐t② O(g✷n ❧♦❣ n)✳ ❚♦t❛❧ r✉♥♥✐♥❣ t✐♠❡✿ O(gO(g)n ❧♦❣ n)✳

Pr♦♦❢ ♦❢ t❤❡ ❧❡♠♠❛

▲❡♠♠❛ Γ ❤❛s O(g) ❝r♦ss✐♥❣s ✇✐t❤ p ❛♥❞ ✇✐t❤ ❡❛❝❤ ♦❢ t❤❡ ℓi✳ t∗ s∗ ▲❡t ✉s s❤r✐♥❦ t❤❡ s❤♦rt❡st ♣❛t❤ t♦ ❛ s✐♥❣❧❡ ✈❡rt❡① v✿ Γ ❜❡❝♦♠❡s ❛ ❢❛♠✐❧② ♦❢ ♥♦♥✲❝r♦ss✐♥❣ ❧♦♦♣s ❜❛s❡❞ ❛t v✱ s✉❝❤ t❤❛t ♥♦ ❢❛❝❡ ♦❢ t❤✐s ❣r❛♣❤ ✐s ❛ ❞✐s❦ ❜♦✉♥❞❡❞ ❜② ♦♥❡ ♦r t✇♦ ❧♦♦♣s✳

Pr♦♦❢ ♦❢ t❤❡ ❧❡♠♠❛

▲❡♠♠❛ Γ ❤❛s O(g) ❝r♦ss✐♥❣s ✇✐t❤ p ❛♥❞ ✇✐t❤ ❡❛❝❤ ♦❢ t❤❡ ℓi✳ t∗ s∗ ▲❡t ✉s s❤r✐♥❦ t❤❡ s❤♦rt❡st ♣❛t❤ t♦ ❛ s✐♥❣❧❡ ✈❡rt❡① v✿ Γ ❜❡❝♦♠❡s ❛ ❢❛♠✐❧② ♦❢ ♥♦♥✲❝r♦ss✐♥❣ ❧♦♦♣s ❜❛s❡❞ ❛t v✱ s✉❝❤ t❤❛t ♥♦ ❢❛❝❡ ♦❢ t❤✐s ❣r❛♣❤ ✐s ❛ ❞✐s❦ ❜♦✉♥❞❡❞ ❜② ♦♥❡ ♦r t✇♦ ❧♦♦♣s✳

Pr♦♦❢ ♦❢ t❤❡ ❧❡♠♠❛

▲❡♠♠❛ Γ ❤❛s O(g) ❝r♦ss✐♥❣s ✇✐t❤ p ❛♥❞ ✇✐t❤ ❡❛❝❤ ♦❢ t❤❡ ℓi✳ t∗ s∗ ▲❡t ✉s s❤r✐♥❦ t❤❡ s❤♦rt❡st ♣❛t❤ t♦ ❛ s✐♥❣❧❡ ✈❡rt❡① v✿ Γ ❜❡❝♦♠❡s ❛ ❢❛♠✐❧② ♦❢ ♥♦♥✲❝r♦ss✐♥❣ ❧♦♦♣s ❜❛s❡❞ ❛t v✱ s✉❝❤ t❤❛t ♥♦ ❢❛❝❡ ♦❢ t❤✐s ❣r❛♣❤ ✐s ❛ ❞✐s❦ ❜♦✉♥❞❡❞ ❜② ♦♥❡ ♦r t✇♦ ❧♦♦♣s✳

Pr♦♦❢ ♦❢ t❤❡ ❧❡♠♠❛

▲❡♠♠❛ Γ ❤❛s O(g) ❝r♦ss✐♥❣s ✇✐t❤ p ❛♥❞ ✇✐t❤ ❡❛❝❤ ♦❢ t❤❡ ℓi✳ t∗ s∗ ▲❡t ✉s s❤r✐♥❦ t❤❡ s❤♦rt❡st ♣❛t❤ t♦ ❛ s✐♥❣❧❡ ✈❡rt❡① v✿ Γ ❜❡❝♦♠❡s ❛ ❢❛♠✐❧② ♦❢ ♥♦♥✲❝r♦ss✐♥❣ ❧♦♦♣s ❜❛s❡❞ ❛t v✱ s✉❝❤ t❤❛t ♥♦ ❢❛❝❡ ♦❢ t❤✐s ❣r❛♣❤ ✐s ❛ ❞✐s❦ ❜♦✉♥❞❡❞ ❜② ♦♥❡ ♦r t✇♦ ❧♦♦♣s✳

Pr♦♦❢ ♦❢ t❤❡ ❧❡♠♠❛

▲❡♠♠❛ Γ ❤❛s O(g) ❝r♦ss✐♥❣s ✇✐t❤ p ❛♥❞ ✇✐t❤ ❡❛❝❤ ♦❢ t❤❡ ℓi✳ t∗ s∗ ▲❡t ✉s s❤r✐♥❦ t❤❡ s❤♦rt❡st ♣❛t❤ t♦ ❛ s✐♥❣❧❡ ✈❡rt❡① v✿ Γ ❜❡❝♦♠❡s ❛ ❢❛♠✐❧② ♦❢ ♥♦♥✲❝r♦ss✐♥❣ ❧♦♦♣s ❜❛s❡❞ ❛t v✱ s✉❝❤ t❤❛t ♥♦ ❢❛❝❡ ♦❢ t❤✐s ❣r❛♣❤ ✐s ❛ ❞✐s❦ ❜♦✉♥❞❡❞ ❜② ♦♥❡ ♦r t✇♦ ❧♦♦♣s✳

Pr♦♦❢ ♦❢ t❤❡ ❧❡♠♠❛

▲❡♠♠❛ Γ ❤❛s O(g) ❝r♦ss✐♥❣s ✇✐t❤ p ❛♥❞ ✇✐t❤ ❡❛❝❤ ♦❢ t❤❡ ℓi✳ t∗ s∗ ▲❡t ✉s s❤r✐♥❦ t❤❡ s❤♦rt❡st ♣❛t❤ t♦ ❛ s✐♥❣❧❡ ✈❡rt❡① v✿ Γ ❜❡❝♦♠❡s ❛ ❢❛♠✐❧② ♦❢ ♥♦♥✲❝r♦ss✐♥❣ ❧♦♦♣s ❜❛s❡❞ ❛t v✱ s✉❝❤ t❤❛t ♥♦ ❢❛❝❡ ♦❢ t❤✐s ❣r❛♣❤ ✐s ❛ ❞✐s❦ ❜♦✉♥❞❡❞ ❜② ♦♥❡ ♦r t✇♦ ❧♦♦♣s✳

Pr♦♦❢ ♦❢ t❤❡ ❧❡♠♠❛

▲❡♠♠❛ Γ ❤❛s O(g) ❝r♦ss✐♥❣s ✇✐t❤ p ❛♥❞ ✇✐t❤ ❡❛❝❤ ♦❢ t❤❡ ℓi✳ t∗ s∗ ▲❡t ✉s s❤r✐♥❦ t❤❡ s❤♦rt❡st ♣❛t❤ t♦ ❛ s✐♥❣❧❡ ✈❡rt❡① v✿ Γ ❜❡❝♦♠❡s ❛ ❢❛♠✐❧② ♦❢ ♥♦♥✲❝r♦ss✐♥❣ ❧♦♦♣s ❜❛s❡❞ ❛t v✱ s✉❝❤ t❤❛t ♥♦ ❢❛❝❡ ♦❢ t❤✐s ❣r❛♣❤ ✐s ❛ ❞✐s❦ ❜♦✉♥❞❡❞ ❜② ♦♥❡ ♦r t✇♦ ❧♦♦♣s✳

Pr♦♦❢ ♦❢ t❤❡ ❧❡♠♠❛

▲❡♠♠❛ Γ ❤❛s O(g) ❝r♦ss✐♥❣s ✇✐t❤ p ❛♥❞ ✇✐t❤ ❡❛❝❤ ♦❢ t❤❡ ℓi✳ t∗ s∗ ▲❡t ✉s s❤r✐♥❦ t❤❡ s❤♦rt❡st ♣❛t❤ t♦ ❛ s✐♥❣❧❡ ✈❡rt❡① v✿ Γ ❜❡❝♦♠❡s ❛ ❢❛♠✐❧② ♦❢ ♥♦♥✲❝r♦ss✐♥❣ ❧♦♦♣s ❜❛s❡❞ ❛t v✱ s✉❝❤ t❤❛t ♥♦ ❢❛❝❡ ♦❢ t❤✐s ❣r❛♣❤ ✐s ❛ ❞✐s❦ ❜♦✉♥❞❡❞ ❜② ♦♥❡ ♦r t✇♦ ❧♦♦♣s✳

Pr♦♦❢ ♦❢ t❤❡ ❧❡♠♠❛

▲❡♠♠❛ Γ ❤❛s O(g) ❝r♦ss✐♥❣s ✇✐t❤ p ❛♥❞ ✇✐t❤ ❡❛❝❤ ♦❢ t❤❡ ℓi✳ t∗ s∗ ▲❡t ✉s s❤r✐♥❦ t❤❡ s❤♦rt❡st ♣❛t❤ t♦ ❛ s✐♥❣❧❡ ✈❡rt❡① v✿ Γ ❜❡❝♦♠❡s ❛ ❢❛♠✐❧② ♦❢ ♥♦♥✲❝r♦ss✐♥❣ ❧♦♦♣s ❜❛s❡❞ ❛t v✱ s✉❝❤ t❤❛t ♥♦ ❢❛❝❡ ♦❢ t❤✐s ❣r❛♣❤ ✐s ❛ ❞✐s❦ ❜♦✉♥❞❡❞ ❜② ♦♥❡ ♦r t✇♦ ❧♦♦♣s✳

Pr♦♦❢ ♦❢ t❤❡ ❧❡♠♠❛

▲❡♠♠❛ Γ ❤❛s O(g) ❝r♦ss✐♥❣s ✇✐t❤ p ❛♥❞ ✇✐t❤ ❡❛❝❤ ♦❢ t❤❡ ℓi✳ t∗ s∗ ▲❡t ✉s s❤r✐♥❦ t❤❡ s❤♦rt❡st ♣❛t❤ t♦ ❛ s✐♥❣❧❡ ✈❡rt❡① v✿ Γ ❜❡❝♦♠❡s ❛ ❢❛♠✐❧② ♦❢ ♥♦♥✲❝r♦ss✐♥❣ ❧♦♦♣s ❜❛s❡❞ ❛t v✱ s✉❝❤ t❤❛t ♥♦ ❢❛❝❡ ♦❢ t❤✐s ❣r❛♣❤ ✐s ❛ ❞✐s❦ ❜♦✉♥❞❡❞ ❜② ♦♥❡ ♦r t✇♦ ❧♦♦♣s✳

❚❤❛♥❦s✦

❚❛❜❧❡ ♦❢ ❝♦♥t❡♥ts

✶

▼♦r❡ ❘❡s✉❧ts✳ ✳ ✳

✷

P❛t❤ t✐❣❤t❡♥✐♥❣

✸

▼✐♥✐♠✉♠ ❝✉t ❛❧❣♦r✐t❤♠

✹

❚❤❛♥❦s✦