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

Моє запитання стосується квантових алгоритмів для обчислень QED (квантової електродинаміки), пов'язаних з константами тонкої структури. Такі обчислення (як я пояснив мені) складають для обчислення Тейлор-подібного ряду де α - константа тонкої структури (близько 1/137), а c k - внесок діаграм Фейнмана з k- петлями. ∑ cкαк,∑ckαk,\sum c_k\alpha^k,αα\alphackckc_kkkk Це питання було …

10 cc.complexity-theory  quantum-computing  physics 

Гіпотеза Рімана, що перебуває понад 1–1 століття, має глибокі наслідки в математиці, і тепер велика кількість теорії математики тепер умовно підтверджена в ній і численними варіантами. Нещодавно я натрапив на посилання на умовний результат в TCS на основі гіпотези Рімана. Тому мені цікаво, які основні наслідки гіпотези Рімана в TCS? …

10 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

Використовуючи модель real-RAM / BSS, ми маємо клас NP , (де BSS - модель Blum-Shub-Smale комп'ютера з операціями над реалами). У нас NP повні проблеми. Отже, питання, чи є аналог гіпотези Бермана Хартманіса для класу NP ? Звичайно, поставлене тут питання залежить від моделі - іншими словами, оскільки визначення NP …

10 cc.complexity-theory  computing-over-reals 

Чи є проблеми, які вирішуються в поліноміальний час, лише якщо P! = NP, інакше вирішуються в (скажімо) час?О ( 2н)О(2н)O(2^n) Простим прикладом може бути: Якщо P! = NP, обчисліть тест первинності для випадкового n-бітного числа, в іншому випадку оцініть випадкову позицію в гіршому випадку в узагальнених шахах дошки nxn з …

10 cc.complexity-theory  reference-request 

Яке стандартне визначення Planar 3-SAT? Я бачив ряд різних визначень. Який оригінальний документ визначав його і довів, що він є повним NP?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

У розширених темах типів та мов програмування в главі про підструктурні системи типів зазначається, що "ретельно складений" афінний обчислення лямбда з комбінатором рекурсії для списків може вводити лише ті терміни, які мають поліноміальний час роботи (це не представити докази через складність). Це було б дуже цікаво, якби ми могли також …

10 cc.complexity-theory  type-theory  lambda-calculus 

Назвемо мову NP рідко сертифікованою тоді і лише тоді, коли:L ∈L∈L \in Існує поліном такий, що для кожного входу x ∈ Σ ∗ розміру n , якщо x ∈ L, то безліч U x сертифікатів u, які підтверджують, що x ∈ L має поліноміально розмір, тобто | U x | …

10 cc.complexity-theory  complexity-classes 

Я натрапив на відкриту проблему, яку постає Девід Еппштейн, і мене цікавить її статус складності. Він здогадався, що це NP-завершеність. Введення: за n матрицею 0 і 1, послідовністю n 2 0 і 1nnnnnnn2n2n^2 Питання: Чи є шлях через суміжні записи матриці, що охоплюють кожен запис матриці рівно один раз, зі …

10 cc.complexity-theory  graph-theory 

Давши спрямований графік, ми хочемо вирішити, чи містить він спрямований цикл рівної довжини. У цьому документі YUSTER та ZWICK 1997 р. Зазначено, що проблема, як відомо, не існує в а також не є повною.ППPNПNПNP Чи є якийсь останній результат, який вирішує складність задачі рівного циклу у спрямованих графіках?

10 cc.complexity-theory  reference-request  graph-theory 

Якщо ми можемо довести, що , чи означає це, що N L = N P ?L=PL=P\mathsf{L}=\mathsf{P}NL=NPNL=NP\mathsf{NL}=\mathsf{NP} Я думав, що це так, але я не можу цього довести (також для зворотнього).

10 cc.complexity-theory  complexity-classes  nondeterminism 

Враховуючи набір точок у d- мірному евклідовому просторі, проблема полягає у визначенні, чи опуклий корпус містить одиничну кулю, зосереджену біля початку.nnnddd Ця проблема в НП? Це в ко-НП, оскільки можна дати крапку в кульці поза опуклим корпусом як свідок і перевірити цей факт за допомогою лінійного програмування. Моя увага тут …

10 cc.complexity-theory  cg.comp-geom 

Дерево, що охоплює графік, називається деревом повноти, якщо набір його листя викликає повний підграф у хост-графіку. З огляду на графік ГГG та ціле число , яка складність вирішення, чи містить дерево повноти з не більше листям?ккkГГGккk Причиною задавати це питання є те, що відповідна проблема для дерев незалежності не є …

10 cc.complexity-theory  graph-theory  graph-algorithms 

У мене є така проблема: Вхід: два набори інтервалів і T (усі кінцеві точки є цілими числами). Запит: чи існує монотонна біекція f : S → T ?SSSTTTf:S→Tf:S→Tf:S \to T Біекція монотонна WRT порядку включення безлічі на і T . ∀ X ⊆ Y ∈ S , f ( X …

10 cc.complexity-theory  ds.algorithms  np-hardness  partial-order  matching 

Я намагався зрозуміти ці заняття, але завжди плутався ... питання: Яке відношення між та , зокрема це відкрите питання?# PЖNПЖNПFNP# P#П\#P Яке відношення та ? це питання відкрите?Н П⊕ Р⊕П\oplus PNПNПNP А як щодо взаємозв'язку та ? це питання відкрите?P F N PПНПНPHПЖNППЖNПP^{FNP}

10 cc.complexity-theory 

Чи графік ізоморфізму (завдання рішення) в ? Тут U P - клас проблем вирішення, прийнятий однозначною машиною Тюрінга (див. Зоопарк складності ).UP∩coUPUP∩coUP\mathsf{UP}\cap \mathsf{coUP}UPUP\mathsf{UP}

10 cc.complexity-theory  graph-isomorphism