"Christmas - the time to fix the computers of your loved ones" « Lord Wyrm

schleifeninvariante

xdfk 17.01.2002 - 08:51 1063 7
Posts

xdfk

pädagogisch wertvoll
Avatar
Registered: Sep 2000
Location: Graz
Posts: 6441
hat irgendwer a bissal was an infos zu dem thema?
in meinem skrip steht net besonders viel brauchbares.

im inet hab i zwar oft was gefunden zu dem thema aber keine erklärungen sonder fast nur aufgaben....

Nurmi

OC Addicted
Avatar
Registered: Jun 2000
Location: Linz (Hauptplatz..
Posts: 810
also des san eindeutig zu wenige infos um da was gscheits draufsagen zu können.
was meinst du genau?
aufbau einer schleife?
oder implementierung?
oder effektivität?
oder....

bitte um nähere infos...

xdfk

pädagogisch wertvoll
Avatar
Registered: Sep 2000
Location: Graz
Posts: 6441
na einfach wie man eine schleifeninvariante von einer gegebenen while schleife macht.

Murph

Nerd
Avatar
Registered: Dec 2001
Location: Vienna
Posts: 9236
wtf is eine "Invariante" ?

Was is deine Problemstellung?

Nurmi

OC Addicted
Avatar
Registered: Jun 2000
Location: Linz (Hauptplatz..
Posts: 810
Zitat von xdfk
na einfach wie man eine schleifeninvariante von einer gegebenen while schleife macht.

bin ich blöd? ich verstehs noch immer nicht.
wennst meinst wiest a for in a while schleife und umgekehrt verwandelst...glaub i oba ned weil des derfat ka problem sein..

Ringding

Pilot
Avatar
Registered: Jan 2002
Location: Perchtoldsdorf/W..
Posts: 4300
Schleifeninvariante ist z.B. so was:

Code:
for (i=0; i<100; i++)
{
  x = langeberechnung() + i;
  dosomething(x);
}

langeberechnung() liefert jedesmal das gleiche Ergebnis -> invariant und kann daher aus der Schleife rausgenommen werden, damit's schneller geht:

Code:
y = langeberechnung();
for (i=0; i<100; i++)
{
  x = y + i;
  dosomething(x);
}

Murph

Nerd
Avatar
Registered: Dec 2001
Location: Vienna
Posts: 9236
und das problem will man umgehen oder was?

najo

mach dir einfach ein hash.
zB so:
(also in Perl)

Code: PHP
#!usr/bin/perl

%hash = {"1" => "berechnung1", "2" => "berechnung2" , "n" => "berechnungn"}

for ($i=1, $i<100, $i++) {

$x = %hash("$i");
machirgendwas(x);
} # for end

oder versteh i wieder was falsch...

xdfk

pädagogisch wertvoll
Avatar
Registered: Sep 2000
Location: Graz
Posts: 6441
eigentlich gehts darum:

ftp://ftp.ist.tugraz.at/pub/courses...nformatikv1.pdf

S152 unten...

es geht darum schleifen usw zu "beweisen"
hab schon einen studienkollegen gefunden der es mir erklärt hat
Bearbeitet von xdfk am 17.01.2002, 11:56
Kontakt | Unser Forum | Über overclockers.at | Impressum | Datenschutz