RafaEl Latkowski. Institute of Computer Science, Warsaw University ul. Banacha 2, 02-097 Warsaw, Poland [email protected]. Abstract. In this paper we ...
# $%&'(
!"
)*!+,*!-./0*21436527893;: =6?A@CBD@CE6@CFHG'I0JGLK$MNEO@CFQPSROTQBUFQ=NTFLVOW XPC?CXY[ZS=NB]\^FQPC?_BD@a` ENbdcNeXf=NXfT9g;X$h2VjiLhlk!ifm^nW XPC?CXYVjopGLbUX'=;q PCbUX'@CrLGYs?9tuK$B]KvE!Yc FlqOEwc MNb xzy|{}~;f}L L· ¨(¯¨L*O84³§4¨14¬¨¬56¯5O«O¨f¦¨'56³8°¨'«O§Q¨'¨(7:U1Q¬:¦ 14¬¨$:¦°j:84©'¨'§Q¦:®:´.:´1Cª©.*O8Q89¨L8 J 8 *P_( ; 9 8 &('
» J 9 À "!$#/*P%-+,+-
7¬¨'§Q¨)&:8u14¬¨¦;³¯®¨'§H5O+¹:´¦w°j:8Q©¨f§4¦:´®:.:U1Cª©'.*68484¨f8» J À*"!$#@"¤i¤¤d"L» J ¨f*O84:.´ª:¦©'5O§Q²w56§Q*!14¨v14¬¨ +,*O©145O§H:¦N14514¬. ¨ j6³w*!.:U1Cª
+¶³¦©l1Q:´56¦
y""!$#'! %
,Ò:-
"
À*"!$#·1Ш$©'*O¦ ¶¿1-
"
7¬¨'§Q¨+É©56¦61Q§456.8u:¦jس¨f¦©¨$5O+01Q¬¨ +,*O©l1Q5O§u1451Q¬¨$7¬56.´¨yjN³*!.:´1Cª±2*!.³¨O· ÁH¬¨84¨f©56¦°¯¨f*O84³§Q¨:8089:¯:´.*!§¹1451Q¬¨VUxTTQbdV0*!²²§Q56*6©¬v:¦14¬¨s+¶¨f*!14³§Q¨s84¨'.¨f©l1Q:´56¦ »U¾'À>·^¥_¦8914¨L*O°z¨L8C1Q:´¯
*!14:¦«1Q¬¨u14¨'¯².*21Q ¨ jN³*O.´:´1Cª$7u¨S©'*O¦³84¨S14¬¨u²§Q¨f°j:©l1Q:´±6¨u*6©'©³§Q*6©ª5!+ 14¬¨°*21*84³®84¨1f·;ÁH¬¨©.*O8Q89:´µ¨'§S:U189¨f.U+:8S¨Îj¨f©'³j14¨L°
5O¦°¨f©:84:´56¦89³®j1Q*O®.´¨°j¨1Q¨'§Q¯:´¦¨L° ®Nª14¬¨1Q5!1Q*O.|14¨f¯².*!14¨z*O¦°1Q¬¨$¦;³¯®¨'§5O+©'5O§Q§4¨L©l1*!¦847u¨'§8S:8©56³¦N14¨L°|·
,=
~QcwxbdV.^|x^VHVbx|WU~QfHbdVxf ~QcwxbdV.^.^{wKbx|WZf
¤
`.89514¬:8H+,*6©l1Q5O§©'*O¦®¨$¨f*689:.ª:´¦w©5O§Q²5O§*214¨L°:¦N14514¬¨.jN³*O.´:´1Cª
+¶³¦w©l14:5O¦
y""! # !-, %
¤
aÈ{-
:-
ÁH¬¨v²§4¨L°j:©14:±O¨$*O©f©³§*O©'ª14³§Q¦¨f°5O³1u1Q5(®¨z*!²².´:©'*O®.¨1Q5(1Q¬¨14¨f¯².*!14¨¨'±2*!.³*!º 14:5O¦¨'±6¨'¦7:U1Q¬5O³j17:°;1Q¬*O¦°¬¨':«O¬N1:>· ¨6·
@,#¤
.
/O
>¼-
+/10pp4¢¤C
¯v¤9¤9£L
ÁH¬¨'§Q¨7S¨f§4¨©f*!§Q§4:¨f°5O³j1845O¯¨¨Îj²¨'§Q:´¯¨f¦618:¦56§Q°¨'§145$¨f±2*!.³*21Q¨S1Q¬¨°j¨L©56¯²5684:´14:5O¦ ¯¨'14¬5j°Ù7:´14¬Ã±2*!§Q:5O³81Q¨'¯².*21Q¨ ¨'±2*!.³*21Q:´56¦Ö+¶³¦©l1Q:´56¦8f·` «6¨'¦¨'14:©&*!.«O56§4:´14¬¯7u*68 ³89¨L°+¶5O§v«O¨'¦¨'§*214:5O¦5O+14¬¨z®¨f8911Q¨'¯².*21Q¨7:´14¬&§Q¨f84²w¨L©l11Q51Q¬¨84¨'.¨f©l1Q¨f°&°¨f©56¯²w5Oº 89:´14:5O¦ ©§Q:´14¨'§Q:5O¦·)¨L89³.U187u¨'§Q¨56®j1Q*O:´¦¨f°+¶§456¯ 1Q¬¨z*^±O¨f§Q*O«O¨5!+©.*O8Q89:´µw©'*!14:5OF ¦ jN³*!.:U1Cª +¶§456¯ i¾ h{hz1Q:´¯¨f8§4¨f²w¨L*214¨L°µw±O¨º>+¶5O.O ° S§45N84893º 2s*O.´:°*!14:5O¦ !42È -u¨f±2*!.³*21Q:´56¦·ÁH¬:8u14¨f8919º :´¦«¯¨1Q¬5j°7u*68H:´¦N14§Q5j°j³©'¨f°145
*O8Q89³§4¨²§Q¨f©:84¨'¦¨L848H:¦¯¨L*O84³§4:¦«14¬¨©'.*68484:´µw©'*!14:5O¦
6y N JGLK$M;XPCB]?_GL=G'Ip@CgNFqOFTGfK$MjGL?_BD@CB]GL=K$FQ@Cg6G!qz@CgNX'@sE6?_FH\LXPCB]GLEN?@CFK$M6bUX'@CFuFQ\LX'bUENX' @CB]Gf=TQPCBD@CFQPCBUXYsBD@Cg@CgNFJOc K$FQ@CgNG!qc X'@_@ N Xf= TK$Th qO=;X^h gNXfjh gNFQM gNB]= g2`OM M6BUq;h ?_K$G2h 3
J Oc Lh2c ' ' h2c ( " '+02c nfh ' c " . n ( c " $ Li!c ( h ' ' nfi!c ^n * m!2c Lh ' i!c ( ' ' i!c n /
6c m ' !c ^h 6c m^h fiOc n , +* ' Oc i^n n!c %" ' / ' mOc m ' +* m ' c nLh ' ')( c m%" $# ' c ( / (( c '!4
'mOc !" $# ' !c Ln $. ^h!c h , fiOc !" / n 6c ^i" $. nfn!c ( '2'' c m%!c h , ')( c n , ' ' mOc Lh 5 2c '!4
fmOc h ' ' !c , " &/ 2h!c , n LiOc , 1 n6c ! nLn!c m" +' ' Oc ', ' m!!c h , ' ' h!c ( " ' mOc , 5 Oc 4
%2c nfn ' !c ( 2n2c h * ' c h'i 1 ' m!c ( " & # nfm!c , & . nfi!c (' m ' c n ' ' h2c ( m Ln2c mLh 5' c n 4
')( c m +* n 6c m ( ( c ,%, +* Oc , m" +1 n 6c ' n %!c hfm" $ . n ( c ( i" +1 m ' c ( ' n!c (%( +* ' Oc m! # 5 , c n 4
', c ,%, +* n ' c , i" ( c ( fmOc i^n . n!c m%" ' c fm" n'iOc , mLn!c iLm" ' Oc hfm" +1 ' mOc '%' ' 5')( c ^m 4
Pu¯¨14¬5;°(7H*O80³89¨L° *O8*©.*O8Q89:´µ¨'§S*!¦°1Q¨f891Q87S¨f§4¨²¨'§4+¶5O§Q¯¨f°7:´14¬°:Up¨'§Q¨'¦N1S°j¨L©56¯²5684:´14:5O¦*!²²§45N*O©¬¨L8 *O8s7u¨'..p*O8s7:´14¬5O³j1H³84:´¦«(°j¨f©'5O¯²w5N89:´14:5O¦¯¨'14¬5j°*!1u*O.´.>·NÁH¬¨76Ä9y 8 Ã845!+d1C7H*!§Q¨89ªj89º 14¨'¯ » 2À>½27¬:©¬©56¦61*!:¦8§4¨'º>:¯².¨'¯¨'¦N1Q*!14:5O¦(5!+ v³:´¦.*! ¦ 8 S¿w· Èv)¨'.¨f*689¨:*!.«O56§4:´14¬¯ :´¦®w*O84¨f° :´¦°³©l1Q:´±6¨.¨f*!§Q¦:¦«
7:´14¬&³¦:U+¶56§4¯Ï©56¦jØ:©l1§Q¨f845O.±;:´¦«
¯¨'14¬5j°&*!114¬¨89³®j1Q*O®.´¨L8*O¦° 14¬¨7¬56.´¨H84ª;8914¨f¯.¨'±O¨f.a· ¨®¨'.:´¨f±O¨u14¬*!1s°j¨f©'5O¯²w5N89:´14:5O¦°j56¦¨H:´¦*O©f©5O§°*O¦©¨S14514¬¨ ¦*21Q³§Q*O.8C1Q§4³©14³§Q¨5!+S*O¦*!.ª '¨f°Ð°*21*©f*!¦Ð§4¨L89³.´1:´¦Ë©.*O8Q89:´µ¨f§©'.´5N89¨14514¬¨
©'5O¯¯5O¦ 89¨f¦89¨§Q¨f*68956¦:´¦«·
ort l'l1oLs ¥7:89¬Ê145Ð14¬*O¦3ɲ§Q5!+¶¨L84845OA § `¦°j§ '¨ «¸;36527§456¦Ë+¶5O§
*ЫO§Q¨f*21
84³²²5O§417¬:.¨7§Q:U1Q:´¦« 14¬:8z²*O²w¨f§f·ÁH¬:87S56§43 7H*O8$²w*!§414:*!..´ª84³²²5O§414¨L°®Nª14¬¨56.´:84¬Ë¸N1*21Q¨CS5O¯¯:U1414¨f¨ +¶5O§¸j©':´¨f¦61Q:Uµ©$)¨f84¨f*O§Q©¬«O§*!¦N1HÕ5· :6Á¾O¾ h{ OÈi¾ g·
%¹¹£Lr ( ccXf?_gXf=Nq vc!wB]EwcwNFlX@CE6PCF?_Fb]FTQ@CB]GL=$IGfPTbUX'?_?_B]NTlX'@CB]Gf=wc"#%$'&)(*( +-,.&/#%$01$21435#1 ( 687+979V ( , 4V ( mfm^n!c h!4 c :cw6P9Xf=6rjV !cpPCBUf6VXf=Nq;c=?&A@ 1BDCEBDC-F GH=?1+-@ 1$2IKJL#%MN+*OPI#%QR&/#%$TSUIOV4#WIXY([Z &P\N,.&]35#W1( 67A+*7Cc|g2@_@C`2Vo¹BD@_@C?_NEOPCLgVloW V ( mLmOc mOcRjcTv cpuLEO`2F=V cROr^GlYPCGL=V¹Xf=Nq o|c0R2`O=;Xfrjc H B]?_TG\^FQP_`GfIuqNX'@9XM;X@_@CFQPC=N?YsBD@CgÐX'M6 M6b]BUTX'@CB]GL=6?@CGÔqOFTGfK$MjGL?_BD@CB]GL=ÃX'=;qÖTbUX'?_?_B]NTlX'@CB]Gf= MOPCGL6bUFQK$?c = ! cHopGfb]r^GlYs?_rOBXf=Nq cR!r^GlYPCGL=wVNFlq6BD@CG'PC?VYI,M &/$ 74+*#V4#WI8XY(-&A\U,.& 0 +*7, AIM&/Of6 V\LGLb]ENK$Fh2VjM;X'LF?%lk2m^n2V FBUq6Fb]jFQPCOV ( mLmOcog2`6?_B]TlXS0R FQPCbUX'6c S cfuLEO`2F=c Y& ,. ( 1O/+9$ 6 35#1 ( 687+97Y1#W\4+*$ 7 3P!W( +Q A1$ + I#R+*# 01$21L +*#%+*#Df, cNo¹g% @CgNFQ?_BU?V ( iOcRjc8v WX'PC?CXY Zu=6BU\LFQPC?_BD@>`2V0;XfTQENbD@>`&G'I X'@CgNFQKzX'@CB]T?VJGLK$MNEO@CFQP(ROTQBUFQ=NTF
X'=;q FQT4gNXf=NB]T?V ( mLmfmOc > cuX ENB]=NbUX'=wcZu=6rO=6GlYs= X'@_@_PCB]NEO@CFz\LX'bUE6F?B]= B]=;qOENTQ@CB]Gf=wc== c c¹R!FfPCFLVpFlq6BD@CGfPlV (( cOc OPI &A&P\+*#.,7HI S4$*&0+ZY$*"#%$'&/O/#1$ + I#1 (%L 1! ;D+*#W&["f&P1O#+*#.,>= IOP@87+%I,;VM;X'LF? , ( k , n2c G'PC^X'=\? XfE6IKzXf=6=wV ( mLm!c > cPuX ENB]=NbUXf=c] A^WC*(9O_ OPIA,O 1Q 7 SUIO-L 1 ;D+*# &"f&P1O#+9#Df, cb GfPCLXf=`? XfEOIKzX'=wVR6X'= ( h!cOcP X@CFG6V ( mfm , c cOROrLGYPCGf=X'=;qJScu> X'EN?P` F4Plcpg6FHq6B]?_TF4PC=NB]NB]b]BD@>`KzX'@_PCB]TF?Xf=;qIEN=NT4@CBUGf=N?B]=B]=6IG'PCKzX' (, c @CB]Gf= ?A`6?A@CFQK$?c=& > c|R@b]GlYsB=Na ?_r!BdVFlq6BD@CGfPlV "#$'&)(*( + ,.&/#$]0&D )+97+ I#b1! IO$'CE 1#W\ GININ@ I S 3P!W( +V 18$ + I#7518#W\43Y\M81# &/75+*#)YI, &/$ 7F&PIOf6 V2MNXffF? ,, ( k ,%' h!V H GfP9q!PCFT9g!@lV ( mfm^h2c ? b]E2YF4Plc cO?_GfENr!BSXfc ?c|