|
Member since Feb 2012
13 posts
|
2012-02-21, 19:28 #1
Subject: Klausur 21.2.2008 A10 d,e
Bei mir is grad die Weltanschauung gekippt!
Eine Schleifeninvariante kann auch Invariante der Schleife sein, wenn sie vor betreten der Schleife nicht gilt? Hier: (y-y0)/(x-x0)=m hätt ich prinzipiell ausgeschlossen, weil bei den Variablenzuweisungen 0 im Nenner steht? Für den Beweis bei e) brauch ich aber genau die! |
|
Member since Nov 2011
45 posts
|
2012-02-22, 08:46 #2
an der Aufgabe hab ich mir auch schon den Kopf zerbrochen.
Aber (y-yo)/(x-x0) = m gilt vor der Schleife, weil da ja auch gelten muss y1=y0 und x1=x0. Aber wie machst du den Beweis dass Sie in der Schleife gilt?? Da komme ich nur auf: (y+m-y0)/(x+1-x0) = m und kann darin irgendwie nicht zeigen dass sie gilt.. |
|
Member since Jul 2011
158 posts
|
2012-02-22, 10:05 #3
Eine Bedingung I ist Invariante der Schleife
while (b) { A } wenn gilt: b && I => wp(A, I). Falls I falsch ist, steht da "falsch => wp(A, I)" Nach den Logik-Rechenregeln ist diese Aussage wahr. Damit ist die Bedingung "false" Schleifeninvariante, genauso wie "true". Bei der vorliegenden Klausuraufgabe ist es nun so, dass I zu Beginn der Schleife nicht gilt, aber nach mindestens einem Schleifendurchlauf ANFÄNGT zu gelten. Damit kann man die Schleifeninvariante nutzen, indem man gleichzeitig argumentiert dass die Schleife tatsächlich mindestens einmal durchlaufen wird. Im Allgemeinen sind Schleifeninvarianten die nicht gelten nutzlos, da man aus ihnen keine Nachbedingungen herleiten kann. Allerdings fangen sie an nützlich zu werden, wenn man z.B. beweisen kann dass sie irgendwann anfangen gültig zu werden. |
|
Member since Dec 2008
337 posts
|
2012-02-22, 10:47 #4
Ja eine Schleifeninvariante ist etwas das in der Schleife invariant ist, also sich nicht veraendert und false veraendert sich nicht.
|
|
Member since Nov 2011
45 posts
|
2012-02-22, 11:57 #5
In reply to post #3
Kann mir bitte trotzdem noch jemand erklären wie ich in dieser Klausuraufgabe damit zeige dass die Invariante in der schleife gilt? Bei Mir folgt aus b&&I => (y+m-y0)/(x+1-x0)=m. Und das macht doch keinen Sinn? |
|
Member since Jul 2011
158 posts
|
2012-02-22, 11:59 #6
In reply to post #4
Falsch. Der Wert einer Schleifeninvariante darf sich von False auf True ändern. Er darf sich NICHT von True auf False ändern... Anders formuliert: Eine Bedingung ist Schleifeninvariante, wenn sie sich durch die Schleifenbodyausführung NICHT von True auf False ändert. |
This post was edited on 2012-02-22, 12:00 by |
Member since Jul 2011
158 posts
|
2012-02-22, 12:02 #7
In reply to post #5
Du argumentierst, dass die Invariante nach der ersten Schleifendurchführung gilt. Dann ist x=x0+1 und y = y0+m, und damit (y-y0) / (x-x0) == m/1 == m. Dann beweist du genau so wie sonst, dass die Bedingung invariante ist. |
|
Member since Nov 2011
45 posts
|
2012-02-22, 12:38 #8
Ok, aber im Schleifenrumpf steht ja x=x+1 und y=y+m. Wieso darf man das hier einfach in x=x0+1 und y = y0+m umwandeln? |
|
Member since Jul 2011
158 posts
|
2012-02-22, 13:19 #9
Weil x vor der Schleife auf x0 initialisiert wird, denke ich.
Wenn ich mich richtig an die Aufgabe erinnere muss man aber keine derart ausführliche begründung abliefern... |
|
Member since Dec 2008
337 posts
|
2012-02-22, 13:47 #10
In reply to post #6
Stimmt. Oh, Logik ich wuerde dir gerne in den ... treten. D.h. I = i>0 ist gueltige Schleifeninvariante der Schleife:
... dann sollte ich wohl aufhoeren Schleifeninvariante mit invariant zu erklaeren, da es zumindest im logischen Sinne falsch ist. |
Datenschutz |
Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev,
© 2003-2011 by Yves Goergen