Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
216 U- Röder<br />
ZujedemöE,{i*'?,l> l, sci n(.t): n das kleinstet€N, fir das oii =üi,+ r<br />
- 1 und<br />
ör..> ro, gilt. n ist wohldefiniert, da die Koordinat€ des absoluten Minimums<br />
obige Eigenschalt b€sitzt.<br />
Falls a-i +, = .D- + 2 gilt, so setze<br />
(htk'Dt:öt<br />
i=k- I<br />
(ht(@))t=('t*1 i>n- |<br />
und damit<br />
h'lö)EA'.<br />
(Vergleich: Pfad aüs Bild ii zu Plad aus Bild i.)<br />
Fälls oi, L<br />
(h\ö))t:4<br />
=@; gilt, so setze<br />
vrs,<br />
(I'(a,)),=(,,*? v t>n<br />
und damit<br />
h'lö)eA'.<br />
(Vergleich: Pfad aus Bild iii zu entsprechendem Pfad aus Bild i.)<br />
Hierdurch ist ,rvoltständig als Funktion bestimmt. ftr ordnet nach KonstruLtion<br />
jedem d€,{'+': ein Element aus ,:lizu. so daß ftir g'(rrI(ö)):(@', o)") €ntweder<br />
,r': ö (erste Fallsbedinsung) oder o":ö (zweite Fallsbedingung) gilt.<br />
iii),41 schreibt sich als (T-Shifttransformation)<br />
,ai:{o} x t-r} x... x { -n} x{-n+ r} x r-1,4r.<br />
Wcit€r gilt<br />
P(Al,lo)=po. \...p ,.\<br />
P( v, (s'(,{:))<br />
t0)<br />
,p "_<br />
,_td7""lAt)l-n+1).<br />
:p1).-t.. p ""',-,P ". "<br />
rP,-r. "P ",-,t<br />
t<br />
'P(r+ r(Ä)l-n+ l).<br />
PtYls'tAl))lo)<br />
:Po. t. P ,*t.-,P-".<br />
"+rl-^,<br />
. PC'+'zlAll-'t+ t).<br />
t. ,P ,. ,-r<br />
Hieraus ergibt sich die in iv benötigle Beziehung:<br />
P( Y,(c'(.4 ))t0) + P(y,ß 1,{ )) o)<br />
:PlAt^l0llp ^. ^-,p,,_<br />
"+p-,.,*tp-".t. "J<br />
s P(,{ | t0).