Cover-Preserving Embeddings of Bipartite Orders into Boolean Lattices

(1)

HAL Id: inria-00074166

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

Submitted on 24 May 2006

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.

Cover-Preserving Embeddings of Bipartite Orders into Boolean Lattices

Jutta Mitas, Klaus Reuter

To cite this version:

Jutta Mitas, Klaus Reuter. Cover-Preserving Embeddings of Bipartite Orders into Boolean Lattices.

[Research Report] RR-2512, INRIA. 1995. �inria-00074166�

(2)

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Cover–Preserving Embeddings of Bipartite Orders into Boolean Lattices

Jutta Mitas, Klaus Reuter

N˚ 2512

Janvier 1995

PROGRAMME 1

(3)

(4)

,-./01) "23&/'4 56'())798.:

;=<7>>@?6ACBD>@?FEHGJIKLM?N<*EPORQS<7>TQSUHGVG

WYX[Z@\TX^]9_`_a(bdc edXgfihkjmlnafolnpkX[aqrs]9Xg]9tutDvawtuaxqVySz{]@q|axqd}Sa~}SZTkawaxqVykXaxq|a]pk

awlqMkqMl&vaw_`aq}Sjq|l[Xnjuzp0aq

WXnZ@Ma&lW]_rs]

d]rkrsZ@X[l}SaX[afihawX^f^hka#TSbwc J]9juawXb&@@c bw!rs]9\Taq

HVk@Ja(qMlnps}S`lnhka:pkaxq|lnjmZ@0hkjfihzkjmrs]9X[lnjul[aZ@X^}awXna}Rq|awlgq0]9X[aZ@Xg}SawXrkXna&

q|awX[Sjmk\Pa&_4zsa}k}]9zktmajulnZlMZfVZ@{q|afVplnjuJa(tmawJawtqdZ9.]P ZJZ@tma]9¡t¢]9l[lnjfVaJ£¤hj¢q/jq

Xnawt]9l[a}¥lnZjuJaqMlnju\¦]9l[juZ@{qZ@rs]9Xg]9tmtuawtfVZT_rkpkl[awX~]9XgfihkjmlnafolnpkX[aqVy0hka&Xnazkjur{]9Xnl[jul[a

kawlMZTXn§q]Xnaaw_!zsa}k}Sax}jmSl[ZPhSrsawXgfVpkzsa4awlMZ@X[§kqo£¨©¥Z@pX(_]9jm¤hkawZ@X[aw_ªa

fih{]9X^]TfVlna&Xnju«&adl[hkaq|a¬Z@X^}awX^qz4l[hkaawj¢q|l[awsfVaZ9](qMpkjul[a}4a}\@awDfVZ@tmZ@X[juk\(Zl[hkafVZ

awXnjmk\\TX^]9rhF£a!]9s]tu«wa(lnhka(X[awrkX[aq|awl^]lnjmZ@sqdZfVkfotuaw¢XnawaZTX^}SawXgqVyHfVX[Z90{q]9s}

\@tmpka}fVXnZ0sq(]s}¥rkXnaxq|awl(]®jmS¯skjmlna(D]9_jmtuRZ9¬Z@X^}awX^q0hkjfih°]9Xna`kZ@l(aw_!zsa}S

}k]9ztuaJ£7¤hka&juX7fVZTsq|l[XnpsfolnjuZTqMhkZq+l[hs]9l7lnhj¢qaw_!z±ax}k}k]9zjutujmlMj¢q²Z@l0f^hs]X^]@folnawX[ju«]zktua

zS³]:¯sjulna¬Spk_!zsawXZ²ZTXnzkj}k}Sawq|pkzsZTX^}SawXgqV£

´PµJ¶F·n¸~¹sº²@¼»_4zsa}}Sjuk\y ZJZ@tuax]9Pt]9l[lnj¢foaJySjmSl[awX^fVZTkkafolnjuZT4awlMZ@X[§N£

½¢¾(¿

ÀÂÁMÃwÄ

¿

À+Å²ÆmÁMÇÉÈ^Ê

ËMÌÍÎÌÏwÐ*ÑkÒFÓ^ÔdÕÖ×7ØwÙ¬Ú±Ù[ÓiÖÛÝÜÞÙ|ÖÑsßàxáoâVã^äwå¬ÍÎÙMææÙ|×ÒNÙ[ØxÙ©çÑsßè©Ó^æTé©ÙVêsëÓièìÉÜíÓiÛÝÛÞî/×ÖÕÕ@ïoèÉìÙ[Ø4ðwî

ìÉñÙ*ò²ÙMÖìÉ×DéÉñÙ*ß9ïoèÉ×DéÉñwÖæóo×ÉóoÙMÔdÙMÜÝæ×DéÉñTÓgômì[ê

Ë©Ë[õÓiìñÙ|Ô¬Ó^ìÉÜÝ×DéÉñÙM×(ÏwÙMÔdÜÞæ@Ó^è[ÑöFæ9ÜÞ÷VÙMè×ÉÜÝì[øÓ^ì!ù²Ó^Ô0ðÖ9èóTÑ²ÚsÖæ@ØwÙM××ÉìènêâVâÑòÎàxåoã9úMäwûùHÓiÔ0ðÖèó@Ñ

ü

Ù|èÔ¬Óiæwî&ê

(5)

'413&-)*:33-®3

µ µ pkawtqZ@Xg}SXnaq0zkjmrs]9X[lnj¢qq|ZTSl¬rktuZTk\@a]zktuaxqd}k]sq}Sa&pkkjuJa]pkfVZTsqa&

fVpkl[jDq}pkRlnX[awjutmtuj¢qzsZJZTtwawaw7awl[lna:pkaxq|lnjmZ@Raq|ltuj&awa`v]4t[awlnps}a}aqd]X^f^hkjul[afVl[pkXnaq

}Sa(_]Tfihkjmkaqrs]X^]tutDva&tuaqo£]sqkZ@l[Xna!lnha&Z@X&va&_arkXnjmsfVjur{]9tHkZ@psqfw]X^]TfVlawX[j¢qMZ@sqfoaq

Z@Xg}SXnaqFrs]X²tawj¢qMlnawsfoa}pkka*fVZTtuZ@Xg]9l[juZ@:]9rkrXnZ@rXnj&a&a}Ý]9XawlnaxqF}Sp\TX^]9rhka0}Sa*fVZTpkJawX[

lnpkX[aJ£dZTpsq0]9s]tuq|ZTsq.tmaq+X[awrkXaq|awl^]lnjmZ@sq0}SaxqZ@X^}Xnaq0q[]9sqfVfVtuaqoy}Saq0fVZTpkXnZTkkaq

awl}SaqHfVZ@pkX[Z@kaq²ju_!zkX[j¢Jp0awaqkawlHrkXaxq|awlnZTsq²pkka7D]9_jmtutma²jmS¯skjma0}Z@X^}XnaqFkZ@(rtuZ@

\@a]zktuaxqV£NawpkXfVZ@sqMlnX[psfVlnjmZ@~_Z@lnX[aJpka7t¢]0rktmZ@k\Ta]9zkjmtujmlka7karsawplawl[Xna*fw]X^]@folkawX[j¢qa&a

rs]9XpkRkZ@_!zkXna0¯skjH}aqMZ@psqJZTX^}SX[aqdjulna&X^}Sjml^qV£

#¹{xV·^ µWtuZTk\@a&_awlwyJlnX[awjutmtuj¢q7zsZJZ@t&a&awFykXaxq|a]pk}julnawXgfVZ@kawSjmZ@F£

(6)

; <

)*P

8)+&

¨©(lnhkjq²rs]9rsawX7*aq|lnp{}Sl[hkapaq|l[juZ@(0hj¢f^hzkjmrs]9X[lnjul[a0Z@Xg}SawX^q]9Xna0ZTX^}Sa&X+rXnaqMawXnjuk\

aw_!z±ax}k}k]9ztua(julnZRlMZfoZ@sqMafVpkl[juJa(tua&Jawt¢qdZ]R ZJZ@tma]9¥t]9l[lnj¢foaJ£>=Xl[Zrkpkljmlju

]9kZTlnhka&X(0]w@?H6hs]9l!]Xnal[hkaqMpkz=}Sj¢]\@X^]_qZ9hawju\ThSl~Z@kajm ZJZ@tma]9t]9lnl[j¢fVaxq

a0jutmtsZ9lna&/MpsqMl*q|rsa]9§!Z91$A/()&3*ZTX^}SawXgqV£e6zkjurs]Xnl[julnaZ@Xg}SawX&yZlnaw`fw]tutuax}

hkawjm\@hl/ZTka!Z@X^}awXwyHfVZTsq|jq|l^qZTktuZ0_jmkju_]tH]9s}_]Sjm_]9tFawtmaw_awl^qo£s¤hkaqMa]Xna

