Als «runtime-analysis» getaggte Fragen

8
Bei welchen Größen schlägt der schnelle Computer mit einem langsamen Algorithmus bei einem schnellen und einem langsamen Computer den langsamen Computer mit einem schnellen Algorithmus?

Die Quelle dieser Frage stammt aus einem Grundstudiengang, der eine Einführung in die Analyse von Algorithmen umfasst. Dies ist keine Hausaufgabe, sondern eine in CLRS gestellte Frage. Sie haben eine langsame Maschine mit MIPS und eine schnelle Maschine mit y MIPS. Sie haben auch zwei Algorithmen...

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