P rt t - - PowerPoint PPT Presentation

▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥♥❡❝t❡❞ ❋❛❝✐❧✐t② ▲♦❝❛t✐♦♥

❆s❤✇✐♥ ❆r✉❧s❡❧✈❛♥✶ ❆♥❞r❡❛s ❇❧❡②✷ ■✈❛♥❛ ▲❥✉❜✐➣✸

✶ ❯♥✐✈❡rs✐t② ♦❢ ❙tr❛t❤❝❧②❞❡✱ ❯❑ ✷ ❯♥✐✈❡rs✐t② ♦❢ ❑❛ss❡❧✱ ●❡r♠❛♥② ✸ ❊❙❙❊❈ ❇✉s✐♥❡ss ❙❝❤♦♦❧ ♦❢ P❛r✐s✱ ❋r❛♥❝❡

■◆❋❖❘▼❙ ❚❡❧❡❝♦♠♠✉♥✐❝❛t✐♦♥s ❈♦♥❢❡r❡♥❝❡ ✷✵✶✽ ▼❛② ✷✸✱ ✷✵✶✽✱ ❍❛♠❜✉r❣

❋✐❜❡r ♦♣t✐❝ ❛❝❝❡ss ♥❡t✇♦r❦s

◆❡①t ❣❡♥❡r❛t✐♦♥ ❛❝❝❡ss ♥❡t✇♦r❦s ❘❡♣❧❛❝❡ ❧♦♥❣ ❝♦♣♣❡r ❧✐♥❡s ❜② ♦♣t✐❝❛❧ ✜❜❡rs t♦ t❤❡ ❝✉r❜✴❜✉✐❧❞✐♥❣ ✭❋❚❚❈ ✴ ❋❋❚❇ ✴ ❋❚❚❆ ✮

◮ ♠♦r❡ ❜❛♥❞✇✐❞t❤ ◮ ♠♦r❡ r❡❛❝❤ ◮ ❧❡ss ❛❝t✐✈❡ ❧♦❝❛t✐♦♥s ◮ ❧❡ss ❡♥❡r❣② ❝♦♥s✉♠♣t✐♦♥

◆❛t✐♦♥✲✇✐❞❡ t❡❝❤♥♦❧♦❣② ❝❤❛♥❣❡

◮ r❡♣❧❛❝❡♠❡♥t ♦❢ ❧✐♥❦ t❡❝❤♥♦❧♦❣② ♦♥

❧❛st ♠✐❧❡s t♦ ❝✉st♦♠❡rs

◮ ❤✉❣❡ ✐♥✈❡st♠❡♥ts ◮ ✇♦r❦ ✐♥t❡♥s✐✈❡ ◮ ❞❡♣❧♦②♠❡♥t ✐♥ ♠✉❧t✐♣❧❡ ♣❤❛s❡s ■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✷

❋✐❜❡r ♦♣t✐❝ ❛❝❝❡ss ♥❡t✇♦r❦s

❚r❛✐❧ ♥❡t✇♦r❦ ✇✐t❤ ❡①✐st✐♥❣ ❛♥❞ ♣♦t❡♥t✐❛❧ ✐♥❢r❛str✉❝t✉r❡

❙tr❛t❡❣✐❝ ♣❧❛♥♥✐♥❣ ❲❤✐❝❤ ❢❛❝✐❧✐t✐❡s ✭❈❖s✮ t♦ ♦♣❡♥❄ ❲❤❡♥ t♦ ♠✐❣r❛t❡ ✇❤✐❝❤ r❡❣✐♦♥❄ ❯s❡ ♦❢ ✐♥t❡r♠❡❞✐❛t❡ t❡❝❤♥♦❧♦❣✐❡s ❛♥❞ t❡❝❤♥♦❧♦❣② ♠✐①❄ ❈♦♠♣❛♥② ♦❜❥❡❝t✐✈❡ ▼❛①✐♠✐③❡ ♥❡t ♣r❡s❡♥t ✈❛❧✉❡ ▼❛✐♥ ❝♦♥str❛✐♥ts ♥❡t✇♦r❦ t❡❝❤♥✐❝❛❧❧② ❢❡❛s✐❜❧❡ ♠❡❡t ♠✐♥✐♠✉♠ s❡r✈✐❝❡ ❧❡✈❡❧s

✭❣✐✈❡♥ ❜② r❡❣✉❧❛t✐♦♥ ❛✉t❤♦r✐t✐❡s✮

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✷

❋✐❜❡r ♦♣t✐❝ ❛❝❝❡ss ♥❡t✇♦r❦s

P❛rt ♦❢ ❛♥ ❋❚❚❍ ♥❡t✇♦r❦

❙tr❛t❡❣✐❝ ♣❧❛♥♥✐♥❣ ❲❤✐❝❤ ❢❛❝✐❧✐t✐❡s ✭❈❖s✮ t♦ ♦♣❡♥❄ ❲❤❡♥ t♦ ♠✐❣r❛t❡ ✇❤✐❝❤ r❡❣✐♦♥❄ ❯s❡ ♦❢ ✐♥t❡r♠❡❞✐❛t❡ t❡❝❤♥♦❧♦❣✐❡s ❛♥❞ t❡❝❤♥♦❧♦❣② ♠✐①❄ ❈♦♠♣❛♥② ♦❜❥❡❝t✐✈❡ ▼❛①✐♠✐③❡ ♥❡t ♣r❡s❡♥t ✈❛❧✉❡ ▼❛✐♥ ❝♦♥str❛✐♥ts ♥❡t✇♦r❦ t❡❝❤♥✐❝❛❧❧② ❢❡❛s✐❜❧❡ ♠❡❡t ♠✐♥✐♠✉♠ s❡r✈✐❝❡ ❧❡✈❡❧s

✭❣✐✈❡♥ ❜② r❡❣✉❧❛t✐♦♥ ❛✉t❤♦r✐t✐❡s✮

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✷

❋✐❜❡r ♦♣t✐❝ ❛❝❝❡ss ♥❡t✇♦r❦s

❨❡❛r ✶ ❨❡❛r ✷ ❨❡❛r ✸

❙tr❛t❡❣✐❝ ♣❧❛♥♥✐♥❣ ❲❤✐❝❤ ❢❛❝✐❧✐t✐❡s ✭❈❖s✮ t♦ ♦♣❡♥❄ ❲❤❡♥ t♦ ♠✐❣r❛t❡ ✇❤✐❝❤ r❡❣✐♦♥❄ ❯s❡ ♦❢ ✐♥t❡r♠❡❞✐❛t❡ t❡❝❤♥♦❧♦❣✐❡s ❛♥❞ t❡❝❤♥♦❧♦❣② ♠✐①❄ ❈♦♠♣❛♥② ♦❜❥❡❝t✐✈❡ ▼❛①✐♠✐③❡ ♥❡t ♣r❡s❡♥t ✈❛❧✉❡ ▼❛✐♥ ❝♦♥str❛✐♥ts ♥❡t✇♦r❦ t❡❝❤♥✐❝❛❧❧② ❢❡❛s✐❜❧❡ ♠❡❡t ♠✐♥✐♠✉♠ s❡r✈✐❝❡ ❧❡✈❡❧s

✭❣✐✈❡♥ ❜② r❡❣✉❧❛t✐♦♥ ❛✉t❤♦r✐t✐❡s✮

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✷

❉❡♣❧♦②♠❡♥t ♦❢ ♥❡✇ ❆❝❝❡ss ◆❡t✇♦r❦s

❚②♣✐❝❛❧ r❡❛❧✲✇♦r❧❞ s❡tt✐♥❣ ▼✐① ♦❢ ❞✐✛❡r❡♥t ✭✐♥t❡r♠❡❞✐❛t❡✮ t❡❝❤♥♦❧♦❣✐❡s

◮ ❆❉❙▲✱ ❱❉❙▲ ✭❝♦♣♣❡r ❧✐♥❡s✮✱ ▲❚❊ ✭r❛t✐♦✮✱ ❋❚❚❇ ✭♦♣t✐❝❛❧ ✜❜❡r✮

❉✐✛❡r❡♥t s❡r✈✐❝❡ ❧❡✈❡❧s ✇✐t❤ ❝♦✈❡r❛❣❡ ❝♦♥str❛✐♥ts

❨❡❛r ❛✈❛✐❧❛❜❧❡ ❜❛♥❞✇✐❞t❤ ≥ ✸✽✹kb/s ≥ ✼.✷Mb/s ≥ ✺✵Mb/s ❳ ≥ ✽✵✪ ≥ ✶✵✪ ≥ ✵✪ ❳✰✶ ≥ ✾✵✪ ≥ ✸✵✪ ≥ ✶✵✪ ❳✰✷ ≥ ✾✺✪ ≥ ✺✵✪ ≥ ✷✺✪ ✳ ✳ ✳ ✳ ✳ ✳

❙✐♠♣❧✐✜❡❞ ♠♦❞❡❧ ❖♥❧② s✐♥❣❧❡ ✬♥❡✇✬ t❡❝❤♥♦❧♦❣② ❖♥❧② ❞✐r❡❝t ❝❧✐❡♥t✲❢❛❝✐❧✐t② ❝♦♥♥❡❝t✐♦♥s ❆♣♣❧✐❝❛❜❧❡ t♦ ❉❙▲ ❋❚❚① ♠✐❣r❛t✐♦♥

❣❧♦❜❛❧ ♠✐❣r❛t✐♦♥ ♣❧❛♥♥✐♥❣ ❢♦r ♠❛♥② r❡❣✐♦♥s ✜❜❡r ♦♣t✐❝ r♦❧❧♦✉t ✇✐t❤✐♥ ❛ s♠❛❧❧ r❡❣✐♦♥

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✸

❉❡♣❧♦②♠❡♥t ♦❢ ♥❡✇ ❆❝❝❡ss ◆❡t✇♦r❦s

❚②♣✐❝❛❧ r❡❛❧✲✇♦r❧❞ s❡tt✐♥❣ ▼✐① ♦❢ ❞✐✛❡r❡♥t ✭✐♥t❡r♠❡❞✐❛t❡✮ t❡❝❤♥♦❧♦❣✐❡s

◮ ❆❉❙▲✱ ❱❉❙▲ ✭❝♦♣♣❡r ❧✐♥❡s✮✱ ▲❚❊ ✭r❛t✐♦✮✱ ❋❚❚❇ ✭♦♣t✐❝❛❧ ✜❜❡r✮

❉✐✛❡r❡♥t s❡r✈✐❝❡ ❧❡✈❡❧s ✇✐t❤ ❝♦✈❡r❛❣❡ ❝♦♥str❛✐♥ts

❨❡❛r ❛✈❛✐❧❛❜❧❡ ❜❛♥❞✇✐❞t❤ ≥ ✸✽✹kb/s ≥ ✼.✷Mb/s ≥ ✺✵Mb/s ❳ ≥ ✽✵✪ ≥ ✶✵✪ ≥ ✵✪ ❳✰✶ ≥ ✾✵✪ ≥ ✸✵✪ ≥ ✶✵✪ ❳✰✷ ≥ ✾✺✪ ≥ ✺✵✪ ≥ ✷✺✪ ✳ ✳ ✳ ✳ ✳ ✳

