Elastic Time Computation in QoS-Driven Hypermedia ...

Elastic Time Computation in QoS-Driven Hypermedia Presentations Bruno Bachelet and Philippe Mahey 1 LIMOS, UMR 6158-CNRS, Université Blaise-Pascal, BP 10125, 63173 Aubière, France.

Rogério Rodrigues and Luiz Fernando Soares 2 Departamento de Informática, PUC-Rio, Rio de Janeiro, Brazil. Research Report LIMOS/RR04-16

1 {bachelet,mahey}@isima.fr 2 {rogerio,lfgs}@inf.puc-rio.br

Abstract The development of hypermedia/multimedia systems requires the implementation of an element, usually known as formatter, which is in charge of receiving the specification of a document and controlling its presentation. In order to orchestrate the presentation, formatters should build a presentation plan that will contain the scheduling time for each document object and the inter mediaobject synchronization information, including those whose time of occurrence cannot be predicted, like relationships coming from user interaction. Besides orienting the presentation scheduling, the plan will guide prefetching, reservation and adaptation mechanisms in charge of maintaining the presentation quality of service. Adjustment in the duration of media objects is one of the most important adaptation techniques in order to maintain spatio-temporal relationships specified in a hypermedia document. Elastic time computation accomplishes this goal by stretching and shrinking the ideal duration of media objects. This paper presents new elastic time algorithms for adjusting the hypermedia document presentation in order to avoid temporal inconsistencies. The algorithms explore the flexibility offered by some hypermedia models in the definition of media object durations, choosing objects to be stretched or shrunk in order to obtain the best possible quality of presentation. Our proposals are based on the out-of-kilter and the cost-scaling methods for minimum-cost flow problems on temporal graphs. An aggregation procedure enhances the basic algorithm offering more flexibility in modeling real-life situations in comparison with other previous work based on linear programming. Keywords: hypermedia presentation, elastic time computation, minimum-cost flow and tension.

Résumé Le développement de systèmes hypermédia/multimédia requiert l’implémentation d’un élément, généralement connu sous le nom de formateur, chargé de recevoir les spécifications d’un document et de contrôler sa présentation. Afin d’orchestrer la présentation, les formateurs doivent construire un plan de la présentation qui contiendra la date planifiée de chaque objet du document et des informations de synchronisation inter-objet, incluant celles où la date d’occurrence ne peut pas être prévue, comme les relations issues d’interactions avec l’utilisateur. En plus d’orienter la planification de la présentation, le plan guidera les mécanismes de mise en cache, de réservation et d’adaptation en charge de maintenir la qualité de la présentation. L’ajustement de la durée des objets multimédia est l’une des plus importantes techniques d’adaptation pour assurer les relations spatio-temporelles spécifiées dans un document hypermédia. Le calcul de temps élastique réalise cet objectif en étirant ou contractant la durée idéale de présentation des objets multimédia. Cet article présente de nouveaux algorithmes de calcul de temps élastique pour ajuster la présentation de documents hypermédia, afin d’éviter les inconsistences temporelles. Les algorithmes explorent la flexibilité offerte par certains modèles hypermédia dans la définition de la durée des objets multimédia, choisissant les objets qui doivent être étirés ou contractés pour obtenir la meilleure qualité possible pour la présentation. Nos propositions reposent sur des méthodes de mise à conformité et de mise à l’échelle pour des problèmes de flot de coût minimum dans des graphes temporels. Une procédure d’agrégation améliore l’algorithme de base pour offrir plus de flexibilité dans la modélisation de situations réelles en comparaison avec de précédents travaux reposant sur la programmation linéaire. Mots clés : présentation hypermédia, calcul de temps élastique, flot et tension de coût minimum. Acknowledgements / Remerciements This project was partially funded by France-Brazil cooperation project CAPES-COFECUB 398/02.

!)

!

*

" *

/0

+*

# " "

$

,

& ,) -

+12 $ (3

4

!"

/ , 5

#

-

).%

-

&

"3, 12 3( ) (0 $ & 3 $6 #

"

! " #

$

$

%

&

'

" $

7 & 3 $ 3

"

$

$ &

$)" $ &

"" & 3 & )$ & 3 & 33 $ & + $ , $ & 0?

" 7

3 +

$ &

0? + 3 & 0+

" $ 0" $ & $$)

"

. )

, ""

33 &

9

&

#

$ 3 ")& ,

(

>

$

,

3 ,

$ 3 "" ,

,

3 & 3 , & 8) " +(

 > " & > " & $ &) )$ & 0+ $ & 0? ) @ " + ) (A  B @8) " + 3 , $ @ CA $ D " @3 $ A "" , ( ! & + $ & 3 $ )"& + ,) & ) , & )$ (

& )$ $

)"& 0) "& &

0? 3

"

" $ &

)

)

!"

0

3

$

#

"

" $

&

> ""

0? + & "E

(

%

& %

'

(

. "

" & A

'

$ ,3 $) & & $ ", "" $ " $

(! & > "" ,) & $

% $ )"& & ) 0? &) $ & 0? & & )$ F 0 &) 3 $ 0? 0" + 3 $ & $ & ( ) 3 & &

&

"

$ . 0? 33 , $ $ + $ & 3 $ " 0 0" + 3 & , &?) $ $ (# 3 , E 3

"+ $ " $ ,) , & " & 0+ ) (% & && > E (A $ + ,) "" &) @ " B 8) $ 7

3

3

&)" , $ B (

& & & )$

" $ >

0" 3

" & & )$ @) & 0" " (A & )"& 0 $ 8) " +( $ $ 3 $ )"& 0 0" $ & )$ $ " 0 3 , > + "" & & 8) $ + E ) ) 3 F 0 " 3 $ ")& , 3 )

$

)

, ,

3

" ,

&

$

? 3

&

& ( 7

0" ( && &) , & )$ $ "3 & 3 3 ) 3

3 3

) $ " C & B

$ $ )

0" 0" & +( $ " 3" & > E(

) & 0+ , $

, , ,

&

$ &)

" + 9

. & & , $ 0? (

)

$ & 8) $ + 0 +( E $ " $ +$ + E ) ) 3" ) 3 & " 3 $ (H > & 33 3 $ $ " $ & > + ""+ 0 & F 3 $ & , + $) &) , ) $ & 8) $ + " E ) &+ $ 0 "E ) & C 3 $ $ , $ + )" " 3 + . ( ! $ & )$

$ " $ & &) , ) $ &?) $ $ & 0? &) & 8) & $ $ " " ( C" $ $ ) 3 $ "+ $ & 0+ 9I ; = $ " , & E , & " &) 3$ & 0? ( 3 ) " $ "+ $ ,3)" > + $ & + $ 0 & & )$ $ & " & 3 3$ & 0? ( ) ""+ 3 &) $ E & 3 3 $ , 3 $ $ 3 ," 0 " 8) " + 3 > " 0 + , ) + , )$0 3 0? > "" 0 & ) E( ! & & 33 )" + 3 $ & " , ""3 ) > ) &) & $ & & 3 3 8) " + $ & & $)" "+ $) " 0 E E & 3 ", $ )"& ) + F ) $ ( $ I ; $ "3 & $ &( %) 3 $ 9

" 3 " '=( H > & $ $ & " $ '=

$ % > ",

3

$

3 & , " 0+ $ ) & 3" F 0 " + 3 3" F 0" $ F$. , $ $. ) 0" $ > $ &

$ ) 0 && & " ) 9!): ;>>( " $ & ( ) (0 3 $ (7 F 3 , . & 3 "" > ( ' &) $ & )$ $ & " +> & " 0" ( 7 , ", $ & 0? )"& J " &) K & 3 $ 3 & )$ $ " +( $ " $ & $ & 0 3 3 & )$ & ) & < > " $ " $ & ( C" $ $ ) $ 3 > ", $ & &( 7> ", $ F "+ $ &( 7 3 & 3 ) 3 E" $ & $ $)$ 0" $ > " & &) " " , ", $( ! ) 3 $ $ " F$ &> & " ,> > " (7 3 ", $ $ , " & " > , " F G && " $ 3" F 0" 0 & & ) $ ) (7 &$ & 0 & &3 0,, $ " $ (4 " & ,, , ", $ 33 $" 3 $ & 8) " & "" " $ " , > 0" 3 ) $ $ ) ( & ) > 3 , &B ,$ +0 ) & & &) & ) $ ( , 0 E & $ 0) > &) , ) $ " ,3 L & ) 0 ) ) $ " $ $ ) ( " &> E & & $ & ( % ""+ ; " 3 3 ") & 3) ) > E(

7 @ F 7

3

3

)&

&

0

(A

" $

0?

@

&

$ & &

) ) ""+ &@ 3 0

0

'

+

F

& "A

& )$ " & $

$ " " "

"" & 3 @ (,( &)

& )$

A

& 0+

& 3

3

&

!"

@

#

"

" $

( $

&&

$ $ (A(

"

"

$ & " 3

0

&

F

,) , A(

" $

%

& %

'

(

0) & 3

4 9#

)0 3 3 $ ) 3 $ & 0? & & 3 ( 4 & ; = ) $ 0 ) ) &) , $ $ &( H+ $ & $ & " & 3 " + 3 $ , $D > & 3 & 0+ 3 3 0? G > & 3 & 0+ " 3 3 0? G & > & 3 & 0+ , ") 3 0) 3 0? (

C

& 3

$

9

=

>

$)

0 $ F $ " (

$ O &

5

0

& 0+

3 $

( % ,)

& 40 40

# "

# )

,

,

& %

40

)

&

4 ) "

& 3 $ $ 3 & 0+ ) & & 3 &

0? 0? ( $

+

O )$

&

$

#

, 3 $ &)

(

> )

&) ,

"E "

) &

O ) "

!"

,

)

D (7

(7

&)

&

0 ( + $

0 >

.

$ & " "" > & 3 3 3 " 0? " )"& 0 & F 0 )" ( N )" 0? 0 &( )" ") ) 3 @ " 0" F 0 " > E 0 &> & > ) $ E & 3 F > $ $@ " F " 3 $ ) ") 95 4 =( E >

"

& 3 ) $ +&


+ 0 3 & " 3 $ 0) A 0) 0 $ & 0? 3 $ & "+ & &(

&

"

)"

$

# ,

>

3 $ + ,

0 F & $

$ 0

" + "" & JCF . & )& +

0 > > "" 0

3

. & 0? 3

7 "E , H & K 9 & . & > $ & ,

)

3 $ 3 $ & F 4 ) ""+ F 0 0? > & 33 & )$ $ & " , 0

,

"

" $

0" ) )

%

3 $ & ,

)

,

F(

#

& %

&

0

3

= >

$ & $ & 3)

" 0" (A( )"& 0 " E & )

A

3 F " D )& & & $ & 3 &( 4 F $ " 3 ) " " J> & " 3 " + , )& !K( ) $) 0 3 & &) , > ) + " & ) " +( 4 F $ 3 " D J & " & )& ! $) 3 $ $ 4" ), $ " 3 $ F $ " @ ) " " A& ) 0 $ & 0? > "" 0 "+ " + &( 3 " 3 3 ! > "" 0 ) &( & " F $ " @ " A 3 )"& 3 $ $ & > + 0 $ & 0? "" &( > $ , $) 0 3 & 3 & "+ 3 0 $ & 0? $)" ) "+ @ ( ( "+ 3 " "+ 3 ! " 3 " A( !

E & 3 " $ + $ & " & ) ) " + 3 $0 ,) 95)I ; =( % " ) 4"" 94"" 3 & 3* ) * 3 & 3* )"& & > 3+ & $ & " ) "+ 0 & ) " " F $ " > $ & 0? )"& 3 "+ & ) "+ F $ " 3 &( R Q

& " 0 " &

& "+ ) " & &" E @ 0? 3 3 $ )

"

" > F $ " &

"" $

"

"

(H > & $ 0" & A @ > 0? & 0 & $ & " > ( % $ & " $

$ A( 3 3 &(

0

!"

(

$

& ) $ "

$ & " ,( $ &

%

,

$ 3+ >

+

$

# 4""

!"

#

&

& " 0 & "+ & " & & " 3 $ & 0? * $ $ & 3+ 3 3+ ) & 3 " > ) + ) " " ( & "" > ) 3+ 3 $)" ) "+ 0 ,

$

Q R

D 3+ " K(

"

" $

"

%

& %

'

(

+ ""+ &

3

, & , $ 3" F 0" &)

"

+

3

$ 3 " $ & + $ ( & 3 > )"& 0 8) " +( H > + 3 & )$ $ " & " 0 ) "+ $ ""+ ) ) ""+ " $ &(

