od Davpe » 14. 1. 2014 12:58
Konsenzuální metoda - algoritmus a důkaz
Přečetl si to, zeptal se jen na nějakou drobnost v důkazu co jsem tam měl napsanou, ale nevysvětlenou. Pak se zeptal na definici skrytě hornovské formule a jak rychle je umíme testovat. Řekl jsem, že je to falsifikovanost kvadratických funkcí a on namítl že ty můžou být dlouhé. Pak jsem si vzpomněl, že se to vyřešilo zavedením
se složitostí algoritmu
a to mu stačilo - nechtěl ani její konstrukci.
Co jsem zaslechl od vedlejší lavice, tak se tam řešily duální funkce, algoritmus pro dualizaci regulárních a jak je obecně dualizace těžká.
Konsenzuální metoda - algoritmus a důkaz
Přečetl si to, zeptal se jen na nějakou drobnost v důkazu co jsem tam měl napsanou, ale nevysvětlenou. Pak se zeptal na definici skrytě hornovské formule a jak rychle je umíme testovat. Řekl jsem, že je to falsifikovanost kvadratických funkcí a on namítl že ty můžou být dlouhé. Pak jsem si vzpomněl, že se to vyřešilo zavedením [latex]\mathcal{F}_p[/latex] se složitostí algoritmu [latex]O(|\mathcal{F}|)[/latex] a to mu stačilo - nechtěl ani její konstrukci.
Co jsem zaslechl od vedlejší lavice, tak se tam řešily duální funkce, algoritmus pro dualizaci regulárních a jak je obecně dualizace těžká.