Hlavní stránka > Výsledky hledání: Dantchev, Stefan
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 2 záznamů.  Hledání trvalo 0.00 vteřin. 
Upper bounds for (k,s)-SAT
 Jurenka, David ; Szeider, Stefan (vedoucí práce) ; Dantchev, Stefan (oponent)
Při studiu problému (k, s)-SAT narážíme na funkci f : N → N vyme- zující hranici mezi triviálními a NP-těžkými variantami tohoto problému. Nicméně přesné hodnoty f (k) pro k > 4 nejsou známy. Tato práce se zabývá funkcí f, hledáním jejích horních odhadů pro ma- lé hodnoty k a generováním minimálních formulí (k, s)-CNF dokládajících tyto odhady. Horní odhady jsou získány implementací heuristiky nedáv- no popsané v časopisecké literatuře. Výpočet je následně paralelizován pro využití potenciálu počítačových clusterů pro HPC. Dále je dokázáno několik teoretických výsledků. Vyvrátíme jeden ne- dávný dolní odhad pro f, zavedeme dolní odhad velikosti vynucujících for- mulí pro (k, s)-SAT a zlepšíme stávající faktor neaproximovatelnosti pro- blému MAX-(3, 4)-SAT.
Úplný záznam
Upper bounds for (k,s)-SAT
 Jurenka, David ; Szeider, Stefan (vedoucí práce) ; Dantchev, Stefan (oponent)
Při studiu problému (k, s)-SAT narážíme na funkci f : N → N vyme- zující hranici mezi triviálními a NP-těžkými variantami tohoto problému. Nicméně přesné hodnoty f (k) pro k > 4 nejsou známy. Tato práce se zabývá funkcí f, hledáním jejích horních odhadů pro ma- lé hodnoty k a generováním minimálních formulí (k, s)-CNF dokládajících tyto odhady. Horní odhady jsou získány implementací heuristiky nedáv- no popsané v časopisecké literatuře. Výpočet je následně paralelizován pro využití potenciálu počítačových clusterů pro HPC. Dále je dokázáno několik teoretických výsledků. Vyvrátíme jeden ne- dávný dolní odhad pro f, zavedeme dolní odhad velikosti vynucujících for- mulí pro (k, s)-SAT a zlepšíme stávající faktor neaproximovatelnosti pro- blému MAX-(3, 4)-SAT.
Ú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