E , & 0" $ & " "" > 3 0? @ & ) A E , & , 3 0 $ ""+ & ) E > ) $ , )$ E , 3" F 0" & " &) 3 )"& " & 0" & )$ > $ " 3 > &) 3 3" F 0 " + 0 & 3+ , $ " > "" 0 & 0" 3 & &) ") 3+ "" , & 0 0" 8) " + 3 > " & )$ ( & )$ $ + "" F , 3 &?) $ &

& " ) 3" F 0 " + )"& 3+ &) ) , 3) (7 "" > ) 3+ 3) J &) K 3 ) 0? ( % ,) < > F $ " 3 3) ( ) "+ 3) , 3 E , , &) 3 $ & " ") > ") , 0+ 3) $ $)$ ( " $ "" > &) 3 & "+ 0+ " ") 0) " 0+ ) & 0" ") ( & 0? ) " $ F " ) $ & $ & 0? 3 $ " 0) $ E > F $ " 3 > ) & &) (

)

θ

θ

θ

)

θ

(

θ

& '

* # CF $ "

!"

)

θ

θ

(

θ

& '

3

3)

( A

) (

θ

G 0A ) )

$ " & "

θ

θ

& '

3) G &A

3)

θ

&

& " 0 & 0+ 0"

(

& '

3)

G A

3)

) ) "

>

(

* 4

3

$ & > $ $ > 3 $ "+ & $ " $ > 0) "& , " @ 0? &)" , " 3 ) $ > &?) $ 3 " & &( ! $ " & $ + E ) ) 3" & 3 ) 3 $ $ 3 C@ F 0 " 3 $ & & ) $ " $ & " , & ) 3 ) $ & (

) ""+ 0 3 , & )$ & 3 " 0? ( 7 > "" & 3+ > 0? 0 &( 43 > & 3 $ 3 $ , F + . &

> &)

$ & )$ ) $ ,

$ & " " (

+ & > "" E $ + "+ ( "+

& (N

)"

" 3

+

!"

$ & 3 " + "

"" > ")

#

&

"

3 $

3 " 3 F 0 3 " & > + $ & & $ &?) $ $ +0

3+ , )" 3 "

" $

$

, D AG & & ) $ & > EA( 7

%

&

"+

& 0?

& %

'

(

)" $ + > "" "E " &

," 0? $ "+ ,

&

L

&

$ "

&)

$ 0" )

E

" + . & > "" 0 & F "

)

& 3 &

&

& )$ ( 7 F & &) 3 F (7 " $ &?) $ F $ " " & )$

3

(

$ & 0? &) 0? & &3 $ &?) & 9 & =( F 0+ $ " )

@" E " , + 3 & &) 3

&

"

4 %

$ " $ ") & 0" 3 F $ " D $ + 0 )" " $ 0? $ +& & ) 0? > ) E > &) $ E , 3 )"& 0 ) ) 0 $ ",

& &

F $ " 3 0 & & 0" F 0

$ 0) "

A 0 "+ &?) &( ) ) $ & ) ) ""+ " + &) 3 ) ) $ & 0? & 33 )" &?) $ " ( $ +

0) "& , "+ 0 (

" >

3

> " " ( ") & &) , ) $ G G $ +0 "

"+

& & , 8) 3 & 0 , , 3 & )$ $ 3 ) > & 0 & &) 3 0? E > &3 $ & , ) > ) " " & 3 3 0? F 0 $)

% &

$ " (4 " & 3"+ 9!): ;< !): ; " $ ",

$ $

"+ $ )

$ 3

" ,

& 3 $) 0

? & $ "+ $ " 0 0 &(

0"

$ ") & 3

0)

$

" 3

" &

+ 0 0? 0"

$ )

", & &

$

+ > & &

$ & & )$ , & 0+ > ) & 0" " " 3

& )$ $

" ,

(

"+(

+ 4",

$

) " & $ ) 3 $ " " $ $ " "+. & (4 F " & & , $ ", &> $ " " 0 > > "" 0 0) " &) & $ & " $. 0" $( > "" 0 )$ & 0" &) > )"& 0 $ ) &> , " $ " "" + . " 0 > 3 & & , $ ) , "" 3 &?) $ 3 0? &) $ $ . &( "

7$ & # & 3 &

&

$ & "

0 ) &

$

",

3

>

> "" 0 $

(

!"

#

"

" $

%

& %

'

(

"+

0" $ $ & " $

0 & 3 3

&3 )

+

3 &3 $$ "+ ) & 0?

(7

(

$.

> ,

& )$ 3 0 ") &

'(

$.

$ F $ " 0 ") &

"" + & " &) )"& 0 ) &( 7 3 ) "& $ @" & , " 8) $ $. A 8) , 3 $. ) ) ) + 3 $ " ") 3 + "& " $ & "( 7 > "" & &) $ + " & & 3 ' > "" & & & $ + 0? @ 4 F 3 $ " )&+ 3 & $ $ & "A( 4 $ $ 0 > & < )"& 0 & " 0) + & 33 )" 0 "+ $ " $ & & 0? 3) ) "+ $0 "( &

4&& " 0 && & $ & " "E 3F , &) 3 , & " & (7 3 + + $ " + . " 3 &)$$+ &> & > "" " & $ F & , $ $ " , $ > 8) " 3) $)$ $ " ", $0 3 $ 8) , $ ) ) ) > "" & J 9! < =( $

3

(7 " (

(7 $ ", $3 ) ) F > && " "+. & 0 & ) 3E" $ & 3 3" > 0" $ 9%)"E = & & $ ", @> 3" > &) & 0+ + & &) " 0? > &) F " & 0 " >A( 4 & & " , 94 H ;;= > "" " 0 &( 7 $ ", $ "+ 0) " " & + . & $ + & + 3 " 3 "" " , 9! < = > ) ) ""+ $) ""+( 3 ) "+ "" $ " 0 $ & " & 0+ "" " " & & 8) "" " , (4 & $ & & ) K > $0 ) 3E" > J ,, , K 8)

)$ " )&+ > "" "+ "+ > $ & )"& 0 $ " 7 $ & )"& 0 " 0" E 3 3 )" $ ) &0 3 3"+ " )") 3 $ (5 ) 3

", " 3

)&+ 0?

) 0"

$ & "

> " + &

&

7

H >

3 &

$ ) 0" +$ $ ) $

"

3 $ 3 3 $ " & " $ $ ) & ) )

& $

& 3 " &) & 0

3)

",

$ 0) > "" ""3 ( $ )"&

", $ L(

$ (

$ ) " $

E 0

D (

N + " ,

$. & " &)

$ $ 3 &(

)$0 @3

)

3 0? $

>

> ""

> >

$ "

F

& $ 3

!"

F 0?

)

#

"

" $

& &)

& 3

%

& %

& 33 3)

& 0+

3 $

'

(

3 $ A(

",

$

;

'(

3

, $ & 0? 0 , &?) , 0? &)

+

& ")

,

,

3

0" &)

3

& )$

$ &( 7

" > "" 0

+ 3 + $

> 0

( & )$

"& > 3 $

"

3"+(

-

.

7 @"

0 $ & " & &, ,-.*/01 > * 3 & &0 3 =* & =0 A( & @ & 3 A & & " 0 > (2 & & && & "" & > & ) "+ & & & $ 3 $ " ( CF 3 & ), , @ & " $ , A , & 3) ( 7 3) & 3 3 0" + " $ F S $ [θ θ ] , & "" , θ & ) & 0 F & " 3) 3 0" + "(

N

>

$ &

&

&

&

$ (4,

3 ,

$$ F +

+

&

+ 3 + "

. ) > @ (,( 94 ; > "" 0 "" &

.

( + / " N $) 3 0 3 0) F $ " 3 > •

0 , ) & 3)

•

•

> "+ $ & " )

$ " "+ 3 % ,) ,

& ",

& &

> &

)" , & , $ > "" 0 ) 0+ )

",

> & 3 $

$ 3 & 3

$ & " & 0+ > & ( $ & (4 " " & &)

& > > % ,) 0( $ " , $ , & 0 ," & (

7 $

$

0+

$ ",

& ' & & > "E & $ & " &) , & ( & &

$ , &

> $) $ & " &

$ & "

&

% ,) ( $ @ A & &@ A 3 A 3 ) (7

3 3

$)" " & 0+ > $)" , (

#

(

& & > >

"

" $

> " ( H

$ 0

%

$ &

0)

$) & ," & (

0

!"

@

& " D

$

$

& %

$

'

"

>

"")

(

T $

&

3 &> & ,

)

)

& $ & (

0

0

0

0 0

& '

+#7 $

!"

+

•

1 $ & 3 " &

" $ & (4 + " 0 " , + " A 4@3

4 ) &

•

,

, 3

") ", 0

& @ ) 4

•

4 & 33

,

& 0 "

")

, & )$ 3

, & 3

")

0 > + " $) 0

" "+ .

3 +

$ D

$ &

$

"

(

" $ & " $) 0

"" & @ ""

> & & ,> & 3 $ & 0+ > > $ ) > " $ 8) " 3( @ 3 A (@3 0 " , + " , + " A(

)0 3 " $ 0 " ,

> A (@3 ) A(

& 0 "

4

•

0

3 0

3

3 ,

0 +& + + "

&

& '

)

& ; "+ . A(

3 &

& ( , & 3 A(

&

) @ )

&

") ", 0

3

)$ 3

")

+ * / % $ " 3 " $ $ ) 0 && &> " , $$ ,( 7 $ & " ) > " F 3) D 9!): ; 9I ; = & 3 & $ & " 0 & + " ( N > "" F & $ & " & "> , " F 3) &, $ " & 3 $ " + & ( ! E

$

π

",

3

"&

π

0

"+

, &

&

&

>

> > "" " 3 & (N & 3 π $ > π 3 & ( 7 &) 3 0? & , -. 1 0 & 33 3 " 3 & (7 & & & 3 3 θ , ) θ =π −π (7 0" $ $ $)$ 0" $ $ " , 9! P '=( , " & & & $ F 3 , ( ( ( × )$ F" > " $ 8) " (@3 , ) 3 & A 3( @ 3 , & A & 4 @3 "" A 0" $ $ "+D ,

& $

&

!"

#

"

" $

%

& %

'

(

@θ A

$. ∈0

θ = " π θ $ ≤θ ≤θ $ F

)0?

& $) 0 ")$ D

0" $ 0 $ & " &> "" + . + " (% 8) " )$ & + " @ ( ('A

∈0

$ + E > 0) "& + " 3 , (H > ), ) + + . 7 $ " + & F 3) 9 E " 9%)"E =( 7 & 3 3" > ϕ & 3 & 0+ 5 θ = > 3 & 3 & 0+ , )0, & @" 3

(θ ϕ )

3 )0& 33 A 3

&

U (θ )=ϕ

" 3

" >A 8) " 0

3 + "

$) (

"

"" & &

9!

&

∈ U

∈ U



)

$ +

. $ $ ,

"

3 , , & " ") A( 4 $$ & $ + " ( ( 3 +0 " , 0 > $ + ( & & 3" >

(

0" &)" , 3 >

& T >

. & 0+ D

3 "" > ,

&

θ$ ≤ θ$ F θ$ ≤ θ$ F

""

"" & > & " U@θ A & D

>

θ =θ $

3 3 >

") 3)

3)

)

") & .

)$

θ $ E ,

0"

3 F 0 & & 0+ E 3 "" 3 > $ = , ". 3 $ " &) " $ " + & 3 + 0 & F 3 &) " $)" " 3 0" $ @ & & $)" " $) 0 , " $ " " $0 3 + " ( ( 3" >A( 7

3 ,

+ " $ F 5( 0 ) "+ 0 & "+ )0 3 + " +( H > 3 & ) + " 0

'(

7 ) 3

0" 0) > & E > &) & & $ F > 0" $ ) 0 $ & " &

5 θ = θ $ ≤θ ≤θ $ F

)0?

+

&) , " + + " )$ 3 ( 35 + " θ=" π ⇔ 5 θ = ( 7

@θ A

$.

(

)

.61

∈

!"

#

"

" $

%

& %

'

(

(%

'

8)

"+

[$ F{θ >

3" F 0 " + $

0 &

θ

& 3 &)" F A " ,) 0+ "3 33 & 3 &

+ " .

71 D

"

&)

( H " .661 )"& 0 , & )$

, ) &)" &)

&

.61 @ ) $ +( % & , ) " & " $ > (

+ $ " & 8) 33 ", θ ≤θ $ (% > & > ) $ E , + $ & & " & )( 3θ 3 " , >

",

π

0" 0" 3 &

$ )

$ )

0 ) & " 0" $( , 0 3 ) & 3 > $ 0" ( 7 $ F $)$ θ$ ) "" 3 $ 0" 9H &?; =(

$ " &

) ) 0 > @G A

