Запитання з тегом «fine-grained»

Теорія складності, через такі поняття, як NP-повнота, розрізняє обчислювальні задачі, які мають відносно ефективні рішення, і ті, які не можна вирішити. "Дрібнозерниста" складність має на меті вдосконалити цю якісну відмінність у кількісному посібнику щодо точного часу, необхідного для вирішення проблем. Детальніше можна ознайомитись тут: http://simons.berkeley.edu/programs/complexity2015 Ось кілька важливих гіпотез: ETH: …

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

Розглянемо наступну проблему рішення Вхід : Монотонна CNF ΦΦ\Phi і монотонна DNF ΨΨ\Psi . Запитання : Чи є Φ→ΨΦ→Ψ\Phi \to \Psi тавтологія? Безумовно ви можете вирішити цю проблему в O(2n⋅poly(l))O(2n⋅poly(l))O(2^n \cdot \mathrm{poly}(l)) -time, де nnn є число змінних в Φ→ΨΦ→Ψ\Phi \to \Psi і lll довжина вхідних даних. З іншого боку, …

14 exp-time-algorithms  boolean-formulas  fine-grained