«fine-grained» 태그된 질문

복잡성 이론은 NP- 완전성과 같은 개념을 통해 상대적으로 효율적인 솔루션이있는 계산 문제와 다루기 어려운 문제를 구별합니다. "미세한"복잡성은이 정 성적 구별을 문제 해결에 필요한 정확한 시간에 대한 정량적 가이드로 세분화하는 것을 목표로합니다. 자세한 내용은 여기를 참조 하십시오 : http://simons.berkeley.edu/programs/complexity2015 다음은 몇 가지 중요한 가설입니다. ETH : 333 - SATSATSAT 는 δ …

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)) 시간 에서이 문제를 해결할 수 있습니다 . 여기서 nnn 은 의 변수 수 Φ→ΨΦ→Ψ\Phi \to \Psi이고 lll 은 입력 길이입니다. 한편,이 문제는 coNP-complete입니다. 또한,도 세스되지 않는 프로그램을 …

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