«approximation» 태그된 질문

허락하다 LϵLϵL_\epsilon 모두의 언어가되다 222-CNF 공식 φφ\varphi적어도 (12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon) 의 φφ\varphi의 조항을 충족시킬 수 있습니다. 나는 존재한다는 것을 증명해야한다 ϵ′ϵ′\epsilon' 성 LϵLϵL_\epsilon 이다 NPNP\mathsf{NP}-어려운 ϵ&lt;ϵ′ϵ&lt;ϵ′\epsilon<\epsilon'. 우리는 알고 Max2SatMax2Sat\text{Max}2\text{Sat} 대략적 일 수있다 55565556\frac{55}{56} 에서 절의 precent Max3SatMax3Sat\text{Max}3\text{Sat}절감. 이 문제를 어떻게 해결해야합니까?

9 complexity-theory  satisfiability  approximation