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

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

9 algorithms  satisfiability 

Valiant & Vazirani доказал, что SAT сводится к UNIQUE SAT при рандомизированных вероятностных сокращениях за полиномиальное время. Calabro et al . показал, что УНИКАЛЬНЫЙ 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\cup R\cup G)с : …

9 algorithms  complexity-theory  graphs  satisfiability  colorings 

Пусть будет языком всех -CNF-формул таким образом, чтобы по крайней мере из предложений можно было выполнить.LϵLϵL_\epsilon222φφ\varphi(12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi Мне нужно доказать, что существует st is -hard для любого .ϵ′ϵ′\epsilon'LϵLϵL_\epsilonNPNP\mathsf{NP}ϵ&lt;ϵ′ϵ&lt;ϵ′\epsilon<\epsilon' Мы знаем, что может быть приближен к проценту пунктов из сокращения . Как я должен решить это?Max2SatMax2Sat\text{Max}2\text{Sat}55565556\frac{55}{56}Max3SatMax3Sat\text{Max}3\text{Sat}

9 complexity-theory  satisfiability  approximation