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

С точки зрения вычислимости и сложности, поиск отображений между задачами, которые позволяют решить одну проблему, используя решение другой. Для сокращения в теории языка программирования (например, бета-сокращение), см. [Лямбда-исчисление] или [переписывание терминов].

4
Каковы общие методы уменьшения проблем друг с другом?
В теории вычислимости и сложности (и, возможно, в других областях) сокращения являются повсеместными. Существует много видов, но принцип остается тем же: показать, что одна проблема L1L1L_1 , по крайней мере, так же трудна, как и другая проблема L2L2L_2 путем сопоставления экземпляров из с эквивалентными по решению в . По сути, …

2
Почему пустой тип C не аналогичен пустому / нижнему типу?
Википедия, а также другие источники, которые я обнаружил в списке voidтипа C как тип единицы, а не пустой тип. Мне кажется, что это сбивает с толку, так как мне кажется, что оно voidлучше подходит под определение пустого / нижнего типа voidНасколько я могу судить, ценности не обитают . Функция с …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

2
Как построить сокращения между проблемами, чтобы доказать, что проблема является NP-полной?
Я прохожу сложный курс, и у меня возникают проблемы с сокращением числа проблем с NPC. Как я могу найти сокращения между проблемами? Есть ли общий трюк, который я могу использовать? Как мне подойти к проблеме, которая требует от меня доказать, что проблема в NPC?

3
Обучение NP-полноте - сокращения Тьюринга против сокращений Карпа
Меня интересует вопрос о том, как лучше всего преподавать NP-полноту специальностям информатики. В частности, должны ли мы учить этому, используя сокращения Карпа или сокращения Тьюринга? Я чувствую, что концепции NP-полноты и сокращения - это то, что должен изучать каждый специалист по информатике. Однако, когда я учил NP-полноте, я заметил, что …

1
Сортировка как линейная программа
У удивительного числа проблем есть довольно естественное сокращение к линейному программированию (LP). См. Главу 7 в [1] для примеров, таких как сетевые потоки, двустороннее сопоставление, игры с нулевой суммой, кратчайшие пути, форма линейной регрессии и даже оценка схемы! Поскольку оценка схемы сводится к линейному программированию, любая проблема в должна иметь …

2
Если я могу решить судоку, могу ли я решить задачу коммивояжера (TSP)? Если так, то как?
Допустим, есть такая программа, которая, если вы дадите частично заполненную судоку любого размера, даст вам соответствующую заполненную судоку. Можете ли вы рассматривать эту программу как черный ящик и использовать это для решения TSP? Я имею в виду, есть ли способ представить проблему TSP как частично заполненную судоку, так что, если …

3
Преобразование (математических) задач в экземпляры SAT
То, что я хочу сделать, это превратить мою математическую задачу в булеву проблему удовлетворенности (SAT), а затем решить ее с помощью SAT Solver. Интересно, знает ли кто-нибудь руководство, руководство или что-нибудь, что поможет мне преобразовать мою проблему в экземпляр SAT. Кроме того, я хочу решить эту проблему лучше, чем экспоненциально. …

2
Является ли проблема «подмножество продукта» NP-полной?
Задача подмножества сумм является классической NP-полной задачей: Учитывая список чисел и цель , есть ли подмножество чисел из которое суммирует к ?k L kLLLКkkLLLКkk Студент спросил меня, является ли этот вариант проблемы, называемый проблемой «подмножество продукта», NP-полным: Имея список чисел и цель , существует ли подмножество чисел из , произведение …


2
Сумма подмножества: уменьшите специальный к общему случаю
Википедия формулирует проблему суммы подмножеств как поиск подмножества данного мультимножества целых чисел, сумма которого равна нулю. Далее говорится, что это эквивалентно нахождению подмножества с суммой sss для любого заданного sss . Поэтому я считаю, что, поскольку они эквивалентны, должно быть сокращение с обеих сторон. От sss до нуля тривиально, если …

5
Как я могу уменьшить сумму подмножества до раздела?
Может быть, это довольно просто, но у меня есть некоторые проблемы, чтобы получить это сокращение. Я хочу уменьшить Subset Sum до Partition, но в настоящее время я не вижу связи! Можно ли уменьшить эту проблему с помощью редукции Левина? Если не понимаешь, пиши для уточнения!

3
ПОЛОВИНА КЛИК - NP Полная задача
Позвольте мне начать с замечания, что это домашняя проблема. Пожалуйста, предоставьте только рекомендации и соответствующие замечания, НИКАКИХ ПРЯМЫХ ОТВЕТОВ, пожалуйста . С учетом сказанного, вот проблема, на которую я смотрю: Пусть HALF-CLIQUE = { | G является неориентированным графом, имеющим полный подграф с по крайней мере n / 2 узлами, …

2
Можно ли показать NP-твердость по Тьюрингу?
В статье Рамирес-Альфонсон « Сложность проблемы Фробениуса» доказана, что задача NP-полна с использованием редукций Тьюринга. Это возможно? Как именно? Я думал, что это было возможно только за полиномиальное время много одного сокращения. Есть ли какие-либо ссылки по этому поводу? Существуют ли два разных понятия NP-твердости, даже NP-полноты? Но тогда я …

1
Может ли минимальное сокращение быть проще, чем сетевой поток?
Благодаря теореме min-cut о максимальном потоке мы знаем, что мы можем использовать любой алгоритм для вычисления максимального потока в сетевом графе для вычисления -min-cut. Следовательно, сложность вычисления минимального -среза не больше, чем сложность вычисления максимального -потока.( с , т )(s,T)(s,t)( с , т )(s,T)(s,t)( с , т )(s,T)(s,t) Может ли …

2
Полиномиальная редукция из любой NP-полной задачи в ограниченную PCP
Учебники повсюду предполагают, что проблема ограниченной почтовой корреспонденции является NP-полной (не более индексов допускается с повторениями). Тем не менее, нигде не показано простого (как, например, то, что может понять студент) полиномиального сокращения времени из другой NP-полной задачи.NNN Однако каждое сокращение, которое я могу придумать, является экспоненциальным (по или по размеру …

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