Вопросы с тегом «3-sat»

Алгоритм GSAT по большей части прост: вы получаете формулу в соединительной нормальной форме и переворачиваете литералы предложений до тех пор, пока не найдете решение, удовлетворяющее формуле, или не достигнете предела max_tries / max_flips и не найдете решения. Я реализую следующий алгоритм: procedure GSAT(A,Max_Tries,Max_Flips) A: is a CNF formula for i:=1 …

20 algorithms  satisfiability  3-sat 

Я пытаюсь обернуть голову вокруг доказательства полноты NP, которое, кажется, вращается вокруг SAT / 3CNF-SAT. Возможно, это поздний час, но я боюсь, что не могу придумать формулу 3CNF, которая не может быть удовлетворена (возможно, я упускаю что-то очевидное). Можете ли вы привести пример такой формулы?

15 logic  satisfiability  3-sat 

Планар 3SAT является NP-полным. Планарный экземпляр 3SAT - это экземпляр 3SAT, для которого график, построенный с использованием следующих правил, является плоским: добавить вершину для каждого и ¯ х яxixix_ixi¯xi¯\bar{x_i} добавить вершину для каждого предложения CjCjC_j добавить ребро для каждого пара(xi,xi¯)(xi,xi¯)(x_i,\bar{x_i}) добавить ребро из вершины (или ¯ х я ) для …

14 np-complete  reductions  satisfiability  3-sat 

Я пытаюсь разработать задание (взятое из книги « Алгоритмы» С. Дасгупты, К. Х. Пападимитриу и У. В. Вазирани , глава 8, проблема 8.6а), и я перефразирую то, что в нем говорится: Учитывая, что 3SAT остается NP-завершенным, даже если он ограничен формулами, в которых каждый литерал появляется не более двух раз, …

10 complexity-theory  satisfiability  3-sat