С точки зрения вычислимости и сложности, поиск отображений между задачами, которые позволяют решить одну проблему, используя решение другой. Для сокращения в теории языка программирования (например, бета-сокращение), см. [Лямбда-исчисление] или [переписывание терминов].
В теории вычислимости и сложности (и, возможно, в других областях) сокращения являются повсеместными. Существует много видов, но принцип остается тем же: показать, что одна проблема L1L1L_1 , по крайней мере, так же трудна, как и другая проблема L2L2L_2 путем сопоставления экземпляров из с...
Википедия, а также другие источники, которые я обнаружил в списке voidтипа C как тип единицы, а не пустой тип. Мне кажется, что это сбивает с толку, так как мне кажется, что оно voidлучше подходит под определение пустого / нижнего типа voidНасколько я могу судить, ценности не обитают . Функция с...
Я прохожу сложный курс, и у меня возникают проблемы с сокращением числа проблем с NPC. Как я могу найти сокращения между проблемами? Есть ли общий трюк, который я могу использовать? Как мне подойти к проблеме, которая требует от меня доказать, что проблема в...
Меня интересует вопрос о том, как лучше всего преподавать NP-полноту специальностям информатики. В частности, должны ли мы учить этому, используя сокращения Карпа или сокращения Тьюринга? Я чувствую, что концепции NP-полноты и сокращения - это то, что должен изучать каждый специалист по...
У удивительного числа проблем есть довольно естественное сокращение к линейному программированию (LP). См. Главу 7 в [1] для примеров, таких как сетевые потоки, двустороннее сопоставление, игры с нулевой суммой, кратчайшие пути, форма линейной регрессии и даже оценка схемы! Поскольку оценка схемы...
Допустим, есть такая программа, которая, если вы дадите частично заполненную судоку любого размера, даст вам соответствующую заполненную судоку. Можете ли вы рассматривать эту программу как черный ящик и использовать это для решения TSP? Я имею в виду, есть ли способ представить проблему TSP как...
То, что я хочу сделать, это превратить мою математическую задачу в булеву проблему удовлетворенности (SAT), а затем решить ее с помощью SAT Solver. Интересно, знает ли кто-нибудь руководство, руководство или что-нибудь, что поможет мне преобразовать мою проблему в экземпляр SAT. Кроме того, я хочу...
Задача подмножества сумм является классической NP-полной задачей: Учитывая список чисел и цель , есть ли подмножество чисел из которое суммирует к ?k L kLLLКkkLLLКkk Студент спросил меня, является ли этот вариант проблемы, называемый проблемой «подмножество продукта», NP-полным: Имея список чисел и...
Здесь проблема. Даны , где каждый T i ⊆ { 1 , … , n } . Существует ли подмножество S ⊆ { 1 , … , n } с размером не более k таким, что S ∩ T i ≠ ∅ для всех i ? Я пытаюсь свести эту проблему к SAT. Моя идея решения будет иметь переменную х яk,n,T1,…,Tmk,n,T1,…,Tmk, n, T_1, \ldots,...
Позвольте мне начать с замечания, что это домашняя проблема. Пожалуйста, предоставьте только рекомендации и соответствующие замечания, НИКАКИХ ПРЯМЫХ ОТВЕТОВ, пожалуйста . С учетом сказанного, вот проблема, на которую я смотрю: Пусть HALF-CLIQUE = { | G является неориентированным графом, имеющим...
Википедия формулирует проблему суммы подмножеств как поиск подмножества данного мультимножества целых чисел, сумма которого равна нулю. Далее говорится, что это эквивалентно нахождению подмножества с суммой sss для любого заданного sss . Поэтому я считаю, что, поскольку они эквивалентны, должно...
Может быть, это довольно просто, но у меня есть некоторые проблемы, чтобы получить это сокращение. Я хочу уменьшить Subset Sum до Partition, но в настоящее время я не вижу связи! Можно ли уменьшить эту проблему с помощью редукции Левина? Если не понимаешь, пиши для...
В статье Рамирес-Альфонсон « Сложность проблемы Фробениуса» доказана, что задача NP-полна с использованием редукций Тьюринга. Это возможно? Как именно? Я думал, что это было возможно только за полиномиальное время много одного сокращения. Есть ли какие-либо ссылки по этому поводу? Существуют ли два...
Учебники повсюду предполагают, что проблема ограниченной почтовой корреспонденции является NP-полной (не более индексов допускается с повторениями). Тем не менее, нигде не показано простого (как, например, то, что может понять студент) полиномиального сокращения времени из другой NP-полной...
Благодаря теореме min-cut о максимальном потоке мы знаем, что мы можем использовать любой алгоритм для вычисления максимального потока в сетевом графе для вычисления -min-cut. Следовательно, сложность вычисления минимального -среза не больше, чем сложность вычисления максимального -потока.( с , т...
Я изо всех сил пытаюсь понять отношения между NP-Intermediate и NP-Complete. Я знаю, что если P! = NP, основанный на теореме Ладнера, существует класс языков в NP, но не в P или в NP-Complete. Каждая проблема в NP может быть сведена к проблеме NP-Complete, однако я не видел примеров того, как...
Хидоку - это сетка с некоторыми предварительно заполненными целыми числами от 1 до . Цель состоит в том, чтобы найти путь последовательных целых чисел (от 1 до ) в сетке. Более конкретно, каждая ячейка сетки должна содержать различное целое число от 1 до и каждая ячейка со значением должна иметь...
Пусть А сводится к B, т.е. . Таким образом, машина Тьюринга приема имеет доступ к оракулу для . Пусть машина Тьюринга, принимающая будет а оракул для будет . Типы скидок:A≤BA≤ВA \leq BAAABВBAAAMAMAM_{A}BВBOBОВO_{B} Сокращение Тьюринга: может сделать несколько запросов к .MAMAM_{A}OBОВO_{B}...
Очевидно, что если , все языки в кроме и , будут -полными.P = N P P ∅ Σ ∗ N PP=NP{\sf P}={\sf NP}P{\sf P}∅\emptysetΣ*\Sigma^*Н П{\sf NP} Почему именно эти два языка? Разве мы не можем свести к ним какой-либо другой язык в Pп{\sf P} , выводя их при принятии или не...
У нас есть DAG. У нас есть функция на узлах (грубо говоря, мы нумеруем узлы). Мы хотели бы создать новый ориентированный граф с этими правилами:F: V→ NF:V→NF\colon V\to \mathbb N Только узлы с одинаковым номером могут быть заключены в один и тот же новый узел. . (Однако .)x ′ ≠ y ′ ⇏ F ( x ) ≠ F (...