Algorithmen f ur das Crossdating in der Dendrochronologie
Algorithmen f ur das Crossdating in der Dendrochronologie
Algorithmen f ur das Crossdating in der Dendrochronologie
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Beweis. Seien i; j > 0 mit i 2j und e<strong>in</strong>e optimale Transformation von x[0::i , 1]<br />
<strong>in</strong> e<strong>in</strong>e Folge <strong>der</strong> Lange j. Nach De nition mu <strong>der</strong> letzte Buchstabe <strong>der</strong> Transformation<br />
von e<strong>in</strong>er E<strong>in</strong>fugung, Zusammenfassung o<strong>der</strong> Identitat entsprechen.<br />
Im Falle <strong>der</strong> E<strong>in</strong>fugung wird e<strong>in</strong> Element (i , 1) h<strong>in</strong>ter xi,1 e<strong>in</strong>gefugt, so da (i , 1)<br />
<strong>das</strong> (j , 1)-te Element <strong>der</strong> transformierten Folge (x) ist. Deshalb wird bei <strong>der</strong> Aufsummierung<br />
z<strong>ur</strong> Berechnung des Abstandes f<strong>ur</strong> <strong>das</strong> jeweils letzte Element von (x) und<br />
y <strong>der</strong> Wert d( (i , 1);yj,1) summiert. Die Transformation ohne <strong>das</strong> letzte Element<br />
mu , sofern sie e<strong>in</strong>e gultige Transformation reprasentiert, e<strong>in</strong>e optimale Transformation<br />
f<strong>ur</strong> x[0::i , 1] und y[0; ::; j , 2] se<strong>in</strong>. E<strong>in</strong>e gultige Transformation reprasentiert sie<br />
genau dann, wenn i 2(j , 1) gilt. Angenommen, diese Ungleichung ist erfullt, die<br />
Transformation jedoch nicht optimal, dann w<strong>ur</strong>de e<strong>in</strong>e optimale Transformation mit e<strong>in</strong>er<br />
nachfolgenden E<strong>in</strong>fugeoperation e<strong>in</strong>en kle<strong>in</strong>eren Abstand von x[0::i , 1] zu y[0::j , 1]<br />
liefern. Dies ware jedoch e<strong>in</strong> Wi<strong>der</strong>spruch z<strong>ur</strong> Optimalitat <strong>der</strong> <strong>ur</strong>sprunglich betrachteten<br />
Transformation. Im Falle e<strong>in</strong>er E<strong>in</strong>fugung als letzte Elementaroperation ist also<br />
D(i; j) = D(i; j , 1) + d( (i , 1);yj,1), sofern i 2(j , 1) gilt. Ansonsten ist e<strong>in</strong>e<br />
E<strong>in</strong>fugung als letzte Elementaroperation nicht moglich.<br />
Im Falle e<strong>in</strong>er Zusammenfassung als letzte Elementaroperation <strong>in</strong> <strong>der</strong> betrachteten<br />
optimalen Transformation werden xi,1 und xi,2 zu e<strong>in</strong>em Element zusammengefa t. Dies<br />
tragt d(xi,2 + xi,1;yj,1) z<strong>ur</strong> Abstandssumme bei. Die Transformation ohne <strong>das</strong> letzte<br />
Element mu aufgrund analoger Argumentation wie oben e<strong>in</strong>e optimale Transformation<br />
f<strong>ur</strong> die jeweils restlichen Folgenglie<strong>der</strong> se<strong>in</strong>, sofern i , 2 2(j , 1) gilt. Deshalb ist <strong>in</strong><br />
diesem Fall D(i; j) =D(i,2;j,1)+d(xi,2 +xi,1;yj,1), wenn i,2 2(j ,1). Ansonsten<br />
ist e<strong>in</strong>e Zusammenfassung als letzte Elementaroperation nicht zugelassen.<br />
Ist die letzte Elementaroperation e<strong>in</strong>e Identitatsoperation, wird xi,1 bei <strong>der</strong> Transformation<br />
beibehalten, so da d(xi,1;yj,1) z<strong>ur</strong> Summe beitragt. Sofern i , 1 2(j , 1)<br />
ist, gilt D(i; j) =D(i,1;j,1) + d(xi,1;yj,1), ansonsten ist e<strong>in</strong>e Identitatsoperation als<br />
letzte Elementaroperation nicht zugelassen.<br />
Da <strong>das</strong> letzte Element <strong>der</strong> Transformationsvorschrift e<strong>in</strong>e <strong>der</strong> drei Elementartransformationen<br />
ist, kann D(i; j) ke<strong>in</strong>en an<strong>der</strong>en Wert als D(i , 2;j,1) + d(xi,2 + xi,1;yj,1),<br />
D(i , 1;j,1) + d(xi,1;yj,1) o<strong>der</strong> D(i; j , 1) + d( (i , 1);yj,1) annehmen.<br />
Lemma 6.9 F<strong>ur</strong> alle i; j mit 0