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

Назначение графика графика

График импликации - это ориентированный граф, где каждому узлу присваивается либо истинное, либо ложное, и любое ребро u → v подразумевает, что if u is true then v is true. Я знаю простой алгоритм O(n^2), чтобы найти назначение в общем графике импл...
задан 20 сент. '14 в 22:34
1
ответ

Как точно Макс 2 Сб уменьшается до 3 Сб?

Я читал эту статью, которая пробует и объясняет, как проблема с max 2 сидит, по сути, 3-сильная проблема и NP-hard. Однако, если вы видите статью, я не могу понять, почему, после того, как ci будет удовлетворен, удовлетворены 7 из 10 статей, и если...
задан 30 янв. '16 в 13:41
1
ответ

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

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

Как постоянные входы влияют на формулировку проблемы SAT?

Допустим, у меня схема черного ящика с N входами и 1 выходом. Я хочу исправить значение M входов и найти значение остатка входов (NM), для которых схема является выполнимой. Если я вручную исправил входы M в verilog RTL и преобразовал его в CNF (ис...
задан 21 сент. '18 в 21:38
1
ответ

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

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

Полиномиальный алгоритм для 2-SAT-алгоритма

Я прочитал много алгоритмов для поиска проблемы 2-SAT, т.е. Данное выражение является выполнимым или нет, что можно решить за многочленное время. пример (алгоритм). Для процедуры Кром (Википедия) я построю график, из которого я легко могу проверить...
задан 05 нояб. '15 в 1:44
1
ответ

Преобразование не всех равных 2-Sat Pr0blem в эквивалентную 2-SAT pr0blem

Я просматриваю предыдущие экзаменационные документы и сталкиваюсь с этим вопросом, который меня смутил. Вопрос: Преобразовать не-все-равную проблему 2-SAT, заданную предложениями {x1, x2}, {x2, x3}, {x3, x4}, {x4, x5}, {x5, x1} эквивалентным 2-SA...
задан 04 мая '16 в 17:04
1
ответ

2 выполнимость сильносвязанных компонент топологического упорядочения

Я решаю проблему с двумя выполнимостью с ГТК и задаю вопрос о топологической сортировке. Алгоритм, на котором я основываюсь, состоит в том, чтобы обрабатывать SCC в обратном топологическом порядке, что прекрасно, когда все они связаны. Мой алгоритм ...
задан 02 апр. '17 в 4:56
2
ответов

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

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

Решение формы 2Sat CNF с использованием грубой силы

В настоящее время я изучаю проблему 2SAT для экзамена, и я действительно не понимаю, как проверить, существует ли решение с использованием грубой силы. Я знаю, это кажется немного странным, но я понимаю, как реализовать график импликации немного луч...
задан 08 февр. '13 в 21:40
1
ответ

Как решить экземпляр 2-SAT с 60 булевыми переменными и 99 предложениями с использованием Z3Py

Я использую следующий код: X = BoolVector('x', 60) M = [[21, 34],[-49, -12],[7, 18], [-5, -1],[28, 17], [3, 55],[36, 33], [-6, -50],[44, -41], [-55, 3],[14, -54],[-30, 13], [-13, 60],[54, -16],[-48, 41], [3, 6],[49, -48...
задан 12 июля '13 в 22:22
1
ответ

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

Я знаю, что, применяя Сильно связанные компоненты в Digraph, мы можем проверить логическую выполнимость 2-SAT, если проблема разрешима в полиномиальное время. Пусть предположим, что задача выполнима. Вопрос: существует ли общий алгоритм вычисления...
задан 03 нояб. '13 в 19:36