❙✐♠♣❧✐✜❡❞ ♠♦❞❡❧ ❖♥❧② s✐♥❣❧❡ ✬♥❡✇✬ t❡❝❤♥♦❧♦❣② ❖♥❧② ❞✐r❡❝t ❝❧✐❡♥t✲❢❛❝✐❧✐t② ❝♦♥♥❡❝t✐♦♥s ❆♣♣❧✐❝❛❜❧❡ t♦ ❉❙▲ → ❋❚❚① ♠✐❣r❛t✐♦♥

◮ ❣❧♦❜❛❧ ♠✐❣r❛t✐♦♥ ♣❧❛♥♥✐♥❣ ❢♦r ♠❛♥② r❡❣✐♦♥s ◮ ✜❜❡r ♦♣t✐❝ r♦❧❧♦✉t ✇✐t❤✐♥ ❛ s♠❛❧❧ r❡❣✐♦♥ ■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✸

■♥❝r❡♠❡♥t❛❧ ❈♦♥♥❡❝t❡❞ ❋❛❝✐❧✐t② ▲♦❝❛t✐♦♥ Pr♦❜❧❡♠

❈❧✐❡♥t ❋❛❝✐❧✐t② ❙t❡✐♥❡r ♥♦❞❡ P❡r✐♦❞ t = ✶

• ✐✈❡♥

▼✐①❡❞ ❣r❛♣❤ G = (V , E) ✇✐t❤ V =R ♣♦t❡♥t✐❛❧ ❝❧✐❡♥ts F ♣♦t❡♥t✐❛❧ ❢❛❝✐❧✐t✐❡s M ❙t❡✐♥❡r ♥♦❞❡s

• = S

E = AR ❢❛❝✳✲❝❧✐❡♥t ❝♦♥♥❡❝t✐♦♥s ES ❡❞❣❡s ♦❢ ❢❛❝✐❧✐t② ♥❡t✇♦r❦ P❧❛♥♥✐♥❣ ❤♦r✐③♦♥ T = ✶, . . . , T ❙❡t✉♣ ❛♥❞ ♠❛✐♥t❡♥❛♥❝❡ ❝♦sts ❢♦r ❢❛❝✐❧✐t✐❡s ❛♥❞ ❡❞❣❡s ❉❡♠❛♥❞s ❛♥❞ ♣r♦✜ts ❢♦r ❝❧✐❡♥ts ❚♦t❛❧ ❞❡♠❛♥❞ Dt t♦ ❜❡ ❝♦✈❡r❡❞ ❉✐s❝♦✉♥t ❢❛❝t♦r ❢♦r ❝♦sts✴♣r♦✜ts

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✹

■♥❝r❡♠❡♥t❛❧ ❈♦♥♥❡❝t❡❞ ❋❛❝✐❧✐t② ▲♦❝❛t✐♦♥ Pr♦❜❧❡♠

❈❧✐❡♥t ❋❛❝✐❧✐t② ❙t❡✐♥❡r ♥♦❞❡ P❡r✐♦❞ t = ✶

• ✐✈❡♥

▼✐①❡❞ ❣r❛♣❤ G = (V , E) ✇✐t❤ V =R ♣♦t❡♥t✐❛❧ ❝❧✐❡♥ts F ♣♦t❡♥t✐❛❧ ❢❛❝✐❧✐t✐❡s M ❙t❡✐♥❡r ♥♦❞❡s

• = S

E = AR ❢❛❝✳✲❝❧✐❡♥t ❝♦♥♥❡❝t✐♦♥s ES ❡❞❣❡s ♦❢ ❢❛❝✐❧✐t② ♥❡t✇♦r❦ P❧❛♥♥✐♥❣ ❤♦r✐③♦♥ T = ✶, . . . , T ❙❡t✉♣ ❛♥❞ ♠❛✐♥t❡♥❛♥❝❡ ❝♦sts ❢♦r ❢❛❝✐❧✐t✐❡s ❛♥❞ ❡❞❣❡s ❉❡♠❛♥❞s ❛♥❞ ♣r♦✜ts ❢♦r ❝❧✐❡♥ts ❚♦t❛❧ ❞❡♠❛♥❞ Dt t♦ ❜❡ ❝♦✈❡r❡❞ ❉✐s❝♦✉♥t ❢❛❝t♦r ❢♦r ❝♦sts✴♣r♦✜ts

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✹

■♥❝r❡♠❡♥t❛❧ ❈♦♥♥❡❝t❡❞ ❋❛❝✐❧✐t② ▲♦❝❛t✐♦♥ Pr♦❜❧❡♠

❈❧✐❡♥t ❋❛❝✐❧✐t② ❙t❡✐♥❡r ♥♦❞❡ P❡r✐♦❞ t = ✶

• ✐✈❡♥

▼✐①❡❞ ❣r❛♣❤ G = (V , E) ✇✐t❤ V =R ♣♦t❡♥t✐❛❧ ❝❧✐❡♥ts F ♣♦t❡♥t✐❛❧ ❢❛❝✐❧✐t✐❡s M ❙t❡✐♥❡r ♥♦❞❡s

• = S

E = AR ❢❛❝✳✲❝❧✐❡♥t ❝♦♥♥❡❝t✐♦♥s ES ❡❞❣❡s ♦❢ ❢❛❝✐❧✐t② ♥❡t✇♦r❦ P❧❛♥♥✐♥❣ ❤♦r✐③♦♥ T = ✶, . . . , T ❙❡t✉♣ ❛♥❞ ♠❛✐♥t❡♥❛♥❝❡ ❝♦sts ❢♦r ❢❛❝✐❧✐t✐❡s ❛♥❞ ❡❞❣❡s ❉❡♠❛♥❞s ❛♥❞ ♣r♦✜ts ❢♦r ❝❧✐❡♥ts ❚♦t❛❧ ❞❡♠❛♥❞ Dt t♦ ❜❡ ❝♦✈❡r❡❞ ❉✐s❝♦✉♥t ❢❛❝t♦r ❢♦r ❝♦sts✴♣r♦✜ts

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✹

■♥❝r❡♠❡♥t❛❧ ❈♦♥♥❡❝t❡❞ ❋❛❝✐❧✐t② ▲♦❝❛t✐♦♥ Pr♦❜❧❡♠

❈❧✐❡♥t ❋❛❝✐❧✐t② ❙t❡✐♥❡r ♥♦❞❡ P❡r✐♦❞ t = ✶

• ✐✈❡♥

▼✐①❡❞ ❣r❛♣❤ G = (V , E) ✇✐t❤ V =R ♣♦t❡♥t✐❛❧ ❝❧✐❡♥ts F ♣♦t❡♥t✐❛❧ ❢❛❝✐❧✐t✐❡s M ❙t❡✐♥❡r ♥♦❞❡s

• = S

E = AR ❢❛❝✳✲❝❧✐❡♥t ❝♦♥♥❡❝t✐♦♥s ES ❡❞❣❡s ♦❢ ❢❛❝✐❧✐t② ♥❡t✇♦r❦ P❧❛♥♥✐♥❣ ❤♦r✐③♦♥ T = ✶, . . . , T ❙❡t✉♣ ❛♥❞ ♠❛✐♥t❡♥❛♥❝❡ ❝♦sts ❢♦r ❢❛❝✐❧✐t✐❡s ❛♥❞ ❡❞❣❡s ❉❡♠❛♥❞s ❛♥❞ ♣r♦✜ts ❢♦r ❝❧✐❡♥ts ❚♦t❛❧ ❞❡♠❛♥❞ Dt t♦ ❜❡ ❝♦✈❡r❡❞ ❉✐s❝♦✉♥t ❢❛❝t♦r ❢♦r ❝♦sts✴♣r♦✜ts

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✹

■♥❝r❡♠❡♥t❛❧ ❈♦♥♥❡❝t❡❞ ❋❛❝✐❧✐t② ▲♦❝❛t✐♦♥ Pr♦❜❧❡♠

❈❧✐❡♥t ❋❛❝✐❧✐t② ❙t❡✐♥❡r ♥♦❞❡ P❡r✐♦❞ t = ✶

❙❡❡❦ ❋♦r ❡❛❝❤ t✐♠❡ ♣❡r✐♦❞ t ∈ T✿

◮ ❢❛❝✐❧✐t✐❡s t♦ ♦♣❡♥ ◮ ❝❧✐❡♥ts t♦ s❡r✈❡ ◮ ❡❞❣❡s ❝♦♥♥❡❝t✐♥❣ ❛❧❧ ♦♣❡♥

❢❛❝✐❧✐t✐❡s ❛♥❞ s❡r✈❡❞ ❝❧✐❡♥ts ❙✉❝❤ t❤❛t t♦t❛❧ ❞❡♠❛♥❞ ♦❢ ❝❧✐❡♥ts s❡r✈❡❞ ✐♥ ♣❡r✐♦❞ t ❡①❝❡❡❞s Dt ❡❛❝❤ ❝❧✐❡♥t ✐s s❡r✈❡❞ ✉♥❞✐sr✉♣t❡❞

✭♦♥❝❡ s❡r✈❡❞✱ ❛❧✇❛②s s❡r✈❡❞✮

♥❡t ♣r❡s❡♥t ✈❛❧✉❡ ✐s ♠❛①✐♠✐③❡❞

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✹

■♥❝r❡♠❡♥t❛❧ ❈♦♥♥❡❝t❡❞ ❋❛❝✐❧✐t② ▲♦❝❛t✐♦♥ Pr♦❜❧❡♠

❈❧✐❡♥t ❋❛❝✐❧✐t② ❙t❡✐♥❡r ♥♦❞❡ P❡r✐♦❞ t = ✶

❙❡❡❦ ❋♦r ❡❛❝❤ t✐♠❡ ♣❡r✐♦❞ t ∈ T✿

◮ ❢❛❝✐❧✐t✐❡s t♦ ♦♣❡♥ ◮ ❝❧✐❡♥ts t♦ s❡r✈❡ ◮ ❡❞❣❡s ❝♦♥♥❡❝t✐♥❣ ❛❧❧ ♦♣❡♥

❢❛❝✐❧✐t✐❡s ❛♥❞ s❡r✈❡❞ ❝❧✐❡♥ts ❙✉❝❤ t❤❛t t♦t❛❧ ❞❡♠❛♥❞ ♦❢ ❝❧✐❡♥ts s❡r✈❡❞ ✐♥ ♣❡r✐♦❞ t ❡①❝❡❡❞s Dt ❡❛❝❤ ❝❧✐❡♥t ✐s s❡r✈❡❞ ✉♥❞✐sr✉♣t❡❞

✭♦♥❝❡ s❡r✈❡❞✱ ❛❧✇❛②s s❡r✈❡❞✮

♥❡t ♣r❡s❡♥t ✈❛❧✉❡ ✐s ♠❛①✐♠✐③❡❞

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✹

■♥❝r❡♠❡♥t❛❧ ❈♦♥♥❡❝t❡❞ ❋❛❝✐❧✐t② ▲♦❝❛t✐♦♥ Pr♦❜❧❡♠

❈❧✐❡♥t ❋❛❝✐❧✐t② ❙t❡✐♥❡r ♥♦❞❡ P❡r✐♦❞ t = ✷

❙❡❡❦ ❋♦r ❡❛❝❤ t✐♠❡ ♣❡r✐♦❞ t ∈ T✿

◮ ❢❛❝✐❧✐t✐❡s t♦ ♦♣❡♥ ◮ ❝❧✐❡♥ts t♦ s❡r✈❡ ◮ ❡❞❣❡s ❝♦♥♥❡❝t✐♥❣ ❛❧❧ ♦♣❡♥

❢❛❝✐❧✐t✐❡s ❛♥❞ s❡r✈❡❞ ❝❧✐❡♥ts ❙✉❝❤ t❤❛t t♦t❛❧ ❞❡♠❛♥❞ ♦❢ ❝❧✐❡♥ts s❡r✈❡❞ ✐♥ ♣❡r✐♦❞ t ❡①❝❡❡❞s Dt ❡❛❝❤ ❝❧✐❡♥t ✐s s❡r✈❡❞ ✉♥❞✐sr✉♣t❡❞

✭♦♥❝❡ s❡r✈❡❞✱ ❛❧✇❛②s s❡r✈❡❞✮

♥❡t ♣r❡s❡♥t ✈❛❧✉❡ ✐s ♠❛①✐♠✐③❡❞

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✹

■♥❝r❡♠❡♥t❛❧ ❈♦♥♥❡❝t❡❞ ❋❛❝✐❧✐t② ▲♦❝❛t✐♦♥ Pr♦❜❧❡♠

❈❧✐❡♥t ❋❛❝✐❧✐t② ❙t❡✐♥❡r ♥♦❞❡ P❡r✐♦❞ t = ✸

❙❡❡❦ ❋♦r ❡❛❝❤ t✐♠❡ ♣❡r✐♦❞ t ∈ T✿

◮ ❢❛❝✐❧✐t✐❡s t♦ ♦♣❡♥ ◮ ❝❧✐❡♥ts t♦ s❡r✈❡ ◮ ❡❞❣❡s ❝♦♥♥❡❝t✐♥❣ ❛❧❧ ♦♣❡♥

❢❛❝✐❧✐t✐❡s ❛♥❞ s❡r✈❡❞ ❝❧✐❡♥ts ❙✉❝❤ t❤❛t t♦t❛❧ ❞❡♠❛♥❞ ♦❢ ❝❧✐❡♥ts s❡r✈❡❞ ✐♥ ♣❡r✐♦❞ t ❡①❝❡❡❞s Dt ❡❛❝❤ ❝❧✐❡♥t ✐s s❡r✈❡❞ ✉♥❞✐sr✉♣t❡❞

✭♦♥❝❡ s❡r✈❡❞✱ ❛❧✇❛②s s❡r✈❡❞✮

♥❡t ♣r❡s❡♥t ✈❛❧✉❡ ✐s ♠❛①✐♠✐③❡❞

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✹

■♥❝r❡♠❡♥t❛❧ ❈♦♥♥❡❝t❡❞ ❋❛❝✐❧✐t② ▲♦❝❛t✐♦♥ Pr♦❜❧❡♠

❈❧✐❡♥t ❋❛❝✐❧✐t② ❙t❡✐♥❡r ♥♦❞❡ P❡r✐♦❞ t = ✹

❙❡❡❦ ❋♦r ❡❛❝❤ t✐♠❡ ♣❡r✐♦❞ t ∈ T✿

◮ ❢❛❝✐❧✐t✐❡s t♦ ♦♣❡♥ ◮ ❝❧✐❡♥ts t♦ s❡r✈❡ ◮ ❡❞❣❡s ❝♦♥♥❡❝t✐♥❣ ❛❧❧ ♦♣❡♥

❢❛❝✐❧✐t✐❡s ❛♥❞ s❡r✈❡❞ ❝❧✐❡♥ts ❙✉❝❤ t❤❛t t♦t❛❧ ❞❡♠❛♥❞ ♦❢ ❝❧✐❡♥ts s❡r✈❡❞ ✐♥ ♣❡r✐♦❞ t ❡①❝❡❡❞s Dt ❡❛❝❤ ❝❧✐❡♥t ✐s s❡r✈❡❞ ✉♥❞✐sr✉♣t❡❞

✭♦♥❝❡ s❡r✈❡❞✱ ❛❧✇❛②s s❡r✈❡❞✮

♥❡t ♣r❡s❡♥t ✈❛❧✉❡ ✐s ♠❛①✐♠✐③❡❞

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✹

▲✐t❡r❛t✉r❡

❈♦♥❋▲ ❡①❛❝t✿ ●♦❧❧♦✇✐t③❡r ❛♥❞ ▲❥✉❜✐➣ ✭✷✵✶✶✮❀ ▲❡✐t♥❡r ❡t ❛❧✳ ✭✷✵✶✼✮ ❈♦♥❋▲ ❤❡✉r✐st✐❝s✿ ❊✐s❡♥❜r❛♥❞ ❡t ❛❧✳ ✭✷✵✶✵✮❀ ❇❛r❞♦ss② ❛♥❞ ❘❛❣❤❛✈❛♥ ✭✷✵✶✵✮ ✐♥❝r❡♠❡♥t❛❧ ❋▲✿ ❆❧❜❛r❡❞❛✲❙❛♠❜♦❧❛ ❡t ❛❧✳ ✭✷✵✵✾✮✱ ❆r✉❧s❡❧✈❛♥ ❡t ❛❧✳ ✭✷✵✶✺✮ ■♥❝r❡♠❡♥t❛❧ ♥❡t✇♦r❦ ❞❡s✐❣♥ ✭s❤♦rt❡st ♣❛t❤s✱ s♣❛♥♥✐♥❣ tr❡❡s ❛♥❞ ♠❛①✐♠✉♠ ✢♦✇s✮✿ ❇❛①t❡r ❡t ❛❧✳ ✭✷✵✶✹✮❀ ❊♥❣❡❧ ❡t ❛❧✳ ✭✷✵✶✼✮❀ ❑❛❧✐♥♦✇s❦✐ ❡t ❛❧✳ ✭✷✵✶✺✮✱

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✺

❇❆❙■❈ ▼■▲P ❋❖❘▼❯▲❆❚■❖◆

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✻

■P ▼♦❞❡❧✐♥❣ ✕ ❱❛r✐❛❜❧❡s

❚✐♠❡✲✐♥❞❡①❡❞ ❈♦♥❋▲ ♠♦❞❡❧ ✇✐t❤ ❆♥♥✉❛❧ ♠❛✐♥t❡♥❛♥❝❡ ❝♦st ❢♦r ✉s❡❞ ❢❛❝✐❧✐t✐❡s ❛♥❞ ✉s❡❞ ❛r❝s ✿ ✶ ✐❢ ❢❛❝✐❧✐t② ✐s ✉s❡❞ ✐♥ t✐♠❡ ♣❡r✐♦❞ ✱ ✵ ♦t❤❡r✇✐s❡ ✿ ✶ ✐❢ ❛r❝ ✐s ✉s❡❞ ✐♥ t✐♠❡ ♣❡r✐♦❞ ✱ ✵ ♦t❤❡r✇✐s❡ ❆♥♥✉❛❧ r❡✈❡♥✉❡s ❢♦r s❡r✈❡❞ ❝✉st♦♠❡rs ✿ ✶ ✐❢ ❝✉st♦♠❡r ✐s s❡r✈❡❞ ✐♥ t✐♠❡ ♣❡r✐♦❞ ✱ ✵ ♦t❤❡r✇✐s❡ ❙❡t✉♣ ❝♦st ❢♦r ✉s❡❞ ❢❛❝✐❧✐t✐❡s ❛♥❞ ✉s❡❞ ❡❞❣❡s ✿ ✶ ✐❢ ❡❞❣❡ ✭❢❛❝✐❧✐t② ✮ ✐s ✉s❡❞ ✐♥ t✐♠❡ ♣❡r✐♦❞ ✱ ✵ ♦t❤❡r✇✐s❡

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✼

■P ▼♦❞❡❧✐♥❣ ✕ ❱❛r✐❛❜❧❡s

❚✐♠❡✲✐♥❞❡①❡❞ ❈♦♥❋▲ ♠♦❞❡❧ ✇✐t❤ ❜✐♥❛r② ✈❛r✐❛❜❧❡s ❢♦r ❆♥♥✉❛❧ ♠❛✐♥t❡♥❛♥❝❡ ❝♦st ❢♦r ✉s❡❞ ❢❛❝✐❧✐t✐❡s ❛♥❞ ✉s❡❞ ❛r❝s zt

i ✿ ✶ ✐❢ ❢❛❝✐❧✐t② i ✐s ✉s❡❞ ✐♥ t✐♠❡ ♣❡r✐♦❞ t✱ ✵ ♦t❤❡r✇✐s❡

xt

ij✿ ✶ ✐❢ ❛r❝ (i, j) ✐s ✉s❡❞ ✐♥ t✐♠❡ ♣❡r✐♦❞ t✱ ✵ ♦t❤❡r✇✐s❡

❆♥♥✉❛❧ r❡✈❡♥✉❡s ❢♦r s❡r✈❡❞ ❝✉st♦♠❡rs yt

j ✿ ✶ ✐❢ ❝✉st♦♠❡r j ✐s s❡r✈❡❞ ✐♥ t✐♠❡ ♣❡r✐♦❞ t✱ ✵ ♦t❤❡r✇✐s❡

❙❡t✉♣ ❝♦st ❢♦r ✉s❡❞ ❢❛❝✐❧✐t✐❡s ❛♥❞ ✉s❡❞ ❡❞❣❡s ✿ ✶ ✐❢ ❡❞❣❡ ✭❢❛❝✐❧✐t② ✮ ✐s ✉s❡❞ ✐♥ t✐♠❡ ♣❡r✐♦❞ ✱ ✵ ♦t❤❡r✇✐s❡

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✼

■P ▼♦❞❡❧✐♥❣ ✕ ❱❛r✐❛❜❧❡s

❚✐♠❡✲✐♥❞❡①❡❞ ❈♦♥❋▲ ♠♦❞❡❧ ✇✐t❤ ❜✐♥❛r② ✈❛r✐❛❜❧❡s ❢♦r ❆♥♥✉❛❧ ♠❛✐♥t❡♥❛♥❝❡ ❝♦st ❢♦r ✉s❡❞ ❢❛❝✐❧✐t✐❡s ❛♥❞ ✉s❡❞ ❛r❝s zt

i ✿ ✶ ✐❢ ❢❛❝✐❧✐t② i ✐s ✉s❡❞ ✐♥ t✐♠❡ ♣❡r✐♦❞ t✱ ✵ ♦t❤❡r✇✐s❡

xt

ij✿ ✶ ✐❢ ❛r❝ (i, j) ✐s ✉s❡❞ ✐♥ t✐♠❡ ♣❡r✐♦❞ t✱ ✵ ♦t❤❡r✇✐s❡

❆♥♥✉❛❧ r❡✈❡♥✉❡s ❢♦r s❡r✈❡❞ ❝✉st♦♠❡rs yt

j ✿ ✶ ✐❢ ❝✉st♦♠❡r j ✐s s❡r✈❡❞ ✐♥ t✐♠❡ ♣❡r✐♦❞ t✱ ✵ ♦t❤❡r✇✐s❡

❙❡t✉♣ ❝♦st ❢♦r ✉s❡❞ ❢❛❝✐❧✐t✐❡s ❛♥❞ ✉s❡❞ ❡❞❣❡s ˜ xt

e(˜

zt

e)✿ ✶ ✐❢ ❡❞❣❡ e ✭❢❛❝✐❧✐t② i✮ ✐s ✉s❡❞ ✐♥ t✐♠❡ ♣❡r✐♦❞ t✱ ✵

