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

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

9 algorithms  satisfiability 

Valiant & Vazirani довели, що SAT можна привести до УНІКАЛЬНОГО САТ при рандомізованих імовірнісних скороченнях поліноміального часу. Calabro та ін . показав, що UNIQUE k-SAT такий же важкий, як k-SAT. Тепер питання полягає в тому, якщо хтось показує, що UNIQUE k-SAT знаходиться у P, чи це означає P = NP? …

9 complexity-theory  satisfiability  p-vs-np 

Мені було цікаво, чи має ця проблема назва: З огляду на простий графік, краї якого пофарбовані червоним, синім та зеленим кольором, , чи існує кольорові вершини такі, що кожен край має кінцеву точку одного кольору?G = ( V, B ∪ R ∪ G )G=(V,B∪R∪G)G=(V,B\cup R\cup G)c : V→ { B …

9 algorithms  complexity-theory  graphs  satisfiability  colorings 

Нехай бути мовою всіх -CNF формул , таким чином, що , по крайней мере з положення «и можуть бути задоволені.LϵLϵL_\epsilon222φφ\varphi(12+ ϵ )(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi Мені потрібно довести, що існує st є -твердий для будь-якого .ϵ'ϵ′\epsilon'LϵLϵL_\epsilonН ПNP\mathsf{NP}ϵ &lt;ϵ'ϵ&lt;ϵ′\epsilon<\epsilon' Ми знаємо, що може бути приблизним до переваги пунктів із скорочення . Як я повинен …

9 complexity-theory  satisfiability  approximation