Вопросы с тегом '2-satisfiability'

Задача Boolean 2-satisifability задает вопрос, существует ли решение для данного набора парных ограничений для булевых переменных. 2SAT, как известно, разрешима в полиномиальное время.
2
ответов

Как получить значения 2-Sat

Всякий раз, когда я ищу алгоритм для 2-Sat, я возвращаю алгоритм для формы решения проблемы: существует ли юридический набор значений, удовлетворяющих всем предложениям. Однако это не позволяет мне легко найти набор удовлетворяющих булевым значениям....
задан 22 февр. '10 в 19:50
2
ответов

Проблемы реализации в проблеме 2-Удовлетворительности

Я хочу реализовать проблему 2-SAT для 100000 литералов. Таким образом, было бы 200 000 вершин. Таким образом, я застрял в наличии массива всех достижимых вершин из каждой вершины, сложность пространства O(200000^2), которая неосуществима. Поэтому, п...
задан 03 нояб. '09 в 6:59