Further Results on Arithmetic Filters for Geometric Predicates

HAL Id: inria-00073157

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

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.

Further Results on Arithmetic Filters for Geometric Predicates

Olivier Devillers, Franco Preparata

To cite this version:

Olivier Devillers, Franco Preparata. Further Results on Arithmetic Filters for Geometric Predicates.

RR-3528, INRIA. 1998. �inria-00073157�

ISSN 0249-6399

a p p o r t

d e r e c h e r c h e

THÈME 2

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Further Results on Arithmetic Filters for Geometric Predicates

Olivier Devillers — Franco P. Preparata

N° 3528

Octobre 1998

Unité de recherche INRIA Sophia Antipolis

2004, route des Lucioles, B.P. 93, 06902 Sophia Antipolis Cedex (France)

Téléphone : 04 92 38 77 77 - International : +33 4 92 38 77 77 — Fax : 04 92 38 77 65 - International : +33 4 92 38 77 65

*+ ,#.-/

021436534798:7;53<141<7=8?>A@CBC8EDGF)H=IKJMLNJ/8?7=OCDG8EDQP%D

RTSVUEWYXZ[]\_^E`ba6Xdc6egfha6iEa6XEc

XEj(ilk9c6iEmbconpGWq)egcra6sQmVX

tu e9vXEj(tua6nWYX

wk9xbx)eguj&ybXdu X%i SVXEu i#SVXz`{}|h~hZh€[]‚iEj egqbu XYƒl„h„h[ ƒhƒ_xk9f…X%n

†A‡ˆ%‰lŠ=‹bŒ…‰…Ž `X?‘’iEa6XE`Qj“j X%i#Sb`ba6sQmVXTj e_n egcr”…XMxbu X%iEa6na6eg`2xbu egqbc6XEWYni%eg`Vna6nj n}ar`mVnar`bf_X?•VkgiEj

i%egW2xbmbj#k9ja6eg`Vn;–—Vegu‚f…X%egWYXEjua6ixbu X%y˜a6ilk9j X%nl™mVnar`bfAn pGnj XEW’k9ja6ilk9crcrpšX?•Gx)XE`Vnar”…XX?•VkgiEj_i%egW›

xbmbj#k9ja6eg`Vnilk9`œqXkl”…ega6ybX%yœqQpžjSVX_mVn Xde9Ÿ Vcrj XEu nl–RTSVXdxbu X%y˜a6ilk9j Xda6n/ Vu nj&XE”gk9crmk9j X%y¡mVn ar`bf

u egmb`Vy˜ar`bfži%egW2xbmbj#k9ja6eg`Vnl™k9`Vyšk9`KXEuu egu(X%njarW’k9ja6eg`šfhar”…X%nki%XEuja¢ ilk9j Xe9ŸjSVXd”hk9cra6y˜arj£pœe9Ÿ

jSVX_u X%n mbcrjl–“¤£`¡jSba6n/`Vegj Xh™V¥MXnjmVy˜a6X%n&jSVXdnj#k9ja6nja6ilk9coX?‘’iEa6XE`ViEpœe9Ÿo Vcrj XEu n&Ÿ¦egu/i%ehnxbSVXEua6iEarj§p

xbu X%y˜a6ilk9j X¥/arjSKk9`škgn nmbW2xbja6eg`še9Ÿu XEfhmbc4k9u(y˜a6n juarqbmbja6eg`še9Ÿ}jSVXdxegar`¨j nl–

©€ª…«)¬ ­® Š=¯ˆ… ° egW2xbmbj#k9ja6eg`k9cof…X%egWYXEjup…™±‚XEc4k9mb`klpAjua4k9`bfhmbc4k9ja6eg`N™X?•bkgiEj(k9uarjSbWYXEja6ih–

²N³;´¶µ·¸·¸µ·¹ºM»=¼}µ½l¾À¿À¿ÀµÁ´¶·ÂgÃ<ÄÅoæ²Æ»

Ç

»gÈb´¶µÉgÊ ´£Ê#Ë£ÊlÂQ̵Í%˶µÁ´N΢Ï#´ÐµÏÒÑ/µÁ˸´¶¾ÔӓÌÏ?Ñ/É=Õ=˶¾ÀÍ9Ö;Â9¼}µÁÉgÊ#´¸Ë¶Ñ/µÁÍlËNÏ#ÎÌÏ?Ñ/É=Õ=˶µÁ´×;ÓÁ¾ÀµÍgÓÁµÒÂgØ´¶ÏÙNÍdÚ.Í9¾À½EµÁ´¸Û

·¸¾ÀË<Ü%…Ý?Ý ÞMߐÊ#˶µÁ´¶Ñ&Ê#Í_×%˸´¶µµÁËÂ9ÈV´¶Ï ½l¾Ô³=µÍ9ÓÁµ?Â=Å.ÃàEá#â;Ý á%»

ãQälå¢æçèÒé¸ê/çëÒæì;ëÒéÁí¢årë?î¢îï/æ¶ð ìEì;èÒé§í4ñ¶ò‚óÁïõô)öl÷øNù?ãúãQøüûýoúGù¸ýþëÒÿhò(óÁï&íä9ñÔöQýoéMïMøoñ§æÁñ¸ëÒé £ä£ñ

ð;ÿgò%ñ§éÒé¸ëÒÿ9íNýoý! !"" #&ãQä%å¢æCçèÒé¶êMçëÒæ.òEèÒÿhñ.å¢ÿÆì;ëÒéÁíbç˜älårîÔñ$Æñ%årî¢îÔñ§é£æNçë#æ$%åæ£å¢í¢å¢ÿ&('Cé¸èÒçVÿ

¨ÿ=å)%Òñ§é§æ¶årí¢ï"

, -T )d

ˆ  `VXœW’k9`ba6UEu XšX?‘’ilkgi%X ybX€nÀk)u#k9`Vi Sbaru¡ybX%nYxbu egqbc6UEWYX%n¡ybXœxbu ^%iEa6n a6eg` `¨m˜›

WY^Eua6s¨mVX’i%eg`Vn a6nj X€mbjarcra6n XEuc6XAilk9c6iEmbcõX?•VkgiEjl–œ±dk9`Vnc6XAilkgnybX’c^E”gk9crmk9ja6eg`üybXYxbu ^%y˜a6ilk9j

f…^%egWY^Ejua6s¨mVXh™.mb` u X%i%egmbu nnp˜nj ^EW’k9ja6s¨mVXœy˜m ilk9c6iEmbcÆX?•VkgiEjeg`V^Eu XEm˜• x)XEmbjn egmb”…XE`Qj Eju X

^E”Garj ^/xk9u“cmbjarcra6nÒk9ja6eg`AybXõ Vcrju Xh–"!NX/xbu ^%y˜a6ilk9jõX%nj“^E”hk9crmV^&XE`$#egjj#k9`QjõXEj“mb`’ilk9c6iEmbcy%XEuu XEmbu

x)XEuWYXEj“ybX/i%XEuja¢ XEuÆc4k‚”hk9cra6y˜arj ^/y˜m2u ^%nmbcrj#k9jl–±dk9`Vn“i%XTu#k9xbx)egujl™…`VegmVn`VegmVn“ar`Qj ^Eu X%n n XEu eg`Vn&

cX?‘’ilkgiEarj ^Tnj#k9ja6n ja6sQmVXMybXMi%X%no Vcrju X%nxegmbuc6X“xbu ^%y˜a6ilk9jybXõi%ehnxbSV^Eua6iEarj ^MXEj}n egmVn.cSQpGxegjSVU%n#X

y%mb`VXy˜a6njuarqbmbja6eg`Kmb`ba¢Ÿ¸eguWYXybX%n/x)egar`Qj nl–

'® ‰lˆ ¬ Œ)( ˆ  \_^%egWY^Ejua6XAk9crf…eguarjSbW2a6s¨mVXh™ojua4k9`bfhmbc4k9ja6eg`þybXY±_XEc4k9mb`k%p…™}k9uarjSbWY^Eja6sQmVX

X?•VkgiEj Xh–

( ) (d,o

RTSVXkgn#nmbW2xbja6eg`Ke9Ÿ.u Xlk9c¢›¶`¨mbWq)XEu_k9uarjSbWYXEja6ih™V¥/Sba6i SKa6n&k9j/jSVX_qkgn a6n&e9Ÿi%eg`¨”…XE`Qja6eg`k9cf…X?›

egWYXEjua6ik9crf…eguarjSbWYnl™VSkgn/q)X%XE`€n XEua6egmVncrp¡i Sk9crc6XE`bf…X%yšar`œu X%i%XE`Qjp…Xlk9u nl™bnar`Vi%Xy˜arfharj#k9c.i%egW›

xbmbj XEu ndybež`VegjX?•˜SbarqbarjdnmVi S ilk9xk9qbarcrarj£p…–Y\_X%egWYXEjua6iYk9crf…eguarjSbWYnar`Q”…egcr”…XjSVX2XE”hk9crmk9ja6eg`

e9Ÿ}xbu X%y˜a6ilk9j X%n+*bj efhmk9u#k9`¨j X%XjSVXdn jumViEjmbu#k9coi%eguu X%iEj`VX%n n(e9Ÿ}jSVX_u X%nmbcrj nl™Vxbu X%y˜a6ilk9j X%n&WmVn j

q)XXE”gk9crmk9j X%y ,-&-.0/ – Ž f…X%egWYXEjua6i2xbu X%y˜a6ilk9j XmVnmk9crcrp"i%eg`Vna6nj nde9ŸTXE”gk9crmk9jar`bfKjSVX2narfh`

e9Ÿõn egWYX2k9crf…XEqbu#k9a6i2X?•Gxbu X%n n a6eg`N–¤£` WYehnjdilkgn X%nl™u egmb`VybX%y i%egW2xbmbj#k9ja6eg`VndpGa6XEc6y kAu XEcra4k9qbc6X

u X%n mbcrjl™…qbmbj“n egWYXEjarWYX%nMu egmb`VybX%y’k9uarjSbWYXEja6i&ar`¨ju e¨y˜mVi%X%nõXEuu egu n“¥/Sba6i#SYW’k%par`¨”gk9cra6yVk9j X(jSVX

k9crf…eguarjSbWYn;– Ž n n mbW2ar`bfXEuu egu›¸Ÿu X%Xar`bxbmbjMyVk9j#k˜™QjSVX&u egmb`VybX%y¡k9uarjSbWYXEja6i(W’klpxbu e¨y˜mVi%X‚k9`

ar`Vi%eguu X%iEjTu X%nmbcrjTeg`bcrp2a¢ŸNjSVX‚X?•bkgiEj/k9qVn egcrmbj X”gk9crmVX‚e9ŸNjSVX‚k9crf…XEqbu#k9a6i_X?•˜xbu X%n na6eg`ža6nMn W’k9crc6XEu

jSk9` n egWYX1¦nW’k9crc243Q™¥/Sba6i S u XExbu X%n XE`Qj njSVXc4k9uf…X%nj‚XEuu egu(jSk9jW’k%pKk9ua6n Xdar`šjSVXXE”hk9crm˜›

k9ja6eg`še9Ÿ}jSVXX?•Gxbu X%n n a6eg`N–MRTSVXdjSbu X%n SVegc6y53ybXExXE`Vybneg`KjSVXnjumViEjmbu Xe9ŸjSVXX?•Gxbu X%n#na6eg`

k9`Vy eg` jSVX¡kgybegxbj X%y i%egW2xbmbj XEu2k9uarjSbWYXEja6ih–KRTSba6na6nqkgna6ilk9crcrp jSVXYxbSbarc6ehn egxbS¨p q)XESbar`Vy

jSVX_`Vegja6eg`še9Ÿ

&6 .789

™˜¥/SVehn X‚Ÿ¦mb`ViEja6eg`€a6nTj eYkgy9vÁmVn j/jSVXk9uarjSbWYXEja6iel”…XEuSVXlkgyC™

n#ejSk9j&`VeWYegu XX Ceguj&a6n&X?•˜xXE`VybX%y¡jSk9`€u X%s¨mbaru X%yœq¨pžjSVXj X%nj/ar`Vnj#k9`Vi%Xh–

¤£jTa6nõjSVXEu X?Ÿ¦egu Xde9Ÿar`Qj XEu X%nj(j eX%n jarW’k9j X_jSVX(Ÿ¦u X%s¨mVXE`ViEp’¥/arjSœ¥/Sba6i SKu X%i%egmbu n X_j e2k9uarjS˜›

WYXEja6iœXE`bfhar`VX%nYWYegu Xœxe;¥MXEuŸ¦mbc&jSk9` nj#k9`VyVk9u yüxbc4k9jŸ¸eguWYn2a6n`VX%i%X%n n#k9up…–;:¨mVi#S k9`k9crpGn a6n

WmVnj_qXilk9uua6X%y"egmbj_qQpšW’k=<¨ar`bf€n egWYX &?>@ SQpGxegjSVX%n a6ndeg` jSVXy˜a6njuarqbmbja6eg` e9ŸMjSVX

ar`bxbmbjyVk9j#k˜™o¥/Sba6i#Sük9u XYju Xlk9j X%y craA<…X2u#k9`VybegW ”hk9ua4k9qbc6X%nl–B:¨ar`Vi%XYŸ¦eguegmbuegq˜vX%iEjar”…X%neg`bcrp

jSVXk9qVn egcrmbj X”gk9crmVXe9Ÿ“jSVX2k9crf…XEqbu#k9a6iX?•Gxbu X%n n a6eg`Vn(a6n‚narfh`ba¢ ilk9`Qjl™)SVXEu Xlk=Ÿ¦j XEuC?”gk9crmVX-Ca6n‚j e

q)X_ar`Qj XE`VybX%y kgnDC%k9qVn egcrmbj Xd”hk9crmVX-Cg–

¤£` kšxbu XE”¨a6egmVnYxk9xXEuFE±_tƄh=G£™Æ¥MX¡Skl”…Xœilk9uua6X%y egmbjYnmVi S k9`k9crp˜na6nŸ¸eguj£¥Me iEumViEa4k9c

f…X%egWYXEjua6i’xbu X%y˜a6ilk9j X%nl™.jSVXYegua6XE`Qj#k9ja6eg`þj X%njH1 ¥/Sba6i#S˜›£na6ybXAe9Ÿ&k¡S¨p¨x)XEuxbc4k9`VXI2k9`Vy jSVXYar`˜›

n xbSVXEu Xj X%nj1ar`Vna6ybXIJ9egmVna6ybX’kžS¨p¨x)XEu nxbSVXEu XI2?™oeg` jSVXS¨p¨x)egjSVX%n X%ndjSk9jdjSVXar`bxbmbjdx)egar`Qj n

¥õXEu X&mb`ba¢Ÿ¸eguW2crp2y˜a6njuarqbmbj X%yAXEarjSVXEuÆar`’jSVX/mb`barj“qk9crcLKNMMeguÆar`’jSVX/mb`barjÆiEmbq)XPOQMPRTS0UWV'X.V.Y

M

ar`[Zl›£y˜arWYXE`Vna6eg`k9cÆnxkgi%Xh–mbu_u X%nmbcrj n_¥õXEu XjSk9jl™Ÿ¦egudkžnW’k9crc}”gk9crmVX]\A™jSVXxbu egqk9qbarcrarj§p

jSk9j(jSVXu X%nmbcrj(e9ŸjSVXegua6XE`Qj#k9ja6eg` j X%nj&a6nD^_\ a6n`ba\cÆar`šk9crcy˜arWYXE`Vna6eg`Vnl™¥/SVXEu Xlkgn&Ÿ¸egu

jSVX’WYegu XAi%egW2xbc6X?• ar`VnxbSVXEu Xžj X%nj¥õXAegqbj#k9ar`VX%yþq)egmb`Vybnnmbqbcrar`VXlk9uar`;\ –d:¨xX%iEa¢ ilk9crcrp…™

¥õXegqbj#k9ar`VX%yfea\?g%hji=cõar` y˜arWYXE`Vna6eg`+ƒB1¥/Sba6i S a6n‚jarfhSQj2?™kea\]lmh%gncTar` y˜arWYXE`Vna6eg` Z˜™Ck9`Vy

ea\blmh%gLoqp\]c“ar`KSbarfhSVXEu(y˜arWYXE`Vna6eg`N–

!ok9j XEužeg`™/¥õXšy˜a6n i%e;”…XEu X%yk y˜a6n iEu XExk9`ViEp qXEj§¥MX%XE` jSVX%n XšjSVX%egu XEja6ilk9c V`Vy˜ar`bf…nAŸ¸egu

ZsrtV k9`Vy jSVXœu X%nmbcrj nže9ŸdX?•˜j XE`Vnar”…XšnarWmbc4k9ja6eg`Vnl™T¥/Sba6i#S n#X%XEWYX%y j e X?•˜Sbarqbarjžk crar`VXlk9u

q)XESk%”Ga6egu1¦n X%Xq)XEc6el¥2?–RTSba6negqVn XEu”hk9ja6eg` WYegjar”hk9j X%y kA V`VXEuk9`k9crpGn a6nl™)u XExeguj X%y ar` jSba6n

`Vegj Xh™…¥/SVehn XTi%eg`ViEcrmVna6eg`2a6njSk9j.Ÿ¸egu8Z?ruV&k9`VyŸ¸egu8Zwvyx&x)egar`Qj nLz

l

X z

g

X.{.{.{+X zwMj|

g

mb`ba¢Ÿ¸eguW2crp

i#SVehn XE`Yar`2jSVX/mb`barjÆqk9crc¶™…jSVX/xbu egqk9qbarcrarj§p2jSk9jjSVX/”gk9crmVX(e9ŸjSVX&ybXEj XEuW2ar`k9`¨jl™GXEWqeGy˜pGar`bf

jSVXžar`VnxbSVXEu X€j X%nj2e9Ÿ}zwMj|

g

”…XEu nmVnz

l

X z

g

X.{.{.{+X zwMj|

l

™“a6n~^\ a6ne]a\€oqpajVn‚'\c#™Æar`üiEc6ehn#XEu

k9fhu X%XEWYXE`¨j¥/arjS jSVXYnarWmbc4k9ja6eg`Vnl–¡RTSVXYu X%nmbcrj nX?•Gj XE`Vy j e€xegar`¨j nmb`ba¢Ÿ¸eguW2crp i SVehn XE`þar`

Å.Å Í'ƒQ„EÞÒá…

k iEmbqXh– Xšk9c6n#e xbu X%n XE`Qjœk9` k9xbxbcra6ilk9ja6eg` e9ŸdjSba6nžk9`k9crp˜na6nYj e jSVX€jSbu X%X?›£y˜arWYXE`Vna6eg`k9c

ar`Vn xbSVXEu Xdj X%nj&ilk9uua6X%yKegmbj/¥/arjS #e…k9jar`bf’x)egar`Qjk9uarjSbWYXEja6ih–

-(_ &$š #  b

RTSVX&k9crf…XEqbu#k9a6i(X?•Gxbu X%n n a6eg`YXEWq)e¨y˜pGar`bfdjSVXTxbu X%y˜a6ilk9j X/¥/Sba6i S’j X%nj n}a¢Ÿ)k‚x)egar`QjzwMj|

l

q)XEc6eg`bf…n

j ešjSVX¡nxbSVXEu Xxkgn nar`bf jSbu egmbfhS+xegar`¨j nz

lz g

{.{.{ zwM’k9`VyþjSVXžeguarfhar`N™“a6njSVXYŸ¸egcrc6el¥/ar`bf

ybXEj XEuW2ar`k9`¨j?E±_tƄhG

MPR

l%l

