Pytania oznaczone «ds.algorithms»

9
Sekretarka zatrudniająca

Jest to rozszerzenie klasycznego problemu sekretarza . W grze o zatrudnianie masz zestaw kandydatów i porządek na temat umiejętności każdego pracownika.C={c1,…,cN}C={c1,…,cN}\mathcal C=\{c_1,\ldots,c_N\} Wlog, zakładamy, że jest najbardziej wykwalifikowany, a następnie...

9
Zrozumienie wydajności solverów QFBV SMT

Solwery SMT, takie jak Z3 lub Boolector, wykorzystują złożony zestaw heurystyk do rozwiązywania problemów. Jednak bardzo utrudnia to przewidywanie wydajności takiego rozwiązania. Moje pytanie brzmi zatem: Pytanie Czy istnieje sposób na zrozumienie lub uzyskanie wglądu w wydajność solvera SMT dla...