Construction des séries d'états dans l'algorithme Divide-and-Evolve

(1)

HAL Id: inria-00354272

https://hal.inria.fr/inria-00354272

Submitted on 19 Jan 2009

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Construction des séries d’états dans l’algorithme Divide-and-Evolve

Jacques Bibai, Marc Schoenauer, Pierre Savéant

To cite this version:

Jacques Bibai, Marc Schoenauer, Pierre Savéant. Construction des séries d’états dans l’algorithme

Divide-and-Evolve. ROADEF, LORIA (Laboratoire lorrain de recherche en informatique et ses appli-

cations) et l’INRIA Nancy - Grand Est, Feb 2009, NANCY, France. �inria-00354272�

(2)

❈♦♥str✉❝t✐♦♥ ❞❡s sér✐❡s ❞✬ét❛ts ❞❛♥s ❧✬❛❧❣♦r✐t❤♠❡

❉✐✈✐❞❡✲❛♥❞✲❊✈♦❧✈❡

❏❛❝q✉❡s ❇■❇❆Ï

¹²

✱ ▼❛r❝ ❙❈❍❖❊◆❆❯❊❘

¹

✱ ❛♥❞ P✐❡rr❡ ❙❆❱➱❆◆❚

²

1

Pr♦❥❡t ❚❆❖✱ ■◆❘■❆ ❙❛❝❧❛② ✫ ▲❘■✱ ❯♥✐✈❡rs✐té P❛r✐s ❙✉❞✱ ❖rs❛②✱ ❋r❛♥❝❡✳

♣r❡♥♦♠✳♥♦♠❅✐♥r✐❛✳❢r

2

❚❤❛❧❡s ❘❡s❡❛r❝❤ ✫ ❚❡❝❤♥♦❧♦❣②✱ P❛❧❛✐s❡❛✉✱ ❋r❛♥❝❡✳

♣r❡♥♦♠✳♥♦♠❅t❤❛❧❡s❣r♦✉♣✳❝♦♠

▼♦ts✲❈❧❡❢s✳ ❉✐✈✐❞❡✲❛♥❞✲❊✈♦❧✈❡ ❀ ♣❧❛♥✐✜❝❛t✐♦♥ t❡♠♣♦r❡❧❧❡ ❀ ❞é❝♦♠♣♦s✐t✐♦♥ ❡♥ sér✐❡ ❞✬ét❛ts ❀

❛❧❣♦r✐t❤♠❡ é✈♦❧✉t✐♦♥♥❛✐r❡ ❀ ♦♣t✐♠✐s❛t✐♦♥ ❝♦♠❜✐♥❛t♦✐r❡✳

✶ ▲✬❛♣♣r♦❝❤❡ ❉✐✈✐❞❡✲❛♥❞✲❊✈♦❧✈❡

◆♦✉s ♥♦✉s ✐♥tér❡ss♦♥s à ❧❛ rés♦❧✉t✐♦♥ ❣é♥ér✐q✉❡ ❞❡s ♣r♦❜❧è♠❡s ❞❡ ♣❧❛♥✐✜❝❛t✐♦♥ t❡♠♣♦r❡❧❧❡

❞❡ t②♣❡ ❙❚❘■P❙✱ t❡❧❧❡ q✉✬❡❧❧❡ ❡st ❞é✜♥✐❡ ♣❛r ❧❡ ❢♦r♠❛❧✐s♠❡ P❉❉▲✷✳✶ ❬✺❪✳ P❧✉s✐❡✉rs ❛♣♣r♦❝❤❡s

♦♥t été ♣r♦♣♦sé❡s ♣♦✉r ❧❛ rés♦❧✉t✐♦♥ ❞❡ ♣r♦❜❧è♠❡s ❞❡ ♣❧❛♥✐✜❝❛t✐♦♥ t❡♠♣♦r❡❧❧❡✱ ❝♦♠❜✐♥❛♥t

❞❡s t❡❝❤♥✐q✉❡s ❞❡ r❡❝❤❡r❝❤❡ ❤❡✉r✐st✐q✉❡ ❞❡ rés♦❧✉t✐♦♥ ❞❡s ♣r♦❜❧è♠❡s ❞❡ ♣❧❛♥✐✜❝❛t✐♦♥ ❝❧❛s✲

s✐q✉❡ ✭❝♦♥s✐❞ér❛♥t q✉❡ t♦✉t❡s ❧❡s ❛❝t✐♦♥s ♦♥t ❧❛ ♠ê♠❡ ❞✉ré❡✮ ❛✉① t❡❝❤♥✐q✉❡s ✐ss✉❡s ❞❡ ❧❛

r❡❝❤❡r❝❤❡ ♦♣ér❛t✐♦♥♥❡❧❧❡ ❬✶✱✷❪✳ ▼❛✐s ❝❡s t❡❝❤♥✐q✉❡s ❞❡ rés♦❧✉t✐♦♥✱ ❝❡rt❡s ❡✣❝❛❝❡s✱ ♥❡ ♣❛ss❡♥t

♣❛s à ❧✬é❝❤❡❧❧❡ ❧♦rsq✉❡ ❧❛ t❛✐❧❧❡ ❞❡ ❧✬❡s♣❛❝❡ ❞❡s ét❛ts ❡t✴♦✉ ❧❡ ♥♦♠❜r❡ ❞✬❛❝t✐♦♥s ♣♦ss✐❜❧❡s ❛✉❣✲

♠❡♥t❡♥t✳ ❆✜♥ ❞❡ s✉r♠♦♥t❡r ❝❡tt❡ ❞✐✣❝✉❧té✱ ♣❧✉s✐❡✉rs ♠ét❤♦❞❡s s✉❜✲♦♣t✐♠❛❧❡s ♦♥t été ♣r♦♣♦✲

sé❡s✳ ❈❡rt❛✐♥❡s ❞✬❡♥tr❡ ❡❧❧❡s ♣❡r♠❡tt❡♥t ❞❡ ♣r♦❞✉✐r❡ r❛♣✐❞❡♠❡♥t ❞❡s s♦❧✉t✐♦♥s✱ ♠❛✐s s♦✉✈❡♥t

❛✉ ♣r✐① ❞✬✉♥❡ ♠❛✉✈❛✐s❡ q✉❛❧✐té ❞✉ ♣❧❛♥ ❣é♥éré ❬✾❪✳

▲✬❛♣♣r♦❝❤❡ ❉✐✈✐❞❡✲❛♥❞✲❊✈♦❧✈❡ ✭❉❆❊✮ ❬✸❪ ❡st ❜❛sé❡ s✉r ❧✬❤②♣♦t❤ès❡ ❞❡ ❧✬❡①✐st❡♥❝❡ ❞❡ sé✲

q✉❡♥❝❡s ❞✬ét❛ts ✐♥t❡r♠é❞✐❛✐r❡s E

0

= I, E

1

, . . . , E

n

= G ✏❢❛❝✐❧❡s à ❛tt❡✐♥❞r❡✑✳ ❉❛♥s ✉♥ ♣r❡♠✐❡r t❡♠♣s✱ ❧❡ ♣r♦❜❧è♠❡ ✐♥✐t✐❛❧ ❞❡ ♣❧❛♥✐✜❝❛t✐♦♥ t❡♠♣♦r❡❧❧❡ P

D

( I, G ) ❡st ❞é❝♦♠♣♦sé ♣❛r é✈♦❧✉t✐♦♥

❛rt✐✜❝✐❡❧❧❡ ❬✹❪ ❡♥ ✉♥❡ séq✉❡♥❝❡ ❞❡ s♦✉s✲♣r♦❜❧è♠❡s P

D

( E

i

, E

i+1

) q✉✐ s♦♥t s♦✉s✲tr❛✐tés à ✉♥ ♣❧❛✲

♥✐✜❝❛t❡✉r t❡♠♣♦r❡❧ ❡①✐st❛♥t✳ ❙✐ t♦✉s ❧❡s s♦✉s✲♣r♦❜❧è♠❡s s♦♥t rés♦❧✉s✱ ❧❡s s♦❧✉t✐♦♥s ♣❛rt✐❡❧❧❡s