♦t❤❡r✇✐s❡

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✼

■P ▼♦❞❡❧✐♥❣ ✕ ❖❜❥❡❝t✐✈❡

▼❛①✐♠✐③❡ t❤❡ ♥❡t ♣r❡s❡♥t ✈❛❧✉❡ max

T

• t=✶

(✶ + α)−t

j∈R

pjyt

j

r❡✈❡♥✉❡s −

• i∈F

gi ˜ zt

i −

• e∈E

ce ˜ xt

e

s❡t✉♣ −

• i∈F

mizt

i −

• (i,j)∈A

mijxt

ij

• ♠❛✐♥t❡♥❛♥❝❡

❘❡♠❛r❦ ❍❡r❡✿ ❞✐s❝♦✉♥t❡❞ ✜①❡❞ r❡✈❡♥✉❡s ❛♥❞ ❝♦sts ❆♥❛❧♦❣♦✉s❧②✿ t✐♠❡✲❞❡♣❡♥❞❡♥t r❡✈❡♥✉❡ ❛♥❞ ❝♦st ❢✉♥❝t✐♦♥s

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✽

■P ▼♦❞❡❧✐♥❣ ✕ ❖❜❥❡❝t✐✈❡

▼❛①✐♠✐③❡ t❤❡ ♥❡t ♣r❡s❡♥t ✈❛❧✉❡ max

T

• t=✶

(✶ + α)−t

j∈R

pjyt

j

r❡✈❡♥✉❡s −

• i∈F

gi ˜ zt

i −

• e∈E

ce ˜ xt

e

s❡t✉♣ −

• i∈F

mizt

i −

• (i,j)∈A

mijxt

ij

• ♠❛✐♥t❡♥❛♥❝❡

❘❡♠❛r❦ ❍❡r❡✿ ❞✐s❝♦✉♥t❡❞ ✜①❡❞ r❡✈❡♥✉❡s ❛♥❞ ❝♦sts ❆♥❛❧♦❣♦✉s❧②✿ t✐♠❡✲❞❡♣❡♥❞❡♥t r❡✈❡♥✉❡ ❛♥❞ ❝♦st ❢✉♥❝t✐♦♥s

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✽

■P ▼♦❞❡❧✐♥❣ ✕ ❈♦♥str❛✐♥ts

❙t❛♥❞❛r❞ ❈♦♥❋▲ ❝♦♥str❛✐♥ts ❢♦r ❡❛❝❤ ♣❡r✐♦❞ t ∈ T ❆ss✐❣♥ s❡r✈❡❞ ❝❧✐❡♥ts

• i∈F(j)

xt

ij = yt j

∀j ∈ R, t ∈ T ✭✶✮ ❖♣❡♥ ❛ss✐❣♥❡❞ ❢❛❝✐❧✐t✐❡s xt

ij ≤ zt i

∀(i, j) ∈ AR, t ∈ T ✭✷✮ ❈♦♥♥❡❝t r♦♦t t♦ ♦♣❡♥ ❢❛❝✐❧✐t✐❡s

• (u,v)∈δ−(W )

xt

uv ≥ zt j

∀W ⊆ S\{r}, j ∈ W ∩ F, t ∈ T ✭✸✮

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✾

■P ▼♦❞❡❧✐♥❣ ✕ ❈♦♥str❛✐♥ts

❙❡t✉♣ ✉s❡❞ ❡❞❣❡s ❛♥❞ ❢❛❝✐❧✐t✐❡s xt

ij + xt ji ≤ t

• k=✶

˜ xk

e

∀(i, j) = e ∈ E, t ∈ T ✭✹✮ zt

i ≤ t

• k=✶

˜ zk

i

∀i ∈ F, t ∈ T ✭✺✮ ▼✐♥✐♠✉♠ ❞❡♠❛♥❞ ❝♦✈❡r❛❣❡

• j∈R

djyt

j ≥ Dt

∀t ∈ T ✭✻✮ ◆♦ s❡r✈✐❝❡ ✇✐t❤❞r❛✇❛❧ yt

j ≥ yt−✶ j

∀j ∈ R, t ∈ T ✭✼✮

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✶✵

❙❚❘❊◆●❚❍❊◆■◆● ■◆❊◗❯❆▲■❚■❊❙

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✶✶

❑♥❛♣s❛❝❦ ❈♦✈❡r ■♥❡q✉❛❧✐t✐❡s ♦♥ ❈✉st♦♠❡rs

❉❡r✐✈❡❞ ❢r♦♠ t❤❡ ❝♦✈❡r❛❣❡ ❝♦♥str❛✐♥t

j∈R djyj ≥ D✳

▲❡t J ❜❡ t❤❡ ♠✐♥✐♠❛❧ s✉❜s❡t ♦❢ ❝✉st♦♠❡rs s✉❝❤ t❤❛t ✐ts ❝♦♠♣❧❡♠❡♥t ¯ J = R \ J ❝❛♥♥♦t s❛t✐s❢② t❤❡ ✇❤♦❧❡ ❞❡♠❛♥❞✱ ✐✳❡✳✱ D( ¯ J) < D ❛♥❞ dk + D( ¯ J) ≥ D✱ ❢♦r ❛♥② k ∈ J✳ J ✐s ❝❛❧❧❡❞ t❤❡ ♠✐♥✐♠❛❧ ❝♦✈❡r ✇rt D✳ ▲❡t ❈❖❱ R ❜❡ t❤❡ ❝♦❧❧❡❝t✐♦♥ ♦❢ ❛❧❧ s✉❝❤ ♠✐♥✐♠❛❧ ❝♦✈❡rs✳ ❑♥❛♣s❛❝❦ ❝♦✈❡r ✐♥❡q✉❛❧✐t✐❡s ❛r❡ ✈❛❧✐❞ ❢♦r P(D)✿ y(J) ≥ ✶ J ∈ ❈❖❱ R ✭✽✮

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✶✷

❙❡t✲❯♥✐♦♥ ❑♥❛♣s❛❝❦ ❈♦✈❡r ✭❙❯❑❈✮ ■♥❡q✉❛❧✐t✐❡s

❈♦♥s✐❞❡r ❢❛❝✐❧✐t② ❧♦❝❛t✐♦♥ ❢♦r s✐♥❣❧❡ ♣❡r✐♦❞ t

❊①❛♠♣❧❡✿ F \ {r} = {✶, . . . , ✺}✱ D = ✶✼✹✱ Dt = ✼✻✳ ❱❛❧✐❞ ▲P s♦❧✉t✐♦♥✿ zt

i = ✼✻/✶✼✹ ❢♦r i = ✶, . . . , ✺

✭♦♣t✐♠❛❧ ❢♦r ❤✐❣❤ ❝♦r❡ ❝♦♥♥❡❝t✐♦♥ ❝♦sts✮

❈♦♠❜✐♥❡❞ ❞❡♠❛♥❞ ♦❢ ❝❧✐❡♥ts ♦❢ ✶ ✷ ✸ ✐s ✼✺ ❊✐t❤❡r ✹ ♦r ✺ ❤❛s t♦ ❜❡ ♦♣❡♥

15 17 21 9 13 35 41 23 1 2 3 4 5

❉❡♠❛♥❞ r❡q✉✐r❡♠❡♥t Dt = ✼✻

❉❡✜♥✐t✐♦♥

✐s ❝♦✈❡r ✐❢ ❝❛♥♥♦t s❡r✈❡ ❡♥♦✉❣❤ ❝❧✐❡♥ts t♦ ♠❡❡t ✳ ✐s ♠✐♥✐♠❛❧ ❝♦✈❡r ✐❢ ♥♦ ❝♦✈❡r ❡①✐sts✳ ✿❂ ❢❛♠✐❧② ♦❢ ♠✐♥✐♠❛❧ ❝♦✈❡rs ❢♦r ♣❡r✐♦❞

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✶✸

❙❡t✲❯♥✐♦♥ ❑♥❛♣s❛❝❦ ❈♦✈❡r ✭❙❯❑❈✮ ■♥❡q✉❛❧✐t✐❡s

❈♦♥s✐❞❡r ❢❛❝✐❧✐t② ❧♦❝❛t✐♦♥ ❢♦r s✐♥❣❧❡ ♣❡r✐♦❞ t

❊①❛♠♣❧❡✿ F \ {r} = {✶, . . . , ✺}✱ D = ✶✼✹✱ Dt = ✼✻✳ ❱❛❧✐❞ ▲P s♦❧✉t✐♦♥✿ zt

i = ✼✻/✶✼✹ ❢♦r i = ✶, . . . , ✺

✭♦♣t✐♠❛❧ ❢♦r ❤✐❣❤ ❝♦r❡ ❝♦♥♥❡❝t✐♦♥ ❝♦sts✮

❈♦♠❜✐♥❡❞ ❞❡♠❛♥❞ ♦❢ ❝❧✐❡♥ts ♦❢ {✶, ✷, ✸} ✐s ✼✺ < Dt ⇒ ❊✐t❤❡r ✹ ♦r ✺ ❤❛s t♦ ❜❡ ♦♣❡♥

15 17 21 9 13 35 41 23 1 2 3 4 5

❉❡♠❛♥❞ r❡q✉✐r❡♠❡♥t Dt = ✼✻

❉❡✜♥✐t✐♦♥

I t ⊂ F ✐s ❝♦✈❡r ✐❢ F \ I t ❝❛♥♥♦t s❡r✈❡ ❡♥♦✉❣❤ ❝❧✐❡♥ts t♦ ♠❡❡t Dt✳ I t ✐s ♠✐♥✐♠❛❧ ❝♦✈❡r ✐❢ ♥♦ ❝♦✈❡r Jt I t ❡①✐sts✳ COV t✿❂ ❢❛♠✐❧② ♦❢ ♠✐♥✐♠❛❧ ❝♦✈❡rs ❢♦r ♣❡r✐♦❞ t

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✶✸

❙❯❑❈ ■♥❡q✉❛❧✐t✐❡s

❚❤❡♦r❡♠

✭✐✮

❚❤❡ ❙❯❑❈ ✐♥❡q✉❛❧✐t✐❡s

• i∈I t

zt

i ≥ ✶

∀t ∈ T, I t ∈ COV t ✭✾✮ ❛r❡ ✈❛❧✐❞ ❢♦r t❤❡ ✐♥t❡❣❡r s♦❧✉t✐♦♥s ♦❢ ✭✶✮✕✭✼✮✳

✭✐✐✮

❚❤❡r❡ ❛r❡ ♣r♦❜❧❡♠ ✐♥st❛♥❝❡s ❛♥❞ ❝♦rr❡s♣♦♥❞✐♥❣ ✭♦♣t✐♠❛❧✮ ❢r❛❝t✐♦♥❛❧ s♦❧✉t✐♦♥s ❢♦r ✭✶✮✕✭✼✮ t❤❛t ❞♦ ♥♦t s❛t✐s❢② ✭✾✮✳ ❙❡♣❛r❛t✐♦♥

