Hlavní stránka > Výsledky hledání: keywords:"Numbrix"
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 1 záznamů.  Hledání trvalo 0.00 vteřin. 
Effective encoding of the Hidato and Numbrix puzzles to their CNF representation
 Bartoš, Samuel ; Balyo, Tomáš (vedoucí práce) ; Vodrážka, Jindřich (oponent)
I když je problém booleovské splnitelnosti NP-úplný, díky pokroku výkonnosti SAT solverů, může být mnoho jiných problémů řešeno efektivně, když je zakódujeme do booleovkých formulí. V této práci je tato metoda použita k nalezení řešení hlavolamů Hidato a Numbrix. Ukázáno je několik kódovacích technik spolu s implementací aplikace, která je sestrojuje. Zkoumáme také efektivitu jednotlivých kódování i jejich vliv na výkon různých SAT solverů. Výsledky experimentů ukazují, že efektivita kódování se u různých solverů může lišit a také že výběr nejlepší kombinace solver-kódovaní závisí na velikosti a typu hlavolamu. Powered by TCPDF (www.tcpdf.org)
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English