2
এই St হয় -hard কোন
যাক সব ভাষার হতে -CNF সূত্র , যেমন যে অন্তত এর এর ক্লজ সন্তুষ্ট করা যাবে না।LϵLϵL_\epsilon222φφ\varphi(12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi আমি প্রমাণ করতে অস্তিত্ব আছে যে প্রয়োজন St হয় -hard কোন ।ϵ′ϵ′\epsilon'LϵLϵL_\epsilonNPNP\mathsf{NP}ϵ<ϵ′ϵ<ϵ′\epsilon<\epsilon' আমরা জানি যে একটি হ্রাস থেকে অনুচ্ছেদগুলির cent অনুমানের হতে পারে । আমি কীভাবে এটি সমাধান করব?Max2SatMax2Sat\text{Max}2\text{Sat}55565556\frac{55}{56}Max3SatMax3Sat\text{Max}3\text{Sat}