Вопросы с тегом «np-hard»

решение проблем, которые по крайней мере так же сложны, как и NP-полные

109
Почему не было алгоритма шифрования, основанного на известных проблемах NP-Hard?

Большая часть современного шифрования, такого как RSA, основывается на целочисленной факторизации, которая, как полагают, не является сложной задачей NP, но относится к BQP, что делает его уязвимым для квантовых компьютеров. Интересно, почему не было алгоритма шифрования, основанного на известной...

33
Трудно ли NP заполнять мусорные ведра с минимальными ходами?

Есть бункеров и типов шаров. У го бина есть метки для , это ожидаемое количество шаров типа .nnnmmmiiiai,jai,ja_{i,j}1≤j≤m1≤j≤m1\leq j\leq mjjj Вы начинаете с шариков типа . Каждый шар типа имеет вес и хочет поместить шары в контейнеры так, чтобы имела вес . Распределение шаров, удовлетворяющее...

31
NP-Hard проблемы, которые не в NP, но разрешимы

Мне интересно, есть ли хороший пример для простой для понимания проблемы NP-Hard, которая не является NP-Complete и не неразрешима? Например, проблема остановки - NP-Hard, а не NP-Complete, но неразрешима. Я считаю, что это означает, что это проблема, решение которой можно проверить, но не за...

28
Почему пустой тип C не аналогичен пустому / нижнему типу?

Википедия, а также другие источники, которые я обнаружил в списке voidтипа C как тип единицы, а не пустой тип. Мне кажется, что это сбивает с толку, так как мне кажется, что оно voidлучше подходит под определение пустого / нижнего типа voidНасколько я могу судить, ценности не обитают . Функция с...

27
Продажа блоков временных интервалов

Учитывая временных интервалов, которые хотят купить k человек. Человек i имеет значение h ( i , j ) ≥ 0 для каждого временного интервала j . Каждый человек может купить только один последовательный блок временных интервалов, который может быть пустым.NnnКkkяiih ( i , j ) ≥ 0h(i,j)≥0h(i,j)\geq 0Jjj...

22
Естественные кандидаты на иерархию внутри NPI

Предположим , что . N P I - класс задач в N P, которых нет ни в P, ни в N P -твердых. Вы можете найти список проблем предположительно N P I здесь .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Теорема Ладнера говорит нам, что если...

21
Уменьшить следующую проблему до SAT

Здесь проблема. Даны , где каждый T i ⊆ { 1 , … , n } . Существует ли подмножество S ⊆ { 1 , … , n } с размером не более k таким, что S ∩ T i ≠ ∅ для всех i ? Я пытаюсь свести эту проблему к SAT. Моя идея решения будет иметь переменную х яk,n,T1,…,Tmk,n,T1,…,Tmk, n, T_1, \ldots,...

20
Сумма подмножества: уменьшите специальный к общему случаю

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

19
Простое сокращение от 3SAT до задачи о гамильтоновом пути

В книге Сипсера «Введение в теорию вычислений» на стр. 286 приведено сокращение от 3SAT до задачи о гамильтоновом пути. Есть ли более простое сокращение? Проще говоря, я имею в виду сокращение, которое было бы легче понять (для студентов). Есть ли сокращение, использующее линейное число переменных?...

15
Hidoku NP завершен?

Хидоку - это сетка с некоторыми предварительно заполненными целыми числами от 1 до . Цель состоит в том, чтобы найти путь последовательных целых чисел (от 1 до ) в сетке. Более конкретно, каждая ячейка сетки должна содержать различное целое число от 1 до и каждая ячейка со значением должна иметь...

15
Пазлы “Flow Free” NP-сложны?

Головоломка «Поток свободен» состоит из натурального числа и набора (неупорядоченных) пар различных вершин в графе сетки , так что каждая вершина находится не более чем в одной паре. Решением такой головоломки является набор неориентированных путей в графе, так что каждая вершина находится на одном...

13
MIN-2-XOR-SAT и MAX-2-XOR-SAT: они NP-сложные?

Какова сложность MIN-2-XOR-СБMIN-2-XOR-SAT\text{MIN-2-XOR-SAT} и MAX-2-XOR-СБMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} ? Они в П? Они NP-хард? Чтобы формализовать это более точно, пусть Φ ( x ) = ∧NяСя,Φ(x)=∧inCi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, где х =( х1, … , Хм)x=(x1,…,xm)\mathbf{x}...

13
Являются ли регулярные выражения кроссвордами NP-сложными?

Я дурачился на днях на этом сайте: http://regexcrossword.com/, и это заставило меня задуматься о том, как лучше всего это решить. Можете ли вы решить следующую проблему за полиномиальное время или это NP-сложный? Учитывая сетку NxM с N регулярными выражениями для столбцов и M для строк, найдите...

13
Поиск оптимальной последовательности вопросов, чтобы минимизировать общее время студента

Предположим, в университете есть учебная сессия. У нас есть набор из вопросов и набор из студентов . Каждый студент имеет сомнение в определенной подгруппе вопросов, то есть для каждого студента , пусть множество вопросов , которые студент имеет сомнение. Предположим , что и .Q = { q 1 … q k } n S...

12
Означает ли coNP-полнота NP-твердость?

Означает ли coNP-полнота NP-твердость? В частности, у меня есть проблема, которую я показал как coNP-полная. Могу ли я утверждать, что это NP-жесткий? Я понимаю, что могу требовать твердости coNP, но я не уверен, является ли эта терминология стандартной. Я согласен с утверждением, что если...

11
NP-твердость покрытия прямоугольными кусочками (Google Hash Code 2015 Test Round)

Тестовый раунд Google Hash Code 2015 ( формулировка проблемы ) задал вопрос о следующей проблеме: вход: сетка с несколькими отмеченными квадратами, порог , максимальная площадьT ∈ N A ∈ NMMMT∈ NT∈NT \in \mathbb{N}A ∈ NA∈NA \in \mathbb{N} Выход: наибольшая возможная площадь множества...

11
Непрерывная задача оптимизации, которая сводится к TSP

Предположим, мне дан конечный набор точек на плоскости, и меня просят нарисовать дважды дифференцируемую кривую через , чтобы ее периметр был как можно меньше. Предполагая, что и , я могу формализовать эту проблему следующим образом: С ( Р ) р я р я = ( х я , у я ) х I < х я +...

11
Доказать, что диагноз направленного графа является NP-трудным

У меня есть домашнее задание, от которого я некоторое время ломал голову, и я буду благодарен за любые подсказки. Речь идет о выборе известной проблемы, NP-полнота которой доказана, и построении перехода от этой проблемы к следующей проблеме, которую я назову DGD (диагностика направленного графа)....