CAHIER DU LAMSADE 197

(1)

Laboratoire d'Analyse et Modélisation de Systèmes pour l'Aide à la Décision

CNRS UMR 7024

CAHIER DU LAMSADE 197

Octobre 2002

Prise en compte d’une connaissance imparfaite à l’aide d’un pseudo-critère : procédure interactive de construction

A. Aït-Younes, B. Roy

(2)

& ' ( !*)+,%-. /01

2.3 4%5678934:

;<=;>@?.A4BDC=EGFIH.F:?KJK<MLNBIO

PRQTS

H

QTU

FDVXWYE=Z\[$FI]^H_Z`?_a b

Q

]^ZcHdfe

Q

C=g=h=ZcEGF

i d S0Q

Zcjkml

QTS

ZcEGF2V=]fBnOMoqprj

QTS

H

QTU FD<

UXQ

C=g=h=ZcEGFD<ts@]

(3)

z~zKcy%}v~v3fv{y%}@{|fvv{$z~}RvfxRf..vf:{y%}vfx9v{xz~vfx@{|~xTvf}@{|~vf:{vxz~~z~x:{

Tvf}.xR~vy%.f}vf}f

(4)

®¯I°^±G²6¯ ³

´µ

°¶_·¹¸qº%¶ ³

»½¼f¾

¶_·¹¿ÀG±Gº%¶¹³`¿

¾ »

Á

®¯I°^±GÂ\¶_¸n¶¹°ÃÄ¿

¾

À¸q²6Å

¾

¶_¸q±Æ

Á

Ç

È Éy%~Tvfx~v}fxz~{y{|xÊ Ë

Ç ÇÍÌ znvfv3^y%}|y%{|f}x|y{|Kwz~r~xvfz~~ÎÏ}~}vÐ Ñ

Ç ËÒ+}vf.}|v3vÔÓn~{y{|K~vn`}.y{|~vqy%xvÕ Ö

×8¼f¾ ÃÄ¿T·²6¸n¶¹³`¿ ¾ °°^±ØGØ=Â`¯I²6Å ¾ ¶_¸q³`·¹ÅI°MÙ~ØG·¹¿TØG¸~ÚT¸n¶¹³`¿ ¾ Å:¶²6¿ÀÅI°ÀÅNÛw±ÅI°¶¹³`¿ ¾G¾ ÅI²6Å ¾ ¶ Ü

ËnÈ8ÝGy%~vfx~v.I~Þq^y{|%~x ß

ËnÇÍà vfzIÓr.~vfx~vz~vfx@{|~~vf.vf:{~v

Z

È_á

ËnÇ È âz~vfx@{|£~v3{ÏãI$v

P ( a _j )

ÈÈ

Ën

Ç Ç

âz~vfx@{|£~v3{ÏãI$v

I(a j )

ÈÈ

ä(å ·¹¿q¶_¿º¿$Â\ÅI°ÀÅº¿ ¾ °¶_·±Gº%¶¹³`¿ ¾ ÀMæ± ¾ Ø=°fÅI±GÀ¿~ç|¿T·À·¹Å »IÁ

Ñ~È

à

Þq~{|Kv{}vfYy%}z~vfx~}f.qy%}vfx È_Ë

Ñ~Ç +}vf.}|vy%~~}Ôè~vé È_Ë

Ñ~Ë à vfzIÓnfNv4y%~~}Ôè~v0 È^Ñ

Ñ~Ñ êmNqy{|~ë{|~vn`}.y{|K}vffz~vfv3y^:vfv3.I~fv~zr~xvfz~~ÎÏ}~}v" È¹ß

ì7í

¿$²2²6Å

¾

¶À¯:î

¾

³`·±

¾

Ø=°fÅI±GÀ¿~çº·³\¶_ï·¹Å·¹ÅØG·¹¯I°fÅ

¾

¶_¸n¶¹³`ÃÀG±*Ø=°fÅI±GÀ¿~ç|¿T·À·¹Å4¿ µ ¶_Å

¾ ±

»Ið

ÖIÈ8ñò~}$x~zr^y%xf~f}|y%ó È_ô

ÖIÇ ê9y%xqy%}@{|fz~vf}9õrDvÔÓnx@{|vz~~v}vf~}fxvf:{y{|*y^vf~vfzIÓrxvfz~xRf~x@{y%:{|xR Ç È

ÖI

Ç

È

Ì

znvfv3^y%}|y%{|f}x|y{|K~vfx~xvfz~~¹ÎÏ}~}|vxNxvfz~xRf~x@{y%:{|xö

Ç È

ÖI

Ç Ç à

{|vf}.qy{|~vy,`~{|

g

v{~vfx~vfzIÓ£f~x@{y%:{vx

q

^v{

p

^Ç ^Ë

÷7í

¿ ¾

º:Âc±G°^³`¿

¾ Á~ä

®¯ÃÄ¯·¹Å

¾

ºÅI°

Á~ä

(5)

ûIý

ÿ$ù~ú

ù~ý

ù

ÿ! ù~ýòúüþ

ýwùMÿ

ú#" ý$ý ÿ þû

ùÿ

ú þ

%& û

uv.I~fv3~z*~xvfz~~ÎÏf}{|f}vvfx@{~Þq~Gqy}z~*~xvfz~~ÎÏ}~}vz~cy%{:{|vf}@:vf~}vfx{|}x

}vfy{|~x~qy%}vfx

I

^'

Q

^v{

P

^Ì z~xxz~~$x~x3z~v,n`}.y{|r~v,qy%xv,~xT~~vvfx@{)(`+*

z~ }|y%~vf.vf:{~vfx.y%{|~x

'

(`+*y*qy{|z~}vK~vKy"}vfy{|,(

I,Q

^z

P

*vf:{|}v£èqy%z~v£fz~~v

wy%{|~xYf~xffzn{|vfxf

Ì

z~xKy^~x.x.vf.-znI}v"z~~v"~fYy%}è~v*$vf}.v{{y%:{~v"~f~z~}v

v4.~fv4~v,~}`f}vf~fvf.qy{|~v4y_vf,n`}.y{|r~v,qy%xvNYqy%}@{|}wz~~v,n`}Yy{|

xz~~~f.vf:{y%}v3n{|vfz~v4y^vfz~r.~,z~ ~vz~vfx@{|~xf

ñ~}fxz~~v4~}fxvf{y{|"~v4z~vfz~vfx}fxz~{y{|x`~qy%.vf:{y%zIÓ

'

*.v{{|}|y.vfI~vf~fvv

qy%}@{|+z~MTvfzn{4vf0/{|}vN{|}$z~}vÔÓn~{|vf}3~vfxn`}Yy{%~x3xz~~~f.vf:{y%}vfxv{ {|}Î

~z~}|y~vfzIÓ NI~vfx3~vz~vfx@{|~~vf.vf:{1(`xvf{| Ë2*Ô43Iz~}3fvfx3qy%xvfx

'

~Þq~}|yz~ ~}%{|Ifv

wy%fz~x{|Y~vfvfxRn`}Yy{|~x xz~~~f.vf:{y%}vfx5(`xvf{|Ñ6*Ô7+nÞq

'

y^%y%:{R~vf~fz~}v

'

~~z~vf}|yf..vf:{Xn{|vf~}=vfx=`~{|~x

g

^'

q

^v{

p

~Þq~xx|y%:{Mz~,~xvfz~~ÎÏf}{|f}v9}vf~}fxvf{y{|

~z.~xvfz~~ÎÏ}~}vy%~x~n{|vfIz.v{ .~~~vf}|yz~~v^y%}|y%{|f}x|y{|~zY^y%xMõ.fv~vf}~vf}My%~.v{

z~~v}vf~}fxvf:{Ôy¹{*y_vf~vfzIÓrxvfz~xRf~x@{y%{|xf

ø"ù

ÿDýûIûIúüþ8

9Mþóú

ýwùýÿ

;:

þ

=<

üý8Mý?>A@B

ûIý

ÿ$ù~ú

ýwù~ú

þCMþ

úüþ

ýwùMÿ

ú#"Mý

ù

ÿDýù~ý

ÿ

þû

ùÿ

ú þ

D >û

ùMÿ

ÝRè~v.~xvfz~~ÎÏf}{|vf}.~vf+x~vÞq~vf6ã y£~xvfz~~ÎÏ}~vf}5Eè~Ôèxqy%xvf6 {|è~v{|è~}vfv

~qy%}@ã0}vfy{|~x

I

^'

Q

^y%~

P

GF6v"xz~~$xv"{|èqy{Y{|è~v*qy%x*n`}Yy{| y_y%y%~vrxH(`+*Ny }|y%I~%~{|è~vmy%{|vf}qy{|vfx

'

(`+*${|è~v }vfy{|~xJ(

I ,Q

^}

P

*{|è~vmxv{|x=%~fz~~vfx=qf~xvffzn{|v y%{|vf}qy{|vfxf2F6v~vvfKy%y%~~}:y%èy%KE~z~xM{|4n`vf}+{|è~v~}v`vf}vf~fv.~vfTf.qy{|~v

E{|èr{|è~vqy%xn`}Yy{|

'

Eè~è*{yLI%vfx:{|Yy%ffz~:{3y%~~{|qy%wn`}Yy{|~xn{y%~v*:ã

y%xMI~Nz~vfx@{|~xfDr}vf_vf}

'

Emv3{|}@ã{|N.~NONfv{|è~vz~,$vf}R%Xz~vfx@{|~xf

ñ\{|vf} ~}|vx|v{|~4x.v`z~~qy%.vf:{y%T}vfxz~{|x

'

Emv~~^y{|vè~KE{|4vÔÓn~{my%~~{|qy%~n`}üÎ

Yy{|~xmy%~1E9v{|}~z~fv{#E9.~vfx9%Gz~vfx@{|~~P(`xvf{|£Ë2*ÔRQ{|è~vfxv3qy%xvfx

'

Emv3~vÞq~v

yY~}%{|fG% y%fz~x{|r%+{|è~xy%~~{|qy%n`}Yy{|S(`xvf{|"Ñ6*Ô!TmvÔ`}v,f~fz~~~

'

Emv

~~^y{|vè~KEò{|Yn{y%£{|è~v`z~~{|~x

g

^'

q

^y%~

p

~vÞq~~Ky.~xvfz~~ÎÏf}{|vf}r}vf~}vfxvf:{y{|:v

%{|è~vn{y%~vfK~xvfz~~ÎÏ}~vf}fRU=qy%ã

'

E9v3~}vfxvf:{y4Ôèqy%}|y%{|vf}VN^y{|%{|è~v3^y%xvWEè~vf}v3x|z~è

y~xvfz~~ÎÏ}~vf}èqy%xyN}vf~}vfxvf:{y{|PE{|èK{#E9Nf~x@{y%{{|è~}vfxè~~x

(6)

uv.I~fv,~z ~xvfz~~ÎÏf}{|f}v_(`üÉ¹ã;(üÈ_ô:ßa`2*cbwÉ¹ãd(üÈ_ôe`:Öe*èqy%~{|}vKÈ_á2*vfx@{Yy%:{|vfqy%:{

wz~ z~x|y%vKfz~}|y%:{vf0y%~vK"y*~ffxw+êm..vY{|zn{f}{|f}v

'

fvK.I~fv.cy%{,:{|vf}@:vf~}

z~~v3%y%zqy¹{

g ( a )

~v3y4$vf}@`}Yy%~fvwz~~vy%{|

a

xvfKz~£${9~vIz~v3~z~xRzK.~x f.~vÔÓnvLbXf~~z~{vf6zn{|}v.£:{|}I~z~}v~vzIÓ6xvfz~x

q[g(a)]

^v{

p[g(a)]

y%~$vffx}vfx$vf{|ëÎ

vf.vf{4xvfz~xw~~OfDf}vf~fvYv{4~vY~}`f}vf~fv%+êmvfzIÓÎÏfmx:{,~vfx@{|~fx,r~}vf~~}vYvf2f.n{|v

vfx+cy%{|vfz~}x w.~}ffx

'

w~fvf}@{|{|z~~vRv{mw~~{|vf}.qy{|xz~xfvfn{|~vfx w:{|vf}@:vf~}+qy%~x

~vfxhg@z~vf.vf:{|xvf{|vf}.vfx3w~~OfDf}vf~fv(`}vfy{|%

I

*v{~v~}`f}vf~fvi(`}vfy{|

P

*$}@{y%:{

xz~}~vfzIÓ*y%{|~xRz~vff~z~vfxf

uv,x@ãIx@{|f.v}vfy{|~~vfG~v,~}`f}vf~fvfx9(`xf}fwj*y%xxIfy%z.~fv4~z~xvfz~~ÎÏf}{|f}v4cy%{

:{|vf}@:vf~}

'

6lk%{|*~vfx}vfy{|~x

I

^v{

P

^' z~~v"}vfy{|

Q

~{|v*~v*~}`f}vf~fv"cy%~vS(`vf fv xvf~xzwRxfy%{Ywz~~v*~}`f}vf~fv*Yy%{y%~vm*,z~}vnq{|v*z~~v"y%,~zo{|

'

z~~v*è~fx{y{|

vf:{|}vx{|zqy{|Yw~~OfDf}vf~fvv{9~v~}`f}vf~fv3x@{|}{|v%~êmvx@ãIx@{|f.vxv~}fxvf:{|v3xz~x9y`}.v

xz~%y%:{|vqp



 



 



aIb ⇐⇒ q[g(b)] ≥ g(a) − g (b) et q [ g ( a )] ≥ g ( b ) − g ( a )

aQb ⇐⇒ q[g(b)] < g(a) − g(b) ≤ p[g(b)]

aP b ⇐⇒ p[g(b)] < g(a) − g(b) p [ g ] ≥ q [ g ] ≥ 0 q [ g ( a )] − q [ g ( b )]

g(a) − g(b) ≥ −1 p[g(a)] − p[g(b)]

g(a) − g(b) ≥ −1

(üÈr*

s£{|vfxf}fwTyNz~~vx@{|}z~{|z~}v~v~xvfz~~ÎÏ}~}v9(`üTÉ_ãv{ut~Iv9(üÈ_ôe`:ße*M*Ô

uy.f~x@{|}z~{|*wz~"~xvfz~~ÎÏf}{|f}v}vIvf:{3y%~x.~Þq~}v3{|}~v{~v`~{|~x(

g

^'

p

^'

q

^*Ô ^à ^y%~x v^y%xmwz~Yf}{|f}v~Þq~$qy%}Mz~~v`~{|

'

vfxM$vf}@`}Yy%~fvfx x:{9~vf.~Þq~vfxmv{m

vÔÓnx@{|v4~z~xvfz~}x{|vfè~~z~vfxvv.^y%fvfx3$z~}xTffÞqvf}vfx%y%vfz~}x~vfx~vfzIÓ"xvfz~x$z~}Ôèqy%z~v

y%{|£~vvf~xvf,~v

A

êmvf$vf~qy%:{

'

Twvfx@{Rqy%xm}|y%}vz~vè~.Nvw{|z~~vx{mfn`}:{|4~vfx9^y%xmqy%~x9vfxz~vfx

wvfx@{rqy%x£vf.vfxz~}v~v ~Þq~}KfvfxK{}x`~{|~xfhwÏ$vfzn{rqy%}KvÔÓnvf.~vz~/{|}v ~z~x

cy%fvz~z~xqy{|z~}vf=~v}|y%~vf}vfx3y%{|~xx(`x@{|}z~{|z~}vw}~}vK*~zn{yk%{z~vwy{{|}~z~vf}z~~v

$vf}@`}Yy%~fvYè~OfD}fvKy%zIÓ y%{|~x4~v

A

^Ì z~x,~z~x,:{|f}vfxx|%~xfm"~vfzIÓ f:{|vÔÓI{|vfxqy%~x

vfxz~vfx£vfx@{xznvf:{f~~z~{Nxvx{|z~vf}Rvfr~}|y{|z~vqp

z

êm:{|vÔÓI{|v

◦

È{pQ.~x$xvwz~Yvf~xvf,~v~}ÔÎÏ~Þq~qwy%{|~x

A

^' }|y%~fvfx ~vy3.~x

$~~vy.vfvfz~}v

'

y^vfzx|y%~xMvÔÓ)|9z~9(`ü:É_ã,v{}z~~qy%}(üÈ_ôe` Ç * '

èqy%~{|}vÈ_á

qy%~xRÉ_ãYv{uTmznãIxxz~(üÈ_ô%ôË2*M*cbIqy%~x9fvf{|vÔÓI{|v

'

vfx9vÔÓ|9z~N~vf:{A/{|}vf~x~f}fx

f..vY~vI}|y%x,vÔÓ;|9z~&(`xz~xfv{v}|Nv

'

~fx~vK~vfxNy%{|~x,z~9xvKf.qy%}vf:{

{|zn{|vfx~vy,)/f.vcyLf*w.T}@{|v3z~vfvy%zn{|}vy%{|*Ô

(7)

z

êm:{|vÔÓI{|vm

◦

^Ç paQ~x$xv wz~~v fè~vfvM}~qy%vX~vfx@{|~fvm%y%z~vf}~vfx=y%{|~x~~ÔÎ fvfxx|y%}vf.vf:{ {|zn{|vfxM~Þq~vfx

'

vfx y%{|~xMxv~}fxvf:{y%:{Ry%zN`z~}Mv{m.vfxz~}v%Q.xz~~Txv

zwqvÔÓnx@{|vz~~v~}Iff~z~}vw%y%zqy{|N~Y~fz~fvwy%,~zo{|Rz~T$vf}.v{ wyafDvf{|vf}

èqy%z~v£y%{|2"z~ fè~vf vÔ{z~ xvfz~wÏmvf }fxz~{|vYz~ }|y%~vf.vf:{~vfxy%{|~x4qy%}

qy%z~v{|xz~m~vf:{

'

f v~f}v

'

/{|}vf~x~f}fvfx,f..vY~vYI}|y%x4vÔÓd|9z~(`üXÉ_ã

hLO

(üÈ_ôe`e2*

'

Évf}x

hLO

(Ç ááá2*M*Ô

=z~}mf~x@{|}z~}vz~~xvfz~~ÎÏf}{|f}vqy%~x9èqy%fz~K~vfvxR~vfzIÓf:{|vÔÓI{|vfx

'

Tvfzn{Rè~vf}è~vf}

{|zn{9wy%T}K,y%~~}fè~vf~~vf}9z~xf}fwn~v{üãITvq(

I,Q,P

*Mz~$x{mz~K~xvfz~~ÎÏ}~}vv{R4~Þq~}

vf~xz~{|v{|}x `~{|~x

g

^'

q

^v{

p

z~Dv}vf~}fxvf:{|vf{^ à y%~xRv~}vf.vf} f{|vÔÓI{|v

'

f~x~f}v

vf~xvf,~vKÞq~wy%{|~x

A

y%}xz~v

'

qy%~x.v£~vfzIÓnf.v

'

0}|y%x~~vrxz~}.vf~xvf,~v£~vfx

y%{|~x9xz~xfvfn{|~vfxRw/{|}vyafDvf{|fvfxf à y%~xèqy%fz~£~v3fvfx~vfzIÓKf:{|vÔÓI{|vfx

'

vfxmI}|y%x9vÔÓP|9z~

wy^ãy%:{qy%xvfzKw/{|}v~x@{|~z~fx

'

%r$vfzn{f~x~f}vf}z~vqp

z à y%~x.vKf{|vÔÓI{|vr

◦

^È

'

vK.%{fy%{|4~fx~vry%z~xx~vf0z~~v*y%{| ~v

A

^zw^z~~v

fy%xxv~v3I}|y%xRvÔÓ_|9z~~

z à y%~xv3f:{|vÔÓI{|v

◦

^Ç

'

v3.%{fy%{|4~fx~vz~rfè~vfr~vfè~vfv%

wÏxfvf~xz~{Xz~vmèqy%fz~,~v fvfx=~vfzIÓ4f{|vÔÓI{|vfx=vfx@{X^y%}|y%{|f}x qy%}vÔÓnx@{|vf~fvmwz~4vf~xvf~v

A

^wff.vf{|x y%~$vfxmy%{|~x+x|z~}Mvfz~vfqvfx@{m~Þq~Tz~.}~}vf%.~v{

W

Q.xz~~$xvz~vfv{

}~}vy{|3n{|vfIz£qy%}Rè~.Nvw{|z~~vqy%~xRz~~v:{|vf}|y%{|£y^vfz~rvÔÓnTvf}@{z£z~ry%{|vfz~}

:{|vf}}

Z

Qrxz~~$xv4vfrzn{|}vz~v

'

qy%~xv^y%~}v~vv{{v{|vf}|y%{|

'

Z

yN{|^y%qy%~v

~v~}ffxvf} y3qy{|z~}v~vy3}vfy{|%

I

^'

Q

^z

P

z~TvR~vfzIÓYy%{|~xMf~xffzn{|vfxmqy%~x c}~}|v

W

b~fvfff~x@{|{|z~v3fvz~v~z~xy%~$vfvf}~xRn`}.y{|~vqy%xv%

u+g@v{Y~v*~%{|}vr{|}|y^%y%vfx@{~v*~Þq~}.z~~v"~fYy%}è~v*$vf}.v{{y%:{Y~v*~f~z~}v*z~ x@ãIxüÎ

{|f.vY}vfy{|~~vfM~v~}`f}vf~fvfx(

I,Q,P

*f.qy{|~vYy^:vfvY.~fvY~z ~xvfz~~ÎÏ}~}vz~

}vf~}fxvf:{|vrn`}.y{|6~v£qyx|vKvf ~}vfqy%:{.y%~~z~9xz~}N~vfxn`}Yy{|~x4xz~~~f.vf:{y%}vfx

n{|vfz~vfxy^:vfz~r.~4z~ ~vz~vfx@{|~xTxfvfx

Z

ñ~}fxz~~v4~}fxvf{y{|"~v4z~vfz~vfx}fxz~{y{|x`~qy%.vf:{y%zIÓ

'

*.v{{|}|y.vfI~vf~fvv

qy%}@{|+z~MTvfzn{4vf0/{|}vN{|}$z~}vÔÓn~{|vf}3~vfxn`}Yy{%~x3xz~~~f.vf:{y%}vfxv{ {|}Î

~z~}|y~vfzIÓ NI~vfx3~vz~vfx@{|~~vf.vf:{1(`xvf{| Ë2*Ô43Iz~}3fvfx3qy%xvfx

'

~Þq~}|yz~ ~}%{|Ifv

wy%fz~x{|Y~vfvfxRn`}Yy{|~x xz~~~f.vf:{y%}vfx5(`xvf{|Ñ6*Ô7+nÞq

'

y^%y%:{R~vf~fz~}v

'

~~z~vf}|y4f..vf:{9n{|vf~}mvfxm`~{|~x

g

^'

q

^v{

p

~Þq~xx|y%:{Rz~K~xvfz~~ÎÏf}{|f}v3}vf~}fxvf:{y¹Î {|=~zr~xvfz~~ÎÏ}~}v%n{vIzw Ì z~x~z~xy{{y%è~vf}~x~z~xxTffy%vf.vf{NvÓ~y%.vfrwz~r^y%x

qy%}@{|fz~vf}R.$}@{y%:{~:{~z~x~~~vf}~xz~~v4~znvfv^y%}|y%{|f}x|y{|0pTxfy%{~v4fvfz~

õ£v3~xvfz~~ÎÏ}~}v4y%~.v{z~~v}vf~}fxvf:{y{|*y^:vf~vfzIÓrxvfz~xRf~x@{y%:{|xf

B

¦4]K¢ÔªG 3ªG¦a\

Z

¥£ § ¤ Z

ªG {]9

à y%~xNfvKz~9xz~{

'

xz~~$xv£z~vKvfxNy%Ô{~x~v

A

x:{Nz~.f}%{|fvfxfn`}.f.vf:{N

}~}v

W

^p

a _j Wa i = ⇒ j > i

⁽

a _m

^'

a ₁

~fx~vf:{,}vfx$vf{|vf.vf{y£.vfvfz~}v.v{,y£.~x

$~~v~vfxy%{|~x*Ô

(8)

3I{

M

z~~vN~vf.ëÎÏ.y{|}fv,^y%}}fv(`üDÞqz~}vKÈr*

'

}vf~}fxvf:{y%{vfx3~}`f}vf~fvfx4~v

Z

^{|vfv

z~vy^y%xv

C _k,j

f:{|vf{(

I,Q ou P

*mxvfrz~v

Z

y,%y%~

a _k I a _j

^'

a _k Q a _j

^z

a _k P a _j

a ₁ a ₂ · · · a _m−1 a _m a ₁ I

a ₂ P I

a _m ₋₁ I

a _m Q I

J+AÈeprYy{|}fv

M

ñfvx@{y%~v

'

xvfz~vfx vfx ^y%xvfx9~vy~}vf.f}vxz~xüÎÏ~y%qy%v

'

}vf~}fxvf:{y%:{Rn`%}|.y¹{|%N~v

qy%xv

'

x:{3}vf.~vfxf!UTy%x~x~xvf}@vf}fGz~v,{|zn{|v,fnÞqz~}|y{|

(I,Q,P )

vfx@{Txx~v,xz~}

y,~}vf.f}v3xz~xüÎÏ~y%qy%v%

uvfxGn`}Yy{|~xzw:xfy%{wy%fz~f}}~:vf:{G$vf}.v{{|}vM~v }vf.~}vfx

(m − 1)(m − 2) 2

^y%xvfxMI~vfx x|y%~x+{|zn{|v`x+$xvf}my%zn{y%:{M~vz~vfx@{|~xMzw~ãNy~v^y%xvfxm}vf.~}fuy3Yy{|}fv

M

y%~xmf.~{|fvKqy%}

I ,Q

^z

P

qy%~xNèqy%fz~~v£~vfxN^y%xvfx.~{}vnq{|vf}Ny*cyLf ~:{

Z

f.qy%}v3vfx~vzIÓ*y%{|~xRf~fvf}~fvfx^

=z~}R$zn}}vf~}fxvf:{|vf}z~£{|vfx@ãIx@{|f.v~v~}`f}vf~fv4qy%}Rz~r~xvfz~~ÎÏf}{|f}v

'

$cy%zn{v{

wxzvN{z~vv3x@ãIx@{|f.v9(

I,Q,P

*9y%~xwn{|vfzrx{z~r~xvfz~~ÎÏ}~}v%

Ì z~xM..vf~fvf}~x+qy%}+}|y%~$vfvf}Xfvf}@{y%~x+}fxz~{y{|xX`~qy%.vf:{y%zIÓ}vfy{|`x+fv{{|vx@{|}z~ÔÎ

{|z~}v(`ü$É_ã£v{t~I%v(üÈ_ôe`:ße*

'

+}%{v{t~I%v(üÈ_ôô:ße*

'

ÝGxzI%xv{t~Iv1(üÈ_ôôe`2*M*Ô Ì z~x

:{|}I~z~}~x+vf~xz~{|vz~~v~znvfv^y%}|y%{|f}x|y{|N~vfxm~xvfz~~ÎÏ}~}vfx `~~fvxz~} y3f~~{|

~vN.~%{|~v

'

fvNz~M~z~x$vf}.v{{|}|yKwvÔÓn~{|vf}y%z.vfzIÓn`%}Yy¹{|%~vNqy%xv.v{~%~

~v}f~z~}vv~~}v3~vz~vfx@{|~xxz~~~f.vf{y%}vfx$xvf}

Z

A

%&

ýüû;ýù û

û

=z~}~}fxvf:{|vf}z~~v+~}|v.f}v+^y%}|y%{|f}x|y{|~vfx~xvfz~~ÎÏ}~}vfx(`ü_É¹ãv{t~cI%v(üÈ_ôe`:ße*M*

'

~z~x}|y%~$vf~xRz~v)p

a(P ∪ Q)b ⇐⇒ aP b

^z

aQb aQ ⁻¹ b ⇐⇒ bQa

a(I ∪ Q ∪ Q ⁻ ¹ )b ⇐⇒ aIb

^z

aQb

^z

bQa

K¯:î

¾

³\¶¹³`¿

¾!»a

A

⁶ ^¡ ^¢)£lV ^¡¤ ^Vy¥ ^¡ ^§¦6¨ª© ^¡ ^¦6«e¬ ^Ma® ^2¡ ^+¯ ^5¢ ^+V°

¢9

M±

2¡

+¯

A

¤

a

¡A¤

OL

²

¡

£ ¤ ¡

I

^³¤ ^¨ª´AM ^+¯ ^¡µ ^¢9¨ ^¤ ^¥ ^¶

Q

P

^³ ^¡µ ^¢9¨ ^¤ ^¥ ^¡

·

{

¤ ¸

VW¹

I, Q, P

^º ^¡ ^¸ ^¡ ^¦ ^° ^¤ ^¦ ^¤ ^¡ ^¡ ^V¢9 ^¡ ^V ^¡ ^¸ ^¤ ^¸ ^¤ ^¨#¨ ^¡

P r ₁ , . . . ,P r ₈

^¡ ^°

¯

#

¡W¡

¯ ¨ ¤

©J¨

¡³

∀a,b,c,d ∈ A

^³

(9)

»;¼

¤ ¤

¨#¨

¡5¤

¡ ¤

±

¡³

»

P r ₁ : Si a(P ∪ Q)b et b(P ∪ Q)c et aId, alors non{cId}

»

P r ₂ : Si aP b et bP c et a(I ∪ Q ∪ Q ⁻¹ )d, alors non{c(I ∪ Q ∪ Q ⁻¹ )d}

»;¼

¤

¸

¤

¨#¨

¡

¦6¨y¦

±

+¯

¡³

»

P r ₃ : Si a(P ∪ Q)b et bIc et c(P ∪ Q)d, alors a(P ∪ Q)d

»

P r ₄ : Si aP b et b(I ∪ Q ∪ Q ⁻¹ )c et cP d, alors aP d

»

P r ₅ : Si aQb et bIc et cP d, alors aP d

»

P r ₆ : Si aP b et bQc et cId, alors aP d

»

P r ₇ : Si aP b et bIc et cQd, alors aP d

»

P r ₈ : Si aIb et bQc et cP d, alors aP d

UTy%x~x3~xvf}@vf}z~vNfvfx~}~}{|fxy~$}@{|vf:{~vfxn`}Yy¹{|~xxz~}3vf:{|vfz~vNfvf}üÎ

{y%~vfx~vfx^y%xvfx~vyYy{|}v

M

Tuvfx~}~}{|fx}vfx@{|}{|vfx(

P r ₁ ,P r ₂

*9~v$vf}.v{{|vf:{qy%x

~vf~fz~}v~}vf{|vf.vf:{~vfx}vfy{|%~xRYy%xR~zn{yk%{~v}vfx@{|}vf~~}vvèqy%.r~vfx$xx~vfxf

=y%}f{|}v

'

vfx~}~}Ô{x~f~z~{|vfx4Tvf}.v{{|vf{wy%$zn{|}3~}vf{|vf.vf:{,Kz~~v.}vfy{|~v

~}`f}vf~fvz~~z~v%

ÝGzn{|v`x

'

{|vfvfxz~vfvfx,~}~}{|fx4x:{4`}z~fvfx

'

vfz~}zn{|x|y{|x@ãIx@{|fYy{|z~vY$z~}

}:y%~xvf}XvmÔè~ëÓ,~vfx+z~vfx@{|~xM$xvf}+wvfx@{ qyxXcy%fv% à vR~z~x

'

fv{{|v9`},z~y{|4~vR~}vf~

qy%xvfrf.n{|v3y,~}fxvf~fv4~v}~}v

W

^' ^w^õ£{|f}M/{R~zr}fxz~{y{xz~y%{(`üqño{h½3z~~vfx ( Ç

áánÈr* qy%v4Ö%Ë2*m$v^y%z~fz~r.vfzIÓ£y%qy%n{|Tz~}}:y%~x|y{|~zrz~vfx@{|~~vf.vf:{^

A² ¾

" ýüý ÿ!+ùMÿ

wù~úüû

ú

þ¿+þ

ûIý

a ùù~ý

à

y%~x9fvz~$xz~{

'

~z~xm:{|}I~z~x~x z~~vè~f}|y%}è~vvf:{|}vvfx }vfy{|~xM~v~}`f}vf~v

'

z~v

~z~x,{|}|y%~z~x~xvf0~xy{z~vÀpXy"}vfy{|%2~v£~}`f}vf~fv£x@{|}{|v

P

vfx@{.~z~x,`}@{|vz~v£y }vfy{|K~v~}`f}vf~fvcy%~v

Q

z~vfvÔÎÏq/f.v~z~x9`}@{|vz~vy,}vfy{|Kw~~OfDf}vf~fv

I

K¯:î

¾

³\¶¹³`¿

¾ Á

³AÁCÂÃ§ÄRÅÆÅMÂÃÇÄ!ÈiÉdÂÃGÂRÆyÂÃÅMÈSÊË

Ì

h¦

R

¨

¡

¢)£lV

A

^¡¤ ^Vy¥ ^¡

¦6¨ª©

¡

V

¡x¤

OL

²

¡

I

^¶

Q

P

^¶ ^2¡ ^¦ ^¤ ^¡ ^¥ ^xOi± ^¦ ^² ^¦6x¢ ⁾ ^¡ ^¡ ^L ^¡^« ^#

¯K

¡

°ÍL°

¯K

¡

¦4Î

¤ ¦ ¤

W

^¦6 ^¡ ^6±^² ^¡ ^¦6

A

^¡ ^¶¥ ^¥ ^¡ ^a ^=Vu^¤ ^¸ ^V¹

a,b,c

^º ^¦4Î^6± ^² ^¡ ^¯ ^¨ ^¤ ^©

aWb

bWc

^¶ ⁹ ^¤

a

c

^¤ ÔL ^² ^¢ â ^¡ ^2¡¡ ^« ^¤ ^#{¥ ^WO ^¸ ê¡ ^« ^¤ #5¦6±+O

¡

¥

M

¡

#

h

¤

9¹r¶h£

º

¹£c¶A±

º

ÏÐ ¯¿T·¹ïI²6Å

»a

A

^¡ ^¢)£lV ^¡¤ ^Vy¥ ^¡ ^§¦6¨ª© ^¡ ^¦6=«2¬ ^Ma® ^2¡ ^+¯ ^C¢ ^+V°

¢9

M±

2¡

+¯

A

¤

a

¡A¤

OL

²

¡

£ ¤ ¡

I

^³¤ ^¨ª´AM ^+¯ ^¡µ ^¢9¨ ^¤ ^¥ ^¶

Q

P

^³ ^¡µ ^¢9¨ ^¤ ^¥ ^¡

» ¹

º)³

A

^¸ ^hÑ ^¤ ^C¢ ^¦4Î ^¤ ^¦ ^¤ ^{± ^¢ ^¸ ^V

W

^#¥ ^¥ ^+V ^¡ ^¥ ^¡ ^a ^§V ^¡ ^6±^² ^¡

a

^¶

b

c

^³

aQb = ⇒ aWb aP c = ⇒ aWc

( Ç *

¡

Oi±

¦

²

¦6¢

)

¡ ¡ L

¡

«

#

¯K

¡

°ÍL°

¯K

¡

¦6

W

^¸ ^¤ ^¹

I ,Q,P

^º ^¶L ^¤y¡ ^± ^¡

¤

a

¡{¤

OL

²

¡

¦6¨ª©

¡¡

¸ ¡ ¦ ° ¤ ¦ ¤

¡¤

A

(10)

» ¹

+

ºq³

¹

I,Q,P

^º ^¡ ^¸ ^¡ ^¦ ^° ^¤ ^¦ ^¤ ^¶§L ^¤¡

A

^¸ ^JÑ ^¤ ^C¢ ^¦4Î ^¤ ^¦ ^¤ ^± ^¢ ^¸ ^V

W ⁰

¯ ¨ ¤

©

JV

¡ ¢ ¸

±yL

²

¡

¹ÌÒ

º ±

°¦6

¡¡2¡

¯K

¡

°ÍL°

¯K

¡ ¦ ¥

4O±

¦

²

¦6¢

¡ ¡ L

¡

«

#ÓA¦6

¸

2¡

¶J

¤ ¦ ¤

W

^¥ ^¯ ^¨ ^¤ ^©JV ^¡ ^¢ ^¸ ^±yL^² ^¡ ^¹ÌÒ ^º9 ^x¦ ^ÔÕ ^¤ ^x¦6

W ⁰

¥ ¸ ¤

¦6

¡ ¸ ¤ ¢

ÌL

²

¡

¦4Î6±

²

¡

¦ Ô ¨ ¤

#

¡

AªÖ

ø"ù~ý

ú

ù~ý!ý!×

ú ú

þØý `úüþ

ù ú

þÙý>WMûIý

âz~vfGz~v4x{fvfz~~vfx~vfzIÓ*f:{|vÔÓI{|vfxf~x~f}fxx(`üÚ^Èr*

'

xfy%%{

'

y%~}fxy_}fy%T}

n`}.y{| ~v"qy%xv

'

w{|vf}|y%}Yy^vf

Z

~v*cyLf2~{|vf}.~vf}Yv*f:{|vfIz

I

^'

Q

^z

P

~vKèqy%fz~~v£~vfx^y%xvfxN~vKy".y{|}|fvx{|z~fvvfIÎÏ~vfxxz~x.~vKy*xz~xüÎÏ~y%qy%vH(`üGÞqz~}vÈr*Ô

êmv{{|v{|vf}|y%{|Ny3$z~}+g@v{M~vf~x@{|}z~}vvRx@ãIx@{|f.v(

I,Q,P

*=~vR{vvRx}@{|vz~v

Z

^vg@z~v

}vf~}fxvf:{y{|D~vRxvfx+~}`f}vf~fvfx v{Mz~v

'

x~fvfyvfx@{M$xx~v

'

fvRx@ãIx@{|f.v~z~xxvA/{|}vR}vf~}fxvf:{|

qy%}Rz~r~xvfz~~ÎÏf}{|f}v%

uy~}|ff~z~}vrz~v£~z~xN~}$x~xNqy%~xNfv{Yy%}@{|fvvfx@{Yffz~v£vf0xz~~$x|y%:{Yzw9vfx@{

$xx~v.~vYRÛ{|}z~2x@ãIx@{|f.vÀ(

I,Q,P

*y%ffvfn{y%~vqy}

Z

v{,}vf~}fxvf:{y%~vqy%}4z~2~xvfz~~Î f}{|f}v

'

y%zn{|}vf.vf{~{,z~ x@ãIx@{|f.vKz~9x{z~ ~xvfz~~ÎÏ}~}v

'

z~{{|vK*cy%}vy%~qy%}|yaÜ{|}vYvf

fz~}x~v+~}Iff~z~}vM~vfx.$xx~ë{|fx

'

%vfx@{@Îü¹ÎÏ~}v+~vfxfnÞqz~}|y{|%~x~vM~}`}|v~fv z~:xvf:{

~f.qy{|~vfxRy^:vfv3.I~fv~zr~xvfz~~ÎÏf}{|f}v%

à y%~xfvfxf~~{|~x

'

xfGvÔÓnx@{|v4z~"~xvfz~~ÎÏ}~}vP(

I,Q,P

^* ^' vÔÓnx@{|vy%z~xxh(`qy%}@{|v1(`+*9~z {|è~f}f.vÈr* z~£}~}v3f.~v{

W ⁰

~vfxy%{|~x9~v

A

IxüÎü¹ÎÄIx9~z~z~vfy4f~~{|~v3.~Î {|~vRvfx@{mx|y{|x@cy%{|v%:u+n`}Yy{|%N~vqy%xvy~}ffxf.vf:{ {|ffz~v~vcyLfYy%~~}fè~vf~~vf}

fy%zNvfzIÓ*}~}v

W ⁰

qy%}@{|}~v}~}v

W

êmv~vf}~vf}K}vfx$vf{|v vfxK.~^y{|~xH( Ç *

IxüÎü¹ÎÄIx~vfx3fz~~vfxwy%{|~xf~xffzn{|:vfxfwÏ=xfvf~xz~{3z~v

W

~v,$vfzn{3~OfDf}vf}~v

W ⁰

^z~v

qy%}~vfx$vf},zn{y{|~xwy%{|~x~ffy%}fvfx~~OfDf}vf{|vfxfwÏ~ffz~v4~vfv4z~G~}fff~v,z~v4y

f~x@{|}z~{|N~z.x@ãIx@{|f.v(

I,Q,P

*=$vfzn{/{|}vf~~z~{|vRvf.xz~~$x|y%:{

'

y3~}}

'

z~vfvx@ãIx@{|f.v

f}Þqv.yKf~~ë{ ~v..~%{|~v4IxüÎü¹ÎÄIx3~vN}~}v

W

xxz6~vNn`}.y{|~v.qy%xv%3I

:{|vf}|y%{|Ky%~xwf~~z~{|vTvf}.v{wy%Tzn{|}z~£x@ãIx{|fNvz~

'

vfDvf{|vf.vf{

'

~v3Iv3qy%x

fv{{|vf~~{|

'

vfz~ëÎÏfTxvf}|y4z~~xvfz~~ÎÏ}~}vx(`qy%}@{|v(`+*X~zY{|è~f}f.v4Èr*Ô3IDy%zYf{|}|y%}vvf

fz~}x~v~}Ifvfxxz~xzry%zK{|vf}.v~vfvfz~ëÎÏfDyf~~{|Kvfx@{Ifvxp

z à

y%~xXvmf:{|vÔÓI{|vR

◦

^È

'

y^%y%:{+~v9f~fz~}v9.$xx~ë{| ~v9}vf~}fxvf:{|vf}+vfxX~}`f}vf~fvfx

~v

Z

qy%}z~~xvfz~~ÎÏf}{|f}v

'

%xvf}|yR~ffvfxx|y%}vM~v+f}Þqvf}z~vMvfxwIy{|%~xwf~x@{y{|fvfx~v

$vfznvf:{Rqy%xJ/{|}v.~fvfx qy%}mx.~vfxM$vf},zn{y{|~x wy%{|~x ~ffy%}fvfx9~~OfDf}vf:{|vfx

qy%~xn`}.y{|~vqy%xv%

z à y%~xvf{|vÔÓI{|v,

◦

^Ç

'

"$z~}}|yY.Nf~y{|vfNvf{f~fz~}v,Y.Txx~ë{|~v,}vf~}ÔÎ

xvf:{|vf}Gvfx~}`f}vf~fvfx=~v

Z

qy%}z~~xvfz~~ÎÏf}{|f}v ^y%}y9f~fvfn{|~v fè~vfv+vf:{|}|yaÜ~v

~vf:{|{|4~v

W

^v{

W ⁰

^bwxXfè~vfvy{|N~vfffz~v

'

fv{{|v.$xx~ë{|4~v~{3qy%x

xv~}I~z~}v%

êm~x~f}~xyY^y%xv,x{|z~fv,~v

k

^' f~~v

j

⁽

k > j

*qy%~xy.Yy{|}fv

M

b$xf:{|vfIz

C _k,j

^' 2z~x@{y%~vz~vff~z~v ~v"y2~}ff~z~}v{|}|y%~z~{fvz~v x|y%{K}vfy{|vf.vf:{K2y }vfy{| ~v.~}`f}vf~fvYz~ v

a _k

^v{

a _j

3IMfv{{|v.}vfy{|y£Ý~/{|}v.~{|vf}.~fv

'

C _k,j

^~}vf~

z~~v3~vfxy%vfz~}x

I

^'

Q

^z

P

[3I~

'

{|}x9^y%xx{Txx~vfx5p

(11)

z

wÏ~~{|vf}.qy{|`}@{|vPp

C _k,j =??

{|}|y%~z~{z~~vY~}|y%~fvNf.~{|vNzqy%:{y%zf{|vfz

~vy,^y%xv%

z

wÏ~~{|vf}.qy{|cy%~vX~vM{ÏãI$v

+

^p

C _k,j =?+

{|}|y%~z~{vXcy%{z~v yR^y%xv ~v Tvfzn{=f:{|vf~}

z~v

Q

^z

P

z

wÏ~~{|vf}.qy{|cy%~vM~v {ÏãI$v

−

^p

C k,j =?−

{|}|y%~z~{GvMcy%{Gz~vmy^y%xvm~vm$vfzn{Xf:{|vf~}

z~v

I

^z

Q

ñ~x

'

{|zn{y%zr~~vy,~}Iff~z~}v

'

C _k,j

~}vf~rxvfx%yvfz~}xqy%~xvf~xvf~vxp

Ω = {I,Q,P ,? − ,? + ,??}

K¯:î ¾ ³\¶¹³`¿ ¾ ×BÞ

¡

¦6¨

¤ ¡C

¡c

#x¦6Àß

f

^ß±y ^¡ ^¡ ^¦6{O« ^¤ ^¢9 ^³

(i f+1 ,i _f ), . . . ,(i h+1 ,i _h ), . . . ,(i 2 ,i ₁ ) avec i _h+1 > i _h pour h = 1 . . . f

·

¡

#J«

¤

¢9¨c

¸ ¤

V

¡ ±

#

R2¡

¦6q±

¡

±y

¡ ¡ ¡

A

¸2¸

V¨±®Là

¤

OL

²

R

+V9¹

f

^¡ ^JO

áL

¤

¦6O9±®Là

º Þ

ª#{±®Là

5

¡

G¦

#

¡

2¡

°¦

á

LV

¡

i _f+1 = f + i ₁

^¶G ^¤ ^¢9 ^G¦

¡

i _h+1 = h + i ₁

^¸R ^¤

h = 1 . . . f

âÆÅI²6Ø=Â`Å

»a

A = {a ₁ ,a ₂ ,a ₃ ,a ₄ ,a ₅ ,a ₆ ,a ₇ }

·

¡

#ã«

¤

¢9¨

¸ ¤

VC±

#

R

¦6

¡

±y

¡ ¡

(6,4),(4,3)

(3,2)

^¡ ^5±®Là ^¤ ^OL^² ^R ^+V

¦65

áL

¤{ä

·

¡

#«

¤

¢9¨

¸ ¤

V±

¦6

¡

±y

¡ ¡

(6,5),(5,4)

(4,3)

^¡ ^±®RLà ^¡ ^2¡ ^°

¦ á LVq¹

#¨

(6,3)

^º ^¥ ^¦6¨m£ ^#x

i _f ₊₁ = 6

^h¥ ^¡ ^5# ^¤ ^¢ ^x

i ₁ = 3

ÉvfYy%}z~~xzwz~~vèqyaÜ~v*xz~xüÎÏ~y%qy%vrvfx@{Kf.~{|vf.vf:{Y~Þq~v"qy%}Yy6~}vf.f}v

^y%xv

(i f+1 ,i f )

v{y,~vf}~f}v^y%xv

(i 2 ,i ₁ )

R7+v3xvf}|yN~%{|fv

(i f+1 ,i ₁ )

êm.n{|v{|vfIz*~v4ycyLf*~:{rIvf:{~v~}ffxvf}v~}|%z~vf.vf{~v4yN~}Iff~z~}v

'

$vfzn{.~{yxvf},vf0vÔÓn~{y%:{

'

$z~}{|zn{|vK^y%xvS(

k,j

^* ^' y"ÔèqyaÜ~vKxz~xüÎÏ~y%qy%vÀ(

k,j

^*,z~

~f~zn{|v,vf

i _f+1 = k

v{z~Gxv{|vf}.~vvf

i ₁ = j

!7+"vfDv{

'

yNf~~{|r~v4.~%{|~v3{y%{

xz~~$xfv,:f}Þqfv4IxüÎü¹ÎÄIx~v,}~}v

W

^' yY^y%xvP(

k,j

*~{f{|vf~}z~~v}vfy{|%"y%z.~x y%z~xxT`}@{|vz~vy3~z~xM`}@{|v~vfvfvfxMz~$x:{m~}fxvf:{|vfx9xz~} fv{{|vèqyaÜ~vxz~xüÎÏ~y%qy%v%6Q

$vfzn{~~~f~zn{|vf}y~}ff~z~}vvfr}vf.~xx|y%:{y,~vf.ëÎÏYy¹{|}fv

M

f..vxz~{5p z

C _k,j = P

xyèqyaÜ~vxz~xüÎÏ~yqy%vq(

k,j

*9f.T}@{|vy%zr.~x9z~

P

z

C _k,j = ?+

xyèqyaÜ~vxz~xüÎÏ~y%qy%vq(

k,j

*9~vf.$}@{|vqy%x~v

P

Yy%xy%zr.~xRz~

Q

z

C _k,j = ??

xy,ÔèqyaÜ~v3xz~xüÎÏ~y%qy%vq(

k,j

*m~vf.$}@{|v3z~v~vfx

I

(12)

¥K¤ìë)]K¤¦wª«\ ZPZ ¤§ ¤ Z ª

uvfx+n`}Yy{|%~x=xz~~~f.vf:{y%}vfxX~vf:{+~z~x+Tvf}.v{{|}v9~vRxz~~x@{|{|z~vf}

I

^'

Q

^z

P

^xvf

v4^y%x3Y{|z~xvfxT:{xw:{|vf}}:y{|*z~GÞqz~}vf{3qy%~xyY~vf.ëÎÏ.y{|}fv

M

y%~}fxy^:}

f.~{|fvf..v~~z~fëÎÏ~vfxxz~xfT+yLf~xüÎÏ~z~xR,z~~v3{y%$v3z~vff~z~v~v3y4~}Iff~z~}v

v{9f~x~f}~xmz~~v^y%xv

(k,j)

~:{9vf:{|vfzcy%{my%~qy%}|yaÜ{|}vz~~v~~{|vf}.qy{|%w

à

fx9}x

zwz~~v4n`}Yy¹{|£xz~~~f.vf:{y%}v3$vf}.v{~v}f~z~}v9(`qy%xxvf}wz~~v~~{|vf}.qy{|`}@{|v

3z~~vR~~{|vf}.qy{|4cy%~vK*zN~vRxz~~~}.vf}X~~{|vf}.qy{|%,qy%~xMy^y%xv

( k,j )

^' ^$vfzn{

è~vf}Ôè~vf}4~}qy%vf}mfv{{|v3n`}Yy¹{|YvfK{|z~~y%:{9xvfxR}f$vf}fz~xx~xRqy%~x9wy%zn{|}vfxR^y%xvfx9~v

cyLf£}vfxTvf{|vf}y4f~~{|~v3.~%{|~v%~êmv{{|v~}qy%:y{|Tvfzn{$vf}.v{{|}v3~v3}f~z~}v

zKxz~~~}.vf}9~vfxR~~{|vf}.qy{|~xmz~wxz~~xx@{|vf:{qy~xRwy%zn{|}vfxR^y%xvfxfTuvfx9{y%~vfx9~v.I~ëÎ

Þq^y{|~xM~}fxvf{|fvfxmvfxvf{|YËnÈ{ ~}ffxf.vf:{m$z~}Mg@v{ ~v.v{{|}vvfYI~v~fv{|zn{|vfx

fvfxN}f~z~{|~xz xz~~~}vfxx~xNxvf y*qy{|z~}vK~vKn`}.y{|2xz~~~fNvf{y%}vn{|vfz~v%

Ì z~x{|z~~vf}~xvf~xz~{|v(`üÚËnÇ *R~vfzIÓ*.~vfx~vz~vfx@{|~~vf.vf{~v

Z

~:{*.:{|}vf}|y

zwx9`z~}~xxvf:{~vfxn`%}|.y{|~x9xz~~~f.vf:{y%}vfxqy%}@{|fz~f}vf.vf{R}è~vfxf

Öu í

§>Wüýûý

î

ú#ïÿ!

ú þû

=z~}~}fxvf{|vf}4fvfx4{y%~vfx~vY.I~Þq^y{|~x

'

6~Þq~{,vfx{Nf~vfx4xz~%y%:{|vfx4~vYyr~vf.Î

Yy{|}fv

M

(\}9Þqz~}v

Ç

*p

z

R[k,j]

}vf~}fxvf:{|vNvf~xvf,~v,~vfx3^y%xvfxy%~qy%}@{|vfqy%:{y%z}vf{y%~v,~Þq~Xqy%}vfx^y%xvfx

(k,1)

^'

(k,j)

^'

(m,j)

^v{

(m,1)

z

T [k,j]

}vf~}fxvf:{|vrvf~xvf,~vK~vfxN^y%xvfx.y%~qy%}@{|vfqy%{.y%z {|}y%~vY~Þq~Rqy%}vfx^y%xvfx

(k,j)

^'

(j + 1,j)

^v{

(k,k − 1)

T[k,j]

j

k

TB[k]

R[k,j]

TH[j]

j

k 1

m

J+A Ç piðD~vfxy%xxffvfxy^y%xv9(

k,j

*mqy%~xy~vf.ëÎÏ.y{|}fv

M

(13)

» ·

C±

#

R

¦4Î

C±y

¡

W

¸2¸

¤

#

ãÍ

R[k,j]

^2¡ ^¦ ^R ^uO ^L^¤ ^C¦6O ^¤ ^OL ^² ^¤

a _k 0

a _j 0

¯

±

k ⁰ ≥ k

j ⁰ ≤ j

» ·

5±

#

R

¦4Î

C±y

¡

W

¸2¸

¤

ãÍ

T [k,j]

^2¡ ^¦ ^R ^uO ^L ^¤ ^C¦6O ^¤ ^OL ^² ^¤

a _k 0

a _j 0

¯

±

k ⁰ ≤ k

j ⁰ ≥ j

R[k,j]

a _j a _k

T[k,j]

TH[k,j] TB[k,j]

J+A$ËprÉvf~}fxvf{y{|£~vfxNf~vfx

=z~}g@z~x@{|Þqvf}mvf:{|vfzK~vfvfxm{y%~vfx v{9vcy%{ zwvfvfxm~}vf~~vf:{Rvff.n{|v{|zn{9fvz~v

yf~~{|£~v.~%{|~v$vf}.v{~v~f~z~}vwz~*xz~~~f.vf:{wn`}Yy{|%

'

w~z~xcy%zn{

Yy%:{|vfqy%:{9{|vf~~}v3y}vfy{|Hvfx@{y%z.~x9y%z~xx$`}@{9z~v2,vf~xvf,~v

Ω = {I,Q,P ,? − ,? + ,??}

v{f~~fvf}xz~}fvfxqy%xvfxz~r~zn:vfy%z*}fxz~{y{^

êmv{{|v3vÔÓI{|vf~xKvfx@{R~Þq~vqy%}9y}vfy{|Y~qy%}v

Φ

z~Dvfx@{Rf}Þqfvqy%}9vf%z~~v

( ω,ω ⁰ )

wff.vf:{|x~v

Ω

xv{xvfz~vf.vf:{x§p

z

y.~x`}@{|vN~vfx}vfy{|~xz~v.}vf~}fxvf:{|v

ω

vfx@{4y%zN~xy%z~xxX`}@{|vz~v.y.~x

`}@{|v3~vfx}vfy{|~x9z~v}vf~}fxvf{|v

ω ⁰

^b

z

y,~z~x9`}@{|v3~vfx}vfy{|~x9z~v}vf~}fxvf{|v

ω

vfx@{y%z£.~xRy%z~xx|w`}@{|v3z~vy,~z~x9`}@{|v

~vfx}vfy{|~x9z~v}vf~}fxvf:{|v

ω ⁰

Xy%} vÔÓnvf.~vpxvf:{

ω =?+

^v{

ω ⁰ =??

by.~xM`}@{|v~vfxm}vfy{|~xMz~v}vf~}fxvf:{|v

ω

^vfx@{

Q

v{fvfv~v

ω ⁰

^vfx@{

I

bTy.~z~x`}@{|v~vfx}vfy{|~xz~v4}vf~}fxvf{|v

ω

^vfx@{

P

v{fvfv~v

ω ⁰

^vfx@{

P

bqfvz~~%~~v

ω Φ ω ⁰

êmv{{|v}vfy{|}nqvÔÓnv

'

y%:{|x@ãI.{|}z~vv{£{|}|y%~x{|v~Þq~{rz~}~}vqy%}@{|vfxz~}

Ω

êmvfz~ëÎÏfXvfx@{}vf~}fxvf{|.qy%}v}|y%~è~vN~vNyÞqz~}vNÑS(`Tz~}x.~ëÞqvf}vN}|y%~è~v

'

vxy%}fx~v

{|}|y%~x{|I{|w:{qy%x{|~vfxx~fx*Ô

P ?+ ?- I

??

Q

J+AqÑp*u+}~}vqy%}@{|vf

Φ

(14)

}vfy{|vKy%z f:{|vfz0~v£y*^y%xv

( k,j )

Tvfzn{.f~~z~}v£".I~Þqvf}P(`vf ~}vfqy%:{.vf f.n{|vKy f~~{|K~v.~%{|~vK* v3f:{|vfz*wz~~v^y%xv

(k ⁰ ,j ⁰ )

qy%~xvfxR~vfzIÓr^y%xxz~%y%:{|x5p È

k ⁰ ≥ k > j ≥ j ⁰

^' y%zn{|}vf.vf:{3~{q(

k ⁰ ,j ⁰

^*

∈ R [ k,j ]

pD~{y%}xy^}

C _k 0 ,j ⁰ Φ C _k,j

^(`fv

z~M~ffz~vN~v.yKf~~{| ~v..~%{|~vy%~~z~fv.£yKxz~{|vNwy%{|~x

a _k 0

^'

a _k

^'

a _j

^'

a _j 0

*Ô

Ç

k ≥ k ⁰ > j ⁰ ≥ j

^' y%zn{|}vf.vf:{3~{q(

k ⁰ ,j ⁰

^*

∈ T [ k,j ]

pD~{3y%}xy_}

C _k,j Φ C _k 0 ,j ⁰

(`fv

z~X~ffz~v~vyf~~{|"~v.~%{|~v,y%~~z~fvKyYxz~{|vwy%{|~x

a _k

^'

a _k 0

^'

a _j 0

^'

a _j

^*Ô

uv.vf{|vfz~}f}Þqvf}|yry%xf.vf:{z~v.xMyK^y%xv

(k ⁰ ,j ⁰ )

^wy%~qy%}@{|vf:{~M

R[k,j]

^~M

T [k,j]

y%}x9z~vfv3z~vx{y,.I~Þq^y{|£y%~T}@{|fv

C _k,j

^' y,f~~{|K~v.~%{|~vwvf:{|}|yaÜ~v y%z~fz~~vNI~Þq^y{|~v

C k ⁰ ,j ⁰

Têmvffg@z~x@{|Þqv3y~}Tx{|Kxz~%y%:{|vqp

å

·¹¿TØ+¿$°^³\¶¹³`¿

¾»!

£l

¦6MÎ

« ¤

¢)L

²

±

¤c

[VA±

#

R

¦4Î

A±y

¡

(k,j)

^¶L ^¤y¡

¡

=V)±

#

R

¦6

¡

±y

¡ ¡

¦6

R[k,j]

T [k,j]

¦65OP±

¦

²

¦65¢

¯K

¡

°ÍL°

¯K

¡

¦6{MÎ

¤ ¦ ¤

W

Év:vf~~xy%zIÓK~vfzIÓ£^y%xRf~x~f}fxRfëÎÏ~vfxxz~x

'

$xzvN{~v3$xvf}9{|zn{Rwy%$}

k ⁰ = k

^qy%~x

èqy%fz~*wvfzIÓr~z~x

j ⁰ = j

^' f:y%vf.vf:{qy%~xèqy%fz~*wvfzIÓ

'

Tz~}{y%~}9v3}fxz~{y{xz~y%{5p

å ·¹¿TØ+¿$°^³\¶¹³`¿ ¾ ÁÙñ[

#x¦6¢

°#¢)L

¤

±

M

MÎ

¤ ¦ ¤

W

^¡ ^¨± ^¡¡ ^¤ ^¢9 G#+V¥

³

»

¡¤

#{

áL

k

^³

C _k,h Φ C _k,h 0

¸R

¤

h < h ⁰

»

¡¤

#x±

R

j

^³

C _h 0 ,j Φ C _h,j

^¸R ^¤

h ⁰ > h

uvfx+{y%~vfx+z~qxz~vf:{ ~vR`:{Mz~vR{|}|y%~z~}vRfvfxM}fxz~{y{|xf27+v9f~fvf}~vf:{mxz~ffvfxx|vf.vf:{

v"^y%xKõ

C k,j =?−

^'

C k,j =?+

^'

C k,j =??

(`qy%~xKvxK~vfzIÓ~}vf.vf}x^y%x

'

xz~~$xv z~v

n`}.y{|,}vffz~vfvmvfx@{ fn`}.vRy%zNf{|vfz.~vy^y%xvK*ÔIêmèqy%fz~~v~vfvfx+{y%~vfx+vÔÓn~f{|v

{|zn{|vfx+vfx+.~Þq^y{|~x=z~~$vfznvf:{J/{|}vR~f~z~{|vfx+~vRn`}.y{|,y%fz~xvyÞq~vRx|y{|x@cy%}v

y,f%~~{|K~v3.~%{|~vIxüÎü¹ÎÄIx9~v3}~}v

W

7+r}vfYy%}z~vf}|y,z~vfvfx.I~Þq^y¹{~xm~v x:{§gy%Yy%x9vfrf:{|}|y%~{|£y^:vfv3f:{|vfIzr~vfx^y%xvfxf~fvf}~fvfx^

Ï ¸ µ

Â`Å

C _k,j =?−

^Ù

wÏn`}Yy{|Ky%fz~xv r~Þq^y{|~xR~f~z~{|vfx

I

^3I

?− ∈ T [k,j]

^' y%}xCp

?− −→ I

Q

^3I

?−

^z

?? ∈ R[k,j]

^' y%}xWp

?− −→ Q

?? −→?+

Ï ¸ µ Â`Å

C _k,j =?+

^Ù

CAHIER DU LAMSADE 197

Laboratoire d'Analyse et Modélisation de Systèmes pour l'Aide à la Décision

CNRS UMR 7024