Questions marquées «fine-grained»

Quelles sont les relations entre ces hypothèses dans la théorie de la complexité à grain fin?

La théorie de la complexité, à travers des concepts tels que la complétude NP, fait la distinction entre les problèmes de calcul qui ont des solutions relativement efficaces et ceux qui sont insolubles. La complexité "fine" vise à affiner cette distinction qualitative en un guide quantitatif quant...

Le problème de décider si un CNF monotone implique un DNF monotone

Considérez le problème de décision suivant Entrée : un CNF ΦΦ\Phi monotone et un DNF monotone ΨΨ\Psi. Question : Φ→ΨΦ→Ψ\Phi \to \Psi une tautologie? Vous pouvez certainement résoudre ce problème en temps O(2n⋅poly(l))O(2n⋅poly(l))O(2^n \cdot \mathrm{poly}(l)) , où nnn est le nombre de variables...