2
Encuentra st es -duro para cualquier
Deje que LϵLϵL_\epsilon sea el lenguaje de todas las fórmulas 222 -CNF φφ\varphi , de modo que pueda satisfacerse al menos ( 12+ ϵ )(12+ϵ)(\frac{1}{2}+\epsilon) de las cláusulas de φφ\varphi . Necesito demostrar que existe ϵ′ϵ′\epsilon' st LϵLϵL_\epsilon es N PNP\mathsf{NP} -hard para cualquier ϵ < ϵ′ϵ<ϵ′\epsilon<\epsilon' . Sabemos que …