Home > Search Results: Ševčíková, Renáta
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 4 records found  Search took 0.00 seconds. 
NP vyhledávací problémy a redukce mezi nimi
 Ševčíková, Renáta ; Krajíček, Jan (advisor) ; Pudlák, Pavel (referee)
NP search problems and reductions among them Renáta Ševčíková In the thesis we study the class of Total NP search problems. More attention is devoted to study the subclasses of Total NP search problems and reductions among them. We combine some known methods: the search trees and their relation to re- ductions, the Nullstellensatz refutation and the degree lower bound based on design to show that two classes of relativized NP search problems based on Mod-p counting principle and Mod-q counting principle, where p and q are different primes, are not reducible to each other. This thesis is finished by a new separation result for p = 2 and q = 3.
Detailed record
Presenting automatically generated proofs
 Ševčíková, Renáta ; Stanovský, David (advisor) ; Růžička, Pavel (referee)
Detailed record
NP vyhledávací problémy a redukce mezi nimi
 Ševčíková, Renáta ; Krajíček, Jan (advisor) ; Pudlák, Pavel (referee)
NP search problems and reductions among them Renáta Ševčíková In the thesis we study the class of Total NP search problems. More attention is devoted to study the subclasses of Total NP search problems and reductions among them. We combine some known methods: the search trees and their relation to re- ductions, the Nullstellensatz refutation and the degree lower bound based on design to show that two classes of relativized NP search problems based on Mod-p counting principle and Mod-q counting principle, where p and q are different primes, are not reducible to each other. This thesis is finished by a new separation result for p = 2 and q = 3.
Detailed record
Presenting automatically generated proofs
 Ševčíková, Renáta ; Stanovský, David (advisor) ; Růžička, Pavel (referee)
Detailed record

See also: similar author names
5 Ševčíková, Radka
2 Ševčíková, Radomila
1 Ševčíková, Romana
Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English