Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
PPSZ algorithm
Examples with "PPSZ algorithm" and their translation in Duits
The PPSZ algorithm presented by Paturi, Pudlak, Saks, and Zane in 1998 has the feature that the solution of a uniquely satisfiable 3-CNF formula can be found in expected running time at most O(1.3071^n).
Der 1998 von Paturi, Pudlak, Saks und Zane vorgestellte PPSZ-Algorithmus hat die besondere Eigenschaft, dass die Lösung eines eindeutig erfüllbaren 3-KNF-Ausdrucks in höchstens O(1.3071^n) erwarteter Laufzeit gefunden wird.
Furthermore, we derandomize the PPSZ algorithm for Unique-k-SAT.
Weiterhin werden wir den PPSZ-Algorithmus für Unique-k-SAT derandomisieren.
We tweak the bound for the PPSZ algorithm to get a slightly better contribution to the combined algorithm.
Um seinen Beitrag zum kombinierten Algorithmus zu steigern, justieren wir die Schranke des PPSZ-Algorithmusses.
In 2003 Iwama and Tamaki combined Schöning's and the PPSZ algorithm to yield an O(1.3238^n) bound.
2003 kombinierten Iwama und Tamaki den PPSZ-Algorithmus mit Schönigs Algorithmus und konnten eine Schranke von O(1.3238^n) bewiesen.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor PPSZ algorithm in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 4. Exact: 4. Verstreken tijd: 44 ms.
