Pytania oznaczone «fine-grained»

Jakie są relacje między tymi hipotezami w teorii drobnoziarnistej złożoności?

Teoria złożoności, poprzez takie koncepcje jak kompletność NP, rozróżnia problemy obliczeniowe, które mają względnie skuteczne rozwiązania, i te, które są trudne do rozwiązania. Złożoność „drobnoziarnista” ma na celu dopracowanie tego jakościowego rozróżnienia w ilościowy przewodnik co do...

Problem decydowania, czy monotoniczny CNF implikuje monotoniczny DNF

Rozważ następujący problem decyzyjny Wejście : monotoniczny CNF ΦΦ\Phi i monotonowy DNFΨΨ\Psi . Pytanie : Czy Φ→ΨΦ→Ψ\Phi \to \Psi jest tautologią? Zdecydowanie możesz rozwiązać ten problem w czasie O(2n⋅poly(l))O(2n⋅poly(l))O(2^n \cdot \mathrm{poly}(l)) , gdzie nnn jest liczbą zmiennych w...