Als «check-my-algorithm» getaggte Fragen

Eine Frage wurde veröffentlicht am Stack - Überlauf für einen Algorithmus zu fragen , dieses Problem zu lösen: Ich habe eine Matrix (nenne es A), die nxn ist. Ich möchte eine Teilmenge (nennen wir es B) von Punkten aus Matrix A auswählen. Die Teilmenge besteht aus n Elementen, wobei aus jeder Zeile...

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

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