Als «randomized-algorithms» getaggte Fragen

8
Randomisierter Algorithmus für 3SAT

Es gibt einen sehr einfachen randomisierten Algorithmus, der bei einem 3SAT eine Zuordnung erzeugt, die mindestens 7/8 der Klauseln erfüllt (in Erwartung): Wählen Sie eine zufällige Zuordnung. Eine zufällige Zuordnung erfüllt jede Klausel mit einer Wahrscheinlichkeit von 7/8, und die Linearität der...

7
Invariante für verschachtelte Schleife im Matrix-Multiplikationsprogramm

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...