Вопросы с тегом '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
1
ответ

Кто-нибудь видел реализацию 2-Sat

Я искал какое-то время, но я просто не могу найти реализацию алгоритма 2-Sat. Я работаю на С++ с помощью библиотеки boost (которая имеет сильно подключенный компонентный модуль) и нуждается в некоторых рекомендациях для создания эффективного 2-Sat и...
задан 14 нояб. '09 в 11:10
1
ответ

2-Удовлетворительная проблема: существует ли уникальное назначение правды или нет

У меня есть проблема, которая является расширением проблемы 2-SAT. В стандартной задаче 2-SAT мы можем найти любое назначение истинности, которое зависит от упорядочения выбранных вершин. Я хочу проверить, существует ли одно и только одно назначение ...
задан 03 нояб. '09 в 6:07
2
ответов

2-SATisfiabilty проблемные тестовые примеры

Я написал SAT-решатель для проблемы с 2-выполнимостью, кто-то, пожалуйста, предоставьте мне тестовый пример с 10000 литералами, который имеет только одно выполнимое задание, и только одно решение The format can be:(for 3 literals) 2 // No...
задан 04 нояб. '09 в 12:16