Technion - Computer Science Department - Technical Report CIS9325 - 1993
NOQP
#R*SUTWV
`TWabdc4e$H)+
!
"#"$&%('()*!)+,$.-/01324!56!7+)8:91;5)$0<>=
?@ACBDEF?HGJILKM
XXQZY[\]^Y\(_T+V
-/)C*f8Z.b4ghi*jck)+l#0)i$H)+H!$k-F%(ml)<
T+vV
T+v
Oon_prq0s
Rt*[[
XX
UT+YV+]Tu[
Technion - Computer Science Department - Technical Report CIS9325 - 1993
L
R
w
!5"#,)xvyrbz{)g|1Jl
"#kd…0x)†m{,m#)+W$H)+)
„
‡rm#)$‰!,"68
)i$0 „
JWi‚()0#)W4!,m#)
)+8Œl!
!5"d0)v
w
)8{
„
*!)o-}~"d
!$ml)€r6,mJ|++‚()ƒ0#)W<
F‡rm#)
"#8d0ˆ{l!4h$k0m#)WJ++‚()ƒC0d)+<
„
‚().h$#m#€F)+‚()++(#kl($0$S „
*!)x"#8
)+F0m#)$0$H"d1&l#!$CŠ$S6|)
"#8#0ˆC0,)$Hl8#$z,ƒigh$z-}#,H!‚^h+*Q*!)+#50mU.‹‰‡rm#)
„
Ž$~-.,m#){igh$&$)+51J)+,0)$l8^!#5,Œ|++‚()ƒ0#)Wx,)ƒ*6W0)i8!‘
8^!0)iH!Œl)+0l)+|8^h"
*ho0;0m#)
"d8#,ˆŠ’“$z#5)W
„
€r)x,m#)+,)-/,)&m+‚()J–6—x˜š™+—&˜›a
0,"#)o€r!0m)i^"+*ž6ˆ(
w
Ž$”-/,1
,13‹‰V^•k!œh$o)+‚^h8
)W
„
,m$Sf8)$†•Ž.9HŒ$"m+$H)$C
.,mo,m
h$œ!1&l*`!)$o0m&‹ŽTT•kh$
!Ÿ0Ž8^h6€r!0m,m#)$,$H"#1Jl#H!$
3¡o¢(¡o£r¡¤Œ¥…¡¦
žT§¨t*!"#1©ªŽ¨t!*!5fWi*…%(ml)«8R…f$"i*F%†!)+|)x‹X_0k9•<o=|¬­?HG®ŠKM,?A¬¯k°/?Ež?±²
R*Z[v
XX
³aY+]³v^u(TW^u[
³§(¨t*!"#1©(8ƒcoo´(´.5)*rC%(ml)”2z)$,H!l#6{.$S6d5µŒ)!5m0)8&%(ˆ1J1&)+,Hhkb4gh$
),"#0)i$0<
w
[
DI¶IMACB·.M,¸?±B#°fI/°/?B#Rt*UT+a
s
©¹_¨r('d$H,)!U‡rmd)¹!#)J%('()*!)+,<
w
º\o»oµ¼(¨r8
24h51ƒ<
+e8xRxocob4*!5e7”
D+±M{¿QBÀ
Oon_prq0s½q¾
Yo»Âµ¼_¨r,")(8>XQ»Ã4 „
-Æ%(ˆ
1J1J)+0,ˆÇ%()W$0<
Tuii]^³a\dT+vV
VXQ»
Ãk „
DIfKM ¾
P
DIfKM ¾
Okprq0s
T+(uv
Rt*UTTZXXQUTW³[i]|T+[(u(_TW^u
6"#"$z%('()*!)+,ƒ1Jl#"#Ž6
MŽA†ÁCIDBÀ°fB(±R*ZYY
XX
[³+][[v
„
*ž!UÄCÅ0€k0mUF!½8½TÅX_Ž1J)+0)W
w
1~ž*ž!)$
A?¸MM,À°fB(±Á?HGœILKM.·4?²(DE#ÈZ?¸°SMI/²&ÉÆÀ°fBÊ@AS±K#R*S
T+a\(bXX
DI/°/¸DE
?B#IfKE˲#Rt*³
P
P
J‡rm#)J¨t!Ž#5)+
?B#IfKE˲#Rt*^u(ZXXQY+]³[QTWa
v2͇.U¹Š)+)›)8(f+*Æb4g
%(l#m#)+,)xX_0
MAC°/¸DB
TWv³
Tu
„
*!)+1;<
N…¾
MAC°/¸DB
h$.‡U$‰-/01;6>-…{XQ*hx$ml)<
sŠN…Pq #R*
\#XX
[V[+][V
N…¾
ZXXQVvi]dua(u(_TWvY
*ž!U_82¨.­Ì’`%em#)
DI/°/¸DE
ˆR,#
TW³
*`!U8Ç%«b(¨r$0$)+0WtŽ¹Š+i*%(ˆ1J1&)+,0ˆo-­XQ*f#)"#,‚()$0<
Ëu+XQŒ»­Ãk „
P
s
ZXXQUTWV^u]|T+va
q ÉÉtÉήADB
Á¬}?B
Technion - Computer Science Department - Technical Report CIS9325 - 1993
€r«”$H)+51&)+$Fd#)6d5x0m#)+1›
)+8d$4-0m#)ol#,l($)86Ï
„
‚()&h$x0m#)
$‰!C)ƒ)m
„
!0)$S!1ƒ+*Figh$†•Æ´z)gdk€r)$Hm#€¼0m|…0m#)
"#8#0ˆ-.,m#)ƒ"#
"#8#0ˆŒl!
„
l!$r-j0md)
„
"#8d0ˆÐ8
)$0CH „
#-j0md)ªl6$kf$r!$‰h8
!½$Hm|l)(‡rmd)
h$o,m#)
)…$Hm#€kh$_0m_#&-Š,m#)
„
0m{)+|8#$4‹0m#)o.$)+51J)+$-j0m#)o8(f$'#$kr,m#)
„
)8ƒ
„
"#8d0ˆh$x†*!($)8Š
„
"#8#0ˆ-”ª*!)$H#){+g
„
‚().h$t"d$‰h8
)o,m#)."#
"#8#0ˆxl!$}h$­!$Sh8
„
€r);†*!"8
„
6d5
„
)z,m#)k"#
W.§z)W)(#,m#)
„
"#|8#,ˆl!
„
"#8#0ˆol!
)ƒ,m)+‚()+,ˆl!x-…0md)
igh$.$H)W51J)+
"#0,m#)+,1&0)(
h$8^h$H'ZQ#-…,m#)
!ƒ$ml)((j)^"6‚+*6)W
*6ˆe
x,0m#)
„
"#8#0ˆ(F8,m#)
"#8#0ˆ{l!rf$r*h,5)+k,m#)+{0m#)”8(6"|$4-_,m#)igf$k8(f$'
„
!#5!+©‡rm#)+0)C-/0)eQ0md){|$H0,",)8
00)i$Hl8(6d5.0…#)!5m
)8
)«ˆ{-j0m#)igh$z8(f$'#$C
8^!"$k-}"#0‚0"#,)k)+‚()+,ˆ
0"m
w
)$0CH „
!$Hm|l)(_µ½mk0)+1;i!$r,
01ѹŠ)+1J1ƒ{\#+*`*…ld0le$H)8Íigf$J8^h$H'd$x,)ƒ#5)W
w
"#8#0ˆŸ8
„
Ž$x,)ƒ"#Ž$‰h8
Ž$r%!C)r0md)r+g
"d8#,ˆÒh$"#Ž$‰h8
„
"d8#,ˆŒ|$H0,",)8
h$
$H)+51&)W
Šh$Š6Ï
h$x8^h$H'd$
!0)$S!1ƒ+*S
){+*ž*k,m#)+«igf$x8(f$'#$o-…,m#)
‚()ªh$z,m#)
„
){0md)ƒ+g
"#8d0ˆ-0md)x"#
„
!
$Hm|l)(
%!)Œ+*`*,m#)Œ8^h$H'd$ƒ-0m#)ld0le$H)8Â+g
h$ƒ0"m½0m#)
l!$_,m#)+ˆŒ0);i*ž*k1;ig!1ƒ+*k8(f$'#$.!0m#)J"#
8
)$,H „
)$x0m#)W0)-/0)©ÒC*ž*!)H!½-)W
!Õ$ml)({‡rmd)&l#,l($)8>igh$œ-/"#CH!
,)+$-o1ƒ+g
!1;i*”8^h$'#$C½b4*ž*.,mxh$«*!)-/J0
$Hmd€kƒh$r0m|k0md)o*ž*!)!Çh$k1&l*6)W0)(d8ƒ0m|k0md)+0).)Cg
!,m#)o"#
"d8#,ˆÓ{€r>8(`ÔZ)+,)+
„
h$HŽ$r#x,m#)+F1ƒ+g
)
„
!1;i*
8(f$'
!Ÿ$Hml)e
b.$0$"#1J)ª,m#)xC00ˆ&h$.C0,)W8,m#)+0).h$.#,m#)+…1ƒ+g
$Hm|l)(Œ¨r)!#5Œ1;ig61;i*48^h$H'Ò!xm$0)!,m#)+,"m,m#)
l!$…;ƒ#)l6ƒ!Հkm
"#,‚0"d0)xz,m”l!
W49ŸˆW$H)e#0m#)1ƒ+g
!
"#|8#,ˆÕx€r8(`ÔZ)+,)+
„
hmӁ+$)(t!$&Ž8^!"$ƒm$&0
!1;i*}8^h$H'Ç!©0m#)"#
))("i*”0Œ0m#)©8^!"$ƒ„
!1;i*}8^h$H'm|$k0
„
)Ž#5)+z,ƒ0m#)o,m#)
"#|8#,ˆz,m#)o0"†m6d5&l!$C
„
9S-
J60)W0+*
8^h$H'J0"m#)$rol!
!$U8^!"$­h$
)+8-Z0m#)…+g
„
"#8ª,
„
h$$H)+51&)W
8^h$H'Œ0"m#)$.{l!
k-
0m#)”H€Fx.$)+51J)+$d#)6d5Ö½€r!0mƒ×Ÿ
)_*!)$0$U
)("i*e0…0m#)Ž8^!"$Q-#,m#)Figh$Q8^h$'Q,m#)F,0)$l8^!#5
W_§z)+|)($H"mxo8^h$H'x1;+ˆo#
-k)C6,m#)+oּ׊6om$ª,
„
„
)…z1;ig61;i*8^h$H'Z_9‰-Ø60)W0+*
)ƒŽ#5)+ª,{0m#)
l!+Fb4*h$Ho0m#)”igh$r8^h$'J,0)$l8^!#5x,0md)…$01J)…l!
§z)+|)()!0m#)+j0m#)k#)W€:1;ig!1ƒ+*Z8^h$H'JCi!$0m#)…+g
„
"#8d0ˆo,m#)
f$#5)+00m#)
h$8^h$H'‚(fC)k‚()+$,
Q9
"d8#,ˆ(
„
,mƒW$H)i$
„
€r)o5)+…0Ž8^h!0x,m#)$,$H"#1Jl#H!$
‡rm#)
0md)Ç"d
*!ˆ½+*6,)+0|H!‚()Œ+*`*!€r!#5Õ,m#)€F8^h$'#$&,
!½$ml){f$ž-x,m#){0)*!)+‚
8^h$0CH!
"6ˆo-|0m#)#5)W
„
W­9o0mf$
+$H)
"d8#,ˆ>l!
„
„
J0m#)
0mx8(f$'#$U1;iˆ
T+V
)$S61x"*6Ž#)W"$S*6ˆ½1;ig!1ƒ+*z!
„
„
"d8#,ˆÕm$xÙd)+5(H!‚()
)o,d5)+<k0…0m#)
„
"d8#,ˆ
y
Technion - Computer Science Department - Technical Report CIS9325 - 1993
ÚQÛÜUÜ#Ý
-/"#CH!$k
w
"d8#,ˆƒ0)i$0,"H!&h$tl($,$‰ „
„
0)i$0,"0)i8
„
h$HW
…0m|…)+‚()+0ˆ;igh$z8(f$',"m#)$r,m#)
"#8#0ˆ$)+51J)+$……Öz‹‰à|•…8Çש‹à#•r,)$Hl)!‚()*!ˆ(…‡rm#)Ž#5)+
„
8^h$H'{Ž8^žr‡rmd($H)«,)ª5!‚()+
)+‚()+,ˆJigh$
)*h$H)å
*!ˆ~-/rl1J)+,Hh
"#8#0ˆJ_€r.l!$Cr‡rm#)…8(f$'J)+0)+,)8oFß&‹à#•Z0"|†m#)i$Q0m#)r*!)-/}8
"#|8#,ˆ$)+51J)+$t!ҋ‰Y^•Æ,)ªl)+,l)+8^h"
„
*!)
)+ˆ(!#5‹ŽT+a^•Ž#,m#)+0€rh$)0md)ª)Cg#l#,)$0$S!$4!‹[(•k8&#z)Cg
„
01Þ0m#)o0)i$0,"H!)^"|H!$4!4h$k)+‚(f8)+
w
H!5m
!$HF#,)z,mÆ
—
„
ˆ;$H"
„
i*ž*Uh$r#5)+k0x,m#)
*h.0x,m#)8^!0)!$z-_,m#)!…0)$l)iH!‚()o+g
$HH!,"#H!#5‹‰[^•!
„
…‚(),Ž$4,&,m#)
‹SÖ>ãß&•|8Äá
â
,Óá
â
‹×äãß&•Ž§z)+)
"d8#,ˆ{k€Fl!$…‹‡rm#).l6$…,)o8^žÔZ)+0)W
„
"#,‚0"d0)o‹á
â
•
f$_*h05)+r,m#)+
„
0m
"d8#,ˆ{"#,‚0"d0)$èxéƒ8ƒè
„
"#|8#,ˆJ"#0‚0"#,)$Øh$Qd)+5(H!‚()(,m#)+,m#)r,)$Hl)CH!‚()rl#,
„
k
˜æT•
‡­>l#,‚()0m#)$H)C8½l,-x0md)Ù*!)+1J1ƒ€F)m+‚()0½$m#€ç,m©0m#)Œ+g
0md)
h$
€r)$m#€Â0mrž-Fè~é{ê‘a~,m#)+{ë(é{ê½åÄ8&ž-Fè
â
ê½ax0md)+{ë
„
â
h$8(f$'
!‹v(•_9S-U)C6,m#)+F-
*!)+1¼h$_$H*6‚()i8Š_‡rm#)W0)-/0)(
êÍå
â
9Sèxì_í
Tkã>å.— î
ã>å
—0—
è~é{˜
ê½a
Tzã>å.— î
0md)+ƒ-/01Þ0)$0Hh!‹TT•F0m#)8
ãå.å
í
T…ã>å.— î
h$.+$H)oë
é
è
ˆÐ$H"
—î
T…ã>å
…$0$)+0Ž$4,mrž-Fè
ÛÜUÜ#Ý;Ü#Ý&òó
ô:òióQôÜÛôõ
)+ˆ‹ŽT+a^•F8ًŽTT•F‡rm
„
í
„
—0—
—î
ê½a
„
ê½a
ãå…—0—
ê½a~,m#)+{ë
â
h$zl,rh$z8^!,)H*!ˆ©8
h$k0m#)igh$4-0md)ª"d
¹Š)+k"$tώ$H”8
„
)$,H „
"d8#,ˆ{$H)W51J)+
êÕå
â
)+!‚()8&-/01ö¹Š)+1&1;$k³J|8[
!0)$S!1ƒ+*+g
h$r*`!'().-/"#CH!©÷
€r!0m;o$H0h_6d)^"|i*ž!Hˆxh$”*!)+5ei*Øigh$Q-/"#6U_9&8
€r
$H!0"dH!-/,1ð‹(•
y;‡rm#)ƒÏ$xl,x-o,m#){0m#)+0)+1ðh$y{b4*ž*”+g
‡rm#)o$)|8Ðl|0rh$CyrbzJ6Ï
0m|”÷
‹Tu•
h$Æh$…&8^!,)…†*!"$‰!-/01΋Tu•k8Ç,m#)o0)$0fCH!Œ‹T+a(•
bÂ$‰!1xž*f05"#1J)+
ñ
ì
ãå
ê½åÂ
Tzã>å
¨r"#k,m
Tkã>唗 î
)W#1x!,kf$kl($S6!‚()(Š8
èxì
µŒ)ªm|i‚()”0;$Hm#€Â,mk!Ç,m
èxìUåí
—,—kï
„
)W_0$Hmd€Í0m
h$-/"#6$
)+ˆ(6d5NjŽT+a^•F8‹TT•
h$C
€r)km|i‚()k,o$Hmd€
!$ml)J‹T•Ž
)xx$ml)
„
Ž$rÖÓ8ƒ×Î8
ˆ&!$
)Ï|#)8
„
"#|8#,ˆ(r‡rmd)
„
T+Y
„
"#8#0ˆÇh$…1Jl($)8Ç-_,m#)
ˆ&,m#)o0)C$00"|H!{)("H!$.‹[(•d8{-
0{,m#)ƒ+g
Technion - Computer Science Department - Technical Report CIS9325 - 1993
Öz‹‰à^ø+•Ž
h$.-/"#6U|$‰h8
,m#)ª*!)-/
"d8#,ˆ{l!
„
*ž!#)©$H)+51&)+o0ŸÐ*ž!#)‹S,m#){8
)+0m#)x*ž6d){$H)+51&)W
– —
h$ªl6Jß&‹à(ø•…,
oC0,)$Hl8^!#5ƒ,~!”+8^!#5J0{‹[(•F´z€)Cg#,)+8&,m#)
0,)8Ù*ž!#)&!
…0;ß&•§z€F)+‚()++(,m#)x8
!5"#,)u•Ž_
w
‹Y(•0m#).Ž#5)+rÖrù,0md)zÖÓkà(ø+^h$l!
#5)W
oC##)iH!#5©0m#)J+g
„
Ži!
!#5ŒH€F{mi*ž-”l
6d5&,€ÆŽ8#$r0m#)”$01&)”mi*ž-jl
)WH!‚H!‚()oÖr—.!ҋ\
*h#)$C¨rˆ
*h#)o$kß
•h$4l!H!#5{0J0md)$,1J)$‰h8
—
)
‹S,m#)
*!ˆÇž-
!ҋ‰V^•_h$kle$‰!H!‚()(
Ll
L(a 0)
L(a 0+ ∆a)
Aa
A(a 0)
w
!5"d0)&ueyr¨r"#8#0ˆƒl|1&)W0)+rh$k1&#,#)o6Ÿigh$4l1&)+,)+H!7H!Ø
%("#l#le$H)(rmd€F)+‚()+W_0mƒ– —Œú
##)!#5.0md)r+g
l!.Öz‹‰à^ø
ï
h$ª#x
½‡rm#)WU}-/ƒŒ$H"û{†!)+H*!ˆÍ$H1;i*ž*œü&à_0md)8^!"$
ø
üJàzd)k$‰h8
ï
)k-0md)t*ž!#)(,z,m#)
)-,m#).*`!#)e|!0)+Ž$H)Ž$Æ!W$H)+)
h$k1&)i$r,mk)!,m#)+kÖz‹‰à^ø+•_h$t!,m#)o+g
üJà|•Ff$.!Ò,m#)ƒ+g
ï
a
h$Ql6Ql1&)+,)+jà
üJà|•j©0m#)0md)+…$‰h8
0J¹Š)W1&1;xY0m
Öz‹‰à^ø
A(a 0+ ∆a)
w
„
"d8#,ˆ
!5"d0)&uekb.+C8(6d5
h$…8^h$H'{-jlŽ1J)+0)W…à^ø
üJà~
ï
h$o8^h$H'Œ-ÆlŽ1J)+0)Wà(ø+J§z)W)()!0m#)WªÖ…‹à(ø+•kÖz‹‰à^ø
ï
üJà|•
"#8#0ˆl6+C08^hH!#5,m#){$0$H"d1&l#!>0m,m#)~-/"dH!ýh$>+g
„
h$
-/"#CH!U
bþ$S!1~ž*hJ05"d1&)++
ÿºèxìrÿ åí
™
—oú
a
Tkã>å.— î
°fBŠM @dDEË°fI/²
q GŒD
|DAD
)&-/o™
—ú
a
{´z0)J0mªž-o‹T.ã‘å
l,m#)$Sf${-0md)*6)W1&1;
…0m#)+
„
—î
•Fã½å”å
ˆ½‹V(•&)C6,m#)+{– —Íú
Á~¸@
¸@A iDI¶@AMDIIfKd?ÁM
MI/A°/¸ªGC@B¸I/°/?Bš?(ÊM²ÁŸAM0ÁCI/AC°/¸I¶°/?BÁ‹TWa^•ÙDBÀý‹ŽTT•
¾
jILKMŽBDBd²xD
|?°fB#IfÁ¬®ŠKMJÀ°6Á
)J1;8
—0—{ú
a
ôõõ
…$&!,m#)mˆ
„
°6ÁœÀ°6Á o°6Á…IDB(±
A DI/@
MB#II?xDxÊ?@
ACMx°fBŒILK°6Á~¸DÁMx°6ÁxEžDA±
?°fBdILÁ¬
T\
B|À(DA²AM,¸?B
_°fIfK
DýÁCI/A°/¸I
ÁCI/A@d¸I/°/?BƒDÁ…°fBƒ‹‰[^•…?B{I ?
MAxIfKdDBÒIfKMxACM,¸?B
ÁCI¶AC@d¸IHM,À©Ê?@
B|À(DA²
Á
Technion - Computer Science Department - Technical Report CIS9325 - 1993
É
ó
ô܍Ûôõ
|DAD
MI/AC°/¸
¾
q G«ILKdDIkÁM/±
ÁM/±
¾
MŽA²
M,À°/DEZD
¾
°6Á?(ÊMŽ²Á…‹T+a(•oDB|À«‹ŽTT•W¬
GC@B¸I/°/?B
á
"!# %$&(') %$& * %$$&)
0
D
MBdI.?(ÊM²Á‹ŽT+a^•;DB|ÀЋTT•
f·
D
ÁC°/À
MAoDB©°fB B#°fIM0ÁC° ¾
+
DE6E“²ÐÁKd?ACI
-, ./
j°fILKÐàÙIfKMDA¸ E6MB(±ILK?HGo‹ Œ‹à#•
_°fILKDƒÁCI¶AC°/¸I…°fBŠM @dDEË°fI/²
”°fIk°6Á;DÇE6M/±(DE
x‹à#•0•W¬
M,À°/DED
¾
°6Á
MBdIH¬
¾
µÒ)$)+lŽ,)ª,m#)o0m#)W0)W1
21
ôõõ
¾
D
?B
O
3
q G°fBŒD
DAŽD
ÛÜUÜ#Ý
y.%("dl#l($H);å
€r!0mü&åĘæ媋à(ø
4
MIMA…à^øJ?HGIfKM
¾
MI/A°/¸tGC@B¸I/°/?BŒ°6ÁoB?IkDBŒD
ñ
0J-/)+€½*6)W1&1;$C
i°6Á_GC@
|DAŽD
¾
MI¶AC°/¸QGC@
ûЁ†!)+
üJà|•jã>媋à(ø+•%6|)Jü&åäê
ï
…W
ÿê
&
T
+
kIfKMBŒILKM
6 6
*!ˆ$H1;i*ž*FüJà€F)xm+‚()
ï
ü&àt%e)+)
)ª1;8)ª-/k,m#)$,$H"#1Jl#H!Œå
„
—
|DAD
â
—
êÄT
ü&à,m#)Jigh$.8^h$H'-FlŽ1J)+0)+”à(ø|h$
0+*`*!ˆŸ+6d)8Ð!,m#)igh$z8^h$'Ç-_l|1&)W0)+…à(ø
bÂ$‰!1xž*f05"#1J)+
oÿºå
B|¸I¶°/?BZ¬
‹à(ø•”êÄTŠ0m#)W-/oƒ$"
—
5
B|¸I¶°/?B
!5"#,)xV
w
ãT
—oú
R +∆R
R
A(a 0)
„
w
∆a
!5"d0);V
y.9S-F0m#)xŽ8^!"$.-/"#6m#5)$…0(("
)+g
h$r-/"#!U
7
ôõõ
ÿºèxìrÿ å
ñ
í
Tkã>å
ÛÜUÜ#Ý
8
q GŒ°fB¼D
—î
|DAD
¾
9
IfKMBŒILKM
MŽIHMA{à(ø>?HGŒIfKM
|DAD
y%("#l#le$H).,m#)o
¾
MŽI¶AC°/¸QGC@
|DAD
h'^*!ˆ(Š,m#)xl#,l($)8Ù-/"#CH!+Œ#
:
MI/A°/¸ªGC@B¸I/°/?B
¾
B¸CI¶°/?B°6ÁB?IÆDBD
{‹TJãšå
—î
•”ã¼å.å
—,—Âú
°6ÁGC@B¸I/°/?BŠ¬
,,ˆh$r00)i+|8&0m#)k-/"#CH!ƒh$r{igh$}-/"#CH!UF¨rˆ
¹Š)+1J1ƒT4,m#)”"#0‚()i$­ÖÍ|8&×Ä!‹[(•_0)k&,m#)
T+[
„
"#8#H!)$t-U,m#).$ml)”,0)$l8^!#5
Technion - Computer Science Department - Technical Report CIS9325 - 1993
¹Š)+"$t)Cg1~!#)…0m#)œ8^h$H)oå
‹å
0)W1&‚(6d5J$H)8Ç8
#;
• î
ü
ï
)Wr6Ï
#;
ü
ï
î
˜Óå
ª-/01›ß&‹à
=<
î
üJà
ï
ã>³å.üJàre$‹T+vaªã
!0)$S!1ƒ+*0)+,1ƒ$C
>;
?<
˜Óe$
ü&à
#;
ü
‹TWV^•
üJå
ú
A@ CB
‡rm#)+,)-/,)(rl!$&*!ˆ^!#5>Ó7!1x"#,m
#)!5m
„
!#5l!$C_
U•
€F)ª5)+
ü
-/01ç‹TWY^•Æ8‹TWV^•
üJà|•
0Öz‹‰à|•Ž_¨rˆx0md)o($S!#)z*h+€o
ï
ê
Ù-/01
ß
…,)Ç!$‰h8
—
,8(fCH!#5{0m#)J$0$"#1&ldH!,m…6…f$o
„
)Œ0md)igh${8^h$H'Õ-«
"#|8#,ˆl!
o-F,m#)
$Hm|l)(
bÂ$‰!1xž*f05"#1J)+
@
rh$k‚i*žh8Ç-/k0md)$0$"#1&ldH!-F©7C61x"d0m
LJ K 2DFE GIH
: PHRQAJIT S LU
K QVJW YX
0H> ZJ T S
MI
ôõõ
®ŠKMB
ÎDBÀ
M°fIfKMA
?A
|DÁÁC°fB(±&IfKA?@±K
ñ
ÛÜUÜ#Ý
ì
FDBÀ
À
y.µŒ)xm+‚()x0©$m#€
¬
¾
9H>J
ObH cK>O ObG
#K Ge\`K#O ObG
&•
ï
‹
ï
ï
ï
MB#IfÁ°fBIfKM
ÐKMACM
À
ì
M
ZEžDBŠM F°fB#IMAÁM,¸I¶°fBe±DIÆD
‹$H)W)
w
ê
ÞDBÀ
8
˜
ï
ç
ï
ê
Ǭ
ðDBÀ
|DÁÁC°fB(±xILKAŽ?@±K
!5"#,)ƒY(•Q,mo)!,m#)+
ê
|?°fB#I
MB?IM0ÁƒIfKMJ¸°fAŽ¸E6MJ¸MŽB#IHMŽAM,ÀŒDI
MB|?IHM0ÁIfKMo¸°fAŽ¸E6M¸MBdIHMACM,ÀƒDI
%("#ldle$H),m#)0Ž0ˆÕh$ƒ0,"#)(kS)(
!#)("i*ž!H!)$ƒ€F)5)W
B
N O
3JW
)G
[J 3
ZK
PH>J]\^JLK PK#G]\_GIH
^H>J JLK `K#G UGIH
>K G aJLK GIH UJLO ObK GIO ObH MJLO
H>Jd\eJNO ObH
ÊMoI ?&ÁM/±
ú
Ù¬
ƒ
ƒ›8d8^!#5Õ,m#)ҀF
ï
˜Ñ‹
ï
o•t!C08^hH!Ò,ƒ0m#)o,Hh#5*!)~!#)("+*`!ˆ
ï
ï
›8
D
B
E
C
A
!5"d0)©Y
w
yJ9‰-…,m#)ƒŽ8^žk!
,)+$)W*!)$x#){-.,m#)!)+|8ýl6$h$ª!$‰h8
†!*6)e
T+³
)©0m#)ƒ0m#)W
fhgig ijkml
Technion - Computer Science Department - Technical Report CIS9325 - 1993
>¡«¤
n
p
q G©DÒÁM/±
ôõõ
ÁM/±
D
2
MBdIJ?HG©D
¾
MBdI ”ILKMŽB:IfKMJ¸@A M0ÁÖ
¾
°6Á«À
ILKACMM{À° ¾
á
DBÀ&×
o
MBÁC°/?BDE
MI¶AC°/¸zGC@
¾
rq
y
ÛÜUÜ#Ý
_‚()+0ˆ;igh$k8^h$H'ƒ,"m#)$0m#)
00)i$Hl8)+)1ƒ+ˆ
„
igh$ªl!x0,)$Hl|8
)ª-/"d8.,m#)x+g
)+)i$Q1;+ˆ
„
„
"#8#0ˆ{-j0m#)œ$Hml)kH€Fl!$Cr‡rm#e$H)
ß&‹‰à|•Ž
‡rm#)
sq
*B
x
,mŒ$‰h8
„
)$k-j0m#)oŽ#5)+
*!ˆ)Cg)Wl#H!|$­,z,m#)H€Fzl6
h$z)W8Çl!+o‹ Qg#l*f!$
)x-/"#86
ӧ
—
„
b@
:-/,1
igh$œh$CH!
ê
B
Ï|
ß
—
t@
$"mƒ0m
"d"$C­-/«{$H"
Óê
w
„
"d8#,ˆ
B
,x0m#)igh$zC"#0‚()(€r!0m
B
uB
€r!0mŸ($
˜‘å
—
x$Æ!Œ‹³^•Ž
„
"#8d0ˆl6
r%6|)o0m#)o#5)W
v<
ûЁ†!)+H*!ˆŒ$H1;i*ž*…üJà+*h$H0md)J#5*6)
!0)$S61;i*
*ž!#)$H)+51&)+…##)!#5Jigh$4l!$…à&8à
4%e)+)
"#
"#|8#,ˆÒl!$oŒ0m#)J8^h$'ŠUf$.,m#)
¹Š)+…"$z$0$"#1&)x,m#)xC00ˆ(Z|8$H"dl#l($H)J0m|…0m#)«7!1x"#,m-Æ
h$z…#5*!)
„
`T
81&0)x-/,1ƒ+*`*!ˆ!Ó V8‘ u+/•
µ½mª€F)ƒ$mi*ž*Æ$Hmd€¼h$ª0m|o0m#)J7!1x"#0mŒ-Æ0m#)
<
%
°6Á
?HG‹[(•JDAM«?BIfKMJÊ?@BÀ(DA²Ÿ?HGxIfKMÁKdD ZMxIfKdDIkILKM
l!$_0)kåo‹à#•U8^h$U-/01¼,m#)Figf$
l!
0md)œ!
B|¸I¶°/?BÓ°6ÁŸDBÓD
M0ÁW¸AC°/ÊM0Á¬
ñ
d5*!)
|DAŽD
…ß
—
0x,m#)
ï
-Æ0m#);7C61x"d0m-/01
ü&àx€rž*ž*
„
)e$H"m{0m
!5"d0)\d
L(a 0+ ∆a)
L(a 0)
R + ∆d
R + ∆R
R
ψ
φ
-Aa
A(a 0)
~∆a
A(a 0+ ∆a)
w
!5"#,)ª\dyr‡rmd)7!1x"#0m{-0m#)
?<
µÒ)m+‚()Fe$
ú
wB
($
«˜
å
"d8#,ˆÇ-/,1
„
%!)Fi*h$oå
—
,m#)igf$kl!.0,)$Hl|8^!#5ƒ0x!+
h$Q
—
$H1;i*ž*}ü&à#$&,m
?<
üJå
ꑁ($
ü&à
€km#)+,)ü&å˜Ó媋‰à
ï
üJà|•Øã>媋à#•
TT
!
"#"$€r)kW.Ï8z$"
û{6)W
*6ˆ
‹TWY^•
Technion - Computer Science Department - Technical Report CIS9325 - 1993
max{Kc} = 1/R
R
A(0)
R(0)=R
w
!5"d0)x³y‡rm#)ª!
w
y
!f+*F8^!H!-/k0m#)+g
h$…8^žÔŠ)W0)+Hhi*j)("!U
tx
!5"d0)x[yr0,*j-j0m#)igh$z5)W#)+H!Ÿ”
0"#!U
z{i| | } ~
£
9Ç,m
h$zll)W+€r)8
)+*6…€r!0mŒx0)+ld0)$)+
Ž6-l
*h$Hml)
„
"#8dH!)$C
©0m#)"d0‚().,)+l#0)i$H)+H!{-}0m#)o1J)8^hi*j+g#)$r-_,m#)$Hml)(r‡rmf$…0)+l#,)$H)W
)+)+{$m#€k{)û{6)W
„
_!©+i*h"
*hH!#5
„
„
$)8
ŽH!Çm|$
"#8#0ˆ&-/)i0"d0)$C‡rm#).l#,l($)8$,†m#)W1&)…m$Fi*h$H
*!)80ƒ€rƒ*!++*r,)$H,Hh6$.igh$”-/"dH!$xµŒ)xm+‚()x$HŽ,)8҃,m#)+,)+1©Š$0$H)W0H!#5
8^!H!|$0m0)J#))i$0$00ˆŒ8Ÿ*!++*ž*6ˆý$H"
m+‚()ol#0l($H)i8#)+€¼$'()*!)+0
-tªÏ$z8
ûЁ†!)+œ-/igf$.-/"#!U
!76Œl#ld0(†m{!€km
h†m{0md)1J)8^hi*j+g
)+…$ˆ#$0)+1Þ-j8(6|0ˆŸ8^žÔZ)+0)+Hh+*_)("H!$C
T+a
w
!i*ž*!ˆÒ€F)
h$4h$…&$*!"#H!
Technion - Computer Science Department - Technical Report CIS9325 - 1993
‡rm
h$.$ˆ#$0)+1
$m#"*f8
,
))+#"#5m©0;$H*6‚()o-/k,m#),m#0)+)”"##'#€kÇ-/"#CH!$
„
u/
ҋà#•
x‹à#•
|8媋‰à|•Ž
‡Q'^!#5J0md)8(`ÔZ)+,)+)o-0m#)o)("H!$r!ҋ‰[^•F€r)o5)+
Ö>ã×
%!)…ß—h$t…"#
ˆƒ0m#)
„
í
˜Ó³å
!‚()0+€r)…0)r!
*„
ß
%("#1J1x6d5&ÖÓ8Ç×
a
ãT
‚ƒ
—î
,)+0)i$H0)i8
‚()o)("!
„
0€
Tzã>å
T
a
ߗ
*!ˆª!J0m#)…8(6,)6i*!
-/01;H!&!1&l
ÖÍãÒ×
—
*ž!)8
‹TW³^•
-/01΋[^•€F)o5)+
³ß¼ãՋSÖ
ו
ï
˜‘å
ß
—
—
³å
|$‰h8
)+6d5Ç,m#)o#,1
-j0md)
‚()‚(),r)i^"H!©€r)o5)W
„
å
¨rˆd€
€r)m+‚()
„
†…
³ß
ãՋÖ
ï
³å
Ži!#)8¼)("6$Œ8
)$0CH „
"#|8#,ˆÕ6-/01;!Ušb4*ž*.,mJf$x*6)C-/ƒ08
„
8
)+|)
1;i!
„
)+€r)+)+,m#)
Ži!#)8Z‡rm#)J6-/01;!Í
0Ž,)8-/01
‹‰V^•ŽQµŒ).$"
"$S6d5‹v(•#0md)+0)
ˆJ
„
„
„
‹TW[^•
!#5Ó0m#)Íigh$Ç-/01
)+€F)+)+0md)+1ð8Ù,m#)Jigh$$)+51J)++h$
„
"dx0m#);†m|#5)$œ!,m#)ƒC0,)$Hl8
$H!0"#,).0m#)”igh$_0)+,1~!#*65ˆƒ-_‹‰V^•(,
„
Ži!
„
˜
í
Tkã>å
é
‡ˆ
á
í
˜
Tkã>å
‹TC\
—
Tkã>è
Z‰
‡ˆ
á
Š€km#)+,)Jè
â
„
•
å
„
"#8#0ˆZ’Ë$
h$.0m#)x1;ig!1ƒ+*F"#,‚0"#,)(U$)+)
!Hhi*؁8^!H!-/_0md)tŽ8^!"$
lŽ1J)+0)+Uh$Q0md)}*!++*8^!"$Q-Z"#,‚0"#,)
‡rm#)F$,1J)rl!Q-#1;ig!1ƒ+*d"#0‚0"#,)t,m#)
€r)Ž"#Ž<Ð,m#)
)J)g#Å
"#8#0ˆƒ,)+01x!#*!5ˆ
!f+*Ɓ8(6!Ò-/.0m#)«igh$”h$z|0"di*ž*!ˆ*!+,)8#,1ƒ+*0ƒ,m#)
!5"d0)k³_‡rm#)!
媋‰a^•r˜
—
å
"#,‚0"d0)x1;ig61x"d1Uo{8^h$HŽ)Jw
„
T
™
—
Tkã>è
‡rm#)ª!
)+C)ƒ1ƒ+ˆ
!#5
T
– —
,0)$l8^!#5
Òh$ƒ01;'()©$"#0),mƒ,m#)C0,)$Hl#Å
"#|8#,ˆ$)+51J)+$
8
„
…
ו
˜
—
"#|8#,ˆ(_8
)CÏ
!#5{0m#)x€F{"#,‚()$y…Ö
„
"#8#0ˆ(+h$­,m#)l!
€km#)+,)
,ƒ0md)*6)C-/ª-k,m#)Jigh$ª8×
,
!$kH!5m+
‡rm#))i^"H!Œ$ˆ#$0)+1
l($)8$H'()*!)+,

!‹TW³^•ŽQ‹TW[^•…8ҋTC\
!7H!i*!5H!,m#1o‡rmd))+#5!#)x1x"$H
,0*Fl#,)$,$ƒ‡rmf$ol#0C)$0$o$Hmd"
"H!*ž6'()0m
€kmªl|i!o0md)ª,)+1;i!
•k1;+ˆ$)+0‚()$z0m#)x)W#5!#)-F0m#)l#0Å
„
h$z!
‚(*!‚()$yz%e0ldl
"#8#0ˆŒ$H)W51J)+
!#5ƒ€r
„
„
)xl#l
*h8ÒÏ8Œigh$$H)W51J)+
*ž!)8Ù,&,m#)
„
"#8#0ˆ‚(f;
Ž$.0mC0($,$;§.8(*`!#5Œ{$S6,Å
!#5{0m#)«igf$o$)+51J)+$……0m#)J,($,$‰!#5ƒl!+
m#)'^!#5
Ž$z1J)+)++Z|8Ÿ!
"#8#0ˆ©$H)+51&)W
Ž$$H)W)
w
!HhH!#5&#)+€
!5"#,)x[
igf$o$)+51J)+.8
!‚()+
„
ˆ
Technion - Computer Science Department - Technical Report CIS9325 - 1993
Š
‡rm#)ЁCÅL*!)+#50m>$S!5!
Ž#5)+
-Z,m#)
‹‰V^•œ$Hm#"
3
21
q G°fBŒD
DAŽD
î
#!l6Ž$_8^!0)iH!Z•§z)+|)0m#)Æ$H)8ª,)$H,Hh6U
LŒ
•
ã>å.兗0—
7
ì
ÿ åí
8
q GŒ°fB¼D
ôõõ
Tkã>å.— î
|DAD
i°6Á_GC@
|DAŽD
ì
Äÿ è
ÿºå
í
T…ãå
‹TT•
—î
MI¶AC°/¸QGC@
¾
9
|DAD
5
B|¸I¶°/?B
oÿºå
—
ÿê
&
T
+
kIfKMBŒILKM
|DAD
B|¸I¶°/?BZ¬
MŽIHMA{à(ø>?HGŒIfKM
¾
IfKMBŒILKM
‡rm#)d)g#”0m#)+0)+1
4
MIMA…à^øJ?HGIfKM
¾
MI/A°/¸tGC@B¸I/°/?BŒ°6ÁoB?IkDBŒD
ÿºè
—
)ƒl($‰!6‚()‹1J,)ƒ+"#Ž,)*!ˆ(Q,m#)
„
)+)i8Ð,m#).-/*ž*!€r6d5&*!)+1&1;$…,)ol#0‚()+ƒ!,m#)l#l)+8(`gØ
ôõõ
¾
‹
"d8#,ˆJ+#
„
‹Tkã>å
98
*h8:+*!€k+ˆ#$
MŽI¶AC°/¸QGC@
¾
-/01;i*ž!7+)$.0m#)J
|DAD
B¸CI¶°/?B°6ÁB?IÆDBD
‚()x€F&!
„
:
MI/A°/¸ªGC@B¸I/°/?B
¾
,"
—î
{‹TJãšå
•”ã¼å.å
—,—Âú
°6ÁGC@B¸I/°/?BŠ¬
!H!‚()x0)$0fCH!$Cx‡rm#)x,m#)+,)+1
h$Æ-/01;i*ž*!ˆ{l#0‚()+ƒ!,m#)l#l)+8(`gØ
É
ó
ô܍Ûôõ
DB{°fB B#°fIM0ÁC° ¾
MAC²
-, ./
i°6Á.ÁM/±
¾
q GŒD
°fBŠM @dDEË°fI/²
|DAD
Á~¸@
¸@A iDI¶@AMDIIfKd?ÁM
GC@
á
"!> %$&(') %$& * %$$&
B¸CI¶°/?B
D
MB#IF?(ÊM²Áz‹ŽT+a(•oDBÀ‹TT•
D
f·
D
„
$)8ǹŠ)W1&1;$…³
?B
ÁC°/À
MA
%+
_°fIfKxà{ILKM”DAŽ¸
_°fIfK{DÁCI¶AC°/¸I°fBŠM @dDEË°fI/²
°fI
[8{\#y
°6ÁœÀ°6Á °6Á…IDB(±
A DI/@
O
MŽB#IrI?&DJÊ?@BÀ(DA²AM,¸?B
ACMx°fBŒILK°6Á~¸DÁMx°6ÁxEžDA±
_°fIfK
DýÁCI/A°/¸I
ÁCI/AC@#¸I/°/?B©DÁ…°fBƒ‹[^•œDI_I ?
MAxIfKdDBÒIfKMxACM,¸?B
ÁCI¶AC@d¸IHM,À©Ê?@
B|À(DA²
Á
?°fBdILÁ¬
z“’ L” L•[– k(— } •[km–
¡
%('()*!)+,
+¡
ƒ¤
ƒ¤
!7H!>f$xl#,)8
"#,){0mÏ8#$,m#){1&)8(f+*”igh$-œÙ56‚()WÕ$ml)(Œ9
h$oi*h$H©$H1&)WH!1&)i$z0)-/)W00)i8Ç0Ð$ƒ0,m#)x1&)i8^hi*F+g
0md)Œigf$&-/"#|H!
÷
h$z,|$‰-/,1ƒH!|<
-~$Hml)Ùh${>$H*!"#!¼-«>$Hˆd$H,)+1
)("!$Cr´z0)…0mk0m#)…0)i$0,"H!Ð-/01x"
Ž8
Á‹TWa^•FDBÀ.‹TT•+¬
MI/A°/¸ªGC@B¸I/°/?Bš?(ÊM²ÁŸAM0ÁCI/AC°/¸I¶°/?BÁ‹TWa^•ÙDBÀý‹ŽTT•
IfKMBŸDB#²JD
|?°fB#IfÁ¬®ŠKMJÀ°6Á
‘
¾
¾
MFI ?.ACM0ÁCI¶AC°/¸I/°/?B
MB#I¬
‡rm#)ol#,(-F-j0m#)o,m#)+,)+1þh$
ôõõ
MI/A°/¸
¾
q G”IfKdDIQÁM/±
M,À°/DE
D
¾
|DAD
x‹à#•0•+¬
 Ž
°6ÁÆ?(ÊM²ÁFIfKMFD(Ê?
DE!E˲~ÁKd?ACI
E6MBe±ILKŸ?HG…‹ Œ‹à#•
°6ÁDƒE6M/±(DE
M,À°/DED
¾
)+)^"|H!$m+‚^!#5,m#)&*!)-/«8H!5m
v
„
xµÒ)l#0l($H);0m
-x8^!0ˆÓ8^žÔZ)+,)+
hi*
*h)‹[(•$H6,"#0)$Hˆd$H0)W1ä-
-/"#Ï$
"#8#0ˆÍ$H)W51J)+
(8^!0)$J$.!#l#"#Ž$
Technion - Computer Science Department - Technical Report CIS9325 - 1993
9S-
€r)8^žÔZ)+0)+Hh0)&‹‰Y^•€r!0m©0)$l)k0;à#|88^!‚(f8)0md)ª,)$H"*6
$H)i8{8
)WH!‚H!‚()$k-}0m#)
"#|8#,ˆŠy
„
‡˜:™ Mš w›œ š œœ €
›
œ
Mš š œœŸž ‡˜ ™ Mš ›œ
â
á
ÖrùùU˜
â
á
兗
â
â#â
^â
ã
â
á
â
á
w
â
á
k˜
^â
兗
ã
T…ã>å
í
â
á
å
—î
T…ã>å
í
å
—î
ß
—î
—
‚ƒ
—
„
ß
—
é
"#8#0ˆŸ$H)+51&)+$C#è
0)$l)iH!‚()*!ˆ(j‡rm#)…"#,‚0"#,)4h$_0md)r*6)W#5,mƒ-Z0md).$)|8x8
â
‚ƒ
—
01΋0u•F€r)+5)+k0m#)«"#,‚0"#,)o-,m#)ª*!)-/…8H!5m
|8&è
—î
‹0u•
â
â#â
T…ã>å
í
Tzãå
í
#¡-¡ Mš ›œš š ‡ ˜¢™ œ œ Mš š ‡?˜ ›œ š ™ œ-œMš ›œ €
×
ˆÇ‹‰V^•#€F)o5)+k,m#)
„
)+H!‚!‚()z-U0md)…"#0‚()
€r!0m©0)$l)ik0x!$…CÅL*!)+#50mUF§z)+|)
‡˜ ™ Mš ?›œ š -œ œ
œ
?
›
Mš š œ-œsž ‡˜ ™ Mš ?›œ
á
èxéǘ
á
â
â
â#â
â
(â
á
‡rm#)ƒŽ8^!"$x-œ"#,‚0"#,){-œ
„
è
‡˜ ™ Mš ?›œ ž -œ œ
œ
?
›
Mš š œ-œ š ‡ ˜ ™ Mš ?›œ
â
á
˜æã
â
â
â
á
â#â
â
â
‹v(•
â
á
"#8#0ˆ(f$,m#)&!‚()+$)ƒ-…!$J"#0‚0"#,)ƒë՘
0md)+0)-/0)
—î
T…ãå
é
ë
˜Óå
è~ìjí
‡rm#);
„
‚()ƒ0)$"
|8Ç´”5)C*³€km#J8
m#)+,)x+*f$)+|
#.m+‚()ƒ$‰!1Jl
Ž8
)+…8
¥
â
—0—
*!)x5)+1&)+,Hh1J)
„
!#5dU$H"|†mŸ$.8
r• k •[k(– †–
½ Ñ¡«¦
_£
¥
ФŒ¦
Š
—,—
+!#)8
„
„
ˆŒ¨t*!"#1
*!)gŠ•
„
"#|8#,ˆÙ-/)0"#,)$k0m8
!5m#)+
¦ bjk } ”§fhlvk
¡
¡
¦
"!UŠ,m#).€Æiˆ;0x‚()+`-/ˆJ0m|”©igh$HÅf*`!'()o-/"#6Çh$
„
+*rld0
*6)W1
„
!
‚(*!‚^!#5{0)i$0,"H!Ò-r,m#)x$ml)
sx
h$.$H)CH!{f$…€km#)+0md)+r*!+i*,)$H,Hh6$
h$-/"#6½+>m#)*!lÕ"$,) 0)«$H1&){-œ0m#)©+8^h8#,)$x€r6,m#"d&,)*!ˆ^!#5
i*‚()WHžÏZ+H!UF‡r€rJ$"mÐ*!++*0)i$H0hH!|$z0).!
„
*!$
å
ï
)WH!‚H!‚()$…-,m#)x"d0‚,"#0)xzm
•)¥
ƒ¤
‚(fx)!0md)+ª‹ŽT•Fo‹[(•…‡rm#)^"d)$H6+f$)8Ç!,m
5*!
Tkã>唗 î
"#|8#,ˆ(
)+)i8Œigh$.-Fƒ$ml)(Šh$.&5*!
Í0m#)©+g
‹(•
èxì_í
)+!‚H!Œ-F0m#)+‹S1J0)JC1Jl
b.$t1J)+H!d)8&6©0m#)…60,8
!8
ã>å
)WH!‚()8x0m#)+1›5)W1J)+0fWi*ž*!ˆ(r´…)+‚()+0,m#)*!)$,$,m#).0)i†m#f("#)…l#0)i$H)+0)8
)WH!‚H!‚()$k-}0m#)
¤ – } ”
£
T…ãå.— î
á
—î
˜Óå½ã
*!$0);##)+€o©‡rm#)+ˆ,0)$l8Ò,0)i$H"
*!)$z,m#)J8
„
Tzã>å
ë
ï
‡
‡rm#)e$‰!#)o6Œ‹³(•th$
„
"#8
¨.
)i8Ç0©žãT
,"
!H!‚()*!ˆ©l#l0)++y
+T§z)+)”0m#).ώ$H…0)$0Hh!U
ÿºå
u
—
©\
ÿ
¼T
‹TWa^•
Technion - Computer Science Department - Technical Report CIS9325 - 1993
i*!€Æiˆd${H!"#"|$.0md)Œigf$&-/"#|H!|$Çåo‹à#•J8Óß&‹à#•J+*6€Æ+ˆ#${,)(šbzl#l#,(m
8^h$0CH!
"6ˆ«à^øo-/01
d)ƒ$Sf8)ƒ-…,m#)ƒ+g
h$C_0m#)
„
ǻ
"#8#0ˆŒ0)†m#)i$ª©)+,i!l6
!Í8^!0)!½C0,)$Hl8^!#5Œ00md)&*ž61x!&‚+*6"d)ً‰à
0m|o$Sf8)(µ½m
8^žÔZ)+0)W
Fl!
ž*!)ƒl#l#,(m
©ß&‹‰à^øC•F‡rm#).5(l
Ž$k0)e
—
‹à#•o8>ß
Ž$Æh$k1&l
*!)+,)8
‹‰à|•…-/01
—
"d8#,ˆŒ$‰!1x`*hH*!ˆÒ,)m#)$”
„
ø
m#€r)W‚()++ƒ0md).$,1J)o†!†*!)…-
Ž8^!"$k媋‰à
)+€r)W)+ƒ0md)ª€Fxl!
„
à^øC•o-”å
!#5ƒ-/01ç,m#)x,m#)+o$Sf8)(U0m#)
W¨r0m;l!
!#5‘
ˆÐx†!"
„
•})+0)+,)8
*h..$)+51J)+k-
0mf$…†!*6)e
¬t­s¬
®°¯4±L²³3´)µ?¶U·¸[´[¹ ±µu¸[º`»µu¯t¼ ½ ¸[³b¾
´À¿ZÁÃÂ3¾
ºAÄF¸[º?ŵ¾
ÆI¹ ¾
¯t²
§.+‚^!#5;0m#)
8
"d8#,ˆŒ8
„
)$,H!l#6>i*ž*
„
"#|8#,ˆ-/),"#0)$”0)x)i$‰ž*!ˆ8
)+H!‚()8Zo‡rm#)
)+!‚H!‚()$k-F‹[(•r€r!0m©0)$l)k0;à#,)
Ö
ÈÇ Mš ™ ›œ ɚ š ›œ œ-œ
â
á
˜
—
âdâ
Ê €
â
á
í
Tkã>唗 î
ã.å
—
‚ƒ
èxìUå
ï
å
—
T…ãå
í
—î
ß
—
‹S\•
×
ËÇ Mš ™ ›œ Mš š ›œ œ-œ
â
á
˜
—
â#â
á
ÌÊ €
í
Tzã>唗 î
å
â
ã.å
—
Tkã>å
í
µ½m#)+,).èxìƒh$t0md)o"#,‚0"#,)z-
0m#)”igh$r"d0‚()…߃‡rm#)…"#
,),m#)8
—
‚ƒ
ãè~ìØå
—î
ß
—
!rŽ#5)+r‚(),Ž$Q0Ö½|8&×
)+H!‚!‚()$4-)†mŸ"#0‚()œ$H)+51&)+k€r!0m,)$Hl)k,~!.€kŸCÅL*!)+#50mUU‹–j8™
0)i$Hl)6‚()C*6ˆ•
´z0).,m
01
w
‹\
•!4h$z)$Hˆƒ,{8
ˆJ0md)o†m|i!,"
„
*!)(y_Ö
5Í
)+!‚()ª,m#).*!)-/.8Ç!5moŽÅL*!)+d50m!
˜½ÖFù
—
+– —
8{×
—
#¡Í
˜Õ×
™
>¡
>ÖrùØ8{×
—
-/01;6U
”,)
„
0m{"#
!
‚(),Ž$_8Ֆ6—J8:™W—ƒ0)ƒ,m#)©$0++*f*!)+#5,m½()Cû{†!)+$o-”Ör—;8×ƒ—;0)$l)iH!‚()*!ˆ(
9‹S\•U0m#)J‚(),.l|08Ù,m#)x1;56,"8
1x"
*!H!l
*ž!)8
ˆƒx0H!1;,Hžg{f$k-j"#
„
€
ÖrùU˜
‡rm#)…8
í
å
ã.å
—î
—
—
Tzã>å
í
)+!‚H!‚()$_-Z,m#)k1ƒl#l
0md)$,+i*hz1;5
– —
Tkã>å
˜
€
!0"8
Tkã>å
í
)xl|0Ž$4-r‹\
—î
ã>å.å
T…ãå
—
!k*!)+#5,mUZ8{0m#)+,)-/,)(y
#¡
×
—
€
z˜
T…ãå
í
ã”å
å
—î
—
!#5e$t-­igh$tÅf*!)+#50m&!0
T…ã>å
í
„
—
—î
‚ƒ
ß
—
‹Y(•
"#8d0ˆJÅf*!)+#50m$C#,)
•Ž
—,—
ï
—î
‚ƒ
—î
ß
)ƒl|00)J)$ˆ0©$)+lŽ,)(J´z,)x0mß
èxìUå
‚ƒ
V
™
—
˜
€
T…ã>å
í
—î
ãå”å
Tkã>å
—0—
ã>èxìUå
—î
‚ƒ
‹V(•
Technion - Computer Science Department - Technical Report CIS9325 - 1993
b4-/,)+r,)+1&‚(!#5ƒ$)8ƒ8)+r!
Ï
!0)i$‰!1ƒ+*0)W01;$y
?B
üJåæ˜
€km
hmÇ!{0m#).*ž!1~!+Z0)$"
¬t­ÉÎ
*!$r6‹‰³^•
®°¯4±L²³3´)µ?¶h»µÏ¯t¼ ½ ¸r³0¾
´¿#Á`Â3¾
ºAÄиrº?Åѵ ¾
ÆI¹ ¾
¯t²
q
mŒigf$ol!
$H)W51J)+
$‰h8
ü&àF($
"$H"|i*ž*!ˆ0,)$Hl|8#$ª,ǀF
œ,0)$l8#$o0{€r
)8ÇÇ,m#)oH!5m…$‰h8
„
"#8d0ˆ$H)W51J)+
„
"#8#0ˆl!$;§z)+C)(Š)†mŒ+g
h$
Ž$ŠÖ…‹à#•”8׋à#•r*!+0)8ÒÒ,m#)x*6)C-/
)-j0m#)”1&)8(f+*jigh$4,)$Hl)!‚()*!ˆ(_‡rm#)
„
"d8#,ˆ{l!
”,0)+Å
$Hl8^!#50{l!ànj0md)&1J)8^hi*tigf$C­h$z*!+,)8Ù!{8^h$|)ƒåo‹à#•r-/01ð0m#)J+g
"#,‚()zl6…ß&‹à#•j‡rm#)o7!1x"#0mƒ-
0m#)
-F,m#)x#5)+Jã.ß
*B
‹‰à|•k,ƒ0md)J"#0‚()l,oào§z)+,)
—
0md)œ-/*ž*6€r!#5{0)i$0,"H!Ç-/,1x"
8
&h$.8
)W50)W)$Q-/01›0md)o8^!0)CH!
)+,)+01x!#)8
„
ˆÒ‹³(•§z)+C)(
*h
€
֘‘ß¼ã>å
tB
"#8#0ˆƒl6rh$
„
h$
å
ã
T…ãå
í
T…ã>å.— î
í
—
å
—î
‚ƒ
—
ß
—
‹[(•
€
×瘽߼ã>å
´z,)x0mß
1x"
8
*!H!l
—
T…ã>å
T…ã>å.— î
å
—î
‚ƒ
—
ß
0md)
—
„
bB
ˆ
˜‘Ž+($å
—
,)+…†*!†'€rh$H)-/kוF‡rm#)x8(6,)6$
”߃‡rm#)o8^h$|),
"#8#0ˆƒh$z0m#)oŽ8^!"$k‚i*!"#)xåo‹à#•
„
n
p
ôõõ
ÁM/±
”0©ßƒx‡rm#)J1ƒ0`g
!$S!7+)r,H!J1;0žgU,ŽH!#5ß
€rh$)J8^!0)!Ç-/zÖ¼‹S…"d
‡rm#)o0)C$00"|H!{-/,1x"
q G©DÒÁM/±
¾
°6Á«À
2
MBdIJ?HG©D
MBdI ”ILKMŽB:IfKMJ¸@A M0ÁÖ
¾
*hЋ‰[^•_h$Æ-/01;i*ž!7+)8ƒ6©0m#).-/*`*!€r!#5ƒ*!)+1&1;
á
DBÀ&×
ILKACMM{À° ¾
o
MBÁC°/?BDE
|DAŽD
¾
MI¶AC°/¸zGC@
B|¸I¶°/?BÓ°6ÁŸDBÓD
%
°6Á
?HG‹[(•JDAM«?BIfKMJÊ?@BÀ(DA²Ÿ?HGxIfKMÁKdD ZMxIfKdDIkILKM
M0ÁW¸AC°/ÊM0Á¬
‡rm#)ª*!)+1J1;«h$zl#,‚()8Ð!0md)xldl)W8^žgU”c4)C*6ˆ(!#5{©0m#)J
0md)ªld0(-tC)+
‡rm#)
8
—
i!#)i8,)o0m#)o8(6,)6$k-jÖz‹à#•8ƒ×‹à#•_-/01þ,m#)igh$rl!
„
D
í
ãí
—
!ª‚()i0z!8^h+!#5Œ{8^!0)!Ž#5)+
*!ˆ(!#5.6
-/01¼,m#)t*!)-/Uh$_z"#
)+50)+)i$t6©0m#)†*!'
h$oÐ"d
å
„
‚())g#l*f!Œ-…‹[(•
,0)$rl#,‚(!#5{‹³^•Ž
*!ˆÕ)g|)+ldH!Í0,m
h$&0)C$00"|H!½,"
)+!‚H!‚()${åz—‹à#•x©ß—+‹‰à|•h${#{CH!
Y
"d"$C
*!)h$&0m#)Ÿ+$)€km#)+Í)!0m#)+;-o,m#)
µ½m`*!),m#)Œigh${8
)+H!‚!‚()${0)Œ#
4– r• { •[km–
Technion - Computer Science Department - Technical Report CIS9325 - 1993
Ò
Ñ¡«¥
ФŒ¦
_£
¥
ƒ¤
%("#l#le$H).€F)km+‚()…ª1J)8^hi*Øigh$_-jo)+,i!;$Hml)o8J€r)k€k
$Hm|l)(&µŒ);+Œ
„
Ži!>0m#)J$ml)ƒ"|$‰!#5‹T•J‡rm
-”0md){$Hml)(t€kmd($H)
8
„
*!
„
*h8Ò5!‚()&"$,)8
"#8d0ˆ>€F){$H)+)W'ŠµŒ){+Ø_m#€r)+‚()+WQ,)|$H0,"J
)$,H!l#!½-”0md)$ml)Œ8^!,)H*!ˆÒ-/,1
"$S6d5{0)$"
h$ª€F"
,0)i$0,"_,m#)
0md)+g
h$J8
)$,H!l#6U½‡rm
h$h$&1ƒ8
)i$06ldH!
„
"d8#,ˆ
){l($0$S „
*!)
"#|8#,ˆl!zm$.k*!)$.d)ª1J)8^h+*+g
h$
ˆ{¨t*!"#1©
9žT
³¨t*!"#1
$,$H)+,0)8{0mz)im
„
8^h$H'©#5)+.,&!+U8Ù,m”5)+#)Wi*ž*!ˆ(Š)im1&)8(f+*+g
h$o8^h$H'{h$œŽ#5)+.0ƒ,m#)x$ml)
"#|8#,ˆ6Œ€rƒl6$CƒÌ4-F,m#)x€rƒl!$C­#)xf$z*!+0)8,m#)*!)-/o-F0m#)x1J)8^h+*
„
igh$8Ò0md)&0m#)+oÒ!$ª!5m+{¨t*!"#1
i*h$6|8^h+,)8Ò0m|)imÒ-k0md)&€r©l!
Ó =B
*!+,)8.#5*!)&‹ŽT+va
Fã
^•-/01Þ0m#)o#5)W
å
¹Š)+ƒ"|$&)g|1x6d)0mf$;$H0)+1J)+~!
ldl)W8^žgUk|$‰h8
*ž!#)o$H)W51J)+
_!
w
)+”{6Ï
$H)W51J)+
H!5m
?B
Õ!0"
‹³(•
!H!‚()€ÆiˆeÂb
ld0(-«+
h$…$H)+51&)+…$k8)+l
Ï6,)$‰!1;i*j+g
-…,m#)
k,&,m#)igf$…$HJ0m|
‹à#•_˜Óe$
!0)$S!1ƒ+*+g
!5"#0)xTkh$t0md)4!
h$x,0)$l8^!#5$H)W51J)+
—
h0)i8;!
w
„
!5"#,)&Tr‡rmd)œ*!€r)W
"#|8#,ˆ(‡rm#)J*`!#)i$x#d)H!#5,m#)ƒ)+|8#$-…,m#)
„
h$$H)W51J)+
…0f#5*!)h$k#)*!ˆƒH!5m”#5*6)e€F)W©l#ld0+g
Ž$­)W8l!
Ž$r%!C)k0m#)k"#ldl)W
!1;,)
L( a + ∆a)
∆l
L(a)
R + ∆R
D
R
-Aa
|8
„
ˆ{X_ˆ
θ
í
üJ– î
,m#)igf$k0J0md)
‹å
ï
A(a + ∆a)
∆a
A(a)
!5"d0)ƒTy‡rm#)x7!1x"#0mƒ-/,1
K]Ô
Ô
üJ媕 î
ï
å
"#8#0ˆ(
„
ü&å
ï
,m5$y
K
î
˜Ó‹å
ï
ü&åo• î
)-/"#8:!½,m#)
h$r$)+51J)++|8&0m#)…"#l#l)+_*ž!#)$H)+51&)W
Ž$Q0)k,m#)k8^žZ,0)$l8^!#50.,m#)k+g
w
Ž$œh$
˜
å
î
\
$‰!
î
B
ï
uB
‹åŒ($
ï
ü&à#• î
Technion - Computer Science Department - Technical Report CIS9325 - 1993
!{$H1&)œ+$)$}!th$le$0$S „
*6)0«8
)+0)iF&ž*ž*!)+5(+*jigf$t-/"dH!
igh$µÒ)”l#0)$)+t€F*6Wi*j8^!H!|$Æ-/…{+g
0md)+ˆƒ0).,m#).
)o-Fx5*!
„
!‚(*!‚(6d5{$H1&)o'(6|8Ç-}$Hm|l)
‡rm#)Œ#)gdÇ,m#0)W)Œ$H)!$8#8
8^žÔZ)+0)W
h$r-/"#6{0
*!ˆƒ#))i$0$00ˆ*!++*j8(6!$Ckb4*ž*Š-/"#,0m#)Wt!
i*j,"#0)(
„
m#€€F)W{"$H)o,m#).#)+€
-/01
0m#)Ÿigf$x-/"#6U½9
„
,)$0$r,m#)zld0
„
!
,08
"|H!h$…8
b1J)8^hi*j+g
"d8#,ˆ,)|$H0,"6U
„
*6)W1þ-
µÒ)|†*!"8
0)$,$~,m#){l#0
h$k-Fx$S61Jl
*!)l*f”$Hm|l)ªh$…&*ž*6)iH!©-F+g
*hƁ"#0‚()e0m#)k,m
-œigh$&5)+d)+H!
‡rm#)0)$Ç-x,m#)
h$…$H)+51&)W
Õ
, É./
‹ ҋ‰à|•
0md)+
~‹‰à|•,•
‹ ҋ‰à|•
ҋ‰à|•48
×Ö
í
î ‹ Š•
ø
01›#€Â€r)”"$H)$H"
„
ï
$0!l#z,~!8(fW0)«8
Ðh$.Œ „
)Ï|#)o0m#)$Hm|l)
!-tigf$…8^h$H'd$
Þ
à
Œ˜
iH ã
‹à#• åo‹à#•0• Ø
„
)!#5,m#)k8^!"$tF$H
6,0ˆl1J)+,)+H!7H!
î ‹ Š•
)+6‚H!‚()$#,m
"|$kå
—
—
-}~56‚()W+g
ß
âáäã“å
Hã
h$r-/"#!÷
˜
ÝÝ
—
åš8©ß
‹‰à|•
„
2z1;i!
, .É/
)œ©igh$r-j$H1&)œ$Hml)e4%!C)o"#
-/…)+‚()+,ˆ{igh$4*ž!'()-/"#6U€r)1;+ˆ©$0+ˆ{0m4!Ž8
igh$Æ*ž!'()ª-/"dH!€r"
*h8Çm+‚().,
„
)o0md)+g
)+.,
Õ
~‹à#•0• U&Ìk-Ɓ"d$H)e
„
!©$ml)x‹T•Qh$k8
)Wz,
)Ïd)8
)«~*!)+5(+*Figh$4-/"#!UU
h$z-Q!Ž$4"#6Œ$Hml)(
[
˜
‹T•
‹‰à|•Ff$o{8^h$H'Œ-FŽ8^!"$媋à#•”)+0)+,)8Ç:‹ ҋà#•
*h8ƒm+‚()z,
—
h$k0m#,"#5m,m#)
#z)+‚()W0ˆƒ,m#0)+)8^!1J)+$S6i*}lŽ1J)+0f.-/"#!h$.*6)W5(i*}igh$4-/"#CH!Uk98
).d)(^!k€r"
-Õ
)+Å
/LÛ Ü s;Ü
>Þ
‡rm#)o06‚(hi*
€Æiˆ;0J8
„
„
x‹à#•U0)J0m#)xl|Å
߃
h$8(f$'
)im
k‡rmd)ªl|1&)W0)+”à&0m|.€F)ªd01;i*ž*!ˆ"|$H)(#h$4,m#)
ØÖ AÙPÚ ,Û Ü
à|‹ •˜
bzŒ+g
Ž$
-, É./ .
/
‹‰à|•_˜
!8ƒC(8(6|0)œåª‹à#•
$HŽ8d8ŒŽÅf*6)W#5,mlŽ1J)+0)+…-F,m#)x"d0‚()߃k9‰-
"#
)!#5
!#5…-/"#6UQ90m#)-/*ž*!€r!#5€r)Æ$H1J)+61J)$Q,)-/)+U,.0m#)Ɓ"#,‚()tl|0j-,m#)
1J)8^hi*}igh$z$.ß&‹à#•˜
—
*!)+1
„
h$
)+‚(0)8ƒ0x,m#)o#Ž6Œ8{0)+,1~!#*!5ˆ©0mz€F)."$)(
1J)+0fk8)$0!l#H!;-
.l
ÝÝ
„
)€r!0mæ:$"#1J1ƒ0ˆÕ!Ä%()CH!¼Y
,
w
"#8#0ˆƒ-/),"#0)i$
„
*!-k,m#)ƒ$)6Òh$†!,)8Š­!Ž$ªl#,(-
‡rm#)xÏ$.€r©(8^!0)$o-k,m#)x1J)8^hi*Æigh$z-/"#6
-t߃
‚()e.0m#"#5m!
„
"#8#0ˆƒ,)$H,0"!Ud8
„
!#5oH!"#"$_,m#0)+)…8(61J)+$S!+*Ul1J)+,Hht-/"#!{÷
++*`*!)8x("#)+|†m
*h8ƒm+‚().,
%e)H!Ó[ـF)l#,)$H)+x0md)Ç*!+i*œ0)$0Hh!$&Õ,m#)+g
0)C-/)+0,)8Ò0Œ0md)l#l)+8^žgØÕ9½%()6Õ\Œ€r)©8d8
!7H!Ø
‚()i$HH!5eH!$4€F"
"#|8#,ˆ0)Wl#0)$)+!{0x)gd0Ž
-/"#CH!U{bä0md)+,)+1ð$!#50m#)J1;i!0)i$H"
Ÿ$H'()*!)+,
).*!)+5(+*8ƒl#,‚()”0m
„
0)i$0$Ç,m#)Œ0m#,)+)("#)$H!|$Ç+h$H)8Â
F8)++_9{%()6{³ª€F).8#8
$Hmd€
ˆ*!++*U!$Hl)!{-
,m#)
„
ç “• –j { •[k(–
Technion - Computer Science Department - Technical Report CIS9325 - 1993
æ
¤
j£
¥
‡rm#)r1J)8^h+*+g
Ф
h$_-Z…l
*hr$ml)…$‰h$$_-Z0md)t*!"$_-؁)W
!{0m#)o$ml)(d8ƒ-
0m#)!…0,)$Hl|8^!#5&Ž8^žFb1ƒ+g

,)+$Š-Š1;ig!1ƒ+*8(f$,+$
!1;i*­8^h$0z!ƒ0m#)œ$Hml)e
f$k8^h$0
Ži!#)8ª!x0md)r$ml)…$"†m0m_0md)+0)_h$Q#.0m#)W_8^h$,t6x,m#)k$ml)k,mj+!$­!…`TCS
‡rm#)1&)8(f+*+g
0!
h$zh$.$‰h8
)+,)8Œ,0H!‚()0)+l#,)$H)W
)C6d5ƒ*6e$0$S*6)i$0$x0)+l#,)$H)W
„
ŽH!UQ!x-/0)Wl#0‚(h8
ŽH!-F0m#)«$Hml)(z98#8^!H!
)$x!0"
!H!‚()*!ˆ>l#l)i*ž!#5Œ0m
!
‚()+Ž$‰!©-j0m#)$Hm|l)(
‡rm
h$zll)W.8#8
0)i$0$H)i$z0m#,)+)x("#)$H!|$…‡rm#)ώ$Hkf$Cy.F€F)5{8^!0)CH*!ˆƒ-/01
igh$Q0)Wl#0)$)+!-0md)r$ml)k,4!$
0Ž$S-/,1ƒH!-/,1
$Hm|l)(,m
„
è
"#|8#,ˆ0)Wl#0)$)+!
h$_^"d)$H6xm$
#_5ei!#)8xk*6_-d60)W0)$+)+‚()WU$‰!C)k0m#)66hi*Z€r0'o-Z¨t*!"#1
0md){igh$,m#)+x,m#)+>Ç-/"
„
„
"d8#,ˆ>0)+l#,)$H)W
+h0)+l#,)$H)W
‚(!"$…5)+1&)+,Hh1J)
„
ŽH!$4,J8
ŽH!0;Ÿigh$z0)+ld0)$)+
H!U&%('()*!)+,
„
*!)+1;$2z"d)k0o0m
0
!7!Ò-/,1
„
"#8#0ˆ8
"#|8#,ˆ-/),"#0)$U-/01
ž*6)©0m#)J-/),"#0){)gd0Ž6
ih
"d8#,ˆ½0)+ld0)$)+
„
!#5dz9>Yj¨r0"C)8ÒÃk „
¨è
„
Œ‡rm
*!)+1Z0m$"
„
h$Æh$k0m#)l#0
„
)+)+Œ8#8
*!)g
*ž6"$H)«$‰!1~ž*h
„
*!)+1
„
"#8#0ˆ0)Wl#0)+Å
-F$H'()*!)+,
ÔZ)+$z-/,1ç1;ˆƒ!1&l
)+)+J,†'()8ª-/,1š1ƒ
)$0CH!l#H!$.m$
Ž6
)-/,1~!#5;$Hˆ1J1&)+,0ˆ;$H)+Ž$
0)i$0$4h$yoF€F)5©8^!,)H*!ˆ{-/01Î
*!)gŸl#0
h$Q-CQ!tm|$
„
$‰hœ-/)0"#,)$k$k€r)C*`*j$r1&0)1&l
„
Ž6{-,m#)$Hml)
!7H!h$oƒ1Jl
l#,
„
)+6‚()o,m#)o5)+#)WHhz-/01;$k-}8
‡rm#)x$)8^"d)$H6€r)J8#8
$H)W
ŽH!Uµ½m
)+ŽH!$…0m#)Ÿi*!5)
*!)$k0md)ª)Cg#,CH!{-}0m#)
„
-/)0"#,)$4m|i‚(!#5ƒ*!)$0$z
„
*ž*
$)8:Õ5)W1J)+0f©|$‰h8
l#,l($)8Çm#)W0)!)W
i*!5)
Ð2z"#)0…0m#)F)$)-,m#)
,m#)igf$k0;J8^!0)k,)+l#,)$H)+H!{-0m#)$lf+*C0)+$r-_,m#)
|8&´.5)*­ ³Sj¨t*6"d1ä|8x´.5)*€km#)+,)t!0)+,)$H,)8ª!&)gd0Ž!#5
!š ³+kf$
,m#)
!7Å
*!)+1J)+H!
ˆ«8^žÔŠ)W0)+8^!0)iH!|$r%('()*!)+Å
0)i$0$H)i8
ˆ
„
ŽH”8
ˆ
„
¹Š)+)Ÿ vt€kmd$H"d55)i$H0)i8Ò)g|$H*!"#H!|$«-/ªl*6ˆ5i*œ$Hm|l)$%e1J)ƒ5(8>i*!5H!,m#1ƒ$
ldl#0+g61;!#50md){
¨r8
„
‚(){)gx$*!"#6$ƒ€km#)+,){$H"#55)$0)8
J)+Ji*¼º\k,)$Hl)!‚()*!ˆ(:µŒ)©$Hm#€
$Hˆd$H,)+1Ä-ŠÏŽ$HŽ8
0md)$ˆ#$0)+1›€r"
*!r!x$'()*!)+0
!7!,)m#
µŒ)ª,m#)+©$H'()Wmƒ0m#)o"#H*ž!#)x-}J$H'()*!)+,
‡rm#){0m
0m|J0m#){1J)8^hi*”+g
)+_8^!0ˆ;8^žÔZ)+0)+Hh+*Š)i^"H!|$r8
*h8Ç,)$H"
!Ž8½^"#)i$HH!½8d8
)+)i8~,m#).+g
ˆƒck($)+
è
h$r-
$H1&)…0)ii*Ø$Hml)(#8
0
„
-/)*h8Œ`TWaS_ck($)+
)…W0!)8~"#+6JŽ8
„
"#8dH!)$C4%e*!‚^!#5
h^"d)œ-/…5)+d)++*j$Hml)
$H)i8Ç{,m
„
ˆ
h$~h$x0m#)Ÿ$H*!"#!Ó0
ˆ,m#)
„
„
„
"d8#,ˆ(
h$zl#l#0emU
0)$,$H)8Õmd)+0)ƒh$y9,$x0m#)W0)©Í)$ˆ:€Æ+ˆ0,)*ž*…€km#)+,m#)+;
„
h$}-/"dH!ƒ€r)…1&)i;œ-/"#CH!ƒ,m_h$
ˆJƒ)$Hˆx€Æiˆx€F)z1J)ƒ+‚(h8^!#5Jƒ0,)+1&ld
00)C$00"|r,m#)o00)i$Hl8(6d5ƒ$ml)(F‡rm
„
6‚()W
!7H!Œ+*656,m#1
5!‚()+;igh$t,)+l#0)i$H)+H!&h$_*6)W5(i* Ÿ¨rˆx.*6)W5(i*Ø+g
!8
ˆ¨r('d$H,)!¼[k8
„
-/)*h8©05"#)8ƒ0m|k"
h$rl#0
„
*!)+1
m$
„
)+)+;l#0)+‚(!"$S*!ˆ8#8
,)$0$)8
*!H!1;,)*!ˆ$1J).0)i$0,"H!l#,)$0$rm|$
)+_,l#l#,‚()k.l#0l($H)i8&+g
³
h$Q-/"#!U§z)Æi*h$H.!8^h+0)8J0m
Technion - Computer Science Department - Technical Report CIS9325 - 1993
é ê ë8ìí í îLïoðÀì ñ òiîbó ô#êVõ öh÷ùø=êAõ=ô#ðtì úËø«ðÀû“î0ó
Ä ¯µu¯4² üIý´)þ¸[³Lÿ
F
Áe¿
»µÏ¸r³a½ ­ù®°µ ±IÅâþ̺5¹u¸ ¾² "!$#%&'()*+,##*!$-+-./01-32)+)(465716*8-+9#*:;<
7!=>!=?-.#*@6A)!=B)(*+)#(#*!$-3+C!=?0-"+D#E-'1F&GH!$+)#I!J+9GGH2)=#*!J+K
$-)G)1-2)+)L(4M.=#%2)(A")(-31)$:N-.IGH!=7!J+KM"#*OL+&>!=*<PJ!JQ.P2)+G#*!$-+
!=?+9>R!I-.I@"!/6)7E*SA)(-S-R*T()(*+)#(#%!$-+UHG*:;)(-V6!=
T160!=W.-X#*"-Y$-)GZ(*#*E!G#*!$-+W-+[L>R!=W.P2)+G#*!$-+\A/]^#*-(:_!="*#(3#ES5)6E*(#H<
!J+K;#**U(*#*E!G#*!$-+'(M+GEEL(4`+a$-)GJ$4b02)F&GH!$+)#'.-c+d>!=.P2)+G#*!$-+/A
e?!J+JP4cT+f0QR$#E-3+)!$g#*!$-3+8L))(-R6G%D!=h)(--*S57!J+&O)!=G*;#*":;7!=I>!=?!=
#*Y*-J2#*!P-+&-3.hTi)j*#"-jk-j7!l+(497!JmI(+)#*!=Ln2#%!$-+o*4,%#E:p7E!$V6+;1)4D#*
1-2)+)LE!$A
qrsEt6uvxwxyYsHzLw{\|~}Z€sEEw0v‚ƒHuh}Sz7„‚ƒz7sEsEv‚€z6„†…SsE*‡6z‚ƒ{zˆ‰*Š ‰*Š‹…"Š€ŒRu\‚Ž|$uC‘‘‘Œ‰’xv0us*PŠ
“ rsEt6uvxwxyYsHzLw{\|~”?{yYt6•6wxsHv—–*‚ƒsHz6EsY…SsE*‡6z‚€{zˆ‰*Š‹‰*Š …"Š€Œ6u\‚Ž|$uC‘‘‘Œ‰’xv0us*PŠ
T