❛✐♥s✐ tr♦✉✈é❡s s♦♥t ❡♥s✉✐t❡ r❡❝♦♠♣♦sé❡s ♣♦✉r ♦❜t❡♥✐r ✉♥❡ s♦❧✉t✐♦♥ ✭s✉❜✲♦♣t✐♠❛❧❡✮ ❞✉ ♣r♦❜❧è♠❡

✐♥✐t✐❛❧✳ ❉❛♥s s♦♥ ✐♠♣❧❛♥t❛t✐♦♥ ❛❝t✉❡❧❧❡✱ ❝❤❛q✉❡ s♦✉s✲♣r♦❜❧è♠❡ P

_D

(E

i

, E

i+1

) ❡st rés♦❧✉ ♣❛r ❧❡

♣❧❛♥✐✜❝❛t❡✉r ❡①❛❝t ❈P❚ ✭❈♦♥str❛✐♥t Pr♦❣r❛♠♠✐♥❣ ❚❡♠♣♦r❛❧✮ ❬✷❪✳

◆♦✉s ♥♦✉s ✐♥tér❡ss❡r♦♥s ✐❝✐✱ ❛✉ s❡✐♥ ❞❡ ❧✬❛♣♣r♦❝❤❡ ❉❆❊✱ à ❧✬ét❛♣❡ ♣❛rt✐❝✉❧✐èr❡ q✉❡ ❝♦♥st✐t✉❡

❧❛ ❝♦♥str✉❝t✐♦♥ ❞❡s séq✉❡♥❝❡s ❞✬ét❛ts q✉❡ ❧✬♦♥ ❡s♣èr❡ ❢❛❝✐❧❡s à rés♦✉❞r❡✳ ▲❡ ❧❡❝t❡✉r ✐♥tér❡ssé

♣❛r ❧❡ ❞ét❛✐❧ ❞❡ ❧✬❛❧❣♦r✐t❤♠❡ ❉✐✈✐❞❡✲❛♥❞✲❊✈♦❧✈❡ ♣♦✉rr❛ s❡ r❡♣♦rt❡r à ❬✼❪ ❡t à ❬✻❪✳

✷ ❈♦♥str✉❝t✐♦♥ ❞❡s ét❛ts

▲❛ ❝♦♥str✉❝t✐♦♥ ❞✬ét❛ts ❡st ✉♥ ❞❡s ♣♦✐♥ts ❝r✐t✐q✉❡s ❞❡ ❧✬❛❧❣♦r✐t❤♠❡ ❉❆❊ q✉✐ ✐♥t❡r✈✐❡♥t

❞❛♥s ❧❡s ♣❤❛s❡s ❞✬✐♥✐t✐❛❧✐s❛t✐♦♥ ❡t ❣é♥ér❛t✐♦♥ ❞❡ ♥♦✉✈❡❧❧❡s s♦❧✉t✐♦♥s ❝❛♥❞✐❞❛t❡s à ❧✬❛✐❞❡ ❞❡s

♦♣ér❛t❡✉rs ❞❡ ✈❛r✐❛t✐♦♥s✳ ▲❛ ♣❤❛s❡ ❞✬✐♥✐t✐❛❧✐s❛t✐♦♥ ❝♦♥s✐st❡ à ✉♥❡ ❝♦♥str✉❝t✐♦♥ st♦❝❤❛st✐q✉❡

❞✬✉♥ ❡♥s❡♠❜❧❡ ❞❡ sér✐❡s ❞✬ét❛ts ♣♦t❡♥t✐❡❧✱ q✉✐ ❡st ❧❡ ♣♦✐♥t ❞❡ ❞é♣❛rt ❞❡ ❧✬♦♣t✐♠✐s❛t✐♦♥✳ ❆

(3)

✷ ❇■❇❆Ï✱ ❙❈❍❖❊◆❆❯❊❘✱❙❆❱➱❆◆❚

❝❤❛q✉❡ ❣é♥ér❛t✐♦♥✱ ❧❡s sér✐❡s ❞✬ét❛ts ♣♦ssé❞❛♥t ❧❡s ♠❡✐❧❧❡✉r❡s é✈❛❧✉❛t✐♦♥s s❡r♦♥t ♠♦❞✐✜é❡s ♣❛r

❞❡s ♦♣ér❛t❡✉rs ❞❡ ✈❛r✐❛t✐♦♥ ♣♦✉r ❧❛ ♣r♦❞✉❝t✐♦♥ ❞❡ ♥♦✉✈❡❧❧❡s s♦❧✉t✐♦♥s✳

❉❡✉① ❛s♣❡❝ts ♣r✐♥❝✐♣❛✉① ❣✉✐❞❡r♦♥t ❧❛ ❝♦♥❝❡♣t✐♦♥ ❞❡ ❧✬❛❧❣♦r✐t❤♠❡ ✿ ❡ss❛②❡r ❞❡ r❡s♣❡❝t❡r

❧❛ ❝♦❤ér❡♥❝❡ ❞❡s ét❛ts E

i

✱ ❡t r❡str❡✐♥❞r❡ ❛✉ ♠❛①✐♠✉♠ ❧❛ t❛✐❧❧❡ ❞❡ ❧✬❡s♣❛❝❡ ❞❡ r❡❝❤❡r❝❤❡ ❡♥

✉t✐❧✐s❛♥t ❞❡s ❝♦♥♥❛✐ss❛♥❝❡s ❛ ♣r✐♦r✐ q✉❡ ❧✬♦♥ ♣❡✉t ❞é❞✉✐r❡ ❞✉ ♣r♦❜❧è♠❡✳ ❉❡✉① ♣♦✐♥ts ❞❡ ✈✉❡

✈♦♥t êtr❡ ❡♥✈✐s❛❣és✱ ❞✐✛ér❛♥t ♣❛r ❧❡ ❞❡❣ré ❞❡ ♣r✐s❡ ❡♥ ❝♦♠♣t❡ ❞❡s r❡❧❛t✐♦♥s ❡♥tr❡ ❛t♦♠❡s

❝♦♥st✐t✉❛♥t ✉♥ ét❛t ❞♦♥♥é✳ ❆✐♥s✐✱ ❞❛♥s ❧❛ ❝♦♥str✉❝t✐♦♥ ❛✈❡✉❣❧❡✱ ♥♦✉s ♥♦✉s ✐♥tér❡ss❡r♦♥s à

❧❛ ❝♦♥str✉❝t✐♦♥ ❞❡s sér✐❡s ❞✬ét❛ts E

0

= I, E

1

, . . . , E

n

= G ❣râ❝❡ à ❞❡s ❝❤♦✐① ✉♥✐❢♦r♠❡s ❞❡s

❛t♦♠❡s ❞❛♥s ❧✬❡♥s❡♠❜❧❡ ❞❡s ❛t♦♠❡s t♦✉t ❡♥ ❣❛r❛♥t✐ss❛♥t ❧❛ ❝♦❤ér❡♥❝❡ ✷ à ✷ ❞❡s ❛t♦♠❡s ❞❛♥s

❝❤❛q✉❡ E

i

✳ ▲❛ ❝♦♥str✉❝t✐♦♥ ♦r✐❡♥té❡ q✉❛♥t à ❡❧❧❡ ✉t✐❧✐s❡r❛ ❡♥ ♣❧✉s ✉♥❡ ❡st✐♠❛t✐♦♥ ❞✉ t❡♠♣s

❛✉ ♣❧✉s tôt ❞✬❛♣♣❛r✐t✐♦♥ ❞✬✉♥ ❛t♦♠❡ ❞❛♥s t♦✉t❡ s♦❧✉t✐♦♥ ❞✉ ♣r♦❜❧è♠❡ ❧♦rs ❞❡ ❧❛ ❝♦♥str✉❝t✐♦♥

❞❡ ❧❛ sér✐❡ ❞✬ét❛ts E

0

= I, E

