!"## $%&'()&# * +#%&, +$ !"## -$'# ./012 3456172 8296/ :;:<=>? @AAB
!"## $%&'()&# * + #%&, + $ !"## -$'# ./012 3456172 8296/ :>? =<: ??>: ? ? >? : >? :< ?>< ? : >? : : > > : ?>< :> : ::> : < > : < ?<? >: ? >: ? : :>? > ?=: ? ? > : :>: :< ?>< >: : ? : >? ?<? : : :: : ?<?>: : :< > =? >:? > : > : ?> :;:<=>? @AAB
! "##$ %&%' () *+, -' . /+0 /* () 1%*,% 2 *+,% 3%' "##4 "567 , 6 1%) , 8,8 ,9: ;,0! <=' * 1%>*?,)@ A B%,&,'' C ' ' *+,% 3%' % ' /%9%-, / D,) 1%>*?,) 6 E,%' 2 F +%',G9* ' =?H,% " 2 .9),0! F A *,G' 5 2 1% ,9I%), F ,:), 2 (' ., 1AJK ; B $ 656#$
!"## $%&'()&# * +#%&, +$ !"## -$'# ./012 3456172 8296/ :>? =<: ??>: ? ? >? : >? :< ?>< ? : >? : : > > : ?>< :> : ::> : < > : < ?<? >: ? >: ? : :>? > ?=: ? ? > : :>: :< ?>< >: : ? : >? ?<? : : :: : ?<?>: : :< > =? >:? > : > : ?> :;:<=>? @AAB
:? : > ?>< ? : >?<: :< >: : > <: : ? ? : ? : : ? > ? : :< < :; ? :>: ?<??>>: :: : :?: ? < : > <: > : : : :>:< :!: : < : > < :< > : "?<: : ? ? :: <: : : > :!: ? :< > ? ?:< >?> :< : >: >? :< > : ? = : ? : ? #= : :: : > ? =?< ::<: ? : >:? ? #: ? ?> : ? ?> $ : ;< >: ? > ?<: > < ? : >:>? :?> ? : ? ?>: ?? ? ? >:>? > > $ : :> ?<?>: >:? ? ? : : ?> : > < >: >? ?<> ? ? :? : ?: =<::> < : ? :? ? : ? ?> ? >: >? :: # ? ? %<:>? ? >? :?>: : : : :<? :: >? : ?>: ::< :> ? ? < ?><? : ? : ? ?>: ?? ? :? >:>? > ?> : :> < :; : >: >? ?<> ? ? :? ? ? < ?:>?? >: >? ?< ? ? ? :: ?:> <:?>> ? :<? : :!: ? : : ?: >=? >?: < < : > ?< : :=?>> : ? ? >: >? ?<> ? ? :? #< : ? :>:> >: >? ?<> ? ? :? :< :>< : : ? : & : :<: : ?> ?? ><: : : ?> : ? ?>: ?? ? :>? =: :< :> : < < > ? :<? : :!: ? : : :>< : ? : ? ?>: ?? ? ? :: ?:>?? >: >? ?< ? :< <? # :
> ?< > >?< >?< : ? >: > ? : ?> ? ? : ? ? ? ?: >: ? ?: >: :: : >:: ? : > < : #> ? ? ? =: < : :!: : ? > : "?<: ? ? >: :: <: =: ? > :!: ? =: : : > ? : >:?> : ? > :: ? = ?> >: = : > ? ?? >: = :>?>< : >: >? : = $ >: ? >: ? ? ?:> ?<: ?> : ?>? :?> <: ?::>::> : :> >: ? >:>: ? : $ : >::> ?<:> : =: : :>: >:?> : ?: =< : : >: : ? : >:?> : ::> : : <=:> ? >? :?> ::: : <? ? <: :: >? :?> >: ? =: ? : ?>< ? ::> ::> >: ? >:>: ? >? : ?> : =: : :>: >:?> : >: : <? ?:> ?< >:?> : =: ? ? >: <>?: : :!: ? <: ? ? ? ?> >??: ?< ? > >: : ?>:> ? ? :> :>: >:?> : ? :>< : ? ::>: ?>: >: :> :< > =: = ::> ::> ? :> ? =: ? : :> ? ::> ::> : ?:> ?< >:?> : ? <? # ?
? +) *% ' , % )-9& *+,% 3%' + >G &,8 6 +K' '9'0! *' )%>%'* 6 C , *+ * H )%-), *, 9%%& *,G' >** %,9 :** 6 ,*+K& 9') ' *%, )* '&, ' H, * %, '*% * +) ', ' 6 F ; 6 F *,%- >*K , H* '& %! ,%K), ' *,%- >*0! +, * *8D* * 0! ' 9%'*,G' H )%K*6 F 9%' 9 >' ,% )* H* 8 - -? *, ' H % H * >) ',& +%,'' ' )),*% %9 ' +K'6 F 9'0 ,%' + ) ,* '
')%0! H * ', &%'+ * % %)% +*,%- '&,' ',&
+8 * H %)%&
6
F
*A9 )H &D )* H* %%) 8 -, ',*%
&D ' + * H & * %* ,%I%), * *,%- >*0! <%! )'I*,)@
%9 ' % ,' %0! % *0 6 F ;%, C,*%: )', '%* *'H*++),% * +,I%), 8%%,H)' )*9 6 /+,I%), H * *8, )* +% +,,& %**% * H:H, '*,&' )* 8 - 6 F
'&98%' <3&C?8,C, ,+ C ?&,@)* H* ',&,', ) '% *,
+ ' *' )%-0 ' ,%K), ' 9'0!6 =*% ' ',) 8&, %! 8&, 8,9 + )% ' %9, >% + )% ' 9 ', A@6 F + ', ' 9'0 +,%),+ *% +%,'' ' )%-)IA * - **% '%!A ,'!6 ; )) *, ' H )*), 8 - % <)', H - %- * ? "# &G *,@6 F D* ' )*+%- * %, > ,G )* )),*% + H >** *++),%* *, + '* -**%H +, * *+,% 3%''% *' 6 J%' >) % +K' ' *' 9'0 +> C8,) F ,%' F ,% F ;%, %- / ,% <+H)-@ / ,G ,) ?, ,, I K&, .G% =, %=,% (H (%' +- (8%, ,* % ' + ' ; 6 F D* ' + ' ; ' *+,% ,&* +% 6 F 9'0 +), *% ?,.,& ' !/ ,/ ,% (806 F 9'0 *8D* F %,%- )* , *++%+ ,I%), ' 1. + ' C %'0! *% ' ,'6 F D* '+'*+,%9,'9') 9%*,9H!',% 7 8% / ! ! 6 :* *, H +>%' .G% ; % 9'0 ' H H &D ' 3&% , ,:%%),* + ' *,%- >*0! 6
@ : >: @@ : >? ?<> ? ? :? @@ : <: ? >: : @@@ : ?< :! = : >: : A @@ :<? >: ? @ @@ : ? :< >: >? ?<> ? ? :? @ > ?< ? B @ > ?< ? > : ? ! "##$ %#&% ?:? ? > ?< >: >? ?<> ? ? :? @ ?? @@ @ ?><: : :> > ? : >: : @ :> > :=?>? : >: : ? >: >? ?<> ? ? :? @ :> @B @ :> @ :> A :> ::> ? ? >: >?
# # % > <? @ <: ? > : > ? ? : >? :? :<? : :!: ? ? > ?= @ @ @ :?>;? : @ B < ? > ::> ? ? >: >? :> B@ ? ? <?> B % % & & B > B B > :> B B@ ?>: >: >? ?<> ? ? :? A B ? ?> ? >: B : ; ? =< ? @ B@ : :!: : @ & $ !
@ ?<?><: ? ?<< : < ? >: @@ < # : < >: >? ?<> ? ? :? : ; A ?:? ? @@ @ !:<? : < # ?< : ? : >: : <<: : :! : : ?<>? ? ::<: ? ? ?= ; ? :> : : > ?>? @ @ @ :: >?= ?< ? >:: > : >? < : >: ? ::>?: : : ?= ?>: ? ::>?: : : ?<>? ? ::<: ? ? ?= ; ? :> : : > :?> ;? B B ?<>? ? ::<: ? ? ?= ; ? :> : : > ?<>? ? ::<: ? ? ?= ; ? :> : : > ?< <: ? ? : > ?<>? ? ?::> ? :??= ; ? :> : : > @ ?<>? ? ?::> ? :??= ; ? :> : : > :?> ;? BA ?<>? ? ?::> ? :??= ; ? :> : : > @ B
# A ?<>? ? ::> ? ? >: >? ??= ; ? :> : : > ?>? ?< <: ? ? > ?:>: B@ B > :> ? > @ B B@ :>? ? ?> ! > : >? :> A
> : ;? @ ?>: ?: > ><:>? : < ?= < ? :> ?=>: : > ?:>: ? >: >? : ?= ? : :> ?=>: :> : B > ?:>: ? >: >? : ?= ? : :> ?=>: :> : < ? :> : < ?=>: :> : > ?? ??= B ?> : :< : >: : ?< >:? :>: : >: ; ? ?< >? : >: ? <?>: BB B ? ; :? >
:> @ @ < : :<? :> @ :> @ :> > ? <?<: ? : ?< : : ?
u
s
g
? ?>< > :!: ? : : >: : >:< >: >? > =? : ::>? :? ?:>: : ? :? :: >: >? :: : : ? ;? > ?> < ?: :>? : > ? >: >? :>? ?<? < % ? ?<?> > ?> ? < > :!: ? : > : >: ::>?: : : ? ? >: ? : : = : : : : > ;? :>: : < <= : : ?<? ? : > ?< ? # ??>: ? ? >: >? : =< ? : < ? :: <: : : ? > ? >: ; :< : < ?<? :: : >? : >: #> ? : >: >? : <>? B> @: ? ?> < : >: >?? <:<: : ? >:? : ?> :> ? >: >? ? :>? ?< ? < >? : ?<:< ? > : ??>: ? : <?? ?> : :> ? > ? =>? : < <: ?<?> <=< >:? : ?> >: :=:> ? ? > ? : : > :< >: >? : ::> :!: > : ? ? < < : ? ?> < =: ? > ?< ::>?: : : ? >: >? : ;:> ?< : ? ? ? > : < >: > ? > ? ? : ?<? =?>:< > ;? : > =:< ? ? ? ? :< <= : ::<>:> ? :< <= : : : # ? ?<? :!:<? : # ? ?:<? > <>? B> @: ? ?> < <= : : :<>:> : <=< ; ? $ < <:<: ? : ? =:>? : : ?>< ?< : ?
?> > :<>: : ?> : :< < ? : ? >: : :!: ?=>: < > ? : ? ? : >: ?<? ?> >: :: : : : >: :: : : # : ? ?< ? : >: >: : ?>:< :!: ? ? : ? >:? :> : < : : ? ? :< > >: ?<? < :>? : ? = < B ?> :!:<? :=> : : <: ? : >? : :< = ? ?>< A>? :<: ? : <: B : ? : > ?<? ? :=>? : ? :: : >: >: ? : < : : : : : ? < ? > : ? < ? : ? ?=:> =? >:? B@ABB@ : ?= :>< :? ?=>: > ?< ? : : :> !:<? ? ? ? >?:? "?<: B : : : : "?<: ? : :> : @AAA AAA : ? : > : B AAAAAA : ? > ? > =? :< @@ : :>: : <: : > : ? :? >:>? > > ?< >: >? :>< : : < >: >? < >: >? ?< ? : : ?> ? : : ? :> ? > :< ? > ? :< ?:> : >? :<: ? : ? : ? : > : : ? ?:>: : > ?=>: ?<? >: ; : >:? ?>>:? ? ?: :> : > :> =?< ::<: ? : >:? ? #: ?:< :> ?= ? > : : ? ?>: ?? $ ABB@ : :? ? ? ? : ? : ? ?>: : ;:< ? : >: ? > ?:>> > ? : ::<: ? =:< ?<? > > >: = : ? >:? : >? :>< : : < =>? > >: >? :< : >> ? : ? ?> : ? >? ? >: >? : ?>? ?< ? ? : < : > : ? ?: ;> ? >: >? :< > ?> : ? ?> >?:? : ?< ? ? > ? = ;< ? : >?>< > : ? ? > ? ?< >?:> : >? :?>: < ? < # ? ? ? >?>< :!: : ?> < ? : > : ? :: >?:? : :< >: > :>:< :!: ? ? > ? ? ;> < ? ? :>< : < : >: :< :!: : ? >: >? : ?> :
? ?? ?<: : : < : ?> ? : > ? ?> ?>? ? >: >? ?<> ? ? :<? $ ?:< :> ;? :> <?<: ? ?> < > ? : ? ? : ? ?>: : >: >? ?<> ? ? :? $ :>: < >: : : > ? > ? : < : > : < > ? ? >: >? < = ? ? ? >? :?>: : : : < >: ? : < > ? ?> :; ?> ? ? = : : >: : ::>:< : > ? >: :: >: < :! :< :>: : >? : <: ? > >?:> =>? : >: >? :>< : : ? ? : >: >? ?<> ? ? :<? : < ! ? : ? > ? :< :? $ $ ?> :: < >?=:< =:< >:? ? < > > < >: >? ?<> ? ? :<? ?: :> ? ?<? < >: >? :>< : : : : ? : ? :;: : : ? : < : > ;> < >: >? ?<> ? ? :<? ?<? < >: >? :>< : : > ?: : : ? <: ? :! : : > ? =<:: < >: ? :: : < : ? : ? ? : :> > >: >? ?<> ? ? :? < > : ? ? ? ? <: ? :: ? : >: >? >: :> =< ? : < >: ? : : :: # : : >? :?>:
p
: ? <? : : :<?t
r
> : ? ? > ? :: ;> ? >: >? >?=:< : : ? ?>:?? ? :?>:>?> >: ;>< >: ? :: ? : : ? ?>: <:< : ? ? : >: ? :> : ? : > < >: > :> :!: ? ? >: >? : ?> ? : : >? ?<> ? ? :? ? >?:? ?< ? ?=: ? : >?:> > : ?:> : >? :<: ? : :< :> ?<?>: >:? ?<? ? @ : > ?<? <=< : <: ?> ?>: <? ? :? >> ? > ? ;? >> < ?> : : >? :<: ? ? > : ? < ? : >? > ?> :>?? > ? < ? : ? >?:? > >> @@@ >> < >?:? :: ? ? : :< ?<? ?=: ? >?:> :? >: >? ?< ? ? > ? > ?< : > >? : >: >? ? > > ? >: >? ? ? > ? :< :? >:<: : > ;> ? >: >? ?<> ? ? :? :: > ?< : :: # > >: : <: : >: < ? ?>: <! <? :>< ? > ? ><:>? : >:>> : ? : ?>: : :!: ? : < > :!: > >: ? > > : ? > ? ?< ?< <: : ;> ? > ? >: >? ?<> ? ? :? =?>: ?:< :> : <? # >?: ? ?>: ?? > >:< ?< >: >? :>: : : :>< : : ? :> < < : > : >: ;> ? :>? ? >: >? ?<> ? ? :? :< >: >? :>< : : :: >=? ?<?: : =?>:< :=?>> < <?? : ? :>:> ? >: >? ?<> ? ? :? : : :< >: :=:> >: : > :< ?><? :< >: >? :>< : : <? ?> : =?>:< ? : ? :>< : ;>? : >: ; ? : ? : ;> >: >? :>< : : : < > < : ? :>? ? = : > ?: : : ? <: ? : ;< >: >? :>< : : ?< :> :<>: ?< >: >? ?<> ? ? :? :< <? # ? ?< =: : : ? >??<? > ? : < <? > >: ;> >: : ? : ? ?> ? >: >? ?<> ? ? :? ? < :< :# > ? ><:>? :<? : :> ? : %<:>? : >? :?>: < :; :# ? :: ><:>?? <? =<:: < >?>< : :> ? >:? : ?> >: :=:> >: : > :!: > >: >?: : : ? ? > ? ?=: ? :=?>> < < : > ?< : :# > :: ><:>? > : :> ? < > ? :<? : :>? > ? >< ? ? =<: :? > ? ? ?? :: : :> ? : : >: ? :> ?< :=?> >: : :< :>: ? ? > ? @ ? :> ? ? :: ? > > > : >:: >< <: <? : < >? :<? : :> ? > ? >< ? ? ?: : :<? :=?> ? :> : >:< ? : <: ? ?=>: ? >: >? : ? > : :!: ? >: : ? ;: : ?<> : : > : :!: ? ? : : > > ? : <: ? : ;
? : : ? ?> : : ? = : : ? ? : ? <: ? :< < <= : : < ? ?<? < > ?< ? >: : :>? : ?> ;? : : ?>< >! <? ? >? ? :! ;? >: : ? : >:: >=? >: ? ? :# ? ? ? : ? : > ?< ? >: >? ?<> ? ? :? : ;: ? < : : : ?=>: :: >: >? ? >?: ? ? ? : >:: ? > :> ; : :> > ? :>? ? >: >? ?<> ? ? :? :< >: >? :>< : :=:< ?<? ? :: : ? :>< :=?>? : :> ? ? <? ? ::< : ? ?? > : <? ?< ; ? ? :<? > ? >< ? ? ?= ?<? <> : ? ? B >:: <:<: ? ?? ; ? ? > @ ? : # : > >=? >? ? >:: ? ?
:: ? >:: <? >: : :<? : ? ? > : :: >=? > ?< ? : : ? <: ? : >: >? ?<> ? ? : ? < : >:: ><? ? > ? : ? : >:<=< <?><? ? :? : =:< ?<? >?; <? ? : ? = ? : : >: ?< >: < >:? ? : < ? :< > ?:? ? :: >? :<: ? < : :!: < :< >? :?>: ? < : :: : ? > :> ? ?:< : ?< > ? : >=? ; ?< : ? : < :<? : :!: ? <: ?> ? : : :!: : : & : <: : ?<? < % > : >: : ?>? ?< >? : ?><: : >: >: : >: ?:< :> ?<?
•
&% & : : ? : : < : < > : >? : ?><: : >: >: ?> :!:<? ?>? : %<:>?•
% & : : : :< : < > : >? : ?><: : >: >: ?> :!:<? < >:?:?> ?= > @ <?> : ?>< < # ?<? ? ::<: ? : >: : : : ?<?>> <: : ? < ?>? %<:>? : < <> :!: ? ? :> < %<:>? : < : < < ; ? :<? : :!: ? :? ? :<? : >? :<: ? ? ? <: > : ? ? <: ? ?< ? : >: >: $ ?: ? >> ? :<? ? ? ? ?:: >: ;? : ?<?> <: ? ?: > > :: : ? :? : : ? :!? : >: < ? ?:> : >? :<: ? : ? >: : ?
Tempo de execuªo
Processadores
> @ ?<?><: ? ?<< : < ? >: < : :: : > ? ?<: ? ?>< ?> : ? : ? ? : >: ?<? ?> >: :: : : : >: ?> :: : : : : :: : ? ?< ? : >: >: : : ?>:< : :!: ? >: ? : ? >:? : : < > < <? : ?<: ? :> : < : : ? ? :< > ? : > ? ?<? < :>? : ? >>:> : ><:>? B <: ? : >? ::< = ? ?>< A>? :<: ? : <: B : ? : > ?<? ? :=>? : >? ?<> ? ? :? ?<? :> ?<?>: >:? ?< <:<> > = ? >: >? >?:? > ?>> :!: ? : : >:< >: >? ?<> ? ? :? ?<?? ?>> ? < ?< >> <:<> :> ? : ? ?> < >:: ? > :> : ?<> <: ? ? :? >?<?:> ? ::<: ? : >: : ? >: :=: < > ? = ? ? ? >? :?>: : > :!: > ?> < :>?? : :<? >::>< ? ?<? :!:<? : >: >? :: ? :<? ? :> ?<?>: @> :?> ;? < ?<? : : ? ?< < :>: : : >: >? : < ?<> <: ? ? :? < :; : < ? :< :? : ? < > ? ? >: >? < >: ? >>?>< ? ?: ? : ? >>< > ? >: > : <: <: : :: ? >: ? ?? :< < # : ::> : >? :?>: # : : : ?> :< ? : > : ? < : < >: ? ?: ? > ? >: >? <: <: : : =: ? : ? ?> ? >: >? :>: > # : ::> : ? ?> ? >: >? ? :>: : ? >: >? : : >! < >: ? :> : : >? :?>: :>? ;? ?> : > ?<> : : ? ::>: >? <: : ? < : ?> ?:: # :< ?>? :?>: :>? ;?
p
: ? :<?t
r
> ? ::> :> ? > :!: ? ? ?: : ? :>: : ? >: >? : :>> ? ? :!: ? :! : ? :<?t
r
: : : : :: # > ? :<? > : ? > ? :> ? ? ?>>: : ? ? : ? ?>: : >: >? ?<> ? ? :? ;>:< ?> <? ?< BB> : > >: ? :> >! < :!: > ?> <? ?> < ?: ;> >: >? : :> < ::> ? ; ? ? ?> <? > <: >? : :?> <: >?:> ? ? :>< :< : >: : ? ?< :> : : : >: : < ?> :!:<? ?< < >: ? : :: ?> ?? ? >? :?>: : < >: >? ?<> ? ? :? <:: : :> ?> >: ? < ? : < > ? ? >: >? <:<? : :! < >? :?>: ? : :< : # : : > :!: > ? >: :<: : :! :< >? : ? ?>: : >: >? ?<> ? ? :? ?< ?> <? : !:<? :< B B : >? ? B ? > ? ?<?><: ? : : ? ?>> : >: >? > >: >? <:<? : ? ?>: ;? : ? ? ? ?>>: ?> : :! :< :> ? : ? ? #> :>: :<: : :< >: >? :> : :>: ?? :: : ? ?>: < :< ?<< : : > :> : <: ? >: : ? : :> <: : :< : ?=:: :> ?>:< : =< ? : >: ?
B
?: :> :? >: ?A
: < ?<:> :!: ? : @ :<? : : ? ? > < >: ? ?: :> ;? > ?> ? > <: > =: :!: ? : : ?>> ? :<? >: :> ? : : < < : : > ? >: >? : >: : ? < <: <? > : > : >: : > : :< ?:> :# <: : : : : :: >=? <? ? :>> ? ?> <? ?<? ? > <? > : <: ? >: : ? >: >? ?<> ? ? :? ? <<? : : ? ?> : < :!:<? >:>:: ? ? ?> <? <: : :< >?? : : ? > :> < : >? =?< ::<: ? BB > :: ?><? : < ? >: ? :> ? > <: >? :? ? : : ! ? :> ? ?<? ? # ? : =< ? >: ? : ? : < =>:: : :>p
>? :?>: >: :? :<?t
r
? < >: ? : : :>> ? : ? ?> :> # : > <: > >: ? ?: ?<:> ;> ? >: >? : : ? :> ? ? >? :?>: >: :? :<? : :> ? ? : ? ?> >>: # >? > ? > <: > >: ? : ?: :> :!: ?< : : >? :?>: >: : ? > >> :> ?> >: ? # =?>:< > : >: = ::> ? < < : :> ?> > ? >< ? >: ? ? =< ? ? ?= BB?> <? ?< ;:< ?< : ? : <: ? : < >: ? : :? : ?>< ? >:
p × t
r
?> : ? < ?> ?> >: < :> > : !> >: ? :< < :? # > @ @ :!:< # ? ? <: ? ? ?><? :<? ? :? # : < >: >? ?<> ? ? :? ?<?? ?> >? :?>: :< ? <?<: ? > @ @ >:: ? :? :< < ? <?<: ? < :<? ? <?<: ? >: : : ? =<: ? :< > @@= : ? ::< > :? ? >: >? : >: ? ? >: <: ?>: :>< :< : ;:< ? >? :?>: :< >> : < >: ? : : :? :64
processadores
tempo
50
req 1
req 2
req 3
req 4
32
t
u
<@64
processadores
tempo
50
req 2
req 3
req 4
32
req 6
req 7
u
<8@ > @@ < # : < >: >? ?<> ? ? :? : ; ? ? : ? > ? : ? <: ? : >: >? ?<> ? ? :? : ? < ? >: : ? ::<: ? : : ? ><? :>? >= ? : < : :: >?> : :? : >> ? @ # < : > ? >: >? ?<> ? ? :? : ? :: ?>: > > :> : : >: :! = : : ? : : >? :?>: ?= :: > >? ? > ? : : ?•
# %<:>? : >? :?>: : ? ;> :: # ? :?
•
# %<:>? : >? :?>: : ? ? ?: :> : ? :? :< : ?>? ?< <>:> : ? : > ? >: >? :: ? ? > ? ?: ?> : :> < ? = : ? : ? ?> ? <?<: ? =< ? : =: ? : ? ?> : ?:> <:?> ? = : : :> : ? =<: # : %<:>? ? < > : :!: ? ?•
# %<:>? : >? :?>: : ? ? ?: <> > : :!: ? ?<? >:? : : : ? : ? ?> ? >: >? <: : ? : ? ?>: : >: >? ?<> ? ? :? : < >: : > : > B ? : ? ?>: ?:>: :< : :> : > =< ? : >: :=:(p, t
r
)
: : < : > < ?> >: : >: ; <: :: ? : ? A@BBB ? :! :< : : : ? ::<: ? ? : ;? ? >: >? ?:< :> <:?>? :>< ? : ? > ? =<: : <?: @A@@B ? <:<? <:: A >=? : >< >: : ? > ? ::< ?=:> <:?> ::<: ? : ? < ? : : ?< ?>< >: ? ? ? : <?: ? > ? ? : ? ?> ? >: >? < ?:? : ?: ?>< > :!: ? ? : ? ?> :># ? :? # : : ?: >: : >?: ? <:?> ::<: ? > ? : <:: :>< :< < :! = : < ?> ? ? : ? ?> ?: > ? >: >> >? :?>: > < ? : : :< :!: ? :>: >?> : :? : >> ? :< @:>:< > =? ? : ? ?>? >: >? >:? = : : ? ?><: : ? ?: :> <:<: : ? :<?: ?:< >< >?>< : >: :=: ?:? : ?>< ?: ? ? : ? ?> ? >: >? ?=>: ? :? #: ?: <:?>?>< : ; >: ? : < : > :<: : :<:: ?:< ;> : > :> > <:?>> : ::<: ? <:<? :< : : ? ?> ? >: >? ?>: > ? ? ?: <? ?>> # : :># > ? < =?< <?<: ? > =<::> < ? >: ? ? >: ? > ? ? >: >? : ? >? :?>: : ? >: ? ?:< :!: > >:<:< ? ?: :: ? :>< :< : ? >:? : ?< :> ? :< :< : :? :< >?? <: : <:<? : ? : ? ?>: : :< : > ? :><? ?> ? ? : ? :!: > : < ?<? : ? < >:> : ?< >:? ? %<:>? : >? :?>: : >? ? : >? ?: : > :># > ? :? # : =<::> >: : : ?< >?<?:> < <:?> ::<: ? > ? ?<? ? : ? ?>: : >: >? ? : < : >: ? <: ? ?><? > : :!: ? : : >? :?>: : < >: ? #! < <:: : < ? >: ? <:< ? : =<: : < : : >? :?>: : ? < ? <: ? ; ?< : : ? :< < ? :: : : <:: ? : >: ? >: < :!: > < :<: : <=< ?:< ? ?>>:> <?<: ? ? ? :!: ? ? : < >? :?> : ? ? > ? : :!: ? ? ? ? >: ? ? ?? ? : <: ? ? :! :< >=? : :< ? < ? :: ? :< :: # ? : ? <:< @B >: ;<?< >=? >: < > ? >:: ? : :>? : :> # <? ? < ? ? : ? ::< :> > ?<? :? : ? ?>: : >: >? ?<> ? < ?> >: ? ?= ? ? :: < <:?> : ::<: ? : ? <:?> < ?> > ?= < ?>: :>? >=? :>< > :> : : :< :< >?? <?> ? >:? : >: ? :<? >: ?
t
r
: ? :<? : :!: ? > : : :>< <?>< :< : :< >? :>: : :< BA A >: : < <: ?: @A ? :<? >: ? > : :< >:: < < :< > ?< < < : : @ : ;? ? :<? : ? >? >=? BB >:: < > :> :<: : : > ? :< ?< : :>: ? > ? < ?< < :<? : ::> # < ?> ? : : >: :< ? :<? =:? :< < =? : < : <:<? >=? >:: < > # > :: ?<?><: ? ? : <:<? ?<: : >: :>:>:< < :<? <: ?> ? > ? ? < : ? < ? < ? : ? : :> ? >> >;:? ? > ?<?><: ? ? :<? >: :> ? ? < : < ? :<? : :!: ? :>: ? ?<? < < : <! <? : : ? ? :! :: >: ? :> : : ? : >< ? :>: ? < :!: ? : ;: ? ?< : ? > ? :>: <:< ? :<? ? :<? ? ::> :< # ? < :<? # : : > ? > ? : >:< <:?>> >: : : >: >: : ?? ? ? :!: ? : ? :>>? : ? #>? : ?<: : > ? :>>? ? : ? : : > : >: ? :: < :<? :> : <? ? :>: : ;? < ? <: ? :<? ?> : ? :: : :< >:: < < :? ?=>: ? >:? : >: ? ? :<? : ? : :>? >=? ?>: : < > : ? ?>: :> ?><: : ? ?? # > > : :>: : ? :<? >:<: : ;? > ? ? :< ? ?>: : ?:< > :>: :<? >: ? ;? ?<? < < : <! <? > :!: ? : : : :: # > < :<? <:?> ? : > :? < > ? ? >: >? ? <? < # : :<: : ? > ? ? : > :: ?>:? > ? : : ?> ;? ? : >? : :> ?<? : :? ?>< ? ? > > : < :!:> <: ? :< : : : < ><:>? < =< ? >: ? < ? < : <! <? > :!: ? :: <=< ?> : < < :<? : <? : ? :> :? :< ? :>? :? : ? ?> ? >: >? : < > : ? # > : < > <?> ? > ? ?> : :>:< =? : < ?>< ?:>: ? >< ? ?<? : > > ? ?< <:?>: : < > : ? # :> > <:?>> : ? ?>: ? >=? << : ? > ? > ? > >:< : ? : :: <:<: : >:: ::< ? ><:>? ?< :> ?> ? ?>:<=< ?> < : ?=:>> : ?> ? >: < : = < ? : :< ;: ? :<? ?< : ? ? > ? ? >< ?<:: ? > : :>>? < : ;? ? :<? : <? <: ? : : > B : < ?
> ? BA :< ?> : :>< < : < :>: : ? :<? <! <? >: ? < % <? ?> ? :>:<? <> : ? ? > : ? # :< : ? > ? : # >< < < : : : A B < ?> >: A : # ? ?<? ? B > # ;> ? ?=>: :>: : >: ? :<? >: :> ? : ? :<? >: : :!: ? >: :>:: >:<? > <: : < >=? : <?: ? :<? >: ? >:: ? ?> > >? : : :? :< ? : @AAB ?>: :: >=? :> # >< : < : : : : ?>: > ? ? :<? >: ? :> : @A ?>: $ ; ?> :> : A ? >? > <?:> ? :<? >: ?? ?>: ?=:>>< : ? ?>: : >: :< ?< = : >: & ? ? ?>: <! <? :>< ? > >? : > ? : = : ?<< ? > ? <:<: : ;>:< ? ?> <! <? ?<? :<? : <? ? : : >:< >?:> < =? : < > ? :<? : >=? <?>< : ? :<? >: ? : < ? ? :<? : :!: ? ? ?> : ? :<? >: :> ? ;? ?<? < < : <! <? > :!: ? : : : :: # > < :<? <:?> ? : > :? < > ? ? >: >? ? <? < # : :<: : ? > ? > ? >: :< ? : >:? > ?< :: ><:>? : ?> : :< ? ?><! <? :>< ? : < : > : : :>: : >: ?:<?>: ? : ;? ? :>: : : < ? > ? ? >: >? ?<> ? ? :? ? >?:? > >?:> :? : : >: ? : ?<:< ? >: >? : :> ?<?>: :? : >? ? >?<?:> ? ::<: ? : >: ? ? : ?< ? ?: : ?> > ? >? :!: ? > :> ?: ? :> : > : >: >? ?<> ? ? :? ? :!: < : ? >: ? :<?: <?> ? ? ? >> ? > <: >?< >: ? :>: >: : : ? >: >? ?<> ? ? :? ::< : <: ?> : : >? :?>: ?: :< ?<?
@ :?> ;? @ : ? <? >:: < ? < <? B >: : ?< : > :> : ? :< : ? ><? < : >: ; ?< > ? ? ? : ? > ? >:? :< : : ? < >:> : ?< >:? : : >? :?>: : :>? >: ?? : :>: : < : ? ? :> : >? :>? > ? ? >> ;< >: >? ?<> ? ? :? > :!: > : ? ?<? ? ? ? ?> #< ? :!:> <?> : ? < >?>: :: >: >? ? ? >?:> ?> ? :? ? >: >?? < > ?> : ? : ? ? ? ?> ? ? : > :> ?<? >: & : ?< ? < ? ?: : :< ?? ? >: >? ?<> ? ? :? >:: < ? : : : < :> ?<?> >: >? :: ? ? : < < >:: ? ?>< ?< :? : : ? > > ? : > :: : >=? > :> ? : > ? > >< : A ?< >?<: : ?:>: :> :> ? ?< ? : < : > < > : :> ?:>: ?> ? >:: :> : :> ? :> < >? ? ?= :< : ? :: :> < > >: : ? : : ?<? >:: :> > > :: ?=: ? >:>> : ?>: :> ? :: >?:>< < : > : :>??< ?< > ? :>? :?># <: : ? =?>>:< < <: :> ? ?<> <: ? : : >: >? ::>? :? : :? ?= ? < > ? ? >?: > =? :>: ?? ? :?>? : ? ? <?<: ? ?<? :< > : ? : : > ?< ?<:! : :>: : ? : : >:>> : : >?:> :> ? ?< ? : < : > < > ? ?> : <: ? : : :> : ? : >:: :> * % *, ' # *, )I%), * <8 "## 4@
?? >=? : ? : > : ? ::<: ?>:? : :? <: ? ?<? :< > :> >< ?< : : >? :<: ? : ? ::<: ? ?< ? ?=: ? : >:> :>? >? :?>: :? : >?:> ?>< : :!: ? > : >: < => : ? >: >? <: : ;? > ? : ? : :> ?<?>: : < : > :# <? ?<? ?>< > :!: ? : : >: :< >: >? ?: <: : ::>? :? : > =? ?> :>? ?< ?< >??:>: : ? :? :: >: >? :: : : ? ;? :<?> < ?: :>? : > ?>: >? :>? :< < % ? ?<?> > <: ?<?> ::> ? :!: ? : > : >: ? ? = ? ? % <? ? <:?> : ::< : ? ?< >:? : ? > ? ?<> <: ? : >: >? ? > ? :< :< : < ?>: : :> ?>: :< ?<> : < : <: ? > :# : : > ?< ? ?:< :> : ? > :< @B ?: > > : ? ::<: ? <: : ;< < ?<? : : : : ? : ::>?: : : < : :>? ; > :!: > >: ? > ? :: ?<? : : < # < <:<: : ? ? ? : : ?> : ::>?: : : >:; > : < :> : ?<< >? ?> ?<? : : : < : > : ? >: < ? : :> < % :> : ?<? : : < ? : ? : >? ? ? ?= :?> : ? ? :> ? >??? ?< ? ?=: ? : :> < <? >:? : : :> ? : < >: >? :< < > :> : <: ?<?> @ : >? : < >: ? : >:>:: < : ? < >: >? ? = ; <? ?>? : :> : >: : ; < :> ? : ?><? ?=>: ? >: >? :: ? =: ? ? > > :: # ? :< : =<::> ? ?? < : =< ? : :>:> >: >? ?<> ? ? :? ! :< :> <:<: :? ?<? : : > ;:> ?< : < >: ? : ? :> :< < : ? : ? ? > :: ? : >: >? <: ? :: ?<? : : > >: ;> =< ? : >: :
? = : < ? ? :!: : :< < >: >? ?<> ? ? :? < ? > : : > : : :>: : >: >? ?<> ? ? :? ::< ? : ? <:<? :<? : < : > :>< > : < ? :!: : :< >: >? > =? ?<? ?? > ? = > :!: ? > = ? : ? ?>: : >: > ? ?<> ? ? :? :? :: : ? :> : > >?:> >::> ? >? >::> < < <?<: ? >::>< ? > > :!: ? : ?> ? ? ? > ?<? ?> >: : : < : >? >:? : : :=?>? >: ? ? :> ? : >?:< ?><: ?=>: ? = : : >: >? : : :=?> < ? ? : >: : ?< >::> ? >? ;: ? ?< : > : : :>? >: >? ?< :> ? : ? <:<? :<? ? ?> : : < ? ? : >? :? >: : :>? ;? > :!: ? : : ? > > : :> > : :> ? :?>? > >?:> ?: : = ;:< : ?>:<: : ? :>:< :!: :< > : ? ?:< :> ?<? <:?>: ?: > > ?< ? ? : ?< ? <: : : ?> ? >? > : ?>:<: : ? !:<? ? ? ? >?:? >?:? : : : : "?<: >? ? ?>: : < > : :!: ? : ? : : :>:? > ? : ?< >: ? >:: : : > ? ? > ?> < > <: : : ?< ? <> : >: ?>? :?>: : ? ?<:< ?< ? :!: ? : : ?>:<: : ? ?< : ? ? : :> ? : ? ? ? : < : : ?< > : >: >: ? : : < >:? : ?> >= > >: : : > :> : : > ?< ::: ? ? : : ? :!: ? : < >: : ? ? = :? >? :?> : < >: ? ?< ? < ? :!: ? ?: :> :< < ?>? >? :?> : ? ?: ?>:<: : ? : < >? :?> ::><? ? ? ? :
:> : :> ? >: > ? ? : > : : : : ? #;:>< ?< : :> ?: : > > :: ? : ? : >:< :< >?? : : ?> :< ? : :? ?<? :!:<? ?:<? > : : : "?<: <>? B ? ?> @ : >> @@@ >?:? ? ?> < ? :!:<? ? : : ? ? :< : ? < =? <> : : ?: < ?: > < ; ? ?> ? >?:? < ? : > ? ? #< : A ?< ? ?=:? : >?: > ? ? ? ?? : < : B@ : :? :? > : > ? : < : ::< ;> >: >? : ?>? : A ?: :: >? < ?? ?< : > > ?=> ? :: =< ? ? ?= ? : ? <: ? ? >?: :!: ? ?=: ? ? >:? < >? < ? ? : >:? : ?> >?:> ? : < >: ? ?= :> :: :? ? ?> > ?<? < ? <: ? : >: : ?? ? >? :? ?= : ? ?> ? ?> > :< ? < ? > :!: ? : >: ?: < :< ?<< ? ? : >:>?> ;>>: >? :>< : : < ?> : : > ? > ? ? > :: ? >:? : ?> >: :=:> ? ??>: > ? >: >? :!: > >: : >:?> > ? >:? ? < < =>? : < >: >? ?< ? : : ?> ? : : ? : > ? > :< ? > ? ?< ?:> : >? :<: ? : ? : ? : > : : : ?: ? ?:>: :> > ?=>: ?< ? >: ; >:? ?>>:? ? ?: :> : > :> =?< ::<: ? : >:? ? #: ?:< :> ?= ? > : : ? ?>: ?? $ ABB@ : ? : ? ?>: : ;:< ? : >: ? > ?:>> > ? : ::<: ? =:< ?<? >: = : ? >:? : >? : ?<? ? > ? =? :!:<? > :: ? : =>? ? < < : ?> ? ? :!: ? < : : ? ?< ? : ?> < ? : > :!: ? ? ? > ? ? ? < ? ;? >: >? : ?> ? : ? : >: >? ?<> ? ?
:<? : < ! ? : ? > ? :< :? $ $ ?> :: < >?=:< =:< >:? ? < > > < >: >? ?<> ? ? :<? ?: :> ? ?<? < >: >? :>< : : : : ? : ? :;: : : ? : < : > ;>< >: >? ?<> ? ? :<? ?<? < >: >? :>< : : > ?: : : ? <: ? :! : : > ? =<:: < >: ? :: : < : < ?? : ; >: >? ?<> ? ? :? > : ? : : ? :: ? : ?? ; < =?>:< = : :<: : ?<? ? > ? : ? >: >? ? ?? ? ?? ? > : ? ?> ? >: >? :!: < > >? :?> ? ?? ? : ? : > >: >? ? : > ? > ? < > ? ? >: ;> ? >? :?> ? : ? ?> < ? : :> ?>? >? :? ? > ? > ?: : : =?>:< < ?<? ?> >:: > : ? ? > ? ?:>: : > ?=>: ? = : ? >: >? ? : ? ? :>:<? ;>? >: >? ?<> ? ? :? ?<? > ? ? : :< :? ? >: >? : ? :> :: :> ? ? : ? :><? ?< < >?=:< ? ? ?>>:? <:<? ? ?<? : : ?<? ? > : ? :> ::>?: : : ? >: >? >: >? ?<> ? ? :? < < ?>< :>: : : ? ? : : :> ? :: # > ? >? :?>: :>? ? : ?> ? :<? <: : :< >: ; ?< <: : : : ? < : < : > ? ? ?>: >: ;< >: ? ? >: >? ?<> ? ? :? : < : > <: ? : : ? > ? >: : ? : =< ? ? : : ? : ? : ? :> >: ;? : ?>? ?< < :!: ? > >: >: ; :? ?>: : ? ?< ; : ? > : <> ? :<? : :!: ? :< < >? :?> ? >: >? ?<> ? ? :? ;?: : : >? :?>:> :< >? = : >::>< :> : >=? : >::>:< ? ? <: ? ? ? ?> ? : ? ><? : < : :: # : ?<? :: ><:>? ? : ? ? >=? : :>: > B ? : < : >?! < : < ? ?=>: : : ?
>: ? ? ? ? ?> :>: > >:: < ?? : ?<= >: >? :>< : : : : ? = ;< >? :?>: : ? ? : ? :! : :: # ? : :<? >: :> ? :? : >:: : ? ? ? ?> < :< :>? ?>? > ? : B@ : ? ? ? ? ?? >=?
: ? : >:: ?? > ? :>? ? >: >? ?<> ? ? :? :< >: >? :>< : : >:: <? ? <?:? ;? > >:>:: > < > > : ? : ; >: >? ?<> ? ? :? < ? ?<? : : :: <?:? < ?> : >: : > >: >? ?<> ? ? :? : ?> ; :> <=< : > :: ? > =<::> >: : ? >: >? ?<> ? ? :? : ?> > ? >? :?>: :: >: >? ? : > :!: ? : >: ??= ? > <?:? ;? >:: ? > >? ? > =<:: < ?= ? : : >:>? > > ?< >: >? :>< : : ? ? ? >?:?>: : >: >? < >?:?> : >: >? ? >:? : ?> ? : >? :? ? >: >? : >?:> ? >? :?>: >? ? > :!: >>: : ?>< >?:?> : ?=:> ? >? :?>: ? ? =:? ? = : : :< ? : : ? <: ?? : ? = ;?> ? ? ? :< < ?? >? :?> ? : :!: ? : < ? >:
> ?:? ? : ? >: >? ;? ? ?<> ? ? :? ? >? :? : ?=: ? : >? :?>: ; ? ?? :: ? :! : < ?> : >: : > >: >? ?<> ? ? :? : ?> >: :=: ? : ? ? : =:? :< :> >?; >: : > ? >: >? ?<> ? ? :? <: : ::><? : :: ?> : < ?<? : : ? >?:?> : >: >? : ?> :: <? ? ?< <? ? >?:?> : >: >? > >: : >?; < : :: # >:< ? :<? : : : >? : ?>: <=< :: # < ? >?>< : :: :> :!: ? :< >? :?> ? >: ? ?<:> :> : >?>< :> < >?>< >:? : ?> >: :=:>< >: : :!: ?<? : ? >? :< :>?: > > : @@ ? ? :!: ?:: : ?< ?< ? : # : : :! : < < >? :?> ? : : : < >: > :!: ? ? # :!: ? ?? ?><? ?> : ? ? : :> ? < >? :?>: : : ? ?= ? > =? :
R
? ? ? :|R|
>: : =<: ? >: >? ?<> ? ? :? >?: : : ? > ? ? ? >: >? ? ? ?> : >: : :R
i
∈ R
:R
i
= (t
s
i
, p
i
, t
r
i
, t
i
i
, t
e
i
)
? :t
s
i
? : : >: ? =<: ? >: >? ?<> ? ? :?p
i
: : >? :?>: >: ?t
r
i
? :<? :? ? >? :?>: ::< :> ? ?t
i
i
? : : >: ?;? ? >? :?>: