Запитання з тегом «sat»

У мене є частина спроби підтвердження . Спроба доказування полягає у скороченні Карпа від -повної проблеми 3-РЕГУЛЯРНОГО ВЕРТЕКСНОГО ПОКРИТТЯ до SAT.⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus З огляду на кубічний графік , скорочення виводить формулу CNF, що має обидві наступні властивості:GGGFFF FFF має не більше задовольняючого завдання.111 FFF задовольняється тоді і …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

Чи відомий результат класу складності 1-в-3-SAT з обмеженою кількістю змінних випадків? Я придумав наступне скоромовне скорочення з Пітером Найтінгейлом, але я хочу навести щось, якщо це буде відомо. Ось хитрість, яку ми придумали. Це показує, що 1-в-3-SAT обмежено 3 входами на змінну - NP повний і #P повний (оскільки 1-в-3-SAT …

11 reference-request  sat  reductions 

Імпальяццо, Патурі і Калабро, Імпальяццо, Патурі запровадили гіпотезу експоненціально-часового періоду (ETH) та сильну гіпотезу експоненціального часу (SETH). Приблизно SETH говорить, що не існує алгоритму, який би вирішив SAT за час . 1,99н1.99n1.99^n Мені було цікаво, що це означає зламати СЕТ. Нам, безумовно, потрібно знайти алгоритм, який вирішує SAT менш ніж …

11 cc.complexity-theory  sat  exp-time-algorithms 

Нехай - вектор булевих змінних. Нехай - дві булеві схеми на . Скажіть, що схожий на якщо:C , D x C Dx=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n)C,DC,DC,DxxxCCCDDD Пр [ С( x ) ≠ D ( x ) ]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)] є експоненціально малим, коли хxx намальовано рівномірно з { 0 , 1 }н{0,1}n\{0,1\}^n (іншими словами, …

11 sat  application-of-theory 

Цей останній документ із FOCS2013, " Сильний задній план до обмеженої ширини ширини SAT " Гасперсом і Сейдером розповідає про зв'язок між шириною ширини графіка пункту SAT та твердістю екземпляра. Для випадкових 3-SAT, тобто 3-SAT екземплярів, вибраних випадковим чином, яка кореляція між шириною ширини графіка пункту та твердістю екземпляра? "Твердість …

11 graph-algorithms  sat  treewidth  random-k-sat  hard-instances 

Усі розв'язувачі #SAT, які я знаю, наприклад, RelSat, C2D, повертають лише кількість приємних екземплярів. Але я хочу знати кожен із цих випадків? Чи є такий вирішувач #SAT або як я повинен змінити доступний вирішувач #SAT для цього? Дякую.

11 lo.logic  sat  software 

Які перешкоди для того, щоб зробити SAT-вирішувачі конкурентоспроможними спеціалізованими алгоритмами графіків? Іншими словами, чи можливо очікувати вирішення SAT, які можуть замінити роль конструктора алгоритмів, тобто мати можливість автоматично розпізнавати структуру проблеми, а потім вирішувати її так само швидко, як спеціалізований алгоритм? Ось кілька прикладів, які, на мою думку, є складними …

11 ds.algorithms  graph-theory  sat 

Я розробляв алгоритм SAT деякий час і дійшов до моменту, коли я хотів би поділитися ним. Я не знаю багатьох людей з інформатики, і не знаю, куди точно звернутись. Мені цікаво, які ресурси доступні для того, хто має алгоритм, який розглядає можливість публікації. Мені також потрібна допомога в аналізі часу …

11 sat  soft-question  proofs 

Мене цікавить варіація SAT, де формула CNF є монотонною (жодні змінні не заперечуються). Така формула, очевидно, задовольняє. Але скажімо, кількість справжніх змінних є мірою того, наскільки хорошим є наше рішення. Отже, у нас є така проблема: МІНІМАЛЬНА ПРАВИЛЬНА МОНОТОНА 3SAT ІНСТАНЦІЯ: Встановити U змінних, збірник C диз'юнктивних пропозицій 3-х літералів, …

11 cc.complexity-theory  np-hardness  sat 

Ельберфельд, Якобі та Тантау 2010 ( ECCC TR10-062 ) довели просторово ефективну версію теореми Бодлендера. Вони показали, що для графіків з шириною ширини не більше можна розкласти дерево шириною k за допомогою логарифмічного простору. Постійний коефіцієнт у зв'язаному просторі залежить від k . (Теорема Бодлендера показує лінійну обмежену в часі …

10 cc.complexity-theory  sat  treewidth  space-complexity 

Мені цікаво зменшити -Clique до SAT, не зробивши примірник значно більшим.кkk Кліка знаходиться в NP, тому її можна звести до SAT, використовуючи логарифмічний простір. Безпосереднє зменшення підручника Гарі / Джонсона підриває екземпляр до кубічного розміру. Однак -Clique є в P для кожного фіксованого k, тому "повинно" бути ефективне зниження принаймні …

10 cc.complexity-theory  sat  reductions  clique 

Яке стандартне визначення Planar 3-SAT? Я бачив ряд різних визначень. Який оригінальний документ визначав його і довів, що він є повним NP?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

Чи складно NP NP-задачу CNF, коли загальна кількість (але не ширина) 3-х чи більше-строкових пропозицій обмежена вище постійною? А що конкретно, коли існує лише одне таке застереження?

10 np-hardness  sat  upper-bounds 

Чи існують природні формули із CNF - бажано тієї, яка раніше вивчалася в літературі - з такими властивостями:ССC - простий випадок SAT, наприклад, Рог або 2-CNF, тобто членство в C можна перевірити в поліномічний час, а формули F ∈ C можна перевірити на відповідність у поліномному часі.СCCСCCЖ∈ CF∈CF\in C Невідомі …

10 sat  proof-complexity 

Контекст : Кавадіас і Сидері показали, що зворотна 3-SAT проблема є coNP завершеною: Дано набір моделей на змінних, чи існує така формула 3-CNF, що - це її точний набір моделей? Виникає формула негайного кандидата, яка є поєднанням усіх 3-х статей, задоволених усіма моделями в .n ϕ ϕϕϕ\phinnnϕϕ\phiϕϕ\phi Оскільки він містить …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat