Это, наверное, глупый вопрос, но я просто не понимаю. В другом вопросе они придумали теорему Шефера о дихотомии . Мне кажется, это доказывает, что каждая проблема CSP либо в P, либо в NP-полной, но не между ними. Поскольку каждая проблема NP может быть преобразована за полиномиальное время в CSP...
Я видел, как XOR-3-SAT эффективно разрешима (например, см. Раздел «XOR-удовлетворяемость» в статье Википедии для проблемы булевой выполнимости ). Мне интересно основной вопрос: эффективно ли разрешим XOR-k-SAT для формул с различным количеством литералов в предложении? Мне бы очень хотелось узнать,...
Решение проблемы Учитывая булеву формулу , имеет ли ровно одно удовлетворяющее присваивание?ϕϕ\phiϕϕ\phi можно увидеть в , -hard и -hard. Что-нибудь более известно о его...
Является ли проблема определения того, является ли данное булево выражение выполнимым в вычислительном отношении отличным от фактического нахождения решения выражения? Другими словами, есть ли другой способ найти, что данное выражение выполнимо без явного определения «правильных настроек» для...
На работе мне было поручено вывести некоторую информацию о типах динамического языка. Я переписываю последовательности операторов во вложенные letвыражения, например так: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then {...
Современные SAT-решатели очень хороши в решении многих реальных примеров экземпляров SAT. Тем не менее, мы знаем, как генерировать сложные: например, использовать сокращение от факторинга до SAT и давать числа RSA в качестве входных данных. Возникает вопрос: что если я возьму простой пример...
Я интересно, если есть полиномиальный алгоритм для «2-SAT с XOR-отношений». И 2-SAT, и XOR-SAT находятся в P, но является ли их комбинация? Пример ввода: 2-SAT часть: (a or !b) and (b or c) and (b or d) XOR часть: (a xor b xor c xor 1) and (b xor c xor d) Другими словами, вход представляет собой...
Я пытаюсь разработать задание (взятое из книги « Алгоритмы» С. Дасгупты, К. Х. Пападимитриу и У. В. Вазирани , глава 8, проблема 8.6а), и я перефразирую то, что в нем говорится: Учитывая, что 3SAT остается NP-завершенным, даже если он ограничен формулами, в которых каждый литерал появляется не...
Относительно потока, Доказывающего, что преобразование из CNF в DNF является NP-Hard (и связанный математический поток ): Как насчет другого направления, от DNF до CNF? Это легко или сложно? На странице 2 этой статьи они, похоже, намекают на то, что оба направления одинаково трудны, когда говорят:...
Я второкурсник средней школы, который интересуется информатикой. Я разработал классный алгоритм для #SAT, и я реализую и выполняю научный проект на нем. Моя консультант, которая является лучшим учителем естественных наук в моей школе, а также преподавателем AP Comp Sci, сказала мне, что она...
На странице википедии здесь довольно хорошо описан алгоритм CDCL (и, похоже, фотографии были взяты из слайдов, созданных Шарадом Маликом в Принстоне). Тем не менее, при описании того, как откатить все, что он говорит, это «до соответствующей точки». MiniSAT также использует вариант алгоритма CDCL,...
Valiant & Vazirani доказал, что SAT сводится к UNIQUE SAT при рандомизированных вероятностных сокращениях за полиномиальное время. Calabro et al . показал, что УНИКАЛЬНЫЙ k-SAT такой же жесткий, как и k-SAT. Теперь возникает вопрос: если кто-то показывает, что UNIQUE k-SAT находится в P,...
Мне было интересно, если у этой проблемы есть имя: Для простого графа, ребра которого окрашены в красный, синий и зеленый цвета, , существует ли раскраска вершин такая, что каждое ребро имеет конечную точку с тем же цветом?G = ( V, B ∪ R ∪ G )гзнак равно(В,В∪р∪г)G=(V,B\cup R\cup G)с : V→ { B , R ,...
Пусть будет языком всех -CNF-формул таким образом, чтобы по крайней мере из предложений можно было выполнить.LϵLϵL_\epsilon222φφ\varphi(12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi Мне нужно доказать, что существует st is -hard для любого...