❚❤r❡❡✲▲❡✈❡❧ ❙❝r❡❡♥✐♥❣ ❉❡s✐❣♥s ❢♦r ❋❛st ❊♥❡r❣② ❙❛✈✐♥❣s ▲✉❝❛s ▼❡❧❧♦ ❙❝❤♥♦rr s❝❤♥♦rr❅✐♥❢✳✉❢r❣s✳❜r INSTITUTO DE INFORMÁTICA UFRGS ❋✐rst ❊♥❡r❣②❙❋❊ ■♥t❧✳ ❲♦r❦s❤♦♣ ●r❡♥♦❜❧❡✱ ❙❡♣t❡♠❜❡r ✶st✱ ✷✵✶✻ ✶ ✴ ✶✵
❋✐♥❡✲❣r❛✐♥ ❉❱❋❙ ❢♦r ❍P❈ ❛♣♣❧✐❝❛t✐♦♥s❄ ❼ ❙✉❜t❧❡ ♣❤❛s❡ ❝❤❛♥❣❡s ✭♠✐❝r♦s❡❝s✳ r❛♥❣❡✮ ❞✉r✐♥❣ r✉♥t✐♠❡ ❼ ❈P❯✲❜♦✉♥❞✱ ▼❡♠♦r②✲❜♦✉♥❞ ❼ ❋r❡q✉❡♥❝② s❝❛❧✐♥❣ ✐♥ ♣❡r✲♣❤❛s❡ ❢❛s❤✐♦♥ ❼ ■❢ ♣❤❛s❡ ✐s ♠❡♠♦r②✲❜♦✉♥❞ ♠✐♥✐♠❛❧ ✭♦r ♥♦✮ ♣❡r❢♦r♠❛♥❝❡ ❧♦ss❡s ❼ ❲❤❛t ✐s ❛ ♣❤❛s❡✿ ❛ ❖♣❡♥▼P ♣❛r❛❧❧❡❧ ❧♦♦♣ ■♥tr♦❞✉❝t✐♦♥ ✫ ❈♦♥t❡①t ❉❱❋❙ ✭❉②♥❛♠✐❝ ❱♦❧t❛❣❡ ❛♥❞ ❋r❡q✉❡♥❝② ❙❝❛❧✐♥❣✮ ❤❛r❞✇❛r❡ s✉♣♣♦rt ❼ P❡r✲♣r♦❝❡ss♦r ✭♠♦r❡ ❝♦♠♠♦♥✮ ♦r ♣❡r✲❝♦r❡ ❉❱❋❙ ❼ ❱❡r② ❝♦♠♠♦♥ s❡♥s❡✿ ✏❖❙ ❣♦✈❡r♥♦r ✐s ❛❧r❡❛❞② ❤❡r❡✑ ❼ ❚❤✐♥❣s ♠✐❣❤t ❜❡ ♠♦r❡ ❝♦♠♣❧❡① ✐♥ ❍P❈ → ❋✐♥❡✲❣r❛✐♥ ❉❱❋❙ ✷ ✴ ✶✵
■♥tr♦❞✉❝t✐♦♥ ✫ ❈♦♥t❡①t ❉❱❋❙ ✭❉②♥❛♠✐❝ ❱♦❧t❛❣❡ ❛♥❞ ❋r❡q✉❡♥❝② ❙❝❛❧✐♥❣✮ ❤❛r❞✇❛r❡ s✉♣♣♦rt ❼ P❡r✲♣r♦❝❡ss♦r ✭♠♦r❡ ❝♦♠♠♦♥✮ ♦r ♣❡r✲❝♦r❡ ❉❱❋❙ ❼ ❱❡r② ❝♦♠♠♦♥ s❡♥s❡✿ ✏❖❙ ❣♦✈❡r♥♦r ✐s ❛❧r❡❛❞② ❤❡r❡✑ ❼ ❚❤✐♥❣s ♠✐❣❤t ❜❡ ♠♦r❡ ❝♦♠♣❧❡① ✐♥ ❍P❈ → ❋✐♥❡✲❣r❛✐♥ ❉❱❋❙ ❋✐♥❡✲❣r❛✐♥ ❉❱❋❙ ❢♦r ❍P❈ ❛♣♣❧✐❝❛t✐♦♥s❄ ❼ ❙✉❜t❧❡ ♣❤❛s❡ ❝❤❛♥❣❡s ✭♠✐❝r♦s❡❝s✳ r❛♥❣❡✮ ❞✉r✐♥❣ r✉♥t✐♠❡ ❼ ❈P❯✲❜♦✉♥❞✱ ▼❡♠♦r②✲❜♦✉♥❞ ❼ ❋r❡q✉❡♥❝② s❝❛❧✐♥❣ ✐♥ ♣❡r✲♣❤❛s❡ ❢❛s❤✐♦♥ ❼ ■❢ ♣❤❛s❡ ✐s ♠❡♠♦r②✲❜♦✉♥❞ → ♠✐♥✐♠❛❧ ✭♦r ♥♦✮ ♣❡r❢♦r♠❛♥❝❡ ❧♦ss❡s ❼ ❲❤❛t ✐s ❛ ♣❤❛s❡✿ ❛ ❖♣❡♥▼P ♣❛r❛❧❧❡❧ ❧♦♦♣ ✷ ✴ ✶✵
▲❛✉r❡♥③❛♥♦ ❡t ❛❧✳ ✭✷✵✶✶✱ ✷✵✶✸✮✿ ❧♦♦♣✲❜❛s❡❞ str❛t❡❣② ❼ ❙❡r✐❡s ♦❢ ❧♦♦♣s ✭✇✐t❤ ❞✐✛❡r❡♥t ❈P❯ ❛♥❞ ♠❡♠♦r② ❜❡❤❛✈✐♦r✮ ✶ ❙②st❡♠ ❝❤❛r❛❝t❡r✐③❛t✐♦♥ ❼ ❙❡✈❡r❛❧ ❧♦♦♣ ✈❡rs✐♦♥s ❛r❡ ❡①❡❝✉t❡❞ ✇✐t❤ ❛❧❧ ❛✈❛✐❧❛❜❧❡ ❢r❡q✉❡♥❝✐❡s ❼ ❉❡✜♥❡s ✇❤✐❝❤ ❢r❡q✉❡♥❝② ✐s t❤❡ ❜❡st ❢♦r ❡❛❝❤ ❧♦♦♣ ❝♦♥✜❣✉r❛t✐♦♥ ✷ ❘❡❛❧ ❛♣♣❧✐❝❛t✐♦♥ ❧♦♦♣s ❛r❡ ♣r♦✜❧❡❞ ❼ ❙✐❣♥❛t✉r❡ ✭❝❛❝❤❡ ❤✐ts✱ ✢♦♣s✱ ♠❡♠♦r② ❛❝❝❡ss❡s✱ ❡t❝✮ ❼ ❙❡❛r❝❤ t❤❡ ❝❧♦s❡st ♣♦✐♥t ✐♥ s②st❡♠ ❝❤❛r❛❝t❡r✐③❛t✐♦♥ ❞❛t❛ P❡r✲P❤❛s❡ ❋r❡q✉❡♥❝② ❙❝❛❧✐♥❣ ❚❤❡r❡ ❛r❡ ♠❛♥② str❛t❡❣✐❡s✳ ❍❡r❡✬s t✇♦ ✇✐❞❡❧② ❞✐✛❡r❡♥t ❋r❡❡❤ ❡t ❛❧✳ ✭✷✵✵✺✮✿ ♣❡r✲♣❤❛s❡ ❢r❡q✉❡♥❝② s❝❛❧✐♥❣ ❼ ❚❡st ❛❧❧ ♣♦ss✐❜❧❡ ❢r❡q✉❡♥❝✐❡s ♦♥❡ ❜② ♦♥❡ ❢♦r ❡❛❝❤ ♣❤❛s❡ ❼ ❙❡q✉❡♥t✐❛❧❧② ❛♥❞ ✐♥ ♦r❞❡r ✭❢ Ö ♣ ♣❧✉s r❡♣❧✐❝❛t✐♦♥s✮ ✸ ✴ ✶✵
✶ ❙②st❡♠ ❝❤❛r❛❝t❡r✐③❛t✐♦♥ ❼ ❙❡✈❡r❛❧ ❧♦♦♣ ✈❡rs✐♦♥s ❛r❡ ❡①❡❝✉t❡❞ ✇✐t❤ ❛❧❧ ❛✈❛✐❧❛❜❧❡ ❢r❡q✉❡♥❝✐❡s ❼ ❉❡✜♥❡s ✇❤✐❝❤ ❢r❡q✉❡♥❝② ✐s t❤❡ ❜❡st ❢♦r ❡❛❝❤ ❧♦♦♣ ❝♦♥✜❣✉r❛t✐♦♥ ✷ ❘❡❛❧ ❛♣♣❧✐❝❛t✐♦♥ ❧♦♦♣s ❛r❡ ♣r♦✜❧❡❞ ❼ ❙✐❣♥❛t✉r❡ ✭❝❛❝❤❡ ❤✐ts✱ ✢♦♣s✱ ♠❡♠♦r② ❛❝❝❡ss❡s✱ ❡t❝✮ ❼ ❙❡❛r❝❤ t❤❡ ❝❧♦s❡st ♣♦✐♥t ✐♥ s②st❡♠ ❝❤❛r❛❝t❡r✐③❛t✐♦♥ ❞❛t❛ P❡r✲P❤❛s❡ ❋r❡q✉❡♥❝② ❙❝❛❧✐♥❣ ❚❤❡r❡ ❛r❡ ♠❛♥② str❛t❡❣✐❡s✳ ❍❡r❡✬s t✇♦ ✇✐❞❡❧② ❞✐✛❡r❡♥t ❋r❡❡❤ ❡t ❛❧✳ ✭✷✵✵✺✮✿ ♣❡r✲♣❤❛s❡ ❢r❡q✉❡♥❝② s❝❛❧✐♥❣ ❼ ❚❡st ❛❧❧ ♣♦ss✐❜❧❡ ❢r❡q✉❡♥❝✐❡s ♦♥❡ ❜② ♦♥❡ ❢♦r ❡❛❝❤ ♣❤❛s❡ ❼ ❙❡q✉❡♥t✐❛❧❧② ❛♥❞ ✐♥ ♦r❞❡r ✭❢ Ö ♣ ♣❧✉s r❡♣❧✐❝❛t✐♦♥s✮ ▲❛✉r❡♥③❛♥♦ ❡t ❛❧✳ ✭✷✵✶✶✱ ✷✵✶✸✮✿ ❧♦♦♣✲❜❛s❡❞ str❛t❡❣② ❼ ❙❡r✐❡s ♦❢ ❧♦♦♣s ✭✇✐t❤ ❞✐✛❡r❡♥t ❈P❯ ❛♥❞ ♠❡♠♦r② ❜❡❤❛✈✐♦r✮ ✸ ✴ ✶✵
P❡r✲P❤❛s❡ ❋r❡q✉❡♥❝② ❙❝❛❧✐♥❣ ❚❤❡r❡ ❛r❡ ♠❛♥② str❛t❡❣✐❡s✳ ❍❡r❡✬s t✇♦ ✇✐❞❡❧② ❞✐✛❡r❡♥t ❋r❡❡❤ ❡t ❛❧✳ ✭✷✵✵✺✮✿ ♣❡r✲♣❤❛s❡ ❢r❡q✉❡♥❝② s❝❛❧✐♥❣ ❼ ❚❡st ❛❧❧ ♣♦ss✐❜❧❡ ❢r❡q✉❡♥❝✐❡s ♦♥❡ ❜② ♦♥❡ ❢♦r ❡❛❝❤ ♣❤❛s❡ ❼ ❙❡q✉❡♥t✐❛❧❧② ❛♥❞ ✐♥ ♦r❞❡r ✭❢ Ö ♣ ♣❧✉s r❡♣❧✐❝❛t✐♦♥s✮ ▲❛✉r❡♥③❛♥♦ ❡t ❛❧✳ ✭✷✵✶✶✱ ✷✵✶✸✮✿ ❧♦♦♣✲❜❛s❡❞ str❛t❡❣② ❼ ❙❡r✐❡s ♦❢ ❧♦♦♣s ✭✇✐t❤ ❞✐✛❡r❡♥t ❈P❯ ❛♥❞ ♠❡♠♦r② ❜❡❤❛✈✐♦r✮ ✶ ❙②st❡♠ ❝❤❛r❛❝t❡r✐③❛t✐♦♥ ❼ ❙❡✈❡r❛❧ ❧♦♦♣ ✈❡rs✐♦♥s ❛r❡ ❡①❡❝✉t❡❞ ✇✐t❤ ❛❧❧ ❛✈❛✐❧❛❜❧❡ ❢r❡q✉❡♥❝✐❡s ❼ ❉❡✜♥❡s ✇❤✐❝❤ ❢r❡q✉❡♥❝② ✐s t❤❡ ❜❡st ❢♦r ❡❛❝❤ ❧♦♦♣ ❝♦♥✜❣✉r❛t✐♦♥ ✷ ❘❡❛❧ ❛♣♣❧✐❝❛t✐♦♥ ❧♦♦♣s ❛r❡ ♣r♦✜❧❡❞ ❼ ❙✐❣♥❛t✉r❡ ✭❝❛❝❤❡ ❤✐ts✱ ✢♦♣s✱ ♠❡♠♦r② ❛❝❝❡ss❡s✱ ❡t❝✮ ❼ ❙❡❛r❝❤ t❤❡ ❝❧♦s❡st ♣♦✐♥t ✐♥ s②st❡♠ ❝❤❛r❛❝t❡r✐③❛t✐♦♥ ❞❛t❛ ✸ ✴ ✶✵
❆♥ ❡①❛♠♣❧❡✿ ❛♣♣❧②✐♥❣ ❋r❡❡❤✬s ♠❡t❤♦❞♦❧♦❣②✿ ❢ Ö ♣ Ö r❡♣❧✐❝❛t✐♦♥s ❼ ●r❛♣❤✺✵✵ ❜❡♥❝❤♠❛r❦✿ ✶✼ ❝♦❞❡ r❡❣✐♦♥s ✭♠❛♥✉❛❧❧② ♠❛r❦❡❞✮ ❼ ■♥♣✉t s✐③❡ ✷✺✱ ✐t t❛❦❡s r♦✉❣❤❧② s✐① ♠✐♥✉t❡s ❼ ■♥t❡❧ ❳❡♦♥ ❊✺✲✷✻✸✵✿ ✶✸ ❢r❡q✉❡♥❝② ❧❡✈❡❧s ✭✐♥❝❧✉❞✐♥❣ t✉r❜♦ ❜♦♦st✮ ❼ ✷✷✶ ❡①♣❡r✐♠❡♥ts Ö ✶✵ r❡♣❧✐❝❛t✐♦♥s Ö ✻ ♠✐♥✉t❡s ❂ ✶✸✷✻✵ ♠✐♥✉t❡s ❆ ❢❛st❡r ♠❡t❤♦❞♦❧♦❣② ✐s r❡q✉✐r❡❞✳ Pr♦❜❧❡♠ ❙t❛t❡♠❡♥t ✭✇✐t❤ ❡①❛♠♣❧❡✮ ❙✐t✉❛t✐♦♥ ✶ ▼❛♥② ❢r❡q✳ ❧❡✈❡❧s ❛✈❛✐❧❛❜❧❡ ♦♥ ❝✉rr❡♥t ♣r♦❝❡ss♦rs ❛r❝❤✐t❡❝t✉r❡s ✷ ▼❛♥② ❝♦❞❡ r❡❣✐♦♥ ✐♥ ❝♦♠♣❧❡① ❍P❈ ❛♣♣❧✐❝❛t✐♦♥s ❚♦♦ ♠✉❝❤ t✐♠❡ t♦ ❞✐s❝♦✈❡r ❜❡st ❢r❡q✉❡♥❝② ❢♦r ❡❛❝❤ ❝♦❞❡ r❡❣✐♦♥ ❼ ❘❡s✉❧ts ❞❡♣❡♥❞ ♦♥ t❤❡ ✐♥♣✉t s✐③❡ ✰ ♦t❤❡r ❢❛❝t♦rs ✹ ✴ ✶✵
Recommend
More recommend