2
bulmak
Let tüm dili olması -CNF Formüller en azından, öyle ki arasında sitesindeki maddeleri karşılanabilir.LϵLϵL_\epsilon222φφ\varphi(12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi Ben var olduğu ispat gerekir st olan herhangi -Zor .ϵ′ϵ′\epsilon'LϵLϵL_\epsilonNPNP\mathsf{NP}ϵ<ϵ′ϵ<ϵ′\epsilon<\epsilon' Bunu biliyoruz için yaklaşık olabilir bir gelen hükümlerin precent azaltma. Bunu nasıl çözmeliyim?Max2SatMax2Sat\text{Max}2\text{Sat}55565556\frac{55}{56}Max3SatMax3Sat\text{Max}3\text{Sat}