>

$

&( 7 & & & & ( & 3 "" > , " , 3 .6661(

@G A

& 3 & 3 0" P , 0 E $ $ F π −π ≤ @ G A =θ & 3 & & )0" &D > F & −θ $ @ 3( % ,) A( 3 & & > ) @ > 9! > > $ +0

>

" + @ , , , > , &)

" E 3 & .6661 > A> >, $ & 3 ./1 & 3 ", " & 3 0 $ 3 ) ") , ) $ (

9θ

!"

7 3 $ > , & )$ 3E" $ ( # "+ $ 3 $

,

)"" ")

&

13

2#7

/θ

$

=

& E

& 3

> +

3 & 3

" " ""

" ) θ $ ≤π −π ≤θ $ F ( > )"& " E > $ π −π ≤ @ G A =−θ ( 7 ) & $ , ", > "" ./1 $ F θ > ./1 && & > $ 3 ! ""$ & % & 94 ;

&

> " , =@ G A∈0 D π −π ≤

+

3 "3

&

# 4

,

θ $U }$ {θ $ F θ $U F}] .661

+ " 4

"3

$

θ

3 $

0" $(

/ -

& & 3 0 ") & & 9%)"E = 3 " & ,"+ F

3+

3

3 $ & " &) " & $ $)$ "+ $ " ", $ 0 "" " >3 ) ) !"

#

"

" $

$. ") A & 3 ) 0" $ 9#" L = " "+ )& & 9H &?; = 0) (7 ) 3E" ", $ %

& %

@$

'

(


) & & 3" > "+ ) " $ & , $ ) & 0) & $ , 3" F 0 " + & $ & (7 E + " E" ) > & 3 (N & > E & 3 D > " F $ @% ,) 'A( & E"

>

E"

0 $

$

)

3 & 0+ % ,)

) & (N

& $)$ @ E" ) F $)$

"

3" > ϕ ( % " F > % ,) 0'( ) > .θ / ϕ 1 " 3 , E" ( ( A( "" & 33 )" + 0 , "" 3 > " (7 > & ) & 3 $ 9#" L = & 9H &?; = " ,

3 3 ""

"+ &

$ " + (N 3 F " (7 ") 0" $ >

θ >

, &3

0

>

3 $ ,+

"

$ " + &( 7 "" > , $) $ " " $ " + @% ,) A &

( θu

cu

θ max u

c1 u

θ umin

^ θu

c2 u

θumin θ umax

^ θu

θu

-c1 u

(a1)

0

ϕu

c2 u

(b1) θu

cu

θumax

c'u

^ θu θumin

θ umin

θ umax

^ θu

θ

u

(a2)

4 # *A

!"

+ %

5 >

"

( '( " 3

%

& %

'

(

% "" > , • •

$

3 &

" > E 3 %)"E , +

&

)

> , 3

&

)

, +' > , 3

3

7 E"

$ ) D

9%)"E

= >

D

3 & >

+ "

3 & >

+ "

"" > )

,

3 > &G

3" >

0

,

3 > &(

3" >

0

0 0 &

3 "" > , ",

$

$

3

algorithm improveArc: if (u is below the curve) then find a cycle γ to decrease the flow of u or a cut ϖ to increase the tension of u; if (cycle found) then find λ the maximum value the flow on γ can be decreased; ϕ = ϕ – λγ; else (cut found) find µ the maximum value the tension on ϖ can be increased; θ = θ + µϖ; end if; else /* u is above the curve */ find a cycle γ to increase the flow of u or a cut ϖ to decrease the tension of u; if (cycle found) then find λ the maximum value the flow on γ can be increased; ϕ = ϕ + λγ; else (cut found) find µ the maximum value the tension on ϖ can be decreased; θ = θ - µϖ; end if; end if;

7 ) > (7 3

,

$ )

3 "" > , $ & & ?) " " "" E" D

$ E "" E" ) ", $ )

& "+

$ &

,

$ &"+ )

$)$

algorithm linearInKilter: make θ compatible; ϕ = 0; while (an arc u is out-of-kilter) do for all arc u do if (u out-of-kilter) then improveArc(u); end for; end while;

+ 7

( $ $

&

" , "+ & 33 3, " F ( & & ) "+ & ) " E" ) + " ) @ , A $) 0 3 ) & & 3" @ A + " @ ) A $) 0 $ & 3 &( 7 3" > @ A 3 "" + " @ )A $ & 3 &( H > 3" > & $ &3 & $ G + 0 $ &3 & , $ ( 3 E" ) $ & 3 . & "" @% ,) 0 A"E > > " 0" $ E" @0+ , , 3" > A> ) " , E" ) ( 3, F E" ) $ $ & 3 . " & "" @% ,) 0'A >

!"

#

"

" $

%

& %

'

(

& >

" "

$ 3E" ( E" )

, ,

3" > 0" $ ) (N F$ E" ) 7 &) &) "> 0 > E F$ & , F$ (N )" 0 " > ", & 0+

&

3 E" > "" ) $ ""+ $ E ) & "" ) ) 3E" 8) > F$ ) $ & &3 " 0 , "" & 3 > $ F$ 3 ) ( & & ( $$ & & > "+ $ & 3 & "+ , > $3 $ & > D

algorithm convexInKilter:

ε = 0.1 sup{ θ

$ F

−θ $

, u in U};

while (ε > p) do make all arcs in-kilter with precision ε; /* Uses algorithm linearInKilter. */ ε = sup{0.1ε,p}; end while;

+*

-

7 )

"/ -

&$ & (H > > + 3 $ $)$

& $ 3" >

&ε

4 $

3 "" )

( (

$ , " & 8) & 33 0" $ 94 ; ") 3 3" > "> + 3 &A(

$ " ) & " >

& 3

& 3 "" > ( % ) +$ @( ( 3

"+ 3 &

)& @ &

+

=@ G A

θ

θ '

-ε '

'

ε ' ε ' ε ' ϕ

ϕ

'

'

. 1

. 1

8#
( 7 ϕ > (7 F

3 $

ε9E"

) ", $ $ 3 & , F & ( ( > & > 3 $ &? (

3 3" >

3+

3" > > > & > &

=@ G A

3 7 & 0 0 " & & ), , F &)

$ , > 3" > + " ", $ > ) 94 ; 3" > 0 &( 3" > 3 && & "+ 3 3" > 0 "+ ) & & " 3 $ , & & 3 $ & ""+ & 3" > + ) & $ + 3 $ E" ) (7 > " 0 & 3 "" > D

algorithm makeEpsilonOptimal: build pseudo-flow ϕ; while (an excess node i exists) do

ϕ−

q =

=@ G A

ϕ

;

=@ G A

while (q>0) do if (an arc u=(i;j) can increase its flow without leaving its kilter curve) then increase ϕu to its maximum; else if (an arc u=(j;i) can decrease its flow without leaving its kilter curve) then decrease ϕu to its minimum; else πi = πi - ε/2; end while; end while;

++ 4"

- 9

/ -

),

) ,

> $ @ 5
E A 0 )

