2
Tìm st là -hard cho bất kỳ
Đặt là ngôn ngữ của tất cả các công thức -CNF , sao cho ít nhất các mệnh đề của có thể được thỏa mãn. 2 φ ( 1LϵLϵL_\epsilon222φφ\varphiφ(12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi Tôi cần chứng minh rằng có tồn tại st là -hard cho bất kỳ .L ε N P ε < ε …