lnhka*Z@Xg}SawX^qH0hkZJqMafVZ@_r{]9X^]zkjutmjulM0\@Xg]9rkh!j¢qFzkjmrs]9X[lnjul[aJ£¤hka*Z@X^}awXCBEDEF©q|a&a.G²jm\@pkX[adb&]IH

j¢q7kZ@l*XnawrkX[aq|a&Slg]9zktmadjmlnhka¬q|a&sq|a}aqnfVX[juzsa}!]9zsZJaJySzsaf&]9psqMajul*fw]kkZ@l0Zf&fVpkX0]Tq0]

q|pkz=}Sj]9\TX^]9_1Z]9 t]9l[lnj¢foaJ£KJPZTXnawZJawX&ys]4XnawrXnaqMawSlg]9zktmaZ@X^}awXf&]9kawJa&XfVZ@l^]ju

BEDd]Tq0](q|pkz=}Sj]9\TX^]9_£s¨Âl*0]Tq0]@q|§Jax}³jm]rs]r±a&XdzLJ¥£6jut}NM6jmt¢@OF0hka&lnhkawX*lnhkjq

fVZ@{}Sjul[juZ@j¢q~]9tq|ZRq|p/P³fVjmawSl¬lnZf^hs]X^]@folnawX[ju«wa(X[awrkXnaxq|awl^]zktua(ZTX^}SawXgqV£Fa ¯s{}lnhs]l

lnhkjqj¢qdkZTllnhka`fw]@qMaJ£F¤hka!Z@Xg}SawXX[awrkX[aq|awlnax}PjuQG²jm\@pkX[abVz¡}SZJaq/Z@l~fVZ@l^]juRB D

zkpklj¢qJawl¬kZ@lXna&rkXnaqMawl^]9ztuaJ£=¨©D]TfVllnhkjq ZTX^}Sa&X/jqdlnhaqM_]9tmtuaqMldZTX^}SawX0hkjfihjq

kZ@lXna&rkXnaqMawl^]9ztuazkZT Jl[Xnjuj¢]tFXna]Tq|ZTsqV£

(a) (b)

G²ju\TpkXna:b?dZ@l0X[awrkXnaxq|awl^]zktuaZTX^}Sa&X^qV£

J¥£6jmt¢}6psq|ax} rkX[Z@MafVl[jujul[juaqoy+0hkjfih6rt¢]w ] fVX[psfVj]9tX[Z@tuaju6l[hka¥l[hkawZ@X[6Z9

fVZ@\@XnpawsfVaqFZ9=t]9lnl[j¢fVaxqVywjuZTX^}SawXHlnZ q|lnp{}S~fVZJawXFrkXnaxq|awX[Sjmk\da&_4zsa}k}juk\¦q±Z9=ZTX^}SawXgq

julnZ ZJZTtua]6t¢]lnlnjfVaqo£7¨Â¼lnhkafw]@qMaZ9~t¢]lnl[j¢fVaq(hkafVZ@pkt}®\TjuJa]kafVaq[qn]Xn¼]9s}

q|p/P³fVjmawSl*fVZTs}SjmlnjuZTF£k plYZTX0zkjur{]9Xnl[jul[adZTX^}SawXgq+l[hkarkX[Z@MafVl[jujulM ¦_awl[hkZ}(}SZJaq7kZ@l

ZTXn§QF©]l0tua]Tq|l0kZTldjmP]!q|l[X^]ju\@hl|ZTXn]9X^}_]9kawXHg£

¨©lnhj¢qrs]9rsawX~a`q|hs]tut7f^hs]X^]@folnawX[ju«wa!]Xna&rkXnaqMawl^]9ztua(zkjmrs]9X[lnjul[a(Z@Xg}SawXzPl[hka

awj¢q|l[awsfVa0ZH]a}S\TafVZTtuZTXnju\/0hj¢f^hpkt¯stqfVawX[l^]ju`fVZ@s}julnjmZ@sqo£@aqMhs]9tmtNqMrsa]9§!Z9

]9S&TU34#93V@£T¤hkj¢q²jqÎ_!psf^hjul[hka0qMrkjuX[julHZ9 ]0XnaqMpktulHZ9XW]wJawt]s}JPZ0]

Xnaw§YMZW[J]\O©yk0hkZf^hs]X^]@folnawX[ju«wa}\TX^]9rhaw_4zsa}}k]9zkjmtujml|(zRfVZ@{}Sjul[juZ@{q.Z*]9a}\@a

(7)

fVZ@tmZ@X[juk\£Z@lna`hkZawJawX&y±l[hs]9l~lnhka&fVZ@sqMj¢}Sa&X/l[hkaaw_!zsa}k}Sjmk\!Z9kZTlkafoaqnq[]9Xnjmtu

jus}psfVa}!q|pkz\@X^]rkhsqjmfVZTSl[X^]Tq|ll[ZZTpkXaw_!zsa}k}Sjmk\0hkjfih`}Sa]t¢q0jul[h4l[hkajms}SpsfVax}

q|pkzsZTX^}SawXgqZ9.]P ZJZ@tma]9t¢]lnl[j¢fVaJ£ ¤hka4rXnZ@ztuaw_-Z9¬q|pzk\@Xg]9rkh¥a&_4zsa}k}]9zkjmtujulMjmSl[Z

]hSrsawX^fVpz±a(h{]@qq|hkZ0lnZzsa ¬W fVZ@_`rktuawl[a MI\UO©£ Z@l_!psf^hPqMawaw_q0lnZzsa

§SZ90]9zsZ@pldl[hkaaw_4zsa}}Sjuk\~julnZ(hSrsawXgfVpkzsaqZ#K

9qMpkzk\@Xg]9rkh{qV£

¨©JafVl[juZ@ :Pa!0jutut*qMhkZ l[hs]9l(l[hka4ZTX^}Sa&X(Z9"G²jm\@pkX[abVz¥h{]@qkZ]T}S_j¢q[q|jmzktua

fVZ@tmZ@X[juk\~]9{}j¢q²l[hkawXnaoZ@Xna0Z@l7XnawrXnaqMawSlg]9zktma0]TqYjms}Spsfoa}qMpkzsZ@X^}awX7Z9FlM*ZfVZ@{q|afVp

lnjmJatua&Jawt¢qNZH] ZJZTtua]4t]9lnl[j¢fVa¦£G{pXnlnhawXn_ZTXna*a0qMhs]9tmtsq|l[ps}S(l[hkaX[awrkXnaxq|awl^]zkjutmjulM

Z9fVfVtua&X[awaZ@X^}awX^qoyNfVX[Z0sq]9{}P\@tupa}PfVX[Z0sqV£F¨©D]@fVl&y±ZTpkXZ@Xg}SawXZEG²jm\@pkX[abVz

j¢q*]9aw]9_`rktua0ZHl|*Z(fVX[Z0sq+0hkjfih`]9X[a\@tmpka}(lnZT\@awl[hkawXjm]/]w(0hkj¢f^h4_³]9§Jaq²jml

kZ@lX[awrkXnaxq|awl^]zktuaJ£sa(0jutut]9tq|ZrkX[aq|awl¬]9juS¯sjulnaD]9_jmtuZ0ZTX^}SawXgqd0hkjfih]Xna

kZ@l¬XnawrkX[aq|a&Slg]9zktmaJ£k¨©JafVl[juZT a~}Sj¢q[fVpsq[qd]}j=awXna&Sl]rkrkXnZ¦]@f^hPl[ZfVZ@{q|lnX[psfVl¬]

kZ@ÉX[awrkXnaxq|awl^]zktuaZTX^}Sa&Xw£¨©l~j¢q/X[awt¢]lna}lnZlnha daq[]9Xn\TpkaqfVZTS¯s\@pX^]9l[juZT6Z9\@a&Z@

_awl[XnJ£

ed¼]rkrkXnZ¦]@f^h l[Zq|lnp{}Srs]9Xg]9tutmawt0foZ@_rkplnawX:]9X^f^hkjmlnafVl[pkXnaxq/j¢ql[Z¥foZ@sqMj¢}SawX(l[hka

]9zkjmtujml|`lnhs]l](kawlMZTXn§Rq|l[XnpsfolnpkX[af&]9qMju_!pkt¢]lna]kZ@l[hkawXawlMZ@X[§q|l[XnpsfolnpkX[aJ£s¤hka

q|jm_4pkt]9l[juZ@~j¢q²_`Z}Sawtutma}/za&_4zsa}k}juk\¦qV£Te \@ZJZ}qMju_!pkt¢]lnjuZTjqqn]j¢}(lnZawj¢q|l0hkaw

]@}9[]TfVawldrXnZfVaq[q|ZTX^qdjm l[hka\@pkaxq|lkawlMZTXn§]Xna_]9rr±ax}³l[Z4X[a]@qMZ@s]zktua:fVtuZ¦q|arkX[Z@

fVaq[q|Z@Xgq/jmlnhka!hkZJqMlkawlMZTXn§RFDq|awaSMZJODyM F@O Hg£F¨©Z@pkX:fw]@qMa(a!awJawPX[aJpkjuX[a

lnhs]l*]@}9[]TfVawl²rkX[ZfVaq[q|Z@Xgq7]9Xna0_³]9rkrsa}lnZ]T}9[]@fVa&SlZTkaqo£@¨©(lnhat¢]k\@p{]9\@aZ9=jmSl[awXn

fVZ@kafVl[juZ@RkawlMZTXn§qdlnhj¢q0j¢qfw]9tmtua}R]9aw_!zsa}k}Sjmk\0jmlnh}Sjmt¢]9l[juZT¥b@£=¨©]T}k}Sjul[juZTFy

a~XnaJpkjuX[alnh{]9l¬]9tutHrkX[ZfVaqnqMZ@XgqdZ97l[hka~qn]_a~fVZ@tmZ@X¬fVt¢]Tqnq0Z97l[hkazkjmrs]9X[lnjmlnakawlMZTXn§

]9X[a_]rkrsa}4lnZ`]¯sSax}4tuawJa&tNju`lnhka~ ZJZ@tma]9RkawlMZTXn§=£

GHju\@pXna~/?s¤hkjq.ZTX^}Sa&X0hs]@q0kZ`}Sj¢qMl^]9{fVarkXnaqMawXnju\Xna&rkXnaqMawl^]9l[juZTF£

Nawlpsq¯ss]tutuX[aw_]9X[§4l[hs]9l¬lnhkawX[aj¢q]4kj¢foaf^hs]X^]@folnawX[ju«]lnjuZTZ9*}Sjq|lg]9sfVa~rkXna&

q|awX[Sjmk\~q|pkz\@X^]rkhsqZFhSrsawXgfVpkzsaq\@jmJaw(zS ~£H£+MZT§JZSj&f M+MZ \:O©£¦¨Â!lnha0_awlnX[j¢f

(8)

fw]@qMaZ@ahs]@q_Z@X[a!q|l[XnpsfVl[pkXna!Z@¡hs]9s}lnhs]¥juZ@pkX:fw]@qMaJ£H¤hkaf^hs]9Xg]@fVl[awXnjm«]9l[juZT

Sjmawt¢}q+]t¢qMZ(]rsZ@tmSkZT_j¢]tklnjm_a]9tm\@ZTXnjul[hk_CZ@X}SafVj}Sju\/0hawlnhka&XZ@X*kZ@l]/\TX^]9rh jq

]}Sj¢qMl^]9{fVa0rkXnaxq|awX[Sjmk\q|pzk\@Xg]9rkh!Z9Î] hr±a&X^fVpkzsaJ£T¨©-G²ju\TpkXnaa0\@jmJa0]4aw]9_`rktua

Z9.]³zjurs]Xnlnjmlna~Z@X^}awX0hkjfihjqdXnawrXnaqMawSlg]9zktmajmZ@pkXqMawsqMa4zkplkZ@ljm]}Sj¢qMl^]sfVa

rkXnaxq|awX[Sjmk\(0]wJ£

'4 4*

µ ¢¹N[U& ('&(.&N/ ( F H T&3* (1 &

/ ("!# F%$& '>HS ( N)( T(Q&R&$$A+* ?, -/. $ 90 ('&(

1

2+35476 *7F

1

H8 '9*>F:3H U &3*3

1

;3=<?>

µ ¢¹A@CB 93V & %$'&()*(+#&$D7EF FG9IHHT 9&343*4]T}S_j¢q[q|jmzktua

*(J'3K

LNM)OQP

(SR / ( [U& 93V

L

+$ 9()3T,U ( U 93

O

&VXT-9K 9( Q &$'&(Q ( 93V#(W ( -

- /

( .$K&(S

(. X>

Y ; $K&(S(SRC[Z &K]\Q*(^'3VK

L_;OQP

`ZQab\ (W (W .$'&(7'& &( 34&( 93V 93& 9&K&3V*(S>

LSc0OQP

#( $'&("'&[d( &9(83T #93V#93V&" 2 9&'&3V*(% ( feZgI\hi<+Hj>

dZTlnal[hs]9l&ysq|jmsfVa~]zkjur{]9Xnl[jul[a/\TX^]rkhPhs]TqkZ!Z}k}PfVfVtmaqVyfVZTs}Sjul[juZT]F[bH*ju_rtujuaxq

lnhs]l(Z@¼]PfokfVtma4a&JawXnfVZTtuZTX(]9rr±ax]9X^q(]awJawSpk_!zsawXZl[ju_aqo£F¨©¥rs]XnlnjfVpkt]9Xwy

Z@`]drs]lnhMZ@jujuk\lnhka0lM*ZJawXnl[j¢fVaxqNZ9 ]9(a}\@a0hs]TqYl[ZZfwfVpXlnhkafoZ@tuZTXZ9=l[hkj¢q²ax}S\@aJ£

Nawllk m0z±a7l[hka7t¢]9l[lnjfVaZ9±]9tutqMpkzsqMawl^qFZ9{]dqMawl&eJbnpoooIqlhJ£GkZ@XHlnhafoZ9Ja&Xnju\\@Xg]9rkh

Z9`k2mlnhawXna(awj¢qMl^q]s]9l[pkX^]t*fVZ@tmZ@Xnjmk\zjrAFdes"Ik7hH"?tFsvuwk Z@Xwes"Ik7hw<?H!£

¤hka/ZTtutmZ90jmk\(rkX[Z@rsZJqMjulnjmZ@R0jutut=zsa/p{q|aVpktFt]9l[awX0Z@ ?

x9¹y7¹s¢É¹b 5 (DzQ& $K&(U ( (s (1[( C (k k2m> {/ E93V

9&K&3V*(S #(W "93V2r |z &[)(&9( 3} (W 3*/( #(W .p (19

~ K9 svuwk>

(9)

x9¹F¹¼arXnZJadl[hkarkXnZTr±Z¦q|jmlnjuZTzS(jms}SpsfVl[juZTF£¨D s Akyl[hkaw svuwk ]9s}

lnhka~qMl^]9l[aw_awlhZ@t¢}qV£ =lnhka&Xn0j¢qMatuawl#B#z±al[hka~q|awl0zsaVZTXna]kZ@l[hkars]9l[h XnZT_s

lnZ9k]s}tmawl ?T B ufk£sa~hs]wJa]svuwk F%svuLB H u6F+BiuwkH F%svuLB H uje&hJ£

e fVZ@tmZ@X a ZfwfopkX^qZ}k}¥l[ju_aqZT®l[hkars]lnh¥XnZT_ s l[Z k2j¬]9{}°ZTktujjml

ZfwfVpkXgqdZ}k}Pl[ju_aqXnZT_ s#lnZ B(£= pkl5< s ufkj¢q0aJpkjuT]9tmawl0lnZ < svu B ]9s}

lnhka q|l^]lnaw_`awSlHZ@tutmZq+z(jus}Sp{fVlnjmZ@4ZTXlnhafw]Tq|a a7£k¤hkafoZ@tuZTXZfwfVpkXgq+Z}k}

lnjm_aqZ@Rlnhkar{]9lnhXnZT_s lnZwkCj7]s}Z@ktmjHjml0ZfwfVpkXgqawJawl[ju_axq²Z@Rlnhkar{]9lnh

XnZT_#s l[Z]B:£² plF<s ufk j¢qaJpkjuT]9tmawl/l[Z a<bsvu B:yH]9s}l[hkaqMl^]9l[aw_awl

Z@tmtuZq.z!jus}Sp{fVlnjmZ@F£

HµS¹sµ B %$'&(1*(+E/ (D FG9 HETC/ $AU &3*

/()](%R ]9I9

() 3*3% & !23*&R3V&( ()9 &KQ/3TN (W )( T(S&

&TU3* 93VL ( 9&$D FG9IH H ` >

x9¹F¹ aR]@q[q|pk_`a³¯{X^q|l!lnh{]9l 2j¢q(aw_4zsa}}Sa}jmSl[Z] ZJZTtua] t¢]lnl[j¢fVaJ£ Wdawsfoa

lnhka&Xna(awj¢qMl^q]4_]9rrkjuk\ *X[Z@_ julnZ`q|pzsq|awlgqZ9fw]9Xg}Sju{]9tujmlMR]9s} bZ9.]

q|awlq|psf^h¥l[hs]9l

1

23 476 *>F

1

H*7F:3H^£H¤hkj¢qjus}psfVaq~] s]lnpkXg]9t0foZ@tuZTXnjmk\

zS[rAF)e

1

;3phH#?t *7F

1

HNuw*>FN3H7Z@Xwe

1

;3h]<5H!£Na!q|hs]tutq|hkZCl[hs]9l¬lnhkjqfVZ@tmZ@X[juk\jq

]@}S_`j¢qnqMjuzktmaJ£J¨©!Z@X^}awXl[Z!fihkaxfi§:fVZ@tmZ@X*fVZ@{}Sjul[juZ@ FnbHgykfVZTsq|j}SawX*]rs]lnh0jmlnhJawX[lnjfVaq

Zooo IZ m ]s}jrAF)eZpIZ;hH, rAF)eZ m Z m hH]9s}jrAFdeZIZhHiabrAF)eZ % Z! #";hHZTX

$J bnoopo;Iqw-¥£seqnqMpk_alnhs]l qRFÉj©£aJ£Jlnhka¬Spk_!zsawX7Z9a}S\TaqZ9lnhkjqrs]9l[h H7j¢q7Z}k}N£

#£tD£Zk£\k£&%*>F%ZH'% (³]9s})%*>FSZ m H'%D*6bT£ Nawl@?t rAF)eZpIZhH^£s¤hkaw *7F%ZH,

*>FSZ!H,+ e^h]s}7*7F%Z m- H^A*>F%Z m H,. e&hJ£ (WXnZTr±Z¦q|jmlnjuZTb@y/ a<+*7F%ZHNuw*>FSZ m- Hgy

]fVZ@lnXg]@}SjfVlnjmZ@F£=¤ÎZrkX[ZJa(fVZTtuZ@X fVZ@s}julnjmZ@ FDIH0tmawliZ?aF\zsa(l|*Zawtmaw_awl^q7Z9

lnhs]l~]9XnaMZTjukax}PzSR]rs]9l[h z£F¨©ldZ@tmtuZqv*7F%Z H aF*>FS\ HgyFq|jmsfVa]*j¢q]aw_!zsa}k}Sjmk\

]9s}lnhka&XnaVZTXnai*7F%Z HNuw*>FS\ H a£¤hkj¢qjm_rktmjuaqoy@zS`WXnZTr±Z¦q|jmlnjuZT¥bTyklnhs]l0lnhkawX[aj¢q0]l

tua]Tq|l~Z@kaRfVZTtuZ@X:fVt¢]TqnqZ9Z}k}fw]X^}Sjms]9tmjulMZ@5z£ dZq|pkrr±Z¦q|aRlnhs]llnhawXnaa&Sjq|l^q

aw]@fVl[tuZTkafVZ@tmZ@XfVt¢]TqnqFZ9=Z}k}(fw]X^}Sjms]9tmjulMZT!]drs]9l[hzsawlMa&awlMZawtmaw_awl^q

1

]9s}

3w£ed\J]ju0jmlnhWX[Z@rsZJqMjulnjmZ@¡bda¬Z@zklg]9ju0%*>F

1

HNuw*>FN3H'%n#bT£k¤hkawX[aVZ@X[alnhawXnaa&Sjq|l^q

q|ZT_a¥q|psf^hlnhs]lv*7F

1

H& *7F:3H1+ e^hZ@X *>FN3H& *>F

1

H2+ e&hJ£ WdawsfVa e 1

;3phv<+H!£

a7kZ¥lnpkX[lnZlnhka7Z@l[hkawX}SjuX[afVl[juZ@¬Z9sl[hka7rkXnZJZF]s}]TqnqMpk_a7lnhs]l²l[hkawX[a+a&Sjq|l^q

]9¡]@}S_`j¢qnqMjuzktma~fVZ@tmZ@Xnjmk\0jmlnhfVZTtuZ@Xgq.XnZT_1]qMawl#Z9*lnhka!foZ9Ja&Xnju\(\@X^]rkh FG9IH H

Z9J(£KGkpkXnl[hkawX[_Z@X[adtmawl7psq+¯sX^qMl]@q[q|pk_alnh{]9l0lnhaZ@Xg}SawXnax} qMawl, jq0fVZ@kafVlnax}N£ G{ZTX

(10)

Z<NJPjm FS H"FÉX[aq|r £DZ<NJ] FS HH7a~}Sao¯ska

EFSZXH eQ<*%Jl[hkawX[a/a&Sjq|l^q0]r{]9lnh ZjbZ Z ooopIZDm " 0jul[h

rAF)eZDm IZDm " hH^ ®]s}frAF)eZ Z #" hH a Z@X$ ooo q7- bn

0hkawX[a"qPjqZ}k}RFÉX[aq|r £SawJawAH)ho

=zsqMawXnJalnhs]l0hka&lnhkawX=q jq+Z}k}Z@X0a&Jaw}ZJaq+kZTl}Sawrsaws}!Z@R]qMr±axfVj¯=frs]9l[hF£

¤hkj¢qZ@tmtuZqzfVZ@tmZ@X`fVZ@{}Sjul[juZ@ F[bH^£7»Jaw_!pktul[jurktma(ZfwfVpkX[awsfVaxqZ9JawX[lnjfVaq/ZTX

a}S\Taq+ZT l[hkars]lnh}ZJaqkZ@lfih{]9k\Talnhka¬rkXnZTr±a&XnlM4l[hs]9l*lnhka¬rs]9l[h h{]@q+a&Jaw4tmawk\Tlnh

Z@X7kZTlwyq|jmsfVa0lnhawXna*awSjq|lgq²kZZ}k}fVfVtmaqV£¨© G²ju\TpkXna#:aqMhkZ6qMZ@_a*awk]_rktmaq ZTX

}Sawl[awXn_jmkju\EF%Z H0XnZT_ª] \TjuJaw]T}S_j¢q[q|jmzktua:fVZ@tmZ@Xnjmk\k£7GkZ@Xaw]9_`rktuaJyskZRfVZTtuZ@X~Z9

]9ax}S\@a]T}9[]@foawSl7l[Z]Z4jqYjmEFSZXHFZTX,Z<NJPjm F% Hgy0hawXna]Tq]tut=fVZ@tmZ@XgqYZ]@}9[]TfVawl

a}S\Taqd]XnajuEF%Z H7j Z<RJ] FS Hg£karkX[ZJa/l[hkaZ@tmtuZ0juk\!fot¢]9jm_N?

3V&fK Nawl]ZgI\5<C ]s}5z zsaR]Prs]9l[h¥XnZ@_ Z¥lnZ \s£¤hka³q|awl~Z9 fVZ@tmZ@X^q0hj¢f^h

ZfwfVpkXZ@ z0jmlnhR]9RZ}k}Pf&]9X^}jus]tujulM!aJps]9tq FSZ HNu FS\ Hg£

( -93V&fK 7Z@sqMj¢}SawX~]4r{]9lnh¡q|lg]9X[lnju\P]s}aws}Sjmk\0jul[hl[hka!qn]_a(foZ@tuZTX

+£7GkXnZT_ªfVZ@{}Sjul[juZ@ FnbH0Z@tutmZq l[hs]9l~lnhkjqrs]9l[hhs]Tq/Z}k}tuawk\Tlnhj.]9s}Z@ktmj

ZfwfVpkXgqd]Z}k} pk_!z±a&XZ9lnjm_aqZ@Rjul&£ =lnhkars]lnh9zXnZT_ZlnZ \ tmawl zsa/l[hka

¯sX^qMl]s} D l[hkat¢]@qMl Jax}S\@aJ£

a(hs]wJa <EF%Z HNuEF%\KHj0]s}Z@ktmPj*l[hka4pk_!zsawX0Z9a}S\@axq¬X[Z@_ ZlnZ

rktup{q.l[hkaSpk_!zsawX7Z97ax}S\@aq+X[Z@_ D lnZw\4jq

FD]IH!Z}k}NysjJZP]s}\!]9X[aZT l[hka~qn]_atuawJawtDy

FÉz H!awJaw ySj lnhaw]Xna~Z@R}Sj=awX[awl0tuawJawtqV£

¨©Pf&]@q|a-FD]IH^ylnhkatmawk\@l[hZ9Jzj¢qawJaw yhawsfVal[hkatmawk\@l[hZ9lnhkars]lnhXnZT_ lnZ D

j¢q0Z}k}NyNjD£aJ£myZfwfVpkXgq]9Z}k}Ppk_!zsawXZl[ju_axq+Z@ z£=¨©fw]Tq|a Fz H^yslnhka~tuaw\@lnhRZ9

z¥j¢q0Z}k}]9s}Pl[hkawX[aVZ@X[alnhatua&k\@l[h XnZT_

lnZ

D

j¢q]9\J]juZ}k}]s}®Zf&fVpkX^q]9

Z}k}Ppk_4zsawX7Z7lnjm_aqZ@ z£

a0kZ l[pkXn!lnZlnha0rkXnZJZHlnhs]l8Z. EF%Z HFjuawt}kqFlnhka0]Sl[a}aw_!z±ax}k}Sju\k£Nawl

ZgI\f<+ 0julnhwZ929\]s} zsadl[hkafVZ@tmZ@X7Z9=l[hka0a}S\Ta"eZgI\hJ£edrkrktmSjmk\l[hkafVt¢]ju_

]9zsZJa(jul0Z@tmtuZqdlnh{]9lEF%Z H uEF%\KH8 e^hJ£ JjmsfVa]\9<@J] FS H.]9s}+Z <@JPjm F% H^y

(11)

ah{]xJaQ< EF%\KH. EF%Z H^yThkawsfVa EF%Z H EFS\ H.|e&hJy]9s}4l[hkawX[aVZ@X[a EF%Z H

EF%\KH^£

eq]4pkXnl[hkawXfVZTsq|axpka&sfVa(a!\@a&l %EF H'%/ %EFKH %JZ@Xg+< JPju FS HdZTX <

J]9AF% H ]9s} %EF H % %EFKH %T-(b²ZTX9< JPju FS H=]s} w< J]9AF% HszfVZ@{q|j¢}awXnjmk\

] r{]9lnhXnZT_ l[Zs£

a0kZ¼q|hkZ l[hs]9l EF%Z H& FS\ H ju_rktmjuaqgZ7b\s£Jeq[q|pk_a7l[Z/l[hkafVZTSl[X^]9X[(lnhs]l

Z?a \]9s}Ptmawl z¥zsa(]4rs]lnhPX[Z@_ ZPlnZ \±£= fVZTtuZTXfVZ@{}Sjul[juZ@YF©Hl[hkawXna~awj¢q|lgqd]l

tua]Tq|lZTkaZ}k}4foZ@tuZTX7fVt]@qnqHZ@ zy@0hkj¢f^h!fVZTSl[X^]@}j¢fVlgq²lnhka7D]@fVl7l[hs]9l EFSZXH uEFS\ H ~£

Nawl ZgI\< ]s} EF%Z H

EF%\KH^£7¤hkaw¼lnhka&XnaPa&Sjq|l^q< 0jmlnh FSZ Hj

EF%\KH .,e&hJykqMjusfoa %EF%Z H'%n %EFS\ H'%;-bT£ WdawsfVa %EFSZXH uEFS\ H'% #b]s}fVZ@tmZ@XfVZTs}Sjm

lnjmZ@ F1:IHjuawt}kqieZ \Xh7< H4£ ¤hSpsqiZ,5\hkZ@t}kqVyFzsafw]psq|aw\` Z*Z@pkt}Pju_rktm

EF%\KH

FSZ H^£

G²jms]9tmtuRtuawl~psqfVZTsq|j}SawX~lnhkaf&]@q|a`lnhs]lw jq/kZTl!fVZ@kafVl[a}N£H¤hka]T}S_j¢q[q|jmzktua

fVZ@tmZ@X[juk\Z9 lnhka¬fVZJawX[juk\\@Xg]9rkhZl tma]@}q²lnZ~]@}_j¢q[q|juztua0foZ@tuZTXnjmk\Jq²Z@X*]tutsfVZTkkafo

lna}¼fVZ@_`r±ZTkawl^qo£eq[q|pk_a`lnhs]l}Sj=awXnawl(foZ@_rsZ@awSlgqpsq|aR}Sj=awXnawl!fVZTtuZ@Xgq(]9s}

fVZ@{q|lnX[psfVll[hka(aw_!zsa}k}Sjmk\4jmSl[Z] ZJZTtua]t¢]9l[lnjfVa/ZTXa]@f^hZ9*l[hkaw_£s¨©PZTX^}Sa&X/l[Z

Z@zklg]9jmq|awlgqZ9Hlnhaq[]9_aqMju«waZTX]tuts_jmkju_]tJawtua&_awl^q FÉX[aq|r £¦ZTX*]9tuts_]Sjm_]9tJa&tuaw

_awl^qH7a_`ju\@hlh{]xJa~lnZ4¯{tutFlnhaw_ pkrP0jmlnh]@}}Sjul[juZ@{]9tHawtuaw_`awSlgqV£ GkZ@Xa&k]_rktua¦y

ja!hs]wJa!]9¥aw_!zsa}k}Sjmk\(Z@XZTka`fVZ@_rsZTkawljulnZtua&Jawtb!]s}¥ Z]R ZJZ@tuax]9

t¢]lnlnjfVa¬]9s} ZTX0]kZ@l[hkawXfVZT_rsZ@kawl7julnZtua&Jawts]s}L:Z9Y] ZJZ@tma]9`t¢]9l[lnjfVaJy@l[hkaw

]@}k}](kZTlJawl0psqMa} awtmaw_awl|Z l[Z]tutHlnhka:q|awlgq.Z7lnhka¯sX^qMlfoZ@_rsZ@awSl&£k¤hkjq.]w

a\@a&l(]9aw_!zsa}k}Sjmk\Z@X(l[hka0hkZ@tmaZ@Xg}SawXnax}®qMawljmSl[Zlnhka³ ZJZ@tuax]9t¢]lnlnjfVa k2m

0hkawX[a"qj¢ql[hkaSp_4zsawX7Z9Yawtuaw_`awSlgq²psqMa} jmlnZTl^]9tD£

P'4 %°3&

¨©¥lnhkjqqMafVlnjmZ@¥*a]9rrktu¡¤hkawZTXnaw_ b4l[Z}SaqnfoXnjuzsaJyFZT®l[hkaZTkahs]s}Ny²X[awrkX[aq|aw

l^]lnjuZTsq ZTXaw_!zsa}k}k]zktua~Z@Xg}SawX^q~]9s}lnZR]9X[\@pkaJyHZ@¥l[hka!Z@lnhawXhs]9s}=y²0hfVawXnlg]9jm

Z@Xg}SawX^q`]9XnakZTlaw_!zsa}k}k]zktuajmSl[ZlMZ¡fVZ@sqMafVpkl[juJatmawJawtq/Z9/] ZJZTtua]6t¢]9l[lnjfVaJ£

dZ@l[alnh{]9l0lnhafVZ@tmZ@XfVZ@s}julnjmZ@sqZ@X]]@}S_`j¢qnqMjuzktmafoZ@tuZTXnjmk\(fw]zsaZ@Xn_!pkt]9lnax}ju

]}Sj=awXnawl70]wJ£ NawlF%z>Hzsalnhkapk_4zsawXZ9fVZTtuZ@Xgq+0hkjfih!ZfwfVpX0]9`Z}k}Spk_!zsawX

Z97l[ju_axqYZT](rs]9l[h9z£

µ ®+B 93V & %$'&()*(+.&$DST &TU3* &K /3TLK

(12)

LNM)OQP

(SR -( U& 93V&-9K 9( QN&$'&(WY ( 93

( ( -/ ( .$K&(S (EQ&K &(3*&( (SR >

YX[ $'&(W z (SRC (%R L3*/(vZQ&Ki\ (W U3*3R L('9K*(1

'3V K

L B O FSz>H8 476 Z7b\

L ! O FSz>H8 bC476 Z ab\Q&KfeZgI\h < H

L O FSz>H

476 ZQab\Q&KweZ \Xhwa<+H

x9¹F¹ 7awX[l^]juktmPfoZ@s}SjmlnjmZ@sq FnbH^y*FDe H^y4F© H*]s}RF .H0jm_rktmfVZTs}SjmlnjuZT FnbH^y*FDIH]9s}

F1:HXnZT_ aV¯skjmlnjuZTRS£dZ a:q|hkZ l[hs]9ljmR]9]@}_j¢q[q|juztuafVZTtuZTXnju\4l[hka(fVZTs}Sjm

lnjmZ@sq F©e Hgy*FD H7]9{}]F .H*]Xna:qn]9l[j¢q©¯sa}N£ =ka~}SjmXnafVl[juZT Z.FDe HZ@tmtuZq0}SjmXnafVl[tu(XnZT_

F©H^yFlnhka!Z@l[hkawX:fw]9zsa4rkX[ZJawzP_`a]9sqZ9 FnbH¬]9s}l[hka(D]@fVllnh{]9ll[hkawX[a!]9Xna!kZ

Z}k} fokfVtmaqV£qMafVZTs}Sjul[juZT FDe H]s} F1:HlnZrkX[Z9Ja F© H^£ G²ju{]9tutmJyF .H¬j¢q(]}SjmXnafVl

fVZ@{q|aJpkawsfoa/Z.FDe H*]9{}]F© Hg£

x9¹y7¹s¢É¹ @ 5 (, FG9 >H L&Y1$A/()&3* /-&K[Z< Q F% H

L

,Zj< & (F% HC+$ 9()3T

O

>,{/ 7 ?T FG +9e

1

h +|eF%Zg

1

HIhH

L

8

?t

FG ++e

1

h2 +8eF

1 ZXH hHE+$ 9()3T

O

&0&3%U 1$A/()&3*>

x9¹F¹¼¤hka¬fVZJawXnjmk\\TX^]9rhZ9 h{]@q]]@}_j¢q[q|juztuafVZTtuZ@X[juk\£dZ6]TqnqMju\@l[Z/l[hka

Z@ktmR]@}k}SjmlnjmZ@s]t²a}\@ajuRlnhka~fVZJawX[juk\(\TX^]9rhPZ9^FZ@X

H0](kawykZ@lJawl*psq|ax}Ny

fVZ@tmZ@X&£s¤hkj¢q0Sjmawt¢}qfVawX[l^]juktm]P]T}S_jqnq|jmzktua fVZ@tmZ@Xnjmk\Z@X FÉZTX

H^£

~¹s9¹ Éx¶b !#%$'&(1*(+ () 3V N/ L

G>>-%$'&(1*(+S9 93* UN/ O

&

1$A/()&3*p>

¤hka&XnaVZTXnaawJa&Xn(kZTldX[awrkXnaxq|awl^]zktuaZ@Xg}SawX0hs]Tq.l[Z!fVZ@l^]juR](fVfVtuaJ£¤hkaZTX^}SawXgq

fVZ@{q|j¢qMlnjmk\jm4ZTktu!qMpsfih`]fVfVtua]Xna¬]9t¢qMZ(fw]tutma} 9R Io£ Nawl.B&m}awkZ@l[adl[hka¬fVXnZ0

0jul[h q_juju_`]9tF]s}+q_]Sjm_]9t=awtua&_awl^q FDq|awa G²ju\TpkXna-:T]IHg£Na~§SZ9#l[hs]9ljm]

fVfVtuaJyka&JawXnRfVZTtuZ@X¬hs]@qlnZ`ZfwfVpkX~]9a&JawPpk_!z±a&X0Z90l[ju_axqV£ =lnhka(ZTlnhka&Xhs]9{}Ny

lMZ`]@}9[]TfVawlda}\@aqf&]9kkZTldh{]xJa~lnhka~q[]9_a~fVZTtuZ@X&£ GkpkX[lnhka&Xn_ZTXnaJy] rs]lnhZl[hkXna&a

fVZ@{q|afVplnjuJa*a}S\Taq²hs]TqYl[Zz±afoZ@tuZTXna}0jmlnh(l[hkXnawa}j=awXna&SlfVZ@tmZ@XgqV£ Jl[X^]ju\@hl|ZTXn]9X^}

(13)

{b}

{a}

a

{c} {d}

c b d c

b a d

{c,d}

{a,d} {a,b} {b,c}

e d a c b e c

b c d

a {b,c,e} {b,c,d}

{a,b,d} {a,c,d} {a,c,e} {a,b,e}

{b,d}

{b,c}

{a,c}

{a,d} {a,e} {b,e}

c b

{c}

c b a

a

{a} {b}

{b,c}

{a,c} {a,b}

d b

b e

c

d c a

a c

e

c b

a

b

d a

d

c

c c b

b c a a

c

C

(c)

(d) (b) (a)

n

1 2 n-1 n

G²ju\TpkXna : ?s»Y_!zsa}k}Sjmk\(foXnZ0sqV£

(14)

b

a b

a a/b a

a b a

a

b

a b

G²ju\TpkXna ? JZ@_a fVXnjmlnj¢f&]9tNZTX^}Sa&X^q0]9{} lnhawjuXfVZJawX[juk\~\@Xg]9rkhsqo£

(15)

fVZ@tmZ@X[juk\¦qZ9lnhka~fVZJawX[juk\\@Xg]9rkh{q.Z B]s} B0psqMjuk\-:LFXnaqMrF£ H*fVZ@tmZ@Xgq0]9s}RfVZ@X[

XnaqMrsZ@s}Sjmk\aw_!zsa}k}Sjmk\Jq*]9X[a(q|hZ90RjuSG²jm\@pkX[a :z]s} :Tf@£ GkZ@Xz±ZTlnhZTX^}SawXgq.l[hkawX[a

j¢qaq[q|awlnj]9tutmZ@ktmZ@ad]x~lnZ:fVZ@tmZ@Xl[hkadax}S\@aqo£J¤hkjqY0jmtuthkawtmr(t¢]9l[awX7Z@FyTju(¯ss}Sjmk\

]9X[\@pk_a&SlgqY0h!fVawX[l^]ju!Z@X^}awX^q7fVZTSlg]9jujuk\:q|awJawXg]9tsfoXnZ0sq7]9X[akZ@l*XnawrXnaqMawSlg]9zktmaJ£

dZ@l[a0hkZawJa&X²l[hs]9lXnZT_Cl[hkafVZ@tmZ@X[juk\Z=lnhkafVZJawX[juk\\@Xg]9rkh!Z9 B a0f&]9`}Sa}Spsfoa

lMZa&_4zsa}k}juk\¦q+}awrsaws}Sjmk\ZTlnhka fihkZTj¢fVa0Zl[hka_jukjm_]9t]9{}4lnhka¬_]9ju_]tSa&tuaw

_awl^qo£ =kaa&_4zsa}k}juk\(tma]@}kq0lnZ!Z@a Jawtmaw_awl0]s}PlMZJawtmaw_awl*q|awlgqVyslnhka~Z@lnhawX

fVZJawXnjmk\\TX^]rkhPZ B0psqMjuk\!!fVZTtuZ@XgqV£aXna&_]9X[§(lnhs]l0juljqkZ@l0afVaq[qn]9X[lnZ(p{q|a

0jul[hP]ldtma]@qMl _`jukjm_]t±a&tuaw_a&Jl^qV£

dZ#tua&ldpsql[pkXnlnZZTX^}Sa&X^q0hkj¢f^h]9X[a(kZ@lX[awrkXnaxq|awl^]zktuaJ£AG²jmX^q|l&y±*a!fVZ@{q|j¢}awX

Z@Xg}SawX^q0hkawXna(lM*ZfVX[Z0sqdhs]wJazsawa&\@tupa} l[Z@\@a&lnhkawX¬Z@sfVa¦y±jD£aJ£myklnhkawhs]wJa:q|Z@_`a

fVZ@{q|afVplnjuJa¬a}S\@axqjuRfVZ@_`_Z@F£ dZ@l[a/l[hs]9l¬q|p{fih]PZTX^}SawXfoZ@l^]9jmsqjul[Z@l^]t²l[hkXna&a

fVXnZ0sqo£Ja0jutmt±\TjuJa]Xn\@p_awl^qÎZTXlnhadkZTkaw_4zsa}}k]9zkjmtujml|ZFlnhaqMafVZ@{}NyJlnhkjmX^}

]9s}Z@pkX[lnh~Z@X^}awX²Z GHju\@pXna £T¤hka*q|afoZ@s}Z@X^}awXHfVZ@l^]jusqFlnhXnawa7Z@Xg}SawXgqNj¢q|ZT_Z@X[rkhkjf

lnZ B&£±a(qMl^]Xnl0julnhfVZ@tmZ@X[juk\!Z@ka~a}S\TaZ9Ylnhka~pkrkrsawX¬fVkfotua0jmlnh

1

£s¤hkawl[hkawX[a

j¢qdZTktuZTka(rkt¢]TfVaZTlnhka~pkrkrsawXfokfVtma0hkawXna

1

fw]]rkrsa]9X~]qMafVZ@{}Plnju_`aJ£k¤hkjq

tua]T}kq0lnZ!Z@ktmZ@ka~rsZJqnqMjuzktmaa}S\@aZ@X0l[hka(qMafVZ@{}

1

Z@Pl[hkatmZawXfVkfotuaJ£¤hkjq.a}\@a

hkZawJa&Xj¢q0]T}9[]@foawSllnZ(l[hka¯sX^qMldax}S\@a~fVZTtuZ@X[a}zS

1

£se foZ@lnX^]T}Sj¢folnjuZTF£

GkZ@XFl[hkal[hkjuXg}Z@X^}awX²Z@lna*lnhs]l²l[hka7lMZpkrkrsawXHJawXnl[j¢fw]t@a}S\TaqNhs]wJa7lnZzsa0fVZTtuZ@X[a}

}Sj=awX[awlwyq[]w

1

]9{}A3&£¤hkaZ@plnawX`fVfVtua(Z@XgfVaqlnhaPfoZ@tuZTXnjmk\Z9lM*ZXnaw_]jukjmk\

Z9

1

Z@l[hka0pkrkrsawXfVkfotua0hj¢f^h(j¢qlnhka¬qn]_aZ@X,3&£Jed\¦]9ju!a0h{]xJa¬]fVZ@lnXg]@}SjfVlnjmZ@F£

GkZ@X7l[hka.ZTpkXnl[h4ZTX^}Sa&X0q|lg]9X[l+0jmlnh`fVZ@tmZ@X[juk\~l|*Za}S\@axqYZTlnha0_j¢}k}tuahZ@Xnjm«wZ@l^]t

tujmka0jul[h

1

]9s}+3]@q0ju{}Sj¢fw]lna}=£ dZ ahs]wJalMZ Fj¢q|ZT_Z@X[rkhkjfHHr±Z¦qnqMjuzkjmtujul[juaq+ZTX

fVZ@tmZ@X[juk\ax}S\@aqzS

1

]s} 3ZTlnhka(prkrsawX]9{}Plnhka(tmZ9*awX¬fVkfotuaJ£ =ka~j¢qqMhkZ0ju

lnhkarkjfVlnpXnaJ£Fa ZTzsq|a&XnJaZT ]Pr{]9lnh z X[Z@_ªlnhkatmZ9*awXtmaVll[Zlnhka`pkrkrsawX(Xnjm\@hl

fVZ@X[kawX*l|*Za}S\@axqfVZTtuZ@X[a}(zS

1

]s}4lMZ~zS73&£J¤hkawX[aVZ@X[a F%z>H|#b@£¤hkafoZ@tuZTXnjmk\

fw]96ZTktuzsa]@}_j¢q[q|juztuajlnhka&XnaP*Z@pkt} zsa]96ax}S\@azsawlMa&awlnhkalMZ¡fVZTXnkawXgq

FÉjms}Sj¢f&]9lnax}³0jmlnhR](}SZTlnlnax} tujmkaHg£KWdaw{fValnhafoZ@lnX^]T}Sj¢folnjuZTF£

JpXnrkX[j¢q|jmk\@tmJyJlnhkaZTX^}SawX0ZTzkl^]jukax} z]T}k}Sju\4l[hkj¢qa}\@aj¢q7XnawrkX[aq|a&Slg]9zktmaJ£k¤hkjq

q|lg]9s}kqjmfVZTSl[X^]@qMl0lnZ~lnhkaa&k]_rktuaxq²0hkj¢f^h!ahs]wJa¬fVZ@{q|j¢}awXna}!pkrlnZ~kZ ?k¤hka&

hs]wJac ju]qMawsq|ac lnZJZP_³]9PfoZ@_rs]X^]zkjutmjulnjmaqlnZ`_]9§Ja~lnhkaw_-XnawrXnaqMawSlg]9zktmaJ£

(16)

edt¢qMZ!]9l0l[hka¯klnhZ@Xg}SawX*Z9EG²jm\@pkX[a a¬Z@zsqMawXnJalnhj¢q+rhkawkZT_awkZTF£k¤hkarkX[ZJZ9ZTX

lnhka*kZ@ÉX[awrkXnaxq|awl^]zkjutmjulMdZslnha+X[aw_]jukjmk\ZTX^}SawXgqÎZAG²jm\@pkX[a j¢qNtuaolFlnZlnhka*Xna]T}SawXw£

_]9§Jal[hkaw_X[awrkXnaxq|awl^]zktuaJ£¤hkaqMa(]9X[a(]tutfVXnjmlnj¢f&]9tNZTX^}Sa&X^qd0jmlnhkZ@l¬_Z@X[a/l[hs]9¡b

_Z@X[aJ£

a

a a a a

G²jm\@pkX[a~/?sedju¯skjul[aD]9_jmtu(Z9kZTldX[awrkXnaxq|awl^]zktuaZTX^}Sa&X^qV£

e s]lnpkXg]9tpkaxq|lnjmZ@RlnZ`]@q|§jq.0hka&lnhkawX0l[hkawX[aj¢q0](¯skjul[aSpk_!zsawXZZ@X[zkj¢}}Saw

q|pkzsZTX^}SawXgq+0hkjfih~awsqMpkXna0X[awrkXnaxq|awl^]zkjutmjulMJ£w¤hj¢q²l[pkXnsqZTpklkZTl+l[Zzsa0lnhkaf&]@q|a¦£J¤hka

fVZJawXnjmk\\@Xg]9rkhZ9 ]9jmS¯skjmlna(D]9_jmtuPZZ@Xg}SawX^q0hj¢f^h¥]XnakZ@l~XnawrXnaqMawSlg]9zktma4jq

q|hkZ0jm GHju\@pXna~S£=¨É*a(fVZTtuZ@X0l[hkatmaVln_`ZJq|l*JawXnl[j¢fw]tNa}\@azS

1

l[hkawlnhj¢qZ@X^foaq

lnhka¬qn]_afVZTtuZ@XZTXlnhadZTlnhkawX7JawX[lnjfw]9ta}S\TaqV£¤hkaw!a¬}SZ~kZ@l¯ss}`] rt¢]@foa.ZTX+l[hka

q|afoZ@s}

1

Z@lnha/tmZ@k\`fVfVtua¬\@Z@jmk\`]9tuZTk\!lnhkazsZ@Xg}SawXZ9lnhka\@Xg]9rkh £

juS¯{kjul[a D]_jutmPZ9ZTX^}Sa&X^q/jqkZ@l(X[awrkXnaxq|awl^]zktuaJy q|ju{fVa4l[hka`q|ju«&a4Zlnhka!tuZTk\fVfVtua

\@X[Z9qju6l[hka¥q[]9_a]w6]@ql[hka¥qMju«waZ(l[hkaZ@Xg}SawX\@X[Z9qR]9s}6awJawX[¼q|pkzsZ@Xg}SawX

0jul[hkZ@pklHlnhj¢qFfVfVtuaj¢qNXna&rkXnaqMawl^]9ztuaJ£ JZkywl[hkawXna*fw]z±a*kZ0¯skjul[a²D]9_`jutu0ZkZ@X[zkj¢}}Saw

q|pkzsZTX^}SawXgqdf^hs]X^]@folnawX[ju«wjmk\lnhkaX[awrkX[aq|awl^]zkjutmjulMZ9zkjur{]9Xnl[jul[adZTX^}SawXgqV£s¨©l7j¢q7kZ@l0awJa&

fVtuax]9Xj(jul³fw]9 zsa¥fw]t¢fVpt¢]9l[a} ju6rsZTtukZ@_j]9tl[ju_a0hka&lnhkawXR] ZTX^}SawX[a}6q|a&l jq

XnawrXnaqMawSlg]9zktma7Z@XHkZ@l&£@¤hka&XnaVZTXna7afVZ@sfotups}Sa7l[hkj¢qFqMafVlnjmZ@~zSrsZ¦q|ju\lnhkaZTtutuZ0jmk\

rkXnZTzktua&_£

x9¹s Éµ P

2*( +9 $ 34( "(1/9U/ R ( [#K( &[S%$'&()*( 2/

T-&3* /()L(%R 699

() 3* 3% & !234& 3V&( ()9

(17)

*:³)2'(%%*4'48,

D*

134 124

123 234 125 135 235 145 245 345

13

12 23 14 24 34 15 25 35 45

(a)

245 235 145 135

123 124

345

134

12

13 15

25

24

45 23 14

34 35 125

234

(b)

(c)

24

124 134 123 234

125 135

15 12 14 13 23

G²ju\TpkXna~

(18)

Nawl(}awkZ@l[a(lnhka!Z@Xg}SawX0hkjfih]Xnj¢qMaqdXnZT_1zS}Sawtua&lnju\Z@ka`fVZT_rs]9Xg]9zkjmtujml|¦y

}SZ@l[lna}!tujuaH^£/=0ÎfVZ@pkXgq|aJyj¢qlnX[juj¢]tutuX[awrkXnaxq|awl^]zktua0zkpl j¢qkZ@l&yJ0hkj¢f^h4_`ju\@hl

julnpkjmlnjmJawtuzsa0awSrsafolna}N£T¤hkjq²aw]9_rktmaJyV0hj¢f^hzlnha00]w0]@ql[hka0qMl^]9X[lnjmk\r±ZTjul

Z9Z@pkX*juJaq|l[ju\¦]9lnjmZ@sqoyJj¢qjulnawX[aq|l[juk\jmq|awJa&X^]9tsX[aq|rsafVlgqV£J6jul[h a]\J]9jmhs]wJa

]9aw]9_`rktua0hkawX[adMpsqMldZTka(fVZT_rs]X^]9zjutujmlM(j¢q0_j¢q[q|ju\lnZ!_]§JajulXnawrXnaqMawSlg]9zktmaJ£

eds}a0jutmtNrkX[Z9Jal[hs]9lj¢q0kZ@lXnawrXnaqMawSlg]9zktmapsqMjuk\`]9X[\@pk_a&SlgqZ97rkX[Z@MafVl[juJa

\@awZT_awl[XnJ£

G²jmX^qMlwyNZTzsq|awX[Ja(lnhs]l1hs]@q]XnawrkX[aq|a&Slg]9lnjmZ@zlnhka!rsZ@jmSlgq/]s}tmjukaqZ90l[hka

daq[]9Xn\Tpkaq~fVZ@S¯{\@pkXg]9lnjmZ@ FDq|awa-GHju\@pXna!9zAH^£HeC_juju_`]9tFawtmaw_awlZ1j¢qdzsawtmZ9 ]

_]9ju_³]9tHawtuaw_`awSlj¬]s}ZTktujlnhkafoZ@XnX[aq|rsZTs}Sju\r±ZTjuljq/ju{fVj¢}Sa&Sl0jmlnh¥l[hka

rs]@foaP¨ £7 lnhaPfoZJZ@X^}jus]lnju«x]9lnjmZ@lnhawZ@X[¥Z9rXnZ@MafolnjuJa!rkt]9kaq*a§kZlnhs]l

"

F%q H¬}SawkZTlna!lnhka!zkjur{]9Xnl[jul[a(Z@X^}awX

fVZ@{q|j¢qMlnjmk\(Z9 qMawl^q*]9s}NF bHqMawl^qZ&k2m£ dZ6juljq+§kZ0lnhs]l,k "

F%q H*f&]9

"

Z9Yq|pkz{q|rs]TfVaq0Z9¨ m

£¤hkawz4tmjlnjmk\(]s}rkXnZTMafVlnjmZ@ZTRq|pkjmlna}qMrs]@foaq0hkj¢f^h]Xna

ju\@awawX^]trsZJqMjulnjmZ@¥0jmlnhXnaqMrsafVllnZRlnhka(¯skjmlna(_]SRaw_4zsa}}Sa}PZ@aqVyFZ@a\@awlgq

F%q Hgy

ZTX^}kq?dj¢qZ@l0awJawaw_!zsa}k}k]zktuajulnZ(lM*Z!fVZ@sqMafVpkl[juJatmawJawtqYZ7lnha/t]9l[lnj¢foaZ9

q|pkz{q|rs]TfVaq0Z9*](JafVl[Z@X0qMrs]@foa/ZJawX¨£

FDq|awa G²ju\TpkXna:@fH*j¢qdjq|ZT_Z@X[rkhkj¢flnZZTka(Z97l[hkaZ@lX[awrkXnaxq|awl^]zktuaZ@Xg}SawXgqdtujq|lnax}

juSG²jm\@pkX[a £

J8.:

M FTO ~£7 pkXnZ¦q|h¼]9s}¼k£ F]z±ZTX^}Sa¦£ »juzsawlnl[pkk\TawJZ@X^]9rhkawju¼}Saw qs

y

(19)

M\O~£7Szsaw§JZky£N#£ Xnp__aJy]9{}(££ 7aw§@]l^]X^]9_³]9F£"G²jua} h

rsawX^fVpz±a~aw_!z±ax}k}Sju\k£

P

> 9 > 5 ( (+oyk@ ?:T :TSy7bw I\¦£

M+MZ \:O £ H£ +MZ@§JZj&f@£ djq|lg]9sfVa JrkX[aq|awX[Sjmk\(qMpkzk\TX^]9rhsqdZ9Hhr±a&X^fVpkzsaqo£

K&3 -K&()&3,{/ L! O

yFb ?Þ@:TI\Jy7b&I\:£

M%W[J]\xO ¨^£ W]wJawt]s} k£ JPZ]9Xna&§N£ k JT]9tmps]9l[juZ@{q³Z~\@X^]rkhsqo£ 90> &(W>

K&3Ýys@ ?: : I:@b@y7bw\S£

M%J O £JPZ@juaw!]s}LW£ Jps}SzsZTXnZ@p\@hF£H»_4zsa}}Sjuk\¬Z@kajulnawXgfVZ@kafVl[juZ@~kawl[

ZTXn§ju]kZ@l[hkawX&£ $ (1 $$ 3>y \ ?Ý@\ @ybwT£

M6jmt¢@O J]9XgfVawtH6jut¢}=£ 7ZJawX ¦rkXnaxq|awX[Sjmk\4ZTX^}Sa&Xaw_!z±ax}k}Sju\JqjulnZ`z±ZJZTtua]t]9l[

lnjfVaqV£ ,/^yk ?ÝT :@ybwT@£

(20)

Unite´ de recherche INRIA Lorraine, Technopoˆle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LE` S NANCY

Unite´ de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unite´ de recherche INRIA Rhoˆne-Alpes, 46 avenue Fe´lix Viallet, 38031 GRENOBLE Cedex 1

Unite´ de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unite´ de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex

E´ diteur

INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France) ISSN 0249-6399