1

, . . . , E

n

= G ✳

✸ ❊①♣ér✐♠❡♥t❛t✐♦♥s

▲❡ ❝❤♦✐① ❞❡s ❛t♦♠❡s ♣❡r♠❡tt❛♥t ❧❛ ❞❡s❝r✐♣t✐♦♥ ❞❡s ét❛ts ét❛♥t ✉♥ ♣r♦❜❧è♠❡ ♦✉✈❡rt ❬✼❪✱ ♥♦✉s

❛✈♦♥s ✐♠♣❧é♠❡♥té ❡♥ ❞❡✉① ✈❡rs✐♦♥s ❧❛ ❝♦♥str✉❝t✐♦♥ ❛✈❡✉❣❧❡ ❞❡s sér✐❡s ❞✬ét❛ts✳ ▲❛ ♣r❡♠✐èr❡

✈❡rs✐♦♥ ✭✶✮ ✉t✐❧✐s❡ ❧❡s ❛t♦♠❡s ❞❡ ❧✬ét❛t ✜♥❛❧ ❡t ❧❡✉rs ✈♦✐s✐♥s ♣♦✉r ❧❛ ❝♦♥str✉❝t✐♦♥ ❞❡s sér✐❡s

❞✬ét❛ts ❡t ❧❛ s❡❝♦♥❞❡ ❝♦♥str✉✐t ❝❡s sér✐❡s ❞✬ét❛ts ❣râ❝❡ ❛✉① ❛t♦♠❡s ✐ss✉s ❞❡ ❧❛ rè❣❧❡ ❞é✜♥✐❡

❞❛♥s ❬✻❪✳ ❈❡tt❡ rè❣❧❡ ♣❡r♠❡t ❞❡ r❡str❡✐♥❞r❡ ❧✬❡♥s❡♠❜❧❡ ❞❡s ❛t♦♠❡s ❞❡ ❜❛s❡ ✉t✐❧✐sé ♣♦✉r ❧❛

❝♦♥str✉❝t✐♦♥ ❞❡s sér✐❡s ❞✬ét❛ts ❛✉① ❛t♦♠❡s ❝♦♥str✉✐ts à ♣❛rt✐r ❞✬✉♥ ♥♦♠❜r❡ ❞❡ ♣ré❞✐❝❛ts ✜①é✳

▲✬✐♠♣❧é♠❡♥t❛t✐♦♥ ❞❡ ❧❛ ❝♦♥str✉❝t✐♦♥ ♦r✐❡♥té❡ ❞❡s sér✐❡s ❞✬ét❛ts ❡st ♦❜t❡♥✉❡ à ♣❛rt✐r ❞❡ ✭✶✮ ❡♥

r❡♠♣❧❛ç❛♥t ❝❡s ♦♣ér❛t❡✉rs ❞❡ ✈❛r✐❛t✐♦♥ ❡t s♦♥ ✐♥✐t✐❛❧✐s❛t✐♦♥ ♣❛r ❝❡✉① ✐♠♣❧é♠❡♥t❛♥t ❧❛ ♠ét❤♦❞❡

♦r✐❡♥té❡✳ ▲✬❤❡✉r✐st✐q✉❡ h2 ❞é✜♥✐❡ ❞❛♥s ❬✶✵❪ ❛ été ✉t✐❧✐sé❡ ♣♦✉r ❧✬❡st✐♠❛t✐♦♥ ❞❡s ❞❛t❡s✳

◆♦s ❡①♣ér✐❡♥❝❡s s✉r ✹ ❞♦♠❛✐♥❡s ❞❡s ❜❡♥❝❤♠❛r❦s ❧✬■♥t❡r♥❛t✐♦♥♥❛❧ P❧❛♥♥✐♥❣ ❈♦♠♣❡t✐t✐♦♥

✭■P❈✮ ♦♥t ♠♦♥tré q✉✬❛✉❝✉♥❡ ♠ét❤♦❞❡ ♥✬❡st ♠❡✐❧❧❡✉r❡ ✭❡♥ ♣r♦♣♦rt✐♦♥ ❞✬♦♣t✐♠❛ tr♦✉✈é❡✮ q✉❡

