Запитання з тегом «cc.complexity-theory»

Background––––––––––––––Background_\underline{\bf Background} У 2005 р. Регев [1] представив проблему «Навчання з помилками» (LWE), узагальнення проблеми паритету навчання з помилкою. Припущення про твердість цієї проблеми для певного вибору параметрів тепер лежить в основі доказів безпеки для безлічі постквантових криптосистем у сфері криптографії на основі ґратки. Нижче описані "канонічні" версії LWE. Попередні …

9 cc.complexity-theory  ds.algorithms  cr.crypto-security  machine-learning  open-problem 

Є деякі проблеми NP-Complete (S A TSAT \mathsf{SAT} , S U B S E T S U MSUBSETSUM \mathsf{SUBSETSUM} тощо), як відомо, в D S P A C E ( n )DSPACE(n) \mathsf{DSPACE(n)} . А як щодо сублінійних просторів? Чи є якась відома проблема NP-Complete (або NP-Intermediate) у підлінійному недетермінованому …

9 cc.complexity-theory  np-hardness  nondeterminism  np-intermediate 

У попередньому запитанні Параметризований алгоритм пошуку бікліків я запитав, чи існують швидкі параметризовані алгоритми для знаходження -biclique в вершинному графіку і дізнався, що він відкритий, якщо це FPT wrt . Те ж саме вірно і для підрахунку в -bicliques, або відомо , що це # -Жорсткий WRT (або який -небудь …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity 

DLOGTIME визначено на веб-сайті http://en.wikipedia.org/wiki/DLOGTIME ім'я визначено за адресою http://en.wikipedia.org/wiki/L_%28complexity%29 ім'я та ім'я визначено на веб-сайті http://en.wikipedia.org/wiki/NC_%28complexity%29 LL\operatorname{L} NCNC\operatorname{NC}NCnNCn\operatorname{NC}^n DLOGTIME, здається, є найменшим, що може працювати. Я читав в різних місцях, , хоча кожне місце я виявив , що результати, станів , в яких однаковість умова використовує - рівномірність. Чи …

9 cc.complexity-theory  circuit-complexity 

Припустимо, рамки складності спілкування, де у нас є два гравці A (воші) та B (ob) та R (eferee). A і B не спілкуються безпосередньо один з одним. У кожному раунді спілкування кожен з них надсилає повідомлення (mAmAm_A, mBmBm_B) до R. R обчислює дві функції fA(mA,mB)fA(mA,mB)f_A(m_A,m_B) і fB(mA,mB)fB(mA,mB)f_B(m_A,m_B)і надсилає їм результати. …

9 cc.complexity-theory  reference-request  communication-complexity 

У задачі Max-Cut шукається підмножина S вершин даного простого непрямого графа таким чином, щоб кількість ребер між S та доповненням S було якомога більшим. Max-Cut є повною APX на графіках з обмеженим ступенем [PY91], а насправді APX-повним на кубічних графах (тобто графах ступеня 3) [AK00]. Max-Cut є NP-повним на графіках …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness  max-cut 

Я намагаюся показати, що певна проблема немислима за рахунок зменшення набір обкладинки. Моє зменшення перетворює екземпляр із наземним набором розміруnnn і mmm встановлює екземпляр моєї проблеми, де певний параметр rrr має розмір O(n+m)O(n+m)O(n+m). Тоді я можу показати, що екземпляр заданої обкладинки, де розмір обкладинки s, відповідає екземпляру моєї проблеми, де …

9 cc.complexity-theory  approximation-hardness  set-cover 

Скрізь, де я читав про найрідкішу проблему, він говорить лише про те, що проблема, як відомо, є NP- Hard. Де я можу знайти доказ цього? Яка відома проблема NP- твердих зводиться до проблеми найменшого розрізу? Я не зміг знайти жодного доказу в книзі Вазірані - Алгоритми наближення, в якій представлений …

9 cc.complexity-theory  reference-request  np-hardness 

Колмогорова складність рядка не обчислюється. Однак у випадковому підмножині розміру двійкових рядків довжиною скільки очікується, що їх складність буде меншою, ніж якесь ціле число менше (як функція , та )?MMMnnnn0n0n_{0}nnnMMMnnnn0n0n_{0}

9 cc.complexity-theory  kolmogorov-complexity 

Мені хотілося б мати обмеженість кардинальності набору одиничних графіків диска з вершинами. Відомо, що перевірити, чи граф є членом цього набору, є важким NP. Чи призводить це до якої-небудь нижньої межі кардинальності, якщо припустити, що P \ neq NP?NNN≠≠\neq Наприклад, припустимо, що на всіх графах є впорядкування з NNN вершин. …

9 cc.complexity-theory  graph-theory 

Нехай - матриця або із записами . Чи може хтось надати мені матрицю щоб ? Який найменший явний B, який відомий таким, що \ operatorname {per} (A) = \ det (B) ? Будь-які посилання на це з явними прикладами?AAA3×33×33 \times 34×44×44 \times 4aijaija_{ij}BBBper(A)=det(B)per⁡(A)=det(B)\operatorname{per}(A) = \det(B)BBBper(A)=det(B)per⁡(A)=det(B)\operatorname{per}(A) = \det(B) Деякі обмеження можуть …

9 cc.complexity-theory  algebraic-complexity  permanent 

Навіть якщо це не є вирішальним моментом, я не бачу жодної літератури навколо цього питання. Чи є результати релятивізації? Чи не було б досить просто довести суворе включення, адаптувавши недетерміновану теорему ієрархії часу, дослідивши всі можливі шляхи роботи машини NP?

9 cc.complexity-theory  complexity-classes 

Здається, що в популярних мовах запитів для реляційних баз даних можна створити запити, на які буде потрібно багато ресурсів, щоб відповісти. На практиці адміністратори бази даних керують цим, обмежуючи об'єм пам'яті на запит і перевіряючи наявність тривалих запитів, чи є уповільнення роботи бази даних. Це здається досить тимчасовим, чи є …

9 cc.complexity-theory  pl.programming-languages  db.databases  finite-model-theory 

Мене було вражено надзвичайним вибухом у згладженому аналізі, і мене вразило твердження у статті " Згладжений аналіз програмування цілочислення" . Це констатувало, що лінійне програмування цілої літери знаходиться в згладженому P, якщо воно є поліноміально обмеженим. Це було суттєво правдою через те, що програмування Integer є псевдополіномом! Отже, питання: Чи …

9 cc.complexity-theory  smoothed-analysis 

Це питання виникло в контексті криптографії, але нижче я викладу його з точки зору теорії складності, оскільки люди тут більше знайомі з останньою. Це питання пов'язане з проблемами в NP, але не з середнім рівнем P / poly та неефективністю побиття Oracle Access . Неформальне твердження: Коли нерівномірним супротивникам (тобто …

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity