https://hal.inria.fr/inria-00073536. Submitted on 24 May 2006. HAL is a ..... an approximation of the inverse of A. Moreover, let A = (v vv. \. Ly. L2 ... L{. \}}}.
A Simplex-Like Algorithm for Interval Linear Systems Olivier Beaumont
To cite this version: Olivier Beaumont. A Simplex-Like Algorithm for Interval Linear Systems. [Research Report] RR-3153, 1997.
HAL Id: inria-00073536 https://hal.inria.fr/inria-00073536 Submitted on 24 May 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published 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´ee au d´epˆot et `a la diffusion de documents scientifiques de niveau recherche, publi´es ou non, ´emanant des ´etablissements d’enseignement et de recherche fran¸cais ou ´etrangers, des laboratoires publics ou priv´es.
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
A Simplex-Like Algorithm for Interval Linear Systems. O. Beaumont
N ˚ 3153 Avril 1997 ` THEME 4
ISSN 0249-6399
apport de recherche
!#"%$& ' ( )+*,-$. (*+/021% 341 5
6 79;:= ?A@CBEDGF 8 H I%KMJ L;KON;PRQ=STLUWVYXGZ[S]\_^.K Z(\a`WZbSTL;SYc[XGZbST\a^ d K,cbe=cfZ KJ L&KMc g \_L&`WV]KhiKMc jlk \amnK Zpo(VYX d ST^ q !X `r`\ k Z d K k KMg I K k g I Ks^taurvxw!uyPzo({ k STV|vM}_}~PvM`rXaaKMc
2
'MGWaay ^yZ I SYc+`rX!`K kx Kc I \ sI \ SZ,SYc+`\_c[cfSTWVTK&Zb\ UrcbKg \_^{_K h`\aVTe I K d k X\ k cb\aVT{=S]^r VTST^WKMX k ST^ZbK k {GX!V cfeicfZbKML&c S]Z I \_UiZOUcfST^W2` k Kxg \a^ d SZ[S]\_^W^WST^WrOK k cfZOc I \ I \ Zb\ d K k ST{aK k \aL Xa^AK^g VT\_cbU k K2\!pOf p¡£¢M ¤[¡¦¥ X§`\aVTe I K d k \_^ pI STg I g \_^_Z X!ST^rc+Z I K.g \a^={_K h I UrV]V¨\!(Z I Kcb\aVTUiZ[S]\_^ cbK Zx H I KM^ X©cfSTL&`WVTK h=ª«VTST¬aK;L;KZ I \ d K^rXaWVTKMcOUrcOZb\r^ d X^WK \aUiZ[K k ST^rg VTUrcbS]\_^% \ k KM\G{aK kM Z I K g\a^rcfZ k X!ST^Z[c¨\aWZ[X!ST^WK d LX®eK+UrcbK d Zb\g \_L&`WUiZbK,Xa^ST^W^WK k ST^rg VTUrcbS]\_^\a¨pOf p¡£¢M ¤[¡¦¥ ¯ °±C²[³´ Gµ'a ST^ZbK k {GX!VV]ST^WKMX k cfeicfZbKLc cbS]L&`WVTK hXaV]_\ k SZ I L
¶Y·;¹b¸ º«»x¼ ¹¾¸ '½ ¿Tº£À«Á  ÃĦŮÆÈÇÈÉ Ç«ÊMÇ'Ë®ÌlÍ%ÌnΣϮÌnЫΣÏxÌlÌnžĦÅxÑTÒÓÐÈÔ(Õ[Ç«É×ÖÊ®Ì ÌØÇ ÙÚMÆÈÇfÌfÛ ÔpÌnÆ%Ü'Ý£ÌfÞ Õ[ÇÈÒÓÉ×ЫÌnÆ%ßÌnÔ(Õ É×ÝYà ÒÓá!ÌfÕ Ê®ÔpÒÓÅ!â'É×ЫÉ×Æ«Õxã ÑTÐ
Unit´e de recherche INRIA Rennes IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) T´el´ephone : (33) 02 99 84 71 00 – T´el´ecopie : (33) 02 99 84 71 71
$ *, Ó 4 C0
© . ( 1' | (1 1 021 3 (1#M$
( *, | (1#*() M$; ' ( )+*,M (1 5 ° ° X!^rcgK Z2X k Z[STgV]K ^W\_UrcL&\a^Z k \a^c;g\aL&L&K^ZS]V3KMcfZ&`\_c[cbS]WVTK d UiZbSTVTSTcbK k d Kxc&`\_V]eª I%KJ d k KMcg \_^{_K hiKMc`\_U k;k Kx cf\_U d k KV]Kxc&cfeicfZ KMJ L;Kxc,VTS]^ KM XaS k KMc d ST^ZbK k {GX!VTVTKMc;cbXa^rcUWZbSTV]SYcfK k d K` kKx g \a^Wª d SZ[S]\_^W^WKL&KM^_Zx3\aUrcL&\a^Z k \a^rcOZ[\aUiZ d Xa\ k d g\aL&L&K^Z,Z k \aUr{aK kx¨X.J `X k ZbS k d UW^AcfU k ª£K^rcbKLWVTK d K Of p¡£¢M ¤[¡¥ UW^8`\_V]e I%KJ d k K UWS g \a^Z[S]KM^_Z+V KM^rcbKLrV]Kcb\aVTUiZbST\a^ (\aUc+UiZbSTVTSTcb\a^rc+XaV]\ k cOUW^AXaVª _\ k SZ I L&K d K2Zne=`K.cfSTL&`WVTK hiK`\aU k d K ZbK k L&ST^WK k UW^-^W\aUW{_KMXaUAcfU k ª£K^rcbKLWV]K d K2VYXcf\_V]UiZ[S]\_^% K `rV]Urc V]Kxcg \_^Z k X!ST^_Z[KMc\_iZbKM^UrKMc,`KUr{aK^Z K Z k K&UiZbSTVTSTc K Kxc+`\aU k d K Z[K k L;ST^WK k UW^Acb\aUrcfª«KM^rcbKLrV]K d K pOf p¡£¢M ¤[¡¥Ó !s´ x ² # " ° cbeicnZ KJ L&Kxc VTST^ KM XaS k KMc d ST^_Z[K k {GX!VTV]Kxc XaV]_\ k SZ I L&K d U cbS]L&`WVTK hiK
!"# $ %&(' #) *'+,(- . !/-%0 u
"%$; '| ¨ ;$ o VT\!Z\! \ k ¬ I XacOKK^ d \a^rKST^y\ k d K k Zb\.cf\_V]{_KST^_Z[K k {GX!V'V]ST^WKMX k cfeicfZbKLc; (¡3254 ¤[¡( 6®¡£ q \ I ^ Xa^ d87 k KST^W\G{=STg I ]v:9®¡ Na¡ I X_c` k \G{aK d Z I X!ZlZ I KOgMX!VYg UWVYXGZ[S]\_^\!pOf p¡£¢M ¤[¡¦¥ Z I KOcfLX!VTVTKMcfZ \®h;Z I XGZ g\a^Z[XaS]^c3X!VTV'Z I K&cb\aVTUiZbST\a^rc¾\!3 p¡;2=¾^§Z I K;\!Z I K kOI X!^ d cfKM{aK k XaV XaV]_\ k SZ I Lc¨\aiZ X!ST^_\\ d k KxcfUrVZ c Kxcf`KMgSTXaV]VTe pI KM^Z I K d SYX!L&K Z[K k \a p¡SYcpcbL&XaV]V ®¡ 6!¡« ^Z I SYcl`X!`K kx_ K3` k \a`\_cbK(X,^rK X!VTa\ k S]Z I L pI SYg I SYcrX_cfK d \a^VTST^WKMX k ` k \a k XaL&L;ST^W Zlg\a^rcbSTcfZ[c \alX!^ S]ZbK k X!ZbST{aKc[g I KL&K pI STg I g \a^cfS d K k c(X_c3ST^W`WUiZX!^§KM^rg VT\_cbU k K,\!|Z I Kcb\aVTUiZ[S]\_^ \!( Ob (¡«¢x ¤ ¡¦¥ Xa^ d k KZbU k ^rcpX.UrcbUrXaV]VTe2K ZbZbK k ¥¨K^g VT\_cbU k K_ H I STc;X!VTa\ k S]Z I L g \_^={aK k aKxcZb\ X k d XcbUW`K k cfKZ\apZ I K.g \_^{_K h I UWV]V \apZ I K©UW^WS]ZbK d cb\aVTUiZbST\a^cbK Z Ob (¡«¢x ¤ ¡¦¥ ^©Z I STc `X!`K kxW KUrcbKOZ I K\_V]VT\ ST^W&^W\!Z XGZbST\a^%c ? Ob (¡«¢x ¤ ¡¦@¥ 4BA:2 D¢ CiB E8 (¡«¢ CW¤ E8 ¤ ¡«¢( 2F4 H¤ G I f p¡£¢M ¤[¡J¥ 4LKMi£Of p¡£¢M ¤[¡¥f¥Ó¢ pI K k >K KM d KM^W\!Z[KMc Z I K,g \_^={aK h I UWVTV K,X!VYcb\ d KM^W\!Z[K+=e§ Ob (¡«¢x ¤[¡¥ Z I K+S]^ZbK k {GXaV I UrV]V%\a Z I K,cb\aVTUiZbST\a^% H I K3ST^_Z[K k {GX!VV]ST^WKMX k cbeicnZ[KLc K¾g\a^rcbS d K k S]^Z I SYc `X!`K k X k K d K ^WK d =e;Z I K3\_V]VT\ S]^r,^W\!Z XGZ[S]\_^rc%? pN¡ 4 P O5QE ,¢[S RTQ% p¡ ¤[¡)4 ¤ ¢U¤b¡V4 ¤WOXQ ¤®¢[¤YRSQl¤[¡£¢Ql¤Z4 U@¤ O ¤
1
[
`_$ * ;Ó0 . |;$ | .*O p$; *,$.1 | . p;$&)
| . $ 1' | ;$ 1 p Z SYcl¬=^W\ ^Z I XGZ¨Z I KOcb\aVTUiZbST\a^2\!EZ I K¾` k \arV]KML (¡32F4s ¤ ¡SYc¨S]^aK^rK k X!Vr^r\!Zpg \a^={_K h% 6x¡£|o3c X k Xac KX k K3\a^rV]eST^ZbK k KMcfZbK d ST^pOf p¡£¢M ¤[¡¥ W K¾LX®eUrcbK I f p¡£¢M ¤[¡¥¨Xac¨S]^Z[K k L;K d SYXGZbKcbK ZM@ =¾KZfZbVTS%X!^ d jlk XaaK k ×~M¡` k \G{aK d Z I K\aVTV]\ ST^W;Z I K\ k KLa? bdc °=´ ° fe g CWh E8 p¡£i¢ Cr¤ E8 ¤[¡«¢¾D 2j4 ¤ ¥ kml D 2nO ¤ lpoPQE/ l 2qlHRTQ ¤ H I STclK hi` k KMc[cfST\a^ d \=KMcl^W\!Z¨V]KxX dd S k KMgÓZ[V]eZb\X,`\aVTe I K d k \a^ KxgXaUrcfK3\!CZ I KOX!rcb\aVTUiZ[K({GX!VTUWK pI SYg I Ur^ d K k VTS]^WKxc¨Z I K X_gÓZpZ I XGZpZ I K,cf\_V]UWZbST\a^.cfKZ SYcpUrcbUrXaV]VTe^W\aZ3X;g\a^={aKh2cfKZ 6G¡« r K ZUc%Xac[cfUrL;K Z I XGZ K¬=^W\ X!^KM^rg VT\_cbU k K|\!E Ob (¡«¢x ¤[¡¥ ®pI SYg I LX®e3Kl\aWZ[X!ST^WK d \ k ST^rcnZ X!^rgK =eZ I K,X!VTa\ k S]Z I L ` k \a`\_cbK d e q UWL&` !¡«|K,aST{aKX; k cnZ k KMcbUWV]Z pI STg I ` k \G{=S d KxcpX X®eZ[\&aK Z k S d \a Z I K,X!rcb\aVTUiZ[KO{GXaV]UWKxc s ° AX e "t Ob (¡«¢x ¤[¡v¥ u 2 ¢ 2rU ¡
\
] ^
Í Í ÅYw:xHy{zx
0 ' # N y
x x __i
__ x
S]_U k K;v?Q=SZ[UrXGZ[S]\_^ p I K ^.\!Z I 2 X!^ d
'# J
i
2U
X k K¾`\_cbSZ[S]{_K
4 l 2 U 2U DlOO 2 l 2 l '+# 4 2 U l 2 2U Zl+OO 22 l 2 U l O *+ # %# { 2 i '+&+ ! 2 %# + . !-> 2 E 2 ¢ 2 U ¡£¢Hl 2 l o 2 R 0
´%´
2U o 9 Z I K^ 4 O+va¢ D4L9 Xa^ d %2 R 4 OZ2F4 l 2ql Q=KMg\a^ d gMXacbK ?2 9 Z I KM^ 4v_¢ D4L9 X!^ d %2 R 4 2F4 l 2ql H I S k d gX_cfK? 2 U %2 o 9 Z I K^ 4 !!# "'"%$& !! "" ¢ 4 &! ("*!& ")! ! " " & ( ! o , o 2 U Z I K^ ,R O l , l4 ! " & ! " "/. 2 U O0,¥ 9W + S]Y9 Z I Urc l ,)lpo ,R o , o 9 Z I K^ ,R DO l , l4 ! "*( &! " ! " . 1, O@# * A@%, B 4h=A t2 ¢%:W¥Ó¢2 8E 2 ¢ 42 U ¡£A ¢ 9t2 Co ¢):W:F¥ 4 . *+ ?,8 .@A>-6B ,8C BC,DA2E J#) * @* % $ !#(- +# ,