❙❡❛r❝❤ ❢♦r t❤❡ ❝♦♠♣❧❡♠❡♥t ♦❢ ✇❤✐❝❤ ❝❛♥♥♦t ❝♦✈❡r ❛❧❧ t❤❡ ❞❡♠❛♥❞ ❙❡t ✉♥✐♦♥ ❦♥❛♣s❛❝❦ ♣r♦❜❧❡♠✿ ❊❛❝❤ ✐t❡♠ ❤❛s ❛ ♣r♦✜t✱ ❛♥❞ ❝♦✈❡rs ❛ s❡t ♦❢ ❡❧❡♠❡♥ts✳ ❊❛❝❤ ❡❧❡♠❡♥t ❤❛s ❛ ✇❡✐❣❤t✳ ❋✐♥❞ ❛ s✉❜s❡t ♦❢ ✐t❡♠s ♦❢ ♠❛①✐♠✉♠ ♣r♦✜t t❤❛t ❝♦✈❡rs ❡❧❡♠❡♥ts ♦❢ ✇❡✐❣❤t ❛t ♠♦st ✳

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✶✹

❙❯❑❈ ■♥❡q✉❛❧✐t✐❡s

❚❤❡♦r❡♠

✭✐✮

❚❤❡ ❙❯❑❈ ✐♥❡q✉❛❧✐t✐❡s

• i∈I t

zt

i ≥ ✶

∀t ∈ T, I t ∈ COV t ✭✾✮ ❛r❡ ✈❛❧✐❞ ❢♦r t❤❡ ✐♥t❡❣❡r s♦❧✉t✐♦♥s ♦❢ ✭✶✮✕✭✼✮✳

✭✐✐✮

❚❤❡r❡ ❛r❡ ♣r♦❜❧❡♠ ✐♥st❛♥❝❡s ❛♥❞ ❝♦rr❡s♣♦♥❞✐♥❣ ✭♦♣t✐♠❛❧✮ ❢r❛❝t✐♦♥❛❧ s♦❧✉t✐♦♥s ❢♦r ✭✶✮✕✭✼✮ t❤❛t ❞♦ ♥♦t s❛t✐s❢② ✭✾✮✳ ❙❡♣❛r❛t✐♦♥

❙❡❛r❝❤ ❢♦r t❤❡ ❝♦♠♣❧❡♠❡♥t ♦❢ I t ✇❤✐❝❤ ❝❛♥♥♦t ❝♦✈❡r ❛❧❧ t❤❡ ❞❡♠❛♥❞ ❙❡t ✉♥✐♦♥ ❦♥❛♣s❛❝❦ ♣r♦❜❧❡♠✿ ❊❛❝❤ ✐t❡♠ ❤❛s ❛ ♣r♦✜t✱ ❛♥❞ ❝♦✈❡rs ❛ s❡t ♦❢ ❡❧❡♠❡♥ts✳ ❊❛❝❤ ❡❧❡♠❡♥t ❤❛s ❛ ✇❡✐❣❤t✳ ❋✐♥❞ ❛ s✉❜s❡t ♦❢ ✐t❡♠s ♦❢ ♠❛①✐♠✉♠ ♣r♦✜t t❤❛t ❝♦✈❡rs ❡❧❡♠❡♥ts ♦❢ ✇❡✐❣❤t ❛t ♠♦st B✳

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✶✹

❙❡♣❛r❛t✐♦♥ ♦❢ ❙❯❑❈ ✐♥❡q✉❛❧✐t✐❡s

❙❡♣❛r❛t✐♦♥ ♦❢ ❙❯❑❈ ✐♥❡q✉❛❧✐t✐❡s ❙❡t ✉♥✐♦♥ ❦♥❛♣s❛❝❦ ♣r♦❜❧❡♠✱ str♦♥❣❧② ◆P✲❤❛r❞ ●♦❧❞s❝❤♠✐❞t ❡t ❛❧✳ ✭✶✾✾✹✮

• r❡❡❞② ❣✐✈❡s ❛ ❝♦♥st❛♥t ❢❛❝t♦r ❛♣♣r♦①✐♠❛t✐♦♥ ❢♦r s♣❡❝✐❛❧ ❝❛s❡

min

• i∈F

ˆ zt

i αi

• j∈R

djβj ≤ Dt − ǫ βj ≥ ✶ − αi ∀(i, j) ∈ AR αi, βj ∈ {✵, ✶} ∀i ∈ F, j ∈ R

◮ ˆ

zt ✕ ❝✉rr❡♥t ✭❢r❛❝t✐♦♥❛❧✮ ✈❛❧✉❡s ♦❢ ❢❛❝✐❧✐t② ✈❛r✐❛❜❧❡s

◮ αi ∈ {✵, ✶}✱ ∀i ∈ F✿

αi = ✶ ✐✛ ❢❛❝✐❧✐t② ✐♥ I t

◮ βj ∈ {✵, ✶}✱ ∀j ∈ R✿

βj = ✶ ✐✛ ❝❧✐❡♥t j ❝❛♥ ❜❡ s❡r✈❡❞ ❜② F \I t

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✶✺

❙❡♣❛r❛t✐♦♥ ♦❢ ❙❯❑❈ ✐♥❡q✉❛❧✐t✐❡s

❍❡✉r✐st✐❝ ✐♥✈❡st✐❣❛t✐♦♥s ♦❢ t❤❡ s❡♣❛r❛t✐♦♥ ♣r♦❜❧❡♠

✶✿ H := ∅ ✷✿ ▲❡t wj ❜❡ t❤❡ ♥✉♠❜❡r ♦❢ ❢❛❝✐❧✐t✐❡s s❡r✈✐♥❣ ❝✉st♦♠❡r j✱ j ∈ R✳ ✸✿ ✇❤✐❧❡ F = ∅ ❞♦ ✹✿

♣✐❝❦ ❛ ❢❛❝✐❧✐t② i ∈ F t❤❛t ♠❛①✐♠✐③❡s

ˆ zi

• j∈Ri

dj wj

❛♥❞ r❡♠♦✈❡ ✐t ❢r♦♠ F

✺✿

✐❢ D(RH) + D(Ri) < D t❤❡♥

✻✿

H := H ∪ {i}✱ R := R\{Ri}

✼✿ r❡t✉r♥ ❙❯❑❈ I := F\H

• r❡❡❞② ❤❡✉r✐st✐❝ ♣r♦✈✐❞❡s ❛♣♣r♦①✐♠❛t✐♦♥ ❣✉❛r❛♥t❡❡s ❢♦r s♣❡❝✐❛❧ ❝❛s❡s

❆r✉❧s❡❧✈❛♥ ✭✷✵✶✹✮

◮ ◆✉♠❜❡r ♦❢ ❢❛❝✐❧✐t✐❡s s❡r✈✐♥❣ ❛ ❝✉st♦♠❡r ✐s ❜♦✉♥❞❡❞

❈♦✈❡r ❝♦♠♣❧❡♠❡♥ts ♦❢ s✐③❡ ✷ ❛♥❞ ✸ ❛r❡ ❡♥✉♠❡r❛t❡❞ ❛♥❞ ❛❞❞❡❞

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✶✻

❈✉t✲s❡t✲❙❯❑❈ ■♥❡q✉❛❧✐t✐❡s

❙✉♣♣♦s❡ zt

i = ✶/|I t| ❢♦r ❛❧❧ ❢❛❝✐❧✐t✐❡s i ✐♥ s♦♠❡ ❝♦✈❡r I t✳

❚❤❡♥ LP ❡♥❢♦r❝❡s ♦♥❧② ❝♦♥♥❡❝t✐✈✐t② ✶/|I t| ❢r♦♠ r t♦ I t✳ ❇✉t✿ I t ♠✉st ❜❡ ✶✲❝♦♥♥❡❝t❡❞ ❢r♦♠ r ✐♥ ■▲P s♦❧✉t✐♦♥✳

❚❤❡♦r❡♠

✭✐✮

❚❤❡ ❝✉t✲s❡t ❝♦✈❡r ✐♥❡q✉❛❧✐t✐❡s

✶ ✭✶✵✮

❛r❡ ✈❛❧✐❞ ❢♦r t❤❡ ✐♥t❡❣❡r s♦❧✉t✐♦♥s ♦❢ ✭✶✮✕✭✼✮✳

✭✐✐✮

❚❤❡r❡ ❛r❡ ♣r♦❜❧❡♠ ✐♥st❛♥❝❡s ❛♥❞ ❝♦rr❡s♣♦♥❞✐♥❣ ✭♦♣t✐♠❛❧✮ ❢r❛❝t✐♦♥❛❧ s♦❧✉t✐♦♥s ❢♦r ✭✶✮✕✭✼✮✱ ✭✾✮ t❤❛t ❞♦ ♥♦t s❛t✐s❢② ✭✶✵✮✳

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✶✼

❈✉t✲s❡t✲❙❯❑❈ ■♥❡q✉❛❧✐t✐❡s

❙✉♣♣♦s❡ zt

i = ✶/|I t| ❢♦r ❛❧❧ ❢❛❝✐❧✐t✐❡s i ✐♥ s♦♠❡ ❝♦✈❡r I t✳

❚❤❡♥ LP ❡♥❢♦r❝❡s ♦♥❧② ❝♦♥♥❡❝t✐✈✐t② ✶/|I t| ❢r♦♠ r t♦ I t✳ ❇✉t✿ I t ♠✉st ❜❡ ✶✲❝♦♥♥❡❝t❡❞ ❢r♦♠ r ✐♥ ■▲P s♦❧✉t✐♦♥✳

❚❤❡♦r❡♠

✭✐✮

❚❤❡ ❝✉t✲s❡t ❝♦✈❡r ✐♥❡q✉❛❧✐t✐❡s

• uv∈δ−(W )

xt

uv ≥ ✶

∀t ∈ T, I t ∈ COV t, W ⊆ S \ {r}, I t ⊆ W ✭✶✵✮

❛r❡ ✈❛❧✐❞ ❢♦r t❤❡ ✐♥t❡❣❡r s♦❧✉t✐♦♥s ♦❢ ✭✶✮✕✭✼✮✳

✭✐✐✮

❚❤❡r❡ ❛r❡ ♣r♦❜❧❡♠ ✐♥st❛♥❝❡s ❛♥❞ ❝♦rr❡s♣♦♥❞✐♥❣ ✭♦♣t✐♠❛❧✮ ❢r❛❝t✐♦♥❛❧ s♦❧✉t✐♦♥s ❢♦r ✭✶✮✕✭✼✮✱ ✭✾✮ t❤❛t ❞♦ ♥♦t s❛t✐s❢② ✭✶✵✮✳

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✶✼

❙❖▼❊ ▲■❋❚■◆● ■❉❊❆❙

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✶✽

▲✐❢t✐♥❣

❲❡ tr② t♦ ❧✐❢t ❙❯❑❈ ✐♥❡q✉❛❧✐t✐❡s✱ ❜② ✐♥❝❧✉❞✐♥❣ ❝✉st♦♠❡r ✈❛r✐❛❜❧❡s✳ ❉❡♥♦t❡ ❜② R✷ ⊆ R t❤❡ s✉❜s❡t ♦❢ ❝✉st♦♠❡rs j s✉❝❤ t❤❛t ✐❢ j ✐s ♥♦t s❡r✈❡❞✱ ✇❡ ♥❡❡❞ t♦ ♦♣❡♥ ❛t ❧❡❛st t✇♦ ❢❛❝✐❧✐t✐❡s ❢r♦♠ I ✐♥ ♦r❞❡r t♦ s❡r✈❡ t❤❡ ❞❡♠❛♥❞ D✳ z(I) ≥ ✷ − yj I ∈ ❈❖❱ F, j ∈ R✷ ✭✶✶✮ ■♥ ❣❡♥❡r❛❧ z(I) +

• k∈L

αk(yk − ✶) + αj(yj − ✶) ≥ ✶ ✭✶✷✮

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✶✾

❈❖▼P❯❚❆❚■❖◆❆▲ ❘❊❙❯▲❚❙

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✷✵

■♠♣❧❡♠❡♥t❛t✐♦♥

❇r❛♥❝❤✲❛♥❞✲❝✉t ❜❛s❡❞ ♦♥ ❈P▲❊❳ ✶✷✳✷ ✇✐t❤ P②t❤♦♥ ❆P■ ■♥✐t✐❛❧ ❢♦r♠✉❧❛t✐♦♥

◮ ❛❧❧ ♠♦❞❡❧ ❝♦♥str❛✐♥ts ❡①❝❡♣t ❝♦♥♥❡❝t✐✈✐t② ❝✉ts ◮ ✐♥❞❡❣r❡❡ ✐♥❡q✉❛❧✐t✐❡s

❙❡♣❛r❛t✐♦♥ ✈✐❛ ❝✉t ❝❛❧❧❜❛❝❦

◮ r♦♦t✖❢❛❝✐❧✐t② ❝✉t✲s❡t ✐♥❡q✉❛❧✐t✐❡s ◮ ❙❯❑❈ ❛♥❞ ❝✉st♦♠❡r ❝♦✈❡r ✐♥❡q✉❛❧✐t✐❡s ◮ ❝✉t✲s❡t✲❙❯❑❈ ✐♥❡q✉❛❧✐t✐❡s ◮ ❧✐❢t❡❞ ✐♥❡q✉❛❧✐t✐❡s

❇r❛♥❝❤✐♥❣ ♣r✐♦r✐t✐❡s

❢❛❝✐❧✐t② ✈❛rs ❃ ❝❧✐❡♥t ✈❛rs ❃ r❡♠❛✐♥✐♥❣ ✭❛r❝✮ ✈❛rs

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✷✶

■♠♣❧❡♠❡♥t❛t✐♦♥

❇r❛♥❝❤✲❛♥❞✲❝✉t ❜❛s❡❞ ♦♥ ❈P▲❊❳ ✶✷✳✷ ✇✐t❤ P②t❤♦♥ ❆P■ ■♥✐t✐❛❧ ❢♦r♠✉❧❛t✐♦♥

◮ ❛❧❧ ♠♦❞❡❧ ❝♦♥str❛✐♥ts ❡①❝❡♣t ❝♦♥♥❡❝t✐✈✐t② ❝✉ts ◮ ✐♥❞❡❣r❡❡ ✐♥❡q✉❛❧✐t✐❡s

❙❡♣❛r❛t✐♦♥ ✈✐❛ ❝✉t ❝❛❧❧❜❛❝❦

◮ r♦♦t✖❢❛❝✐❧✐t② ❝✉t✲s❡t ✐♥❡q✉❛❧✐t✐❡s ◮ ❙❯❑❈ ❛♥❞ ❝✉st♦♠❡r ❝♦✈❡r ✐♥❡q✉❛❧✐t✐❡s ◮ ❝✉t✲s❡t✲❙❯❑❈ ✐♥❡q✉❛❧✐t✐❡s ◮ ❧✐❢t❡❞ ✐♥❡q✉❛❧✐t✐❡s

❇r❛♥❝❤✐♥❣ ♣r✐♦r✐t✐❡s

◮ ❢❛❝✐❧✐t② ✈❛rs zt

i ❃ ❝❧✐❡♥t ✈❛rs y t j ❃ r❡♠❛✐♥✐♥❣ ✭❛r❝✮ ✈❛rs

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✷✶

Pr✐♠❛❧ ❤❡✉r✐st✐❝s

▲❡t (x∗, y∗, z∗) ❜❡ t❤❡ ♦♣t✐♠❛❧ ▲P ✈❛❧✉❡ ❛t ❛ ❜r❛♥❝❤ ❛♥❞ ❜♦✉♥❞ ♥♦❞❡ ❘♦✉♥❞ ✉♣ t❤❡ ❢r❛❝t✐♦♥❛❧ y∗ ❛♥❞ z∗ ✈❛r✐❛❜❧❡s ❢♦r ❛❧❧ t✐♠❡ ♣❡r✐♦❞s ❆ss✐❣♥ t❤❡ ❝✉st♦♠❡rs t♦ ✐ts ❝❤❡❛♣❡st ❢r❛❝t✐♦♥❛❧ ❢❛❝✐❧✐t② P♦st✲♣r♦❝❡ss✐♥❣ t♦ r❡♠♦✈❡ ♥♦♥✲s❡r✈✐♥❣ ♦♣❡♥ ❢❛❝✐❧✐t✐❡s ❋❛❝✐❧✐t② ♦♣❡♥ ❛t t✐♠❡ t r❡♠❛✐♥s ♦♣❡♥ ❢♦r s✉❜s❡q✉❡♥t t✐♠❡ ♣❡r✐♦❞ ❙❤♦rt❡st ♣❛t❤ ❤❡✉r✐st✐❝ ❢♦r ❙t❡✐♥❡r tr❡❡ ♣r♦❜❧❡♠ ❢♦r ♣❡r✐♦❞ T

◮ ❚❛❦❡ t❤❡ ❝♦st ♦❢ ❡❞❣❡ (i, j) t♦ ❜❡ (✶ − x∗

ij )

◮ ❈♦♥s✐❞❡r t❤❡ ❢❛❝✐❧✐t✐❡s ✐♥ s♦♠❡ ♦r❞❡r ◮ ❋✐♥❞ t❤❡ s❤♦rt❡❞ ♣❛t❤ ❢r♦♠ ❛ t❡r♠✐♥❛❧ t♦ t❤❡ r♦♦t ♥♦❞❡ ◮ ❋✐① t❤❡ ❝♦st ♦❢ t❤❡ ❡❞❣❡s ✐♥ t❤✐s ♣❛t❤ t♦ ❜❡ ③❡r♦

❋♦r t✐♠❡ ♣❡r✐♦❞s✱ T − ✶, T − ✷, . . . ✱ r❡♠♦✈❡ t❤❡ ♣❛t❤s ♦❢ ♠✐ss✐♥❣ ❢❛❝✐❧✐t✐❡s

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✷✷

❚❡st ✐♥st❛♥❝❡s

❇❡♥❝❤♠❛r❦ ✐♥st❛♥❝❡s

◮ ❈♦♠❜✐♥❛t✐♦♥ ♦❢ ❯❋▲ ❛♥❞ ❙t❡✐♥❡r tr❡❡ ✐♥st❛♥❝❡s ◮ ❯❋▲✿ ♠♣✶✱ ♠♣✷✱ ♠♣✸ ✭✷✵✵①✷✵✵✱ ✸✵✵①✸✵✵✮ ◮ ❙❚P✿ ✺✵✵✲✶✱✵✵✵ ♥♦❞❡s✱ ✉♣ t♦ ✷✺✱✵✵✵ ❡❞❣❡s ◮ ❙♣❛rs✐✜❝❛t✐♦♥✿ ♦♥❧② ✷✵ ❝❧♦s❡st ❢❛❝✐❧✐t✐❡s ♣❡r ❝❧✐❡♥t

⇒ ✉♣ t♦ ✶✱✸✵✵ ♥♦❞❡s ❛♥❞ ✹✺✱✵✵✵ ❡❞❣❡s

t✐♠❡ ❤♦r✐③♦♥ T = ✸ ❝❧✐❡♥t ❞❡♠❛♥❞s r❛♥❞♦♠ ✐♥ ❬✷✵✲✹✵❪ ♠✐♥ ❝♦✈❡r❛❣❡ {✺✵%, ✼✺%, ✾✵%} ✽ r❡❛❧ ✇♦r❧❞ ✐♥st❛♥❝❡s ♦❢ ✈❛r②✐♥❣ s✐③❡s

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✷✸

B Bc r♦♦t ❣❛♣ ❋✐♥❛❧

• ❛♣

❈✉ts ♥♦❞❡s r♦♦t ❣❛♣ ❋✐♥❛❧

• ❛♣

❈✉ts ♥♦❞❡s ❛ ✼✼✳✻ ✸✷✳✼ ✶✼✹✵✾ ✸✶✸ ✽✶✳✵ ✼✼✳✷ ✾✷✼✺✴✶✵✼✺ ✶✶✶✶ ❜ ✼✶✳✸ ✻✼✳✺ ✶✷✶✷✽ ✹✽✽ ✼✼✳✸ ✺✽✳✵ ✺✾✸✼✴✷✷✵ ✷✹✵ ❝ ✻✼✳✶ ✺✾✳✹ ✶✷✾✼✻ ✶✻✺✶ ✻✽✳✽ ✻✵✳✹ ✽✶✷✶✴✶✵✼✻ ✶✶✷✸ ❞ ✺✼✳✹ ✺✼✳✹ ✽✾✽✷ ✵ ✻✸✳✺ ✻✸✳✺ ✸✼✶✵✴✻✾ ✷✵ ❡ ✻✸✳✾ ✻✸✳✾ ✶✵✶✼✶ ✺ ✻✹✳✾ ✻✹✳✾ ✹✽✾✹✴✾✵ ✹✼ ❢ ✻✹✳✾ ✻✹✳✾ ✶✷✼✺✻ ✷✵ ✻✼✳✼ ✻✼✳✼ ✺✹✺✺✴✶✵✵ ✺✷ ❣ ✺✼✳✷ ✺✼✳✷ ✼✸✺✸ ✵ ✻✸✳✷ ✻✸✳✷ ✸✼✵✸✴✻✾ ✷✵ ❤ ✼✽✳✾ ✼✽✳✻ ✶✹✸✷ ✵ ✼✽✳✶ ✼✽✳✶ ✶✾✸✾✴✸✻ ✵ B+ B++ r♦♦t ❣❛♣ ❋✐♥❛❧

• ❛♣

❈✉ts ♥♦❞❡s r♦♦t ❣❛♣ ❋✐♥❛❧

• ❛♣

❈✉ts ♥♦❞❡s ❛ ✹✳✵ ✶✳✻ ✻✺✷✽✴✹✶✶✴✸✹✶✵ ✸✽✺ ✹✳✵ ✷✳✹ ✹✷✻✺✴✶✽✹✴✶✾✻✺✴✻✸✼✵ ✶✹✺ ❜ ✷✳✹ ✶✳✷ ✶✽✹✹✴✹✶✶✴✽✺✶ ✹✵✵ ✷✳✹ ✶✳✷ ✶✻✹✹✴✷✻✼✴✽✺✹✴✷✽✹✾ ✷✺✵ ❝ ✹✳✵ ✵✳✷ ✺✶✽✸✴✶✺✸✴✶✻✺✹ ✾✽ ✹✳✹ ✵✳✸ ✸✵✺✺✴✹✶✵✴✷✷✽✵✴✶✸✵✺✽ ✸✼✵ ❞ ✷✸✳✶ ✷✸✳✶ ✻✶✾✾✴✸✷✴✹✹✷ ✵ ✷✺✳✾ ✷✺✳✾ ✶✻✶✶✴✸✵✴✹✼✻✴✾✼✹ ✵ ❡ ✶✷✳✹ ✶✷✳✹ ✼✺✶✸✴✸✾✴✺✽✼ ✷ ✶✷✳✺ ✶✷✳✺ ✷✺✻✶✴✹✼✴✶✶✸✸✴✵ ✵ ❢ ✸✼✳✺ ✸✼✳✺ ✶✵✹✵✸✴✺✸✴✶✹✺✹ ✺ ✹✵✳✻ ✹✵✳✻ ✷✼✹✹✴✺✵✴✶✶✵✺✴✹✶✼ ✵ ❣ ✷✹✳✵ ✷✹✳✵ ✻✶✹✵✴✸✷✴✺✺✼ ✵ ✷✻✳✶ ✷✻✳✶ ✶✺✹✹✴✷✾✴✹✺✽✴✶✵✺✾ ✵ ❤ ✻✸✳✽ ✻✸✳✽ ✸✻✼✺✴✶✽✴✶✶✶ ✵ ✻✾✳✺ ✻✾✳✺ ✽✾✽✴✶✻✴✽✽✴✻✹✼ ✵