❧❡s ❛✉tr❡s s✉r ❧❡s ✹ ❞♦♠❛✐♥❡s✳ ▲♦rs ❞❡ ♥♦tr❡ ♣rés❡♥t❛t✐♦♥✱ ♥♦✉s ❡①♣♦s❡r♦♥s ❝❡s ❞✐✛ér❡♥t❡s

♠ét❤♦❞❡s ❞❡ ❝♦♥str✉❝t✐♦♥ ❞❡s sér✐❡s ❞✬ét❛ts ❛✐♥s✐ q✉❡ ❞❡s rés✉❧t❛ts ❞❡ ❝♦♠♣❛r❛✐s♦♥s✳

❘é❢ér❡♥❝❡s

✶✳ ❙t❡✈❡♥ ❆✳ ❲♦❧❢♠❛♥ ❛♥❞ ❉❛♥✐❡❧ ❙✳ ❲❡❧❞✳ ❈♦♠❜✐♥✐♥❣ ❧✐♥❡❛r ♣r♦❣r❛♠♠✐♥❣ ❛♥❞ s❛t✐s✜❛❜✐❧✐t② s♦❧✈✐♥❣ ❢♦r r❡s♦✉r❝❡

♣❧❛♥♥✐♥❣✳ ❚❤❡ ❑♥♦✇❧❡❞❣❡ ❊♥❣✐♥❡❡r✐♥❣ ❘❡✈✐❡✇✱ ✶✻✱ ❈❛♠❜r✐❞❣❡ ❯♥✐✈❡rs✐t② Pr❡ss✱ ◆❡✇ ❨♦r❦ ✭✷✵✵✶✮

✷✳ ❱✳ ❱✐❞❛❧ ❛♥❞ ❍✳ ●❡✛♥❡r✳ ❇r❛♥❝❤✐♥❣ ❛♥❞ Pr✉♥✐♥❣ ✿ ❆♥ ❖♣t✐♠❛❧ ❚❡♠♣♦r❛❧ P❖❈▲ P❧❛♥♥❡r ❜❛s❡❞ ♦♥ ❈♦♥str❛✐♥t Pr♦❣r❛♠♠✐♥❣✳ ❆rt✐✜❝✐❛❧ ■♥t❡❧❧✐❣❡♥❝❡✱ ✶✼✵✱♣❛❣❡s ✷✾✽✲✸✸✺✱ ✭✷✵✵✻✮

✸✳ ▼❛r❝ ❙❝❤♦❡♥❛✉❡r ❛♥❞ P✐❡rr❡ ❙❛✈é❛♥t ❛♥❞ ❱✐♥❝❡♥t ❱✐❞❛❧✳ ❉✐✈✐❞❡✲❛♥❞✲❊✈♦❧✈❡ ✿ ❛ ❙❡q✉❡♥t✐❛❧ ❍②❜r✐❞✐③❛t✐♦♥ ❙tr❛t❡❣②

✉s✐♥❣ ❊✈♦❧✉t✐♦♥❛r② ❆❧❣♦r✐t❤♠s✳ ❆❞✈❛♥❝❡s ✐♥ ▼❡t❛❤❡✉r✐st✐❝s ❢♦r ❍❛r❞ ❖♣t✐♠✐③❛t✐♦♥✱ ❩✳ ▼✐❝❤❛❧❡✇✐❝③ ❛♥❞ P✳ ❙✐❛rr②✱

❙♣r✐♥❣❡r✱ ♣❛❣❡s ✶✼✾✲✶✾✽ ✭✷✵✵✼✮

✹✳ ❆✳❊✳ ❊✐❜❡♥ ❛♥❞ ❏✳❊✳ ❙♠✐t❤✳ ■♥tr♦❞✉❝t✐♦♥ t♦ ❊✈♦❧✉t✐♦♥❛r② ❈♦♠♣✉t✐♥❣✱ ❙♣r✐♥❣❡r ❱❡r❧❛❣ ✭✷✵✵✸✮✳

