Вопросы с тегом «fine-grained»

23
Каковы отношения между этими гипотезами в теории детальной сложности?

Теория сложности, с помощью таких понятий, как NP-полнота, различает вычислительные задачи, которые имеют относительно эффективные решения, и те, которые трудноразрешимы. «Мелкозернистая» сложность призвана уточнить это качественное различие в количественном руководстве относительно точного...

14
Проблема принятия решения о том, подразумевает ли монотонный КНФ монотонный ДНФ

Рассмотрим следующую проблему решения Входные данные : монотонный 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...