2
หา
ปล่อย LεLϵL_\epsilon เป็นภาษาของทั้งหมด 222สูตร -CNF φφ\varphiอย่างน้อยที่สุด (12+ ϵ )(12+ϵ)(\frac{1}{2}+\epsilon) ของ φφ\varphiข้อของพอใจ ฉันต้องพิสูจน์ว่ามีอยู่จริง ϵ′ϵ′\epsilon' เซนต์ LϵLϵL_\epsilon คือ NPNP\mathsf{NP}- ยากสำหรับใด ๆ ϵ<ϵ′ϵ<ϵ′\epsilon<\epsilon'. เรารู้ว่า Max2SatMax2Sat\text{Max}2\text{Sat} สามารถประมาณ 55565556\frac{55}{56} ร้อยละของอนุประโยคจาก Max3SatMax3Sat\text{Max}3\text{Sat}การลดลง ฉันจะแก้ปัญหานี้ได้อย่างไร