Ursprünglich auf math.SE, aber dort unbeantwortet. Betrachten Sie den folgenden Algorithmus. u := 0 v := n+1; while ( (u + 1) is not equal to v) do x := (u + v) / 2; if ( x * x <= n) u := x; else v := x; end_if end_while Dabei sind u, v und n ganze Zahlen und die Divisionsoperation ist eine...
Ich habe den folgenden Pseudocode für das Problem der Summe der Paare entwickelt: Geben Sie bei einem Array von ganzen Zahlen und einer ganzen Zahl YES zurück, wenn es in Positionen mit , andernfalls NEIN.AAAbbbi,ji,ji,jAAAA[i]+A[j]=bA[i]+A[j]=bA[i] + A[j] = b Jetzt sollte ich eine...
Ich mache eine Abschlussarbeit über den Nachweis der Richtigkeit des Programms zum Multiplizieren von 2 Matrizen mit Hoare-Logik. Dazu muss ich die Invariante für die verschachtelte Schleife für dieses Programm generieren: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end...
Ich arbeite an Übungsproblemen für einen Test, den ich habe, und jedes Beispiel einer Schleifenvariante nahm mit jeder Iteration der Schleife ab. In diesem Fall bleiben die Werte gleich, wenn a <b. Meine Versuche haben mir auch eine Schleifenvariante gebracht, die die Chance auf ein Negativ hat,...