✺✳ ▼✳ ❋♦① ❛♥❞ ❉✳ ▲♦♥❣✳ P❉❉▲✷✳✶ ✿ ❆♥ ❡①t❡♥s✐♦♥ t♦ P❉❉▲ ❢♦r ❡①♣r❡ss✐♥❣ t❡♠♣♦r❛❧ ♣❧❛♥♥✐♥❣ ❞♦♠❛✐♥s✳ ❏❆■❘✱ ✷✵ ✿✻✶✲

✶✷✹✱ ✷✵✵✸✳

✻✳ ❏✳ ❇✐❜❛✐ ❛♥❞ ▼✳ ❙❝❤♦❡♥❛✉❡r ❛♥❞ P✳ ❙❛✈é❛♥t ❛♥❞ ❱✳ ❱✐❞❛❧✳ ❉❆❊ ✿ P❧❛♥♥✐♥❣ ❛s ❆rt✐✜❝✐❛❧ ❊✈♦❧✉t✐♦♥ ✭❉❡t❡r♠✐♥✐st✐❝

♣❛rt✮✳ ■♥ ✻t❤ ■♥t❡r♥❛t✐♦♥❛❧ P❧❛♥♥✐♥❣ ❈♦♠♣❡t✐t✐♦♥ ❇♦♦❦❧❡t ✭■P❈✲✷✵✵✽✮✳

✼✳ ❏✳ ❇✐❜❛✐ ❛♥❞ ▼✳ ❙❝❤♦❡♥❛✉❡r ❛♥❞ P✳ ❙❛✈é❛♥t ❛♥❞ ❱✳ ❱✐❞❛❧✳ P❧❛♥✐✜❝❛t✐♦♥ ❊✈♦❧✉t✐♦♥♥❛✐r❡ ♣❛r ❉é❝♦♠♣♦s✐t✐♦♥✳ ■◆❘■❆

r❡s❡❛r❝❤ r❡♣♦rt ◆❘❚✲✵✸✺✺ ✭✷✵✵✽✮✳ ❯❘▲ ✿ ❤tt♣ ✿✴✴❤❛❧✳✐♥r✐❛✳❢r✴✐♥r✐❛✲✵✵✸✷✷✽✽✵✴❡♥✴

✽✳ ❚✳ ❇②❧❛♥❞❡r✳ ❚❤❡ ❈♦♠♣✉t❛t✐♦♥❛❧ ❈♦♠♣❧❡①✐t② ♦❢ Pr♦♣♦s✐t✐♦♥❛❧ ❙❚❘■P❙ ♣❧❛♥♥✐♥❣✳ ❆rt✐✜❝✐❛❧ ■♥t❡❧❧✐❣❡♥❝❡✱ ✻✾✭✶✲✷✮ ✿

✶✻✺✲✷✵✹ ✭✶✾✾✹✮

✾✳ ❙✳ ❊❞❡❧❦❛♠♣ ❛♥❞ ▼✳ ❍❡❧♠❡rt✳ ▼✐♣s ✲ ❚❤❡ ▼♦❞❡❧ ❈❤❡❝❦✐♥❣ ■♥t❡❣r❛t❡❞ P❧❛♥♥✐♥❣ ❙②st❡♠✳ ❆■ ▼❛❣❛③✐♥❡ ❱♦❧✉♠❡ ✷✷

◆✉♠❜❡r ✸ ✭✷✵✵✶✮✳

✶✵✳ P✳ ❍❛s❧✉♠ ❛♥❞ ❍✳ ●❡✛♥❡r✳ ❍❡✉r✐st✐❝ ♣❧❛♥♥✐♥❣ ✇✐t❤ t✐♠❡ ❛♥❞ r❡s♦✉r❝❡s✳ ❊✉r♦♣❡❛♥ ❈♦♥❢❡r❡♥❝❡ ♦❢ P❧❛♥♥✐♥❣ ✭❊❈P✲

✵✶✮✱ ✶✷✶✲✶✸✷ ✭✷✵✵✶✮