+ , +0

!"

#

> $ +

"

" $

$$

%

& %

3

)

, >

'

(

" +

3 $ &

L

$

",

(

@

, &

A ,

& & "" " + "

"

,

, A0 > 3 $ & 0+

)" >

&

3 $ @

F .

3

"" " "" " "" "

F "

"

3

(N >

"" " 0) 3 F " >

+ " $

, 0)

+

(

H >

+

" , " " ( ) , "" & 8) "" & ,, , " 8) B #, (

+ " $ & F &

$ &

$ $

++

,

% $ ""+ " 8) A( 0 •

#, ) D

, +

"+

8) "@ A & 9-. / 1 0+ 0 & ( & 9 &

•

F "+ $ & " &> "" " , 0" $

#

"" " $

"

,D

0

,D &) 3 & (3 9(

$

#,

&) & )

-.$/ 1 $ &

&

&

$ " & 0+ &

) & 0+ > "

,

3 "

> @% ,)

"" " 0 &

'

$

B #,

0

-.$/ 1 )0 @% ,) ;0A( 7

&

,

-

,

"

"" "( N

@

)

&

$

I >

3

(-.$/

; A( 7

1

"

(-.$/ (

&

9

1 & 9-.$/ 1 > & & ( 9(

$ '

. 1 . 1

!"

& 3

"" " " > #, ( 3

, 9!

: # 5
3 & ) "

0 > $ (

3

$

$

!"

4

> 0+ % ,)

$ "" "D

" "" "

) # #$

3 4"" T $ " E ,

5
$ " 3 > " # " (H # " 0) " 3 ""+

) > 3

% $

& 3 3 #, 0 ) " & (7 3 θ 3 33 ) & , ( ( θ =π −π ( 7 , #, , $) 0 & 3 &( 7 3) $ 3 & , ") D ),@$A=$

4 , 7

3) &) & ,' $

4

∈0

F "

+ ,'

& >

$

3)

3 $

3)

=$

$ = $ + $'

9!

0" $ &

# $ )$ &3 $ $ ,3 $ " 3 (

#,

"+

#, ",

&

& 3 & $ $ $)$ 3 $ "

"+ # &3 $ $ " 0" 3

& & "+ 0 > 3) ), 3 >

@θ A θ = $

F 0) "& & )

$)$ ),

'

),

3

+ ,'

$)$ # " $)$ #

3) ( 3)

& & & > ), & ),

) , +,'

"

,

F( N

+

> 3 & "" " )0, "+ E > (

'

0+D

), @$ A+), @$'A '

< = )$ 3

3)

0 0) " 30 3)

!"

#

"

" ),

" $

$ & , & ), @% ,) ' A( '

%

& %

'

(

"+ %. 1

;

),

),

),

'

),

),

,'

),

#"

!"

$

7 3)"" &

$)$

3)

,'

3

#

"

, ,'

D

=), @$A+), @$A

),

,'

"

$ " 3

$)$ > $ $ $ $)$

),

,'

@0A

@ A

7

'

$

'

)$ 3 3) ,, , ,3 $

0 0) " "

3) $

& 3 $)$ ") &

8) > &> ( ( >

3) )

++*

3 0) "&

" & #

& 9! ," " # " (3 9 # " > " , E $ $)$

, %. 1 < =( H > 0 > > @ A( ( 9 7 ) " > $ E , (

@% ,) '0A( 7 $ &) & 0) "& , &) , & (4 + & 3+

9

H+ $ & H > >3 4

$ ", + 8) $ && & 0 E + ""+ 3 $

5
5< $

3, & )0 , B #, 0) > " ) &3 $ 4

,, ,

$

&

3

,

"" & $0 (

$ 0 " )

3 + & 33 ,, ,

+ " $ " F(

#, 3 +( N "" " ,

@ (,( ) )

"

% ,) "" " & )0 $

3 #

A( 3 > )

(

,-.*/01 ) $ " 3 $ $ " )0 3 07 ,, ,7-.*/0?071 "" "( 7 @07@ @0@ "" & 5< 3, ,( 7 ") & >$ + "" " + 3 ,( % $ & 3 + &, ) $ 3 , > $ "" # )0 @ $ & 3 "& W $ 3+ , "&A( 0 ) & J K ) 3E" " $ $)$ & ) 3E"

!"

#

B #, #,

& &) " @ 7 0" A > 0" $ B #, (7 8) 0 & #& $

"

" $

%

& %

'

(

" , >

'

5

$

N

""

>

# 5
"+ && & $ +0 ) $ " 3" > $) 0 4 % ) "+ "+ "+ 3" > 9! A > " 3) -) &

0 E

, (4 >, 0) "& , ,, , &

3E" @ & & E ) 3E" 3 > "

, ", -.$/ 1

,( && &

, ( (

"+

A0

3" >

) " >

3 > " , 2( ) $ & 3+ 3 > ,, , &

3

+ " 3 $ & > $ " &

0 2

4&?) $

H > && , , $ " θ 3 $ + 0 &) , $ $)$ 3) # $ ,, , & 0 & (7 9! 2 =@* G0 A=@∅G∅A

% &

, P

, 0

& > 3 #& $ 0" $ " & # $ 3A> A A $ $)$ 3) ) & ," ,, , & > F * θ (

$

#

3 3

0 8) " ) 3 $ )

)( & 33

& ,, , & -.$/ 1G 3 " π −π $ ( 7 0 $ ""+ & $ 3 3 $ & " $ F " &

0

, )

> & $

3 A BA ( 5 ( 5) ,

)$ &

" &

" &

$

& 3

$ & #

)

3 # A 0 " , ) && & 3 "" > ,

# $ 9! & $ 8) " # $ +(

43 " , ,, , & -.$/ 1 , 2 $ "( 7 ) E > , 3" > $) " D & & > ) )$

)" E"

