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

Меня интересует естественное обобщение знаменитой 15-головоломки , где вам нужно сдвигать блоки, пока вы не отсортируете все заданные числа (обычно есть разрыв в 1 блок). Теперь обобщение должно было бы увеличить размер головоломки с 15 до , где одно поле свободно. Я создал небольшую иллюстрацию (пунктирные стрелки показывают разрешенные ходы, …

35 cc.complexity-theory  np  np-complete 

Есть ли (желательно натурального) NP-полный язык L⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^* , такое , что для любого имеет место ? Другими словами, содержит ровно половину всех битных экземпляров.n≥1n≥1n\geq 1 |L∩{0,1}n|=2n−1|L∩{0,1}n|=2n−1|L\cap \{0,1\}^n|=2^{n-1}LLLnnn

25 cc.complexity-theory  np  np-complete 

Доступ к оракулу обеспечит значительное, сверхполиномиальное ускорение для всего в (при условии, что набор не пуст). Тем не менее, не совсем ясно, сколько выиграет от этого доступа к оракулу. Конечно, ускорение в не может быть суперполиномиальным, но оно может быть полиномиальным. Например, можем ли мы найти кратчайший путь быстрее с …

23 cc.complexity-theory  np  np-complete 

Ласло Бабаи недавно доказал, что проблема изоморфизма графа находится в квазиполиномиальном времени . См. Также его выступление в Чикагском университете, заметки о выступлениях Джереми Куна GLL, пост 1 , GLL, пост 2 , GLL, пост 3 . Согласно теореме Ладнера, если , то не является пустым, т. содержит задачи, которые …

21 cc.complexity-theory  complexity-classes  np-complete  polynomial-time  np-intermediate 

Допустим, что язык является P- плотно-близким, если существует алгоритм с полиномиальным временем, который правильно определяет почти на всех входах.LLLLLLL Другими словами, существует P , такое, что обращается в нуль, что означает Это также означает, что на равномерном случайном входе алгоритм Polytime для A даст правильный ответ для L с вероятностью, …

20 cc.complexity-theory  ds.algorithms  complexity-classes  np-complete 

Существуют ли какие-либо NP-полные проблемы с бесконечным подмножеством экземпляров такие, что принадлежность к может быть решена за полиномиальное время, и для всех , может быть решена за полиномиальное время? (Предполагая )ΦΦ\Phix ∈ Φ x P ≠ N PΦΦ\Phix ∈ Φx∈Φx \in \PhiИксxxп≠ NпP≠NPP \neq NP

18 cc.complexity-theory  np-complete  heuristics 

Знаменитая гипотеза об изоморфизме Бермана и Хартманиса говорит, что все -полные языки полиномиально по времени изоморфны (p-изоморфны) друг другу. Ключевое значение гипотезы является то , что она предполагает P ≠ N P . Она была опубликована в 1977 году, и часть подтверждающих доказательств, что все N P -полные проблемы , …

18 cc.complexity-theory  complexity-classes  p-vs-np  np-complete 

Можно ли алгоритмически проверить, является ли вычисляемое число рациональным или целым? Другими словами, возможно ли для библиотеки, которая реализует вычислимые числа, предоставлять функции isIntegerили isRational? Я предполагаю, что это невозможно, и что это как-то связано с тем, что невозможно проверить, равны ли два числа, но я не вижу, как это …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Обычно используемые алгоритмы хэширования паролей работают сегодня так: солить пароль и подавать его в KDF. Например, используя PBKDF2-HMAC-SHA1, процесс хеширования пароля DK = PBKDF2(HMAC, Password, Salt, ...). Поскольку HMAC представляет собой двухэтапное хеширование с дополненными клавишами, а SHA1 - последовательность перестановок, сдвигов, вращений и побитовых операций, по сути, весь процесс …

16 np-hardness  cr.crypto-security  np-complete  security 

Недавно я читал очень хорошую статью от Valiant и Vazirani, в которой показано, что если , то не может быть эффективного алгоритма для решения SAT, даже при условии, что он либо неудовлетворителен, либо имеет уникальное решение. , Таким образом, показывая, что SAT не допускает эффективного алгоритма даже при условии, что …

14 np-hardness  np-complete  unique-solution  promise-problems 

Какова сложность следующей проблемы? Вход : гамильтонов путьв К пHHHKnКNK_n R⊆[n]2р⊆[N]2R \subseteq [n]^2 подмножество пар вершин положительное целое число kКk Запрос : существует ли сопоставление MMM такое, что для каждого (v,u)∈R(v,U)∈р(v,u) \in R , dG(v,u)≤kdграмм(v,U)≤Кd_G(v,u) \leq k ? (где G=([n],M∪H)граммзнак равно([N],M∪ЧАС)G = ([n], M\cup H) ) У меня была дискуссия …

14 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  np-complete 

Для любого произвольного NP-полного языка всегда ли найдется надмножество множителей, дополнение которого также бесконечно? На /cs//q/50123/42961 была запрошена тривиальная версия, в которой суперсет не должен иметь бесконечного дополнения. Для целей этого вопроса можно предположить, что . Как объяснил Вор, если то ответ «Нет». (Если , то является NP-полным. Очевидно, что …

14 cc.complexity-theory  np-complete  structural-complexity 

Когда мы хотим доказать , что является -полных, то стандартный подход выставляться полиномиальное время вычислимой сокращение многих один из известного -полных задачи в . В этом контексте нам не нужно жестко ограничивать время выполнения сокращения. Достаточно иметь любую полиномиальную границу, что позволяет ей иметь очень высокую степень.L∈NPL∈NPL\in \bf NPNPNP\bf NPNPNP\bf …

13 cc.complexity-theory  reductions  np-complete 

«Если , существует ли x , y ∈ N , a x 2 + b y = c » является N P -полным.a,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb Nax2+by=cax2+by=cax^2+by=cNPNP\mathsf{NP} К какому классу сложности относится «При условии , существуют ли x , y ∈ N , a x 2 + b y 2 = c …

12 ds.algorithms  complexity-classes  reductions  nt.number-theory  np-complete 

Рассмотрим связный неориентированный граф с неотрицательными весами ребер и двумя выделенными вершинами s,ts,ts,t . Ниже приведены некоторые задачи на пути, которые имеют следующую форму: найдите путь s−ts−ts-t , чтобы некоторая функция весов ребер на пути была минимальной. В этом смысле все они являются «родственниками» проблемы кратчайшего пути; в последнем случае …

10 graph-theory  graph-algorithms  np-complete  polynomial-time