Als «heuristics» getaggte Fragen

Fragen zu algorithmischen Strategien, die ein Problem die meiste Zeit schnell und gut lösen, aber keine Garantie geben.

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

7
Problem ähnlich wie beim Packen

Rufen Sie eine Familie von Sets an F={S1,…,Sk}F={S1,…,Sk}\mathcal{F} = \{S_1, \dotsc, S_k\} "vielfältig" wenn jeder Satz Si∈FSi∈FS_i \in \mathcal{F}hat mindestens ein eindeutiges Element. Was sind mögliche Ansätze, um die größte Vielfalt zu findenSSS in einer Familie von Sets FF\mathcal{F}? Ein...