2-Satisfiability – вопросы и ответы

53
голоса
1
ответ
Я прочитал много алгоритмов для поиска проблемы 2-SAT, т.е. Данное выражение является выполнимым или нет, что можно решить за многочленное время. пример ( алгоритм ). Для процедуры Кром (
2 месяца назад piyush-balwani
54
голоса
1
ответ
У меня есть проблема, которая является расширением проблемы 2-SAT. В стандартной задаче 2-SAT мы можем найти любое назначение истинности, которое зависит от упорядочения выбранных вершин. Я хочу пр...
2 месяца, 4 недели назад avd
66
голосов
2
ответа
В настоящее время я изучаю проблему 2SAT для экзамена, и я действительно не понимаю, как проверить, существует ли решение с использованием грубой силы. Я знаю, это кажется немного странным, но я по...
7 лет, 3 месяца назад John Smith
54
голоса
1
ответ
Я использую следующий код: 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...
6 лет, 10 месяцев назад Juan Ospina
75
голосов
2
ответа
Я написал SAT-решатель для проблемы с 2-выполнимостью, кто-то, пожалуйста, предоставьте мне тестовый пример с 10000 литералами, который имеет только одно выполнимое задание, и только одно решение T...
10 лет, 6 месяцев назад avd
53
голоса
1
ответ
Я решаю проблему с двумя выполнимостью с ГТК и задаю вопрос о топологической сортировке. Алгоритм, на котором я основываюсь, состоит в том, чтобы обрабатывать SCC в обратном топологическом порядке,...
3 года, 1 месяц назад jimboweb
52
голоса
1
ответ
Допустим, у меня схема черного ящика с N входами и 1 выходом. Я хочу исправить значение M входов и найти значение остатка входов (NM), для которых схема является выполнимой. Если я вручную исправил...
1 год, 8 месяцев назад Harshit Kumar
53
голоса
1
ответ
Я просматриваю предыдущие экзаменационные документы и сталкиваюсь с этим вопросом, который меня смутил. Вопрос: Преобразовать не-все-равную проблему 2-SAT, заданную предложениями {x1, x2}, {x2, x3}...
4 года назад user6227505
Ищете еще? Найдите вопросы с помощью поисковой формы вверху страницы или с помощью рубрикатора, помогите ответить на вопросы без ответа.
Чтобы , пожалуйста,
Выберите тему жалобы:

Другая проблема