Вопросы с тегом «sat»

SAT обозначает булеву проблему выполнимости.


4
Прямое снижение SAT до 3-SAT
Здесь цель состоит в том, чтобы свести произвольную задачу SAT к 3-SAT за полиномиальное время, используя наименьшее количество предложений и переменных. Мой вопрос мотивирован любопытством. Менее формально я хотел бы знать: «Каково« наиболее естественное »сокращение с SAT до 3-SAT?» Теперь сокращение, которое я всегда видел в учебниках, выглядит примерно так: …

1
Топологическое пространство, связанное с SAT: оно компактно?
Проблема удовлетворенности является, конечно, фундаментальной проблемой в теоретической CS. Я играл с одной версией проблемы с бесконечным количеством переменных. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Базовая настройка. Пусть непустое и, возможно, бесконечное множество переменных . Литерал - это либо переменная либо ее отрицание . Предложение - это дизъюнкция конечного числа литералов . Наконец, мы …

1
Каковы # P-полные подсемейства # 2-SAT?
Укороченная версия. Первоначальное доказательство того, что # 2-SAT является #P -завершенным, фактически показывает, что экземпляры # 2-SAT являются монотонными (без учета отрицаний каких-либо переменных) и двудольными (график, образованный предложениями над Переменный является двудольным графом) являются #P -Жесткими. Таким образом, два случая # 2-ТОН-SAT и № 2-двудольный-SAT является #P -Жестким. Существуют …


5
Открытое или интерактивное удовлетворение ограничений
В прошлом я реализовывал модели координации, используя SAT и регулярное удовлетворение ограничений в качестве основной рабочей силы в своих двигателях. Продолжая эту работу, я хотел бы сделать модели более интерактивными, и лучший способ, которым я это вижу, состоит в том, чтобы открыть решатель ограничений, чтобы он больше не был черным …
17 sat  lo.logic  csp 

5
Уникальные тесты
Этот вопрос, вероятно, находится на границе между темой и темой, однако я видел подобные вопросы здесь, поэтому я задам его. Я реализую уникальный kkk -SAT-решатель, вход которого представляет собой формулу kkk -CNF, имеющую не более 111 удовлетворительного назначения. Чтобы проверить его практическое поведение, мне нужен набор таких формул. Я искал …
16 sat 

1
Контекстно-зависимая грамматика для SAT?
Классическим результатом Куроды является то, что класс сложности NSPACE [ ]NNn (также известный как NLIN-SPACE) является именно классом CSL контекстно-зависимых языков . Задача выполнимости SAT находится в NSPACE [ ], так как предположение линейного размера для решения может быть проверено не более чем с линейной величиной накладных расходов для учета. …

1
Тавтологии / противоречия в среднем случае за пределами случайной модели k-CNF
Хорошо известно, что случайные формулы -CNF над n переменными с предложениями c n являются неудовлетворительными (т.е. являются противоречиями) с большой вероятностью для достаточно большой постоянной c . Таким образом, случайные формулы k- CNF (для достаточно больших c ) представляют собой естественное распределение по неудовлетворительным булевым формулам (или двойственно, по тавтологиям, …

1
Сложность поиска версии 2-SAT при условии
Если , то существует алгоритм пространства журнала, который решает версию решения 2-SAT.L = N LL=NL\mathsf{L = NL} Известно ли, что подразумевает наличие алгоритма логического пространства для получения удовлетворительного назначения , когда в качестве входных данных предоставляется удовлетворительный экземпляр 2-SAT?L = N LL=NL\mathsf{L = NL} Если нет, то как насчет алгоритмов, …

1
Ранжирование сложности сложных задач на практике
Этот вопрос тесно связан с другим постом: Фазовые переходы в NP Трудные проблемы, но он несколько иной. В то время как этот вопрос касается сложности отдельных случаев сложных проблем NP, речь идет о ранжировании сложности тех же случаев. Существует много библиографии об эффекте, известном как фазовый переход . В частности, …

3
Проверка формул с двумя квантификаторами ( ) - 2QBF
SAT решатели дают мощный способ проверить правильность логической формулы с одним квантификатором. Например, чтобы проверить правильность , мы можем использовать SAT-решатель, чтобы определить, выполнимо ли . Чтобы проверить правильность , мы можем использовать SAT-решатель, чтобы определить, выполнимо ли . (Здесь - -вектор булевых переменных, а - булева формула.)φ ( x …

1
Случайная 3-SAT: Каков консенсусный экспериментальный диапазон порога?
Критическое отношение предложений к переменным для случайных 3-SAT составляет более 3 и менее 6 и, как представляется, обычно описывается как «около 4,2» или «около 4,25». Mezard, Parisi и Zecchina доказывают (в физическом смысле), что критическое отношение составляет 4,256, тогда как первый и третий авторы доказывают, что оно составляет 4,267. What …

6
вариации SAT
Я посмотрел в Интернете, но не смог найти «большой список» вариантов проблемы SAT. Помимо (общего) СИДЕЛ, к-СБ, MAX-КСАТ, Half-СБ, XOR-СБ, НАЗ-СБ какие еще варианты есть? (также будет очень полезно, если есть классы сложности (где это возможно))

2
Нижние границы на #SAT?
Проблема #SAT является канонической # P-полной проблемой. Это скорее функциональная проблема, чем проблема решения. При булевой формуле в пропозициональной логике спрашивается, сколько удовлетворяющих заданий имеет. Каковы лучшие нижние границы на #SAT?FFFFFF

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.