lmg {.{.{

g

l%l v g

lmg v {.{.{v

gl M

gl

g%g {.{.{

g

gl v g

g%g v {.{.{v

gg M

{.{.{

Mj|

ll M | lg

{.{.{

g Mj|

ll v g Mj|

lg v {.{.{=v g

Mj|

l M

Ž nÆWYXE`Qja6eg`VX%yžar`’jSVX‚¤£`¨ju e¨y˜mViEja6eg`N™Gar`žy˜arWYXE`Vna6eg` ƒ(jSVX&ar`VnxbSVXEu Xj X%njMu X%y˜mVi%X%nÆj ek9`

ar`˜›¶ar`¨j XEu”gk9coj X%nj&k9`VyAa6n/eg`bcrpže9Ÿ.WYeGybXEu#k9j X_ar`Qj XEu X%njl–XE”…XEujSVXEc6X%n#nl™˜¥MX_Skl”…Xdegqbj#k9ar`VX%y¡jSVX

Ÿ¸egcrc6el¥/ar`bf’jarfhSQj(q)egmb`Vy[E±_tƄh=G! na#" l

"%$ \]c$ l'&)(

* g

+

\-,

(.0/

{21!3-\ g%hji

X`Ve;¥ jmbu`"egmbu_k9jj XE`¨ja6eg`"j e’SbarfhSVXEu_y˜arWYXE`Vna6eg`N™Nk9`Vyšc6XEj54R a76'8

g

X.{.{.{IX 6:9

g

c/ybXE`Vegj X

jSVXdi%XE`¨j XEu(e9Ÿ.jSVXdn xbSVXEu XT–“¤§`žjSVXk9q)el”…XdybXEj XEuW2ar`k9`¨jl™n mbqbju#kgiEjar`bf’i%egcrmbW2`<;}jarWYX%n4>=

Ÿ¦u egW jSVXdc4kgnj&i%egcrmbW2`N™XE`k9qbc6X%n&mVn/j eu XE¥/uarj X M‚kgn

M R

l%l

lmg {.{.{

lM ?

gl

g%g {.{.{

g M ?

{.{.{

M l M g

{.{.{

M M ?

Mj|

ll M | lg

{.{.{

Mj|

l MA@

1ƒI2

R "z l z g

{.{.{ zwM"B@ 1¸Z-2

¥/SVXEu X

@ R a g

Mj|

ll v {.{.{v g

Mj|

l M c U M

C

=ED

l 4 = M | l

= {

Ž yby˜ar`bfžk9`Vy€nmbqbju#kgiEjar`bfGF 6 ,H

+

Ÿ¦u egW jSVXdc4kgnj&X?•˜xbu X%n na6eg`œ¥MXegqbj#k9ar`

@ R M

C

=ED

l a M | l

= U 4>=

x c g U M

C

=ID

l a 4>=

x c g {

RTSba6n/X?•˜xbu X%n na6eg`€ilk9`¡q)X‚WYegu Xdnp¨`¨jSVXEja6ilk9crcrp¡u XE¥/uarjj XE`Kkgn@ RJ"4z M | l "g UK g ™Ga¶–Xh–r™L@ a6n

zMONQP7 azwMj|

l

X>}ce9Ÿ˜xegar`¨j zwMj|

l

¥/arjSu X%nx)X%iEjCj e/jSVXnxbSVXEu X/–‚egja6i%XjSk9j zRSN5PT azwM | l X>#c

ÃÄÅoæ²

a6nx)ehnarjar”…XMa¢ŸzwMj|

l

a6n}X?•˜j XEu`k9cGj e k9`Vy`VXEfQk9jar”…XMa¢Ÿarjn.ar`¨j XEu`k9c¶–RTSVXEu X?Ÿ¦egu Xõu#k9`VybegW!”hk9ua¢›

k9qbc6X M‚a6n&jSVXxbu e¨y˜mViEj‚e9Ÿ“jSVXj£¥õe’u#k9`VybegW ”gk9ua4k9qbc6X%n "z lz g

{.{.{ z M"k9`VyzRSN5PT azwM | l X>#c

1&e9ŸT¥/Sba6i#SN™}ar`ViEa6ybXE`Qj#k9crcrp…™"z lz g

{.{.{zwM")SkgnjSVX2Ÿ¸eguW e9Ÿ(kœn j#k9`VyVk9u y egua6XE`Qj#k9ja6eg`üj X%njar`

y˜arWYXE`Vn a6eg`dZ=2?–ÆRTSVXEu X?Ÿ¦egu Xj e2i%egW2xbc6XEj Xegmbuk9`k9crp˜na6n/¥õXdWmVnjT

ƒh– Ž `k9crp

X_jSVXnj#k9ja6nja6ilk9coqXESkl”¨a6egu(e9Ÿ"z lz g

{.{.{ z M"0*

Z˜–

Ž

`k9crp

X_jSVXnj#k9ja6nja6ilk9coqXESkl”¨a6egu(e9ŸLzRSN5PT azwM | l X>#c9*

|˜–‚qbj#k9ar`ški%eg`Q”…XE`ba6XE`¨jmbxbx)XEu&q)egmb`Vyœj ejSVXdxbu eGy˜mViEj(e9Ÿj§¥Me’u#k9`VybegW ”gk9ua4k9qbc6X%n;–

RTSVX%n#X(j#kgn%<˜nTk9u XjSVX‚egq˜vX%iEjõe9ŸojSVX`VX?•˜jõjSbu X%X‚nmbqVn X%iEja6eg`Vn;–RTSVXW’k9ar`ža6ybXlke9ŸojSVXxbu e¨e9Ÿ

a6n&j emVn XdjSVX_Ÿ¶kgiEj/jSk9j5@ R zRSN5PT azwM | l

X>#cMybe¨X%n&`Vegj(ybXExXE`VyškgiEjmk9crcrp¡eg`z

l

X z

g

{.{.{ zwM

qbmbjeg`bcrpžeg`œjSVXEaru(iEaru iEmbWYn#iEuarqbar`bfžnxbSVXEu Xh–

¤§`[E±_tƄh=GN¥õXSk%”…XnSVel¥/`šjSk9jl™bfhar”…XE`dZxegar`¨j n&mb`ba¢Ÿ¸eguW2crpœy˜a6njuarqbmbj X%y€ar`œjSVXdmb`barj(qk9crc

KNM(ar`Ky˜arWYXE`Vna6eg`dZ¨™

!! na#"z l X z

g

{.{.{z MS"%$ \]c $wM\

¥/SVXEu X MPRuZ

9

9 8

9

8

9

k9`Vy"!$#ybXE`Vegj X%n&jSVX_”…egcrmbWYXe9ŸjSVX_mb`barj&qk9crcoar`€y˜arWYXE`Vna6eg`&%–

¤£`žŸ¶kgiEjl™¨jSVX%n#Xu X%n mbcrj n/ilk9`œqX‚X?•Gj XE`VybX%y¡¥/arjSVegmbj‚k9`QpAy˜a¢‘’iEmbcrj§pAj ejSVX_ilkgn X‚ar`¡¥/Sba6i S

jSVXõ”hk9crmVXTe9Ÿ "z l X z

g

{.{.{ zwM!";a6n}i%eg`Vnju#k9ar`VX%yj edk9`ar`¨j XEu”gk9ckS\8X\Fv&'6\"Y¶™gqQpn arW2xbcrpi Sk9`bfhar`bf

ar`(“sQmk9ja6eg`B1¦iI2)e9ŸE±‚tM„h=GQjSVXar`¨j XEfhu#k9ja6eg`q)egmb`VybnCŸ¦u egW*) Ñ/¾ÀÍ+-,

.

9 80/

. 9 D21

j e3) Ñ/¾ÀÍ4+5,

|26

, .

9 80/

. 9 D Ñ/¾ÀÍ7+5,

.

9 80/

–

RTSba6n&juar”¨a4k9cNWYeGy˜a¢ ilk9ja6eg`Ku Xlkgy˜arcrp¡pGa6XEc6ybn

! na\J$ "z l X z

g

{.{.{ zwM!"%$s\_v8' \ " z l X z

g

{.{.{ zwM:9FKNM+c $ M;'6\ 1¸|-2

RTSba6n/u X%nmbcrj/f…XE`VXEu#k9cra

X%n&j ejSVX_mb`ba¢Ÿ¸eguW y˜a6njuarqbmbja6eg`Kar`œjSVX_mb`barj(iEmbqX OQMPRTS0UWV'X.V.Y

M

kgn&ar`[E±‚tM„h=G£–

!! Ia\J$ "z l X z

g

{.{.{mzwMS" $ \ v<'6\ "#z

l

X z

g

{.{.{ z M=9BOQMIc $<>NM;' \ 162

¥/SVXEu X?>NM R M 9 9 9 8 M

9 @B9

8BA

,

g 9 , –

Å.Å Í'ƒQ„EÞÒá…

5 "

\_ar”…XE` k¡nxbSVXEu X T™N¥/arjS i%XE`Qj XEu 4k9`Vy u#kgy˜armVn˜™C¥MXY¥/a6nS j e€i%egW2xbmbj X2jSVX2xbu egqk9qbarcrarj§p

Ÿ¸egu(ku#k9`VybegW x)egar`Qjz€j eSk%”…XknW’k9crc1¸k9qVn egcrmbj X”hk9crmVXI2Mx)el¥MXEu¥/arjS€u X%nx)X%iEj/j e T–

—VeguknW’k9crcN”hk9crmVXD\z¥MXegqVn#XEu”…XdjSk9j

! "$# %&')(*'

+-,/.

#103245(

,

6 +87

' (

,9+

%&:

+;7

'=<

,9+

< ,

6

?>

RTSVXEu X?Ÿ¦egu X’jSVXY”hk9crmVX’e9Ÿ/jSVXYx)el¥õXEue9Ÿz ¥/arjS u X%nxX%iEjj e- a6nnW’k9crc6XEujSk9` \ a¢Ÿz

q)XEc6eg`bf…nj eAkYn xbSVXEua6ilk9ciEu e;¥/` e9Ÿ e9Ÿ“¥/a6y˜jS

,@ – ° c6Xlk9ucrp…™jSVX”…egcrmbWYXe9ŸÆn mVi S"iEu el¥/` a6n

fhar”…XE` qQp jSVX’WYXlkgnmbu Xd1¸k9u Xlk-2e9Ÿ5 Wmbcrjarxbcra6X%yþq¨p ,@

™oa¶–Xh–r™arja6nfhar”…XE` q¨p[Z !M MBA

l

,@

R

Z!M MCA

g.\1jSba6n/SVegc6ybn&ar`€egmbu&S¨p¨x)egjSVX%na6n&e9ŸnW’k9crc \?2?–

RTSQmVn! nazRSN5PT az X>}c$ \]cÆa6n/q)egmb`VybX%yKkgnTŸ¸egcrc6el¥&n

! nazRSN5PT az X>}c$ \]c$

”…egcrmbWYX-1¦iEu e;¥/`EDGF c

”…egcrmbWYX-a&F c

RTSVXj XEuW ”…egcrmbWYX-1¦iEu el¥/`HDGFcMa6njSVXxbu eGy˜mViEj‚e9Ÿ

,@

q¨pœjSVXk9u XlkAe9Ÿ IDIFd– Ž j‚jSba6n

x)egar`QjA¥MX"kgn nmbWYXJFLK O M=™T¥/Sba6i S a6nAegq¨”¨a6egmVn crp+”…XEua¢ X%y ¥/SVXE`MF a6nžXEarjSVXEuBKNM¡eguO M9–

¤£Ÿ[^Vž¥MXžqegmb`Vy Ÿ¦u egW k9q)el”…XAjSVXž”…egcrmbWYXže9Ÿ&jSVXžiEu el¥/`üq¨p Z!=M MBA

g \ $ Z!M\A– ¤¶Ÿ

;NV¡¥MX¡u X%njua6iEj2egmbu n XEcr”…X%nj e jSVXžxeguja6eg`+e9Ÿ(jSVX¡iEu e;¥/`+ar`Qj XEu`k9c&j e5O Mžk9`Vyüegqbj#k9ar`

k9u Xlk aGDHOQM+c ,@

$ k9u XlkQaGDHOQMIc \J$;Z!M+\Y–

¤£`€i%eg`ViEcrmVna6eg`N™V¥MXSkl”…X

! nazRSNQP7 az X>}c$ \ " üfhar”…XE`O z"95KNM+c$

Z!M

!=M

\ RuZ\ 1¸~-2

! nazRSNQP7 az X>}c$ \ "!üfhar”…XE`O z"9BOQM.c $ Z !M

x M \ 1 2

QP &SRT " U R !V W2YXZ

R.e¡i%egW2xbc6XEj XjSVX2k9`k9crp˜na6n_egmbjcrar`VX%y k9qe;”…Xh™¥MX`VX%X%y k’j X%i#Sb`ba6ilk9cu X%nmbcrj_i%eg`Vi%XEu`bar`bfœjSVX

xbu egqk9qbarcrarj§p€e9Ÿkxbu eGy˜mViEj(e9Ÿ}u#k9`VybegW ”hk9ua4k9qbc6X%nl–

!NXEj\[ k9`Vy Yq)X¡j£¥õe u#k9`VybegW”hk9ua4k9qbc6X%nYnmVi#S jSk9jYjSVX¡W’k9ufhar`k9c&xbu egqk9qbarcrarj§p e9Ÿ][

nÒk9ja6n X%n !! Ia\ $^[K$ \ v ' \]c $`_:' \ k9`Vy jSVXxbu egqk9qbarcrarj§p e9Ÿ i%eg`Vy˜arja6eg`k9cMeg`a[

nÒk9ja6n X%n !! na 5$ \ "[ c$b]\’™gŸ¸eguÆn egWYX&i%eg`Vnj#k9`¨j n_k9`Vy*bA– ‚egja6i%X&jSk9jÆegmbuMu#k9`VybegW

”hk9ua4k9qbc6X%n "z l X z

g

{.{.{ zwMS"Vk9`Vy]zRSN5PT azkX>}c“ Vj&jSVXdnx)X%iEa¢ ilk9ja6eg`Vn(e9Ÿc[¡k9`Vy< =™bu X%nx)X%iEjar”…XEcrp…–

X nSk9crcqegmb`Vy Ÿu egW k9q)el”…XšjSVXšXE”…XE`¨j[% ^ \ q¨p k mb`ba6eg`e9ŸXE”…XE`¨j nže9ŸjSVX5<Gar`Vy

d

$e[ $ d

v8'

d

k9`Vy- $ ,f

™Vkgn/arcrcrmVnju#k9j X%yšeg`€—.arfhmbu X’ƒh–

ÃÄÅoæ²

,

<

,

+ , ,

+J,

,

+-,

+ ,

f

.

]f

| 6

f

,

—arfhmbu XYƒ! xbxXEu/q)egmb`Vy˜ar`bfAXE”…XE`¨j [ 5$ \

RTSQmVn&¥õXdSk%”…X

! na&[% $ \bc $ ! na&[ $ \]c@v

l

, ! na&[bR

d

c ! na 5$

\d "[]R

d c' d v !! na $ \bc

$ a_ vebc \ v

l

, _ b]\

' d

d

$ a_ vebc \ v _ b]\[oqp

V

\ 1 2

egja6i%XjSk9j&Ÿ¸egu/_!k9`Vy bq)egjS8Nux2k9`VyœŸ¸egu \ $ Vn‚!Ph™jSVX_ Vu njj XEuW a6n(ybegW2ar`k9j X%y

q¨pAjSVXn X%i%eg`Vy€eg`VXh–

(  Ò -(-(d

¤§`œjSba6n&n X%iEja6eg`N™V¥MXdxbu X%n XE`¨j(jSVX_W’k9ar`Ki%eg`ViEcrmVn a6eg`še9Ÿ}jSba6n/`Vegj Xh–“w(X%ilk9crcrar`bf’jSk9j

M R "z lz g

{.{.{mzwMS"{zMONQP7 azwMj|

l

X nxbSVXEu X-az

l z g

{.{.{ zwMIc%cX

k9`Vy€jSVX_xbu XE”¨a6egmVn(qegmb`Vybnl™˜¥õXegqbj#k9ar`€Ÿ¸egu/jSVX_j£¥õe’ybegW’k9ar`VnT

!! na M5$ \ "z l {.{.{ zwMj|

l

95KNM+c $ a Mv Z'c \ v< MZ=\€oqp

V

\

1¸-2

Å.Å Í'ƒQ„EÞÒá…

! na M5$ \ "z l {.{.{ zwMj|

l

9BOQM+c $

Z!M$> M

x M

\€oqp

V

\ v 2

>NMNv Z !M

x M > \ 1¸„-2

¥/Sba6i#S X?•Gxbu X%n ndkAq)egmb`VyK`VXlk9ucrpšcrar`VXlk9u‚ar` \ Ÿ¸egu‚jSVXk9qVn#egcrmbj X”hk9crmVXe9ŸÆjSVXar`ViEaru iEc6Xj X%nj

Ÿ¸eguZ?ruV…–

—VegunW’k9crcƔgk9crmVX%ne9Ÿ4Zž¥õXYu X%ilk9crcƟu egW E±‚tM„h=GÆjSVXd1¸k9xbxbu el•GarW’k9j XI2”hk9crmVX%ne9Ÿ !M=™ M

k9`Vy"> MS

Z !M wM >NM

ƒ Z ƒ ƒ

Z

. x6{

/ . 1 {AV

| +

i

. {x

.0/

{21

.

x6V

,

g

. {

. V ? .

1!?

~ ,

l .0/

{21

.

V

.

x'x6{2?!?!?

(

.0/

{x . 1 / .

{/

?!? {2?!?!?

!! na g $ \ "z l {.{.{ z i

95K

g c $ /

{2?-\ oqp l

, v {/ \

!! na i $ \ "z l {.{.{ z +

95K

i c $ V 3-\ oqp l

,

v-\

!! na + $ \ "z l

{.{.{ z 95K

+ c $

?-\ oqp l

, v V \

!! na $ \ "z l {.{.{ z

95K c $ / \ oqp

l

, v x \

!! na

$ \ "z l

{.{.{ z &

95K

c $ x?'\ oqp

l

, v

?-\

k9`Vy

!! Ia

g $ \ "z l

{.{.{z

i

9BO

g c $

{-\ oqp

l

, v

{'\

!! Ia

i $ \ "z l

{.{.{z

+

9BO

i c $ 1-x'\€oqp

l

,

v;x'x'\

!! Ia + $ \ "z l

{.{.{z 9BO

+ c $

3-\ oqp l

, v 1 Vn\

!! Ia $ \ "z l {.{.{z

9BO c $ V!?!?!?-\ oqp l

,

vsx'x?!?!?-\

!! Ia $ \ "z l {.{.{z

&

9BO

c $ x6{x?!? {2?!?!?-\ oqp l

, v {/

?!? {2?!?!?-\

RTSVX%n XÆk9`k9crpGja6ilk9cQu X%nmbcrj nNilk9`qXi%egW2xk9u X%y¥/arjSjSVXÆX?•˜x)XEuarWYXE`Qj#k9cQu X%n mbcrj nNWYXE`Qja6eg`VX%y

Xlk9ucra6XEul–dRTSVXc4k9jj XEu_Sk%”…Xq)X%XE` egqbj#k9ar`VX%y"mVn ar`bfAu#k9`VybegWx)egar`Qjdn XEc6X%iEja6eg`"ar`fKNM=™Ck9`Vy"k9u X

n SVel¥/` ar` —arfhmbu X’Z˜–YRTSVXEp"i%eg`˜ VuW jSVXYn mbqbcrar`VXlk9uqXESkl”¨a6eguŸ¦eguDZBR V’k9`Vy kžqkgna6ilk9crcrp

ÃÄÅoæ²

6

,

+-,

—.arfhmbu XZ% (}•˜xXEuarWYXE`¨j#k9cou X%nmbcrj n&eg`Ku#k9`VybegW ar`ViEaru iEc6Xj X%nj n

crar`VXlk9uTq)XESk%”Ga6eguõŸ¦eguPZ N x`VXlk9u4\ R ?˜–‚el¥õXE”…XEul™bjSVX_i%eg`Vnj#k9`Qj nTu XEx)eguj X%yœk9qe;”…X_k9u XŸ¶k9u

Ÿ¦u egW jarfhS¨jÆ¥/SVXE`YjSVX&y˜arWYXE`Vn a6eg`’ar`ViEu Xlkgn X%nl™¨¥/Sba6i SAa6nÆkdiEc6Xlk9uMqQpGxbu e¨y˜mViEjÆe9ŸCjSVX/j X%i#Sb`ba6sQmVX

e9Ÿ}xbu eGe9ŸmVn X%y¡ar`€E±‚tM„h=GNj eqegmb`Vy"> M9–

-( 

ˆ ª Š ª ‰ ª ˆ%‰ ­

‰¯ ® .‡ (ª .Š ª Œ ˆ ®

® ‹˜‰

®

‰

‹bŠ

‰ ª ‰ Œ

XT`Ve;¥ i%eg`Vna6ybXEuMk‚xbu#kgiEja6ilk9cVarW2xbc6XEWYXE`¨j#k9ja6eg`Ae9Ÿ)jSVXTar`VnxbSVXEu XTj X%njar`jSbu X%X&y˜arWYXE`Vna6eg`Vn;–

RTSVX’i%eguu X%nxeg`Vy˜ar`bfšX?•Gxbu X%n n a6eg` a6ndfhar”…XE` q)XEc6el¥– X’kgn#nmbWYXjSk9jXE`Qjua6X%ny1xegar`¨ji%eGegu›

y˜ar`k9j X%n2&k9u X #e…k9jar`bfAxegar`¨j(`¨mbWq)XEu nar`KjSVXu#k9`bf…XyS0U"V'X.V.Y}k9`VyœjSk9jjSVXEpKk9u Xnj egu X%y kgn

ybegmbqbc6Xxbu X%iEa6na6eg`K`¨mbWq)XEu n(¥/arjSšk’~h|=›¶qbarj&W’k9`Qja6n nÒk˜– Xkgn#nmbWYX_jSk9j(jSVXi%egW2xbmbj#k9ja6eg`

i%egW2xbcra6X%n(¥/arjS€jSVX¤ ( ( ( ~S2`VeguW€–

X_ Vu nj&ybXEj#k9arcNjSVX_Ÿ¸eguWmbc4kŸ¦egu/jSVXdar`Vn xbSVXEu Xdj X%njT

l l'l

gl v gl v gl

g-g ng

gg v gg v gg

i 'i!Ii

gi v g

i v gi

+ + + g+ v g

+ v g

+ R U"a

gl v gl v gl c

g-g ng

i i i

+ + +

vba

gg v g

g v g g c

l l'l

i i i

+ + +

Å.Å Í'ƒQ„EÞÒá…

U"a

gi v g

i v g

i c l l'l

g!-g ng

+ + +

v]a

g+ v g

+ v g

+ c l ll

g!-g Ig

i 'i!+i

l l'l

g -g ng

i i i R l a

-g +i

U

'i ng ckU

g a l +i

U

'i 'l c@v

i a l ng

U

-g l

c

X `Ve;¥ X%njarW’k9j XþjSVX W’k=•˜arWmbW

& >

u egmb`VyG›£e XEuu egu"mVnar`bf jSVX Ÿ¸egcrc6el¥/ar`bf

n j#k9`VyVk9u y umbc6X%n YXEuu eguIa

v c $ XEuu eguIa

cv XEuu eguIa

cNv a v c x A +

k9`VyüXEuu egu+a

c $

XEuu eguIa

c v

XEuu eguIa

c v {x A +

–(Ækgi#S€i%egW2xbmbj#k9ja6eg`€a6n&k9`k9crp

X%y¡ar`¡j XEuWYn&e9Ÿ.jSVX

XEc6XEWYXE`¨j#k9up€egxXEu#k9ja6eg`Vne9Ÿkgyby˜arja6eg` J9n mbqbju#kgiEja6eg` egu/Wmbcrjarxbcra6ilk9ja6eg`N–

u X?Ÿ ybX%n iEuarxbja6eg` j£pGxba6ilk9coX?•Gxbu X%n#na6eg` mbxbxXEu(qegmb`Vy XEuu egu&q)egmb`Vy

Ý

XE`Qjup

l ƒ x A +

á

Ý

Ý

-g +i

ƒ 1 {x A +

„

á

á

-g Ii

U

'i Ig

Z x6{21 {x A +

v;x6{x A + R x A l

Ý

„ l a

-g Ii

U

'i Ig

c Z x A

l v;x6{x A + R / {x A ji

Þ

x6{

/ {x A

ji v {x A + R 1 {x A l

Þ

l l l

g -g!Ig

i i i 1 {x A

lNv

/ {x A

ji}v 3 {x A + R / {x A l

á

„ gl v gl v gl | 1 {x A +

vsx

A

l v 1 {x A + R 6{x A ji

ƒl 3 {6{x A

ji v 1 {/ {x A

lNv V {x A + R V'V'V'{x A ji

â

… | x6{AV'V'V'{x A

jiPv 1!3 {x A + R Vnx? {x A %g

Ýà

â

â

ar`ViEaru iEc6Xj X%nj Z x6{AVnx? {x A

%g v 'x6{x A + R Vnx {x A l

. x A ++

¤¶ŸojSVX‚x)egar`Qj n(k9u X‚mb`ba¢Ÿ¸eguW2crpžy˜a6n juarqbmbj X%y¡ar`žjSVX‚mb`barj&iEmbq)Xdk9`Vyžn `k9x˜›¶u egmb`VybX%yœj ejSVX

`VXlk9u X%n ju XExbu X%n XE`¨j#k9qbc6Xœx)egar`Qjl™jSVXE`þjSVXœk9qe;”…Xžilk9c6iEmbc4k9ja6eg`Vn2n SVel¥ jSk9ja¢Ÿ&jSVXAar`Vn xbSVXEu X

j X%n j/fhar”…X%nku X%nmbcrj&c4k9uf…XEu(jSk9`[Vnx Dx

A

l 1ar`šk9qVn egcrmbj X”gk9crmVXI2?™bjSVXE`Karj n&narfh`œa6n/u XEcra4k9qbc6Xh–

—VegunarW2xbc6Xxbu X%iEa6na6eg` `QmbWqXEu n¥/arjS ZSžqbarj nde9ŸõW’k9`Qja6n nÒk˜™ok9` k9`k9c6egf…egmVnnj#k9j XEWYXE`Qj

ilk9`KqX_W’kgybX_Ÿ¸egu/u X%nmbcrj n/c4k9uf…XEu(jSk9`[Vnx x A g%g

. x A l –

RTSVX%n Xu X%nmbcrj nXE`k9qbc6XmVndj eœX%n jarW’k9j XjSVX2xbu egqk9qbarcrarj£p e9ŸõŸ¸k9arcrmbu X2e9ŸTnmVi S" Vcrj XEul™oa¶–Xh–r™

zR! naAo=c $1-x a\coqp

l

,

vsx'x a\cõ¥/arjS \ R Vnx {x A

l eguW\ R Vnx {x A

g%g Ÿ¸egu&jSVXj£¥Me

ilkgn#X%nl–

(<‹

d f&. =&! [%5 #"Q > ?#"u%9[$ $"Q "Q

4> #"w"#"[ %&"wP'(9 >) $+*

/

1-, >

Wx

/.

&' ?

&0] &1" Vnx x

A

l$03yV ? A l+ , %> bVnx Hx

A

g%g

.

1yV ? A .

'" 20"

ÃÄÅoæ²

?%0 &q >@j&/5j &' 6%? 97 ]?A9] &" 3BV ? A l%l

, > ? {2? V'V

.

–

$% “

E±_tƄhnG2–&±_XE”¨arcrc6XEu nKk9`Vy—T–/tu XExk9u#k9j#k˜– Ž xbu egqk9qbarcra6n ja6i k9`k9crpGn a6n€e9ŸjSVX xe;¥MXEuKe9Ÿ

k9uarjSbWYXEja6i Vcrj XEu nl– .&1" $ >) &' " & % / ™ƒl„h„h˜–j eœk9xbx)Xlk9ul–

SQjjx J'J=¥/¥/¥–ar`bua4k˜–Ÿ¦uJ=xbua6nWYXIJ=xbmbqbcra6nJ9y˜x˜›¶xk9xk=Ÿ›§„h˜–xVnl–f

Å.Å Í'ƒQ„EÞÒá…

Unité de recherche INRIA Sophia Antipolis

2004, route des Lucioles - B.P. 93 - 06902 Sophia Antipolis Cedex (France)

Unité de recherche INRIA Lorraine : Technopôle de Nancy-Brabois - Campus scientifique 615, rue du Jardin Botanique - B.P. 101 - 54602 Villers lès Nancy Cedex (France)

Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38330 Montbonnot St Martin (France)

Unité de recherche INRIA Rocquencourt : Domaine de Voluceau - Rocquencourt - B.P. 105 - 78153 Le Chesnay Cedex (France)

Éditeur

INRIA - Domaine de Voluceau - Rocquencourt, B.P. 105 - 78153 Le Chesnay Cedex (France)

ISSN 0249-6399