Als «ds.algorithms» getaggte Fragen

9
Sekretär Einstellung Spiel

Dies ist eine Erweiterung des klassischen Sekretärsproblems . Im Einstellungsspiel haben Sie eine Reihe von Kandidaten und die Reihenfolge, wie gut jeder Arbeiter ist.C={c1,…,cN}C={c1,…,cN}}\mathcal C=\{c_1,\ldots,c_N\} Wlog, wir gehen davon aus, dass am besten ausgebildet ist, gefolgt von...

9
Grundlegendes zur Leistung von QFBV SMT-Solvern

SMT-Löser wie Z3 oder Boolector verwenden komplexe Heuristiken, um Probleme zu lösen. Dies macht es jedoch auch sehr schwierig, die Leistung eines solchen Lösers für ein bestimmtes Problem vorherzusagen. Meine Frage lautet also: Frage Gibt es eine Möglichkeit, die Leistung eines SMT-Lösers für...

8
Algorithmus zum Invertieren einer bijektiven Funktion.

Gibt es einen verallgemeinerten Algorithmus zum Finden der Umkehrfunktion einer beliebigen bijektiven Funktion? Damit dieser Algorithmus nützlich ist, muss er eventuell angehalten werden, sobald die richtige Antwort gefunden wurde. Abgesehen von der Anforderung, dass die Lösung irgendwann gefunden...