❈♦♠♣❛r✐s♦♥ ♦❢ ❢♦✉r ❜r❛♥❝❤✲❛♥❞✲❝✉t s❡tt✐♥❣s ❢♦r t❤❡ ❈♦♥❋▲✲❈❘ ✇✐t❤ ✺✵% ❝♦✈❡r❛❣❡✳

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✷✹

B Bc r♦♦t ❣❛♣ ❋✐♥❛❧

• ❛♣

❈✉ts ♥♦❞❡s r♦♦t ❣❛♣ ❋✐♥❛❧

• ❛♣

❈✉ts ♥♦❞❡s ❛ ✼✵✳✹ ✶✵✳✹ ✶✽✽✺✼ ✷✷✵ ✼✹✳✼ ✼✶✳✷ ✶✵✺✼✸✴✸✸✷ ✸✷✻ ❜ ✻✹✳✹ ✻✶✳✽ ✶✸✶✺✾ ✸✾✻ ✻✸✳✻ ✻✵✳✶ ✻✼✺✵✴✸✽✼ ✸✺✹ ❝ ✻✷✳✵ ✺✺✳✼ ✶✺✺✷✸ ✶✵✼✶ ✻✸✳✹ ✺✺✳✼ ✽✹✶✺✴✶✸✺✽ ✶✸✺✷ ❞ ✹✼✳✽ ✹✼✳✽ ✽✵✻✻ ✵ ✺✸✳✻ ✺✸✳✻ ✸✺✶✾✴✻✺ ✶✺ ❡ ✺✸✳✽ ✺✸✳✽ ✶✵✸✾✷ ✺ ✺✺✳✾ ✺✺✳✹ ✸✾✼✸✴✼✹ ✸✵ ❢ ✺✻✳✼ ✺✻✳✼ ✶✷✷✵✾ ✶✸ ✺✾✳✾ ✺✾✳✾ ✺✽✽✼✴✶✵✾ ✻✵ ❣ ✹✾✳✶ ✹✾✳✶ ✽✵✻✷ ✵ ✺✸✳✾ ✺✸✳✾ ✸✼✵✵✴✻✾ ✷✵ ❤ ✻✼✳✻ ✻✼✳✻ ✺✷✽✺ ✵ ✼✷✳✶ ✼✷✳✵ ✷✶✼✻✴✹✶ ✵ B+ B++ r♦♦t ❣❛♣ ❋✐♥❛❧

• ❛♣

❈✉ts ♥♦❞❡s r♦♦t ❣❛♣ ❋✐♥❛❧

• ❛♣

❈✉ts ♥♦❞❡s ❛ ✼✳✾ ✺✳✷ ✶✶✶✹✽✴✷✷✶✴✸✵✸✵ ✶✾✺ ✼✳✾ ✻✳✾ ✻✸✻✸✴✷✵✸✴✸✷✷✽✴✶✻✷✺ ✶✼✸ ❜ ✺✳✼ ✺✳✻ ✷✻✷✷✴✺✷✵✴✶✵✺✼ ✹✾✻ ✺✳✺ ✺✳✺ ✶✺✽✽✴✺✵✷✴✻✾✹✴✸✷✶✻ ✹✻✺ ❝ ✷✳✸ ✵✳✵ ✷✸✸✹✴✾✹✴✹✶✾ ✻✽ ✷✳✶ ✵✳✸ ✷✸✼✹✴✾✻✴✹✷✵✴✶✵✶ ✻✶ ❞ ✷✷✳✺ ✷✷✳✺ ✻✻✹✻✴✸✸✴✸✸✻ ✵ ✷✹✳✺ ✷✹✳✺ ✷✵✵✾✴✸✼✴✼✻✷✴✸✼✾ ✵ ❡ ✶✸✳✹ ✶✸✳✹ ✽✽✻✸✴✺✻✴✽✶✶ ✶✵ ✶✸✳✻ ✶✸✳✻ ✸✵✹✾✴✺✽✴✶✺✻✽✴✷✹✻ ✶✷ ❢ ✸✺✳✼ ✸✺✳✼ ✶✷✶✷✽✴✻✵✴✶✼✻✻ ✶✵ ✸✼✳✾ ✸✼✳✾ ✸✺✵✽✴✻✺✴✷✵✷✶✴✶✼✵✺ ✶✼ ❣ ✷✶✳✽ ✷✶✳✼ ✺✼✽✽✴✷✾✴✹✻✺ ✵ ✷✺✳✵ ✷✺✳✵ ✶✽✻✵✴✸✺✴✻✽✽✴✹✹✵ ✵ ❤ ✻✵✳✷ ✻✵✳✷ ✹✸✵✵✴✷✶✴✷✹✻ ✵ ✻✻✳✼ ✻✻✳✼ ✶✷✻✷✴✷✹✴✷✻✻✴✶✸✷✷ ✵

❈♦♠♣❛r✐s♦♥ ♦❢ ❢♦✉r ❜r❛♥❝❤✲❛♥❞✲❝✉t s❡tt✐♥❣s ❢♦r t❤❡ ❈♦♥❋▲✲❈❘ ✇✐t❤ ✼✺% ❝♦✈❡r❛❣❡✳

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✷✺

B Bc r♦♦t ❣❛♣ ❋✐♥❛❧

• ❛♣

❈✉ts ♥♦❞❡s r♦♦t ❣❛♣ ❋✐♥❛❧

• ❛♣

❈✉ts ♥♦❞❡s ❛ ✻✼✳✻ ✺✾✳✹ ✷✶✵✸✷ ✶✷✼ ✻✾✳✾ ✻✻✳✻ ✾✼✼✻✴✽✵✻ ✼✻✼ ❜ ✺✾✳✸ ✺✻✳✹ ✶✹✼✸✵ ✷✹✵ ✻✷✳✼ ✺✻✳✾ ✺✶✻✼✴✹✾✻ ✹✼✽ ❝ ✺✻✳✺ ✺✶✳✵ ✶✺✻✸✶ ✶✵✹✻ ✺✽✳✵ ✺✷✳✶ ✼✾✸✻✴✶✵✶✻ ✶✵✵✽ ❞ ✹✼✳✸ ✹✼✳✸ ✻✼✸✹ ✵ ✺✶✳✵ ✺✶✳✵ ✷✻✾✷✴✺✵ ✵ ❡ ✹✻✳✻ ✹✻✳✻ ✶✵✸✹✻ ✺ ✹✾✳✽ ✹✾✳✽ ✹✸✵✵✴✼✽ ✸✵ ❢ ✹✾✳✻ ✹✾✳✻ ✶✷✷✹✻ ✶✶ ✺✷✳✼ ✺✷✳✼ ✺✶✵✽✴✾✹ ✹✺ ❣ ✹✽✳✼ ✹✽✳✼ ✼✸✺✻ ✵ ✺✶✳✾ ✺✶✳✾ ✷✻✻✹✴✺✵ ✵ ❤ ✻✶✳✶ ✻✶✳✶ ✺✸✵✹ ✵ ✻✺✳✻ ✻✺✳✻ ✷✸✼✸✴✹✹ ✵ B+ B++ r♦♦t ❣❛♣ ❋✐♥❛❧

• ❛♣

❈✉ts ♥♦❞❡s r♦♦t ❣❛♣ ❋✐♥❛❧

• ❛♣

❈✉ts ♥♦❞❡s ❛ ✼✳✼ ✺✳✻ ✶✹✺✾✼✴✶✼✹✴✾✻✻✻ ✶✹✷ ✶✵✳✷ ✼✳✷ ✻✺✶✵✴✶✼✼✴✶✵✷✽✺✴✻✽✺ ✶✺✵ ❜ ✷✳✻ ✷✳✹ ✷✻✵✼✴✺✵✽✴✻✽✺ ✷✽✻ ✷✳✻ ✷✳✺ ✷✽✶✸✴✺✸✷✴✺✼✽✴✽✺✼✵ ✺✵✵ ❝ ✹✳✵ ✵✳✹ ✹✷✸✼✴✶✶✺✴✶✷✷✺ ✾✹ ✹✳✵ ✵✳✵ ✷✼✶✶✴✽✼✴✼✼✸✴✺ ✻✽ ❞ ✷✺✳✺ ✷✺✳✺ ✺✼✵✹✴✷✽✴✺✽✽ ✵ ✷✽✳✷ ✷✽✳✷ ✷✵✺✼✴✸✽✴✶✵✸✵✴✼ ✵ ❡ ✶✵✳✵ ✶✵✳✵ ✽✸✼✽✴✹✻✴✺✹✸ ✽ ✾✳✽ ✾✳✽ ✸✵✺✺✴✺✽✴✶✷✸✽✴✶✻✹ ✶✺ ❢ ✷✽✳✷ ✷✽✳✷ ✶✵✻✺✹✴✺✸✴✶✸✸✹ ✼ ✷✽✳✽ ✷✽✳✽ ✸✹✽✽✴✻✺✴✷✵✶✵✴✺✻✺ ✶✺ ❣ ✷✼✳✷ ✷✼✳✷ ✺✶✶✷✴✷✺✴✸✾✼ ✵ ✷✾✳✺ ✷✾✳✺ ✶✽✽✷✴✸✺✴✽✼✾✴✼ ✵ ❤ ✺✺✳✵ ✺✺✳✵ ✹✵✼✾✴✷✵✴✸✵✼ ✵ ✻✶✳✵ ✻✶✳✵ ✶✸✼✻✴✷✻✴✹✽✹✴✾✽✾ ✵

❈♦♠♣❛r✐s♦♥ ♦❢ ❢♦✉r ❜r❛♥❝❤✲❛♥❞✲❝✉t s❡tt✐♥❣s ❢♦r t❤❡ ❈♦♥❋▲✲❈❘ ✇✐t❤ ✾✵% ❝♦✈❡r❛❣❡✳

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✷✻

15 20 25 30 35 40 45 20 40 60 80 100 root gap (%) Cumulative % of Instances

• Model

B B+

✭❛✮

15 20 25 30 35 40 45 20 40 60 80 100 final gap (%) Cumulative % of Instances

• Model

B B+

✭❜✮

❚❤r❡❡✲♣❡r✐♦❞ ✐❈♦♥❋▲ r❡s✉❧ts ❢♦r ❝♦✈❡r❛❣❡ r❛t❡s✿ ✺✵%✱ ✼✺% ❛♥❞ ✾✵%✳ ❈♦♥❋▲ ✐♥st❛♥❝❡s✳

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✷✼

