最低真实单调3SAT

我对CNF公式为单调（没有否定变量）的SAT变异感兴趣。这样的公式显然是可以满足的。

但是说真实变量的数量可以衡量我们的解决方案有多好。所以我们有以下问题：

最低真实单调3SAT

实例：设置变量U，由3个文字组成的析取子句集合C，其中文字是变量（未取反）。
解决方案：满足C的U的真值分配。
测量：正确的变量数。

有人可以给我一些有关此问题的有用评论吗？

$3$$H$$V$$3$$U\subseteq V$$H$

$2-\epsilon$$\epsilon>0$

Irit Dinur，Venkatesan Guruswami，Subhash Khot和Oded Regev。 一种新的多层PCP和Hypergraph顶点覆盖层的硬度，SIAM计算杂志，34（5）：1129-1146，2005。

$W[1]$

$q$

$X$$q$

$k$

$k$