Мінімальний істинний однотонний 3SAT

Мене цікавить варіація SAT, де формула CNF є монотонною (жодні змінні не заперечуються). Така формула, очевидно, задовольняє.

Але скажімо, кількість справжніх змінних є мірою того, наскільки хорошим є наше рішення. Отже, у нас є така проблема:

МІНІМАЛЬНА ПРАВИЛЬНА МОНОТОНА 3SAT

ІНСТАНЦІЯ: Встановити U змінних, збірник C диз'юнктивних пропозицій 3-х літералів, де літерал є змінною (не заперечується).
РІШЕННЯ: Призначення істини для U, яке задовольняє C.
МЕРЕЖЕННЯ: Кількість змінної, що відповідає дійсності.

Чи міг би хтось дати мені корисні зауваження щодо цієї проблеми?

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

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

Ірит Дінур, Венкатесан Гурусвамі, Субхаш Хот та Одід Регев. Нова багатошарова PCP і твердість обкладинки вершин гіперграфа , журнал SIAM on Computing, 34 (5): 1129–1146, 2005.

$W[1]$

$q$

$X$$q$

$k$

$k$