• B50B+50B75B+75B90B+90102030405060

(Model,Coverage) root gap (%)

(B,50%) (B+,50%) (B,75%) (B+,75%) (B,90%) (B+,90%) 10 20 30 40 50 60

✭❛✮ ●❛♣ ❛t t❤❡ r♦♦t ♥♦❞❡✳

• B50B+50B75B+75B90B+90102030

(Model,Coverage) root gap (%)

(B,50%) (B+,50%) (B,75%) (B+,75%) (B,90%) (B+,90%) 10 20 30

✭❜✮ ❋✐♥❛❧ ❣❛♣✳

❈♦♠♣❛r✐s♦♥ ♦❢ r♦♦t✲ ❛♥❞ ✜♥❛❧ ❣❛♣s ✇✐t❤ ✐♥❝r❡❛s✐♥❣ ❝♦✈❡r❛❣❡ r❛t❡s✳ ❈♦♥❋▲ ✐♥st❛♥❝❡s✳

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✷✽

❊①♣❡r✐♠❡♥ts

✭❛✮ ✭❜✮ ✭❝✮

❚❤r❡❡✲♣❡r✐♦❞ ✐❈♦♥❋▲ r❡s✉❧ts ❢♦r ❝♦✈❡r❛❣❡ r❛t❡s ❢♦r ❆❤♦r♥✿ ✺✵%✱ ✼✺% ❛♥❞ ✾✵%✳ ❈♦♥❋▲ ✐♥st❛♥❝❡s✳

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✷✾

❈♦♥❝❧✉s✐♦♥s

❙✉♠♠❛r②

■♥❝r❡♠❡♥t❛❧ ❝♦♥♥❡❝t❡❞ ❢❛❝✐❧✐t② ❧♦❝❛t✐♦♥ ❱❛❧✐❞ ✐♥❡q✉❛❧✐t✐❡s ❛♥❞ str❡♥❣t❤❡♥✐♥❣ ❊①♣❡r✐♠❡♥ts ❛♥❞ r❡s✉❧ts

■♥t❡r❡st✐♥❣ q✉❡st✐♦♥s

❆♣♣r♦①✐♠❛t✐♦♥ ❛❧❣♦r✐t❤♠ ❢♦r ❜✉❞❣❡t❡❞ ✈❡rs✐♦♥ ♦❢ ❝♦♥♥❡❝t❡❞ ❢❛❝✐❧✐t② ❧♦❝❛t✐♦♥ ❇✉②✲❛t✲❜✉❧❦ ♥❡t✇♦r❦ ❞❡s✐❣♥ ♣r♦❜❧❡♠s ✐♥ ✐♥❝r❡♠❡♥t❛❧ ❛♥❞ ❜✉❞❣❡t❡❞ s❡tt✐♥❣s

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✸✵

▲✐t❡r❛t✉r❡ ■

▼✳ ❆❧❜❛r❡❞❛✲❙❛♠❜♦❧❛✱ ❊✳ ❋❡r♥á♥❞❡③✱ ❨✳ ❍✐♥♦❥♦s❛✱ ❛♥❞ ❏✳ P✉❡rt♦✳ ❚❤❡ ♠✉❧t✐✲♣❡r✐♦❞ ✐♥❝r❡♠❡♥t❛❧ s❡r✈✐❝❡ ❢❛❝✐❧✐t② ❧♦❝❛t✐♦♥ ♣r♦❜❧❡♠✳ ❈♦♠♣✉t❡rs ✫ ❖♣❡r❛t✐♦♥s ❘❡s❡❛r❝❤✱ ✸✻✿✶✸✺✻✕✶✸✼✺✱ ▼❛② ✷✵✵✾✳ ❆✳ ❆r✉❧s❡❧✈❛♥✳ ❆ ♥♦t❡ ♦♥ s❡t ✉♥✐♦♥ ❦♥❛♣s❛❝❦ ♣r♦❜❧❡♠✳ ❉✐s❝r❡t❡ ❆♣♣❧✳ ▼❛t❤✳✱ ✶✻✾✿✷✶✹✕✷✶✽✱ ✷✵✶✹✳ ❆✳ ❆r✉❧s❡❧✈❛♥✱ ❖✳ ▼❛✉r❡r✱ ❛♥❞ ▼✳ ❙❦✉t❡❧❧❛✳ ❆♥ ✐♥❝r❡♠❡♥t❛❧ ❛❧❣♦r✐t❤♠ ❢♦r t❤❡ ✉♥❝❛♣❛❝✐t❛t❡❞ ❢❛❝✐❧✐t② ❧♦❝❛t✐♦♥ ♣r♦❜❧❡♠✳ ◆❡t✇♦r❦s✱ ✻✺✭✹✮✿✸✵✻✕✸✶✶✱ ✷✵✶✺✳ ▼✳ ❇❛r❞♦ss② ❛♥❞ ❙✳ ❘❛❣❤❛✈❛♥✳ ❉✉❛❧✲❇❛s❡❞ ▲♦❝❛❧ ❙❡❛r❝❤ ❢♦r t❤❡ ❈♦♥♥❡❝t❡❞ ❋❛❝✐❧✐t② ▲♦❝❛t✐♦♥ ❛♥❞ ❘❡❧❛t❡❞ Pr♦❜❧❡♠s✳ ■◆❋❖❘▼❙ ❏♦✉r♥❛❧ ♦♥ ❈♦♠♣✉t✐♥❣✱ ✷✷✭✹✮✿✺✽✹✕✻✵✷✱ ✷✵✶✵✳ ▼✳ ❇❛①t❡r✱ ❚✳ ❊❧❣✐♥❞②✱ ❆✳ ❊r♥st✱ ❚✳ ❑❛❧✐♥♦✇s❦✐✱ ❛♥❞ ▼✳ ❙❛✈❡❧s❜❡r❣❤✳ ■♥❝r❡♠❡♥t❛❧ ♥❡t✇♦r❦ ❞❡s✐❣♥ ✇✐t❤ s❤♦rt❡st ♣❛t❤s✳ ❊✉r♦♣❡❛♥ ❏♦✉r♥❛❧ ♦❢ ❖♣❡r❛t✐♦♥❛❧ ❘❡s❡❛r❝❤✱ ✷✸✽✭✸✮✿✻✼✺✕✻✽✹✱ ✷✵✶✹✳

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✸✶

▲✐t❡r❛t✉r❡ ■■

❋✳ ❊✐s❡♥❜r❛♥❞✱ ❋✳ ●r❛♥❞♦♥✐✱ ❚✳ ❘♦t❤✈♦ÿ✱ ❛♥❞ ●✳ ❙❝❤ä❢❡r✳ ❈♦♥♥❡❝t❡❞ ❢❛❝✐❧✐t② ❧♦❝❛t✐♦♥ ✈✐❛ r❛♥❞♦♠ ❢❛❝✐❧✐t② s❛♠♣❧✐♥❣ ❛♥❞ ❝♦r❡ ❞❡t♦✉r✐♥❣✳ ❏♦✉r♥❛❧ ♦❢ ❈♦♠♣✉t❡r ❛♥❞ ❙②st❡♠ ❙❝✐❡♥❝❡s✱ ✼✻✿✼✵✾✕✼✷✻✱ ✷✵✶✵✳ ❑✳ ❊♥❣❡❧✱ ❚✳ ❑❛❧✐♥♦✇s❦✐✱ ❛♥❞ ▼✳ ❙❛✈❡❧s❜❡r❣❤✳ ■♥❝r❡♠❡♥t❛❧ ♥❡t✇♦r❦ ❞❡s✐❣♥ ✇✐t❤ ♠✐♥✐♠✉♠ s♣❛♥♥✐♥❣ tr❡❡s✳ ❏✳ ●r❛♣❤ ❆❧❣♦r✐t❤♠s ❆♣♣❧✳✱ ✷✶✭✹✮✿ ✹✶✼✕✹✸✷✱ ✷✵✶✼✳ ❖✳ ●♦❧❞s❝❤♠✐❞t✱ ❉✳ ◆❡❤♠❡✱ ❛♥❞ ●✳ ❨✉✳ ◆♦t❡✿ ❖♥ t❤❡ s❡t✲✉♥✐♦♥ ❦♥❛♣s❛❝❦ ♣r♦❜❧❡♠✳ ◆❛✈❛❧ ❘❡s❡❛r❝❤ ▲♦❣✐st✐❝s ✭◆❘▲✮✱ ✹✶✭✻✮✿✽✸✸✕✽✹✷✱ ✶✾✾✹✳ ❙✳ ●♦❧❧♦✇✐t③❡r ❛♥❞ ■✳ ▲❥✉❜✐➣✳ ▼■P ♠♦❞❡❧s ❢♦r ❝♦♥♥❡❝t❡❞ ❢❛❝✐❧✐t② ❧♦❝❛t✐♦♥✿ ❆ t❤❡♦r❡t✐❝❛❧ ❛♥❞ ❝♦♠♣✉t❛t✐♦♥❛❧ st✉❞②✳ ❈♦♠♣✉t❡rs ✫ ❖♣❡r❛t✐♦♥s ❘❡s❡❛r❝❤✱ ✸✽✭✷✮✿✹✸✺✕✹✹✾✱ ✷✵✶✶✳ ❚✳ ❑❛❧✐♥♦✇s❦✐✱ ❉✳ ▼❛ts②♣✉r❛✱ ❛♥❞ ▼✳ ❙❛✈❡❧s❜❡r❣❤✳ ■♥❝r❡♠❡♥t❛❧ ♥❡t✇♦r❦ ❞❡s✐❣♥ ✇✐t❤ ♠❛①✐♠✉♠ ✢♦✇s✳ ❊✉r♦♣❡❛♥ ❏♦✉r♥❛❧ ♦❢ ❖♣❡r❛t✐♦♥❛❧ ❘❡s❡❛r❝❤✱ ✷✹✷✭✶✮✿✺✶✕✻✷✱ ✷✵✶✺✳

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✸✷

▲✐t❡r❛t✉r❡ ■■■

▼✳ ▲❡✐t♥❡r✱ ■✳ ▲❥✉❜✐➣✱ ❛♥❞ ▼✳ ❙✳ ❏✳❏✳ ❙❛❧❛③❛r✲●♦♥③á❧❡③ ❛♥❞✳ ❆♥ ❛❧❣♦r✐t❤♠✐❝ ❢r❛♠❡✇♦r❦ ❢♦r t❤❡ ❡①❛❝t s♦❧✉t✐♦♥ ♦❢ tr❡❡✲st❛r ♣r♦❜❧❡♠s✳ ❊✉r♦♣❡❛♥ ❏♦✉r♥❛❧ ♦❢ ❖♣❡r❛t✐♦♥❛❧ ❘❡s❡❛r❝❤✱ ✷✻✶✭✶✮✿✺✹ ✕ ✻✻✱ ✷✵✶✼✳

■✈❛♥❛ ▲❥✉❜✐➣ ✭❊❙❙❊❈✮ ▼■P ▼♦❞❡❧✐♥❣ ♦❢ ■♥❝r❡♠❡♥t❛❧ ❈♦♥❋▲ ■◆❋❖❘▼❙ ❚❡❧❡❝♦♠ ✷✵✶✽ ✸✸