سؤال

Certain special forms of the SAT problem have solution sets of a special form. For example, given any three solutions to a 2-SAT circuit, their bitwise median is also a solution. Likewise, given any three solutions to an XOR-SAT circuit, their bitwise XOR is also a solution. Lastly, given any two solutions to a HORN-SAT circuit, their bitwise AND is also a solution.

Does there exist a similar situation for 3-SAT, where given some subset of solutions, one can somehow generate additional solutions?

If not, does there exist a related SAT problem that 3-SAT can be reduced to, and hence which is also NP-complete, which have solutions of the form specified? For instance 1-in-3 SAT, or exactly-3-SAT, or NAE-3-SAT, or etc.

لا يوجد حل صحيح

مرخصة بموجب: CC-BY-SA مع الإسناد
لا تنتمي إلى cs.stackexchange
scroll top