Запитання з тегом «np-complete»

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

35 cc.complexity-theory  np  np-complete 

Чи існує (бажано природний) NP-повна мова , така, що для кожного утримує? Іншими словами, містить точно половину всіх бітних екземплярів. n ≥ 1 | L ∩ { 0 , 1 } n | = 2 п - 1 л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 post 1 , GLL post 2 , GLL post 3 . Згідно з теоремою Ладнера, якщо P≠NPП≠NПP \neq NP , то не порожній, тобто …

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

Скажімо, що мова є близькою до P- щільності, якщо існує поліноміальний алгоритм часу, який правильно визначає майже на всіх входах.LLLLLLL Іншими словами, є P , такий, що зникає, що означає Це також означає, що на рівномірному випадковому вході багаточастовий алгоритм для A дасть правильну відповідь для L з вірогідністю наближення …

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

Чи існують повні NP-задачі без нескінченного підмножини екземплярів такі, що про членство в можна вирішити в поліномічний час, а для всіх , можна вирішити в поліноміальний час? (Припустимо, що )ΦΦ\PhiΦΦ\Phix∈Φx∈Φx \in \PhixxxP≠NPP≠NPP \neq NP

18 cc.complexity-theory  np-complete  heuristics 

Знаменита концепція ізоморфізму Бермана та Хартманіса говорить, що всі незавершені мови є многочленним ізоморфним часом (p-ізоморфним) один для одного. Ключове значення гіпотези полягає в тому, що вона передбачає . Він був опублікований у 1977 р., І підтверджуючи, що всі проблеми, що не стосуються відомі на той час, справді були 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 - це 2-х кругле хешування з м'якими клавішами, а SHA1 - це серія перестановок, зсувів, обертання та побітових операцій, по …

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

Нещодавно я читав дуже гарний документ Валіанта і Вазірані, який показує, що якщо , то не може бути ефективного алгоритму для вирішення SAT навіть за умови обіцянки, що це або незадовільно, або має унікальне рішення . Таким чином, показано, що SAT не допускає ефективного алгоритму навіть під обіцянку існування якнайменше …

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

У чому полягає складність наступної проблеми? Вхід : HHH агамільтонів шляхуKnKnK_n R⊆[n]2R⊆[n]2R \subseteq [n]^2 підмножина пар вершин додатне ціле число kkk Запит : чи існує відповідна MMM така, що для кожного (v,u)∈R(v,u)∈R(v,u) \in R , dG(v,u)≤kdG(v,u)≤kd_G(v,u) \leq k ? (де G=([n],M∪H)G=([n],M∪H)G = ([n], M\cup H) ) Я мав дискусію з …

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

Чи є для будь-якої довільної NP повної мови завжди багатопоточний надмножина, доповнення якого також нескінченне? Тривіальна версія, яка не передбачає, що суперсет має нескінченний доповнення, запитували на /cs//q/50123/42961 Для цілей даного питання, то можна вважати , що P≠NPP≠NPP \ne NP . Як пояснив Vor, якщо P=NPP=NPP = NP то відповідь …

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

Коли ми хочемо довести , що є -повна, то стандартний підхід виставлятися поліноміальний час обчислюваною скорочення багатьох один з відомого -повна завдання в . У цьому контексті нам не потрібна чітка залежність від часу скорочення. Досить мати будь-який поліном, що дозволяє мати дуже високий ступінь.N P N P LL ∈ …

13 cc.complexity-theory  reductions  np-complete 

'Дано a , b , c ∈ Na,b,c∈Na,b,c\in\Bbb N , чи існує х , у∈ Nx,y∈Nx,y\in\Bbb N , а х2+ б у= cax2+by=cax^2+by=c ' є NPNP\mathsf{NP} -комплектним. До якого класу складності 'Враховуючи a,b,c∈Na,b,c∈Na,b,c\in\Bbb N , чи належать x,y∈Nx,y∈Nx,y\in\Bbb N , ax2+by2=cax2+by2=cax^2+by^2=c '?

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

Розглянемо пов'язаний непрямий графік з негативними ребрами і двома розрізненими вершинами . Нижче наведено деякі проблеми шляху, які наводяться у наступній формі: знайдіть шлях таким чином, щоб певна функція ваги ребер на шляху була мінімальною. У цьому сенсі всі вони "родичі" найкоротшого шляху; в останньому функцією є просто сума.s,ts,ts,ts−ts−ts-t Примітка: …

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