$ > +

3

> "" 0 " ,

""+ "

$) 0 E" E > " , 3 > & 3 & " > ) 3) 9! + " [ϕ Gϕ ] > ϕ 3" > 3 > " , 2 ( % & , 3" > ϕ 3 3 # # $ @> && & " A( $ A ) 3 & 3 0" 3" > ϕ ) 0" $ & " " " > E 3" > 0" $ 0 3 ) & 94 ; "

3

)

$

&(

algorithm reconstruction: find SP-decomposition

A={A

}

= (( ;

let H be an empty graph;

A ∈A )

do

find minimum cost tension for

A

for all (SP-component

using aggregation;

let u=(x;y) be the aggregated arc of while (exists split

A

A

A $

D >>>(, )( ,

3>

" 3 "

, ",

$ & )$ &" , $ & 3) @> )"& 0 F & & "

"

$

", 0 3 $ & & 33 0? 3) ( ")& $ )$ & $ $ F $ , $$ , & " E P #IL( 7 0" ' 3

," E ," E( $"

!"

#

"

" $

%

& %

'

(

''

&< &

3 > $ > 3 $ B #, )0 (

)" F N ) &P )" $

! = $ F@ G

" $ & 0 3 #, ( 7 0"
> #, @7 0" A & B > . ( 7 0" ) 3 $

& $ " 3

" &

H.

)F , + $( $ " $ $ &(7 $ $ F (! " = $ F@θ G θ A &

&3 ) &,

,6 3 3 &' &' ( ( ' ( . 3 3 $ & 3 ) #

,, , ,

5
# )0 33 " , , @ 3 $ "" @0 " > $ & > $ 3 $ ( %) 3 $

33

0 ) &

3E" $

9 &' '(' '( '('L '( '( ' '(

"

" $

&' ( < ( (L '( < '(' '( '

%

& %

'

(

$ &

$ & # E + , &

'


2

'( ' '( '( '

5


&) %.K 1 0" &3 $ &

&) ""

3

) & $ ""+

3 > +

3

3 ) & ,+ > "" 0 " 3 )J 8) " $ " $ $ " 3 $ " , &)" 3 ) &( &

(4 $

0" 3 $ &)" (

3 , ) 3E" > $ ") F 3 E" ) & + . $ &) 8) & @> )$0 3 , &K 9! 3 & +$ 3 3 ) && & 0 > A &H> 0 ) &( 7 "+ ) 3 E " + . "> + 0" ( E 3 ) &> 3 > 3 $ $

7*

)F

-

)J 3 )J "" & $ & 3 +

$ "+ ""+ .

8 9 7 $

%

&)" 3

A & E" & 0"

&

$ , > "" 0 ", (7 )F77 $ & A & H( 7 3" > 8) " 3" > 3 )F77 0) ) ) $ " &) " & (

0 3

& ) $ "

"+ 0) & 0) 3" > 0 " )"" & &)"

0

"" "

)&+ #, 3 0 ,3 " $ &)" ( 4 F " & ,, , 8) > 0" $ #, & "+ & $ " $ $)$ 3) & 3 $ "" > " 3 > " #, $ ""+( 7 )$ ) "" " ," @ 3 ) > $) $ $ " F 3) 0) & & ) 3E" 8) A &3 ) 3 $)$ $ &) $ $

3

", &

7

7 $ )

& 3

0 & & ) 3) 3 "" " $ , ) $ &) , 0) & 0 ),

,, , + $

8) "" "

3

$ ),

3 &

3+

)

$ ) 3 $ " " $ $)$ 0) " & $ &?) 0 " & 0+ "" 3) 3)""+ 8) (

$ " $ $ ", ) 3E" (7 > ,

$ ) & + 8) , 3 (

? @ 3"+ + &)"

$3 $ 9!): ;< &. $ )F " $ " & F ) " , A $ " 3 ) $ &?) $ (

!): ; + $ & " > > " F 3) @% 3"+ $ & " 0 & > $ & " 0 & + " A( 7 + " $> $ " F$ & > ) 0" "+ 3 $ " $ & (4 & ) & ) " F & & $ & " , " F 3) & , $ " & 3 $ & ( &L " & ) & > ) " 0 ) & ) $ $ )

"+ "

> " @ $ $ " $ C"

&

!"

#

"

" $

%

& %

'

(

" + (

'L

% $(

$

3"+

&

3 $

& ) 9 '= ) 0 & $ " 3" F 0 " + ), $ & 0? 0" , " > & ) $ " & &)

F

)

,

&

A A( 7

,

5) , F ) 3 $ $ $ > F & + . " & > ) & , $. $ , $ 3 &) &) 3 ) & 0" &?) $ ( 7 4"

& ) 3 $ ), 33 , > )

& ",

F

$3 0? ( 7 >

, $ & 3

3

3

,

$)" $ & & )$ + $ " 33 $ 0 & 3 &

$ ) 3 & 0) "& 0

& $ &

0" @ ",

&

A 0? $ & H 7# @2 & ) " (

$ 33 &) 3 $ & 0? & ") ( N + & ) 3) ) & ) 3 $ " &?) $ ", $ 0) ( 7 $ , " 8) E"+ 3 & > " (7 & ) 3 $ " $ & 3+ 3 & 8) &)

& " > 3 , $3 " $ & , 0 ) 8) " )" (

&

F 3"+

$" 3 $ % &3 $ @ $ & % & #" 3 $ "& & & 3+ $ $ 3 " + $ " $ 3 9N< = & )$ F 0 & & 0) " $ &?) $ $ &) 3 " 3 & 3 , 0? &) "" > " & ) $ " 0" 3 $ ) , & & > , , > F & $$ & " $

& & ") )

) ( , &+

+ A9

; " "+ & & )$ F ") "+ 0 & & 0" " & 0" $ & 0? &) ( 5) , & )$ ) $ $ $ 0? ) " 3 , &) > F & &) > & " ( ) " &) $ & & + $ ) &)" , ", $3 " )" , 0? &) & $ $ " ,$ + . ( N + ", $ 3 $ & 0? E , &) ( " $ $ ) 0 & $ " 0" 3 $ ) , & 8) " +( %

""+ $ " $ $ ) ) ) $ & " + F $ " 3 & 0+

D >>>(

$$ F JCF

" "

") (

& ) 3 $
+

$ &) "$

@

5

&

"

),

$ " & ) 3 $ $$ 0 ) > 0+ $ " ) 3 7 "E , H & K 9 & =

&

& "> "+ &?) $ " $ " ( H+ # > & , "(

F( $

!"

#

"

" $

%

& %

'

(

( & 3

&

'

: !

!

7 3 E" K$ ""3 ) 3) ( 4 $ 0

$)$ &

!

? @

> ", $ 3 & 3 $ $)$ (7 ", $ ,

&3

3" > 0,,

", $ ) > E >

J&) " 0" $ F

$ $ ) 0" $ >

"+

& " ,>

0 ) & &) , ) $ $ )"& E 3 3 " )") 3 $ & > 0 & & )

$

& >

7 > "

3

, "

3 $

7

& 3) ,

(H >

J ) $ & " F

0" $ &( 7 $

" ,K $

$ " F $

&

& ) &

(

"

$ $ ) )"& 0 $ ) &0 3 +$ $ $) 0 & 3"+( 7 $ ) & ) & L(

" 0"

)"

&

0 & "+ > , ") 0) "

0 ,

3 >

"" > 3 &

3

) )

3 F

3 $ )

, 3

")& 3)

) $

" "" " $ E " ) $

$ &

0"

# $ " 0" $ 8) , ) 3 " &+ ) & & " $ 9 '=( 4 ") " & ) , ,, , 8) 9! $ & F " )" > , & 0" $ " & ( & Q#-

0 & $ " F + 3 ,

)" ) ) $) 0

3 , " > E(

)

"

>$ & 33 , $" 3 $ & "" & J ,, , K " &( N E , ,, , & ) 8) $ ( 7 8) & 33 ) 0" 0 ) & $ " $ ", $ > 0" 3 ) $ $ ) ( ,0 E 3 3) )

& > > J

& 0

4

7) &

( 3 $ 0 & "" > $) $ 3" F 0 " + & "> , "

"

" ,K " " & > > "" E $ " $ (

& ", $ $

"

) 3 =( 4" "0

&

& 3E"

", 3) $ &

&

" "+ , )

F$ "" " ,

), D3

&

" &

( &, "

"

#

0 $ "

"+

&3 0" $

&(

7 =9

&, " ) ""+ & 0+ & $ ", 0+ && , > & =( & & D 3 " E , =( =9 & , & & &) & > " E , & & =( & =9 " & "+( 7 3 ) , " > " " & 0+ $ ", (7 0 $ $)$ & $ F $)$ 0" &) 3 , & $" ) 0) > & 3 3F , =( =9 &) )"& 3 0" + & $ ( P " , 3"+ ) & ) & ,, , ( 0 & & ) $ $)$ 3) 3 "" " $ + ) $ &) , ) $ &) 8) $ $ , 0) & 0 , 3 (

&

, "" " ,, , 8) $ " $ $ ) + "" " 3 $ ", & $ $ 3 ) 3E" ( 7 ), ), & 3+ ) > ,

!"

L

#

"

" $

")

%

& %

'

(

';

, & , "" > , " $ )

3)

3 $ $ ) 8) " +( N > ", $(

'( &) $ , > F

0) ,

" 3 " 0" 3

& 3 $

&

, 0? &) ) , & & $$ & " $

% ""+ $ & 0? &) 0 "+ &?) & 0) $ ) > ) ) $ & (N " & > "+ &) &?) $ ) ) $ & 0 & $ " ) 3 " $ " ( H+ # " 3 + . & )& & & F $ " 3 & 0+ C7H 9 & = > & , " 3 $ &( N >> E , $)" $ & "+ 3 & 3 #CP )& & & & )& "+ 3 #CP & & ( 7

3

", "

3 $ 8) " +(

, & &?) $

" )"

" >

$ )

$ ) ) ""

", ,@

$ > " + " , $ $)$A 3

0"

9 1 94

; , K( ")8 8

9! H+

5( K 7

(%(P( "

> E %" >

+ %

")8 & &

%

" & )$ "

(

# 0" $

&

)F &

""+ P , , Y " , @'A (

"

" $

%

#

K(

$ K ")8

0 #

#

# 0" $( ( "

)" $ &

+ )

95 4 = 5 + 4(I( "0 5( 40 >& P(5( J4 ) "% $ > E &# + , 3 F 4> 4 " K( 2 ) ) $ " ) @' A ' ( ;L (

!"

'

,+ 3

(%( &

(

( 5) & ; '(

4&

#(7( J4) $ 5 R

"" " P

# 0" $ B) " $ % &

+

$)$ ! + 7 " $ % & %

+ ? )F

& ,) 37 "

#

> 7 !" # " 944G CC4G(P

#(7( J4) $ 7 $ " 4 ;;< ( < < (

9!): ; #

M(!(

JB # & M &

& %

&)" 3 ;;< (

$0 , ! ."

7 "E 3 .2) 1 R

'

(

)

4& +'

( ,




)

θS

& θS'

& " &)

= θS' − θS (

&"

/ & & " $ " 0 >

")

0?

3)

=@θS GθS' A

&

") θS & θS' & 0+

$ θS −θ + θS' −θ' (

θ −θ' = (

) 8)

0)

θ' 3)""

−&

,$

) )

3

"

& &) & 0 > 9@θS GθS AG@θS' GθS' A= (

E ,

% ,)

0" θS

(

3

& θS' (

0 >

θ

3F , % ,)

")

θ' θ'

$

V

θ'

θV θ'

θ θ

0

")

!"

+#%

>

"+

V

V

θ' θ

θ

$

$

0?

&

!"

& F

#

"

" $

θ = θS θ ' = θS' − = θS (

3

%

& %

'

(


+ ) 8) ( θ −θ' = ( % ,) ") ' θ ' = θS' − ' ( " 0 0?

θ = θS +

) "&

θ −θ' = ( 4 ,

"

$ "+ 3 @θS GθS' A 5 >

? & 0+

8) ""+ &

&

&(

θ' θ'

$

V

θ' V

θ'

'

θ'

θ V

θ

θ

* /

!"

2#%

0?

3)

&

@

θ

'

θ

$

$

/ ( &

$ F $ " 0 ")

θ −θ' = ( &

V

$

3

"

$ $ $ " 8)

∞

{

}

$ F θS − θ G θS' − θ ' ( H

A 0 > ")

& " ) 8) @ ( (

!"

#

"

" $

+

=@θS GθS' A

") 5

>

& %

'

$.

,

"

&

F $ " 0) % ,) (

%

$

(

A