Hledat
Zobrazují se záznamy 1-1 z 1
Metody odhadů složitosti důkazů ve výrokové logice
Methods of proving lower bounds in propositional logic
Diplomová práce (OBHÁJENO)
Vedoucí práce: Pudlák, Pavel
Datum publikování: 2013
Datum obhajoby: 13. 09. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V této práci se věnujeme složitosti důkazových systémů pro výrokovou logiku. Nejprve ukážeme exponenciální dolní odhad na složitost rezoluce přímou aplikací Razborovovy aproximační metody, která byla dosud používána pouze ...
In the present work, we study the propositional proof complexity. First, we prove an exponential lower bound on the complexity of resolution applying directly Razborov's approximation method, which was previously used only ...
In the present work, we study the propositional proof complexity. First, we prove an exponential lower bound on the complexity of resolution applying directly Razborov's approximation method, which was previously used only ...