Fragen zur Wissenschaft und Kunst der Bestimmung der Eigenschaften von Algorithmen, häufig einschließlich Korrektheit, Laufzeit und Speicherplatznutzung. Verwenden Sie das Tag [Laufzeitanalyse] für Fragen zur Laufzeit von Algorithmen.
Definitionen: Sei eine DAG ohne Selbstschleifen, und und sind Graphen.G=(V,E)G=(V,E)G=(V,E)X⊆GX⊆GX \subseteq GY⊆GY⊆GY \subseteq G Input: . Ausgabe: Die relationale Zusammensetzung relationale Zusammensetzung in .X,YX,YX,Y X∘YX∘YX \circ YO(|E||V|)O(|E||V|)\mathcal{O}(|E||V|) Fall 1:. Zwei for-Schleifen über und : Runtime .|E|≤|V||E|≤|V||E| \le |V|E(X)E(X)E(X)E(Y)E(Y)E(Y)≤O(|E|2)≤O(|E||V|)≤O(|E|2)≤O(|E||V|) \le \mathcal{O}(|E|^2) \le \mathcal{O}(|E||V|) Fall 2:|V|≤|E||V|≤|E||V| \le |E| Zeichnen Sie den Graphen …
Dies ist ein Beispiel in meinen Vorlesungsunterlagen. Ist diese Funktion mit zeitlicher Komplexität ? Da der schlimmste Fall ist, geht die Funktion in einen Zweig und 2 verschachtelte Schleifen mit einer zeitlichen Komplexität von und , also ist es . Habe ich recht?O ( n logn )Ö(nLogn)O(n \log n)elseLognLogn\log nnnnO …
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 …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.