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

Як можна дивитися на проблему та причину того, що це, ймовірно, NP-Intermediate на відміну від NP-Complete? Часто досить просто подивитися на проблему і сказати, ймовірно, це NP-Complete чи ні, але мені здається, що набагато важче сказати, чи є проблема NP-Intermediate, оскільки лінія здається, що між ними є досить тонка заняття. …

11 cc.complexity-theory  complexity-classes  np-intermediate 

У 1975 році Міллер показав, як зменшити факторизацію цілого числа до знаходження періоду функції такий, що f (x + r) = f (x) з деяким випадковим чином обраним a <N . Добре відомо, що алгоритм Шора може ефективно знайти r на квантовому комп'ютері, тоді як вважається, що класичний комп'ютер не …

11 cc.complexity-theory  cr.crypto-security  factoring 

Повнота та надійність в інтерактивних системах доказування неофіційно визначаються як: Повнота: Якщо твердження відповідає дійсності, чесний доказчик може переконати чесного перевіритиля цього факту whp . Звучність: Якщо твердження неправдиве, доказ обману не може переконати чесного перевірявача (у дійсності помилкового твердження) whp Термін "whp" або трактується як "з вірогідністю, що перевищує …

11 cc.complexity-theory  interactive-proofs 

Я не пам'ятаю, як бачив поділ класів, який не базувався на результатах діагоналізації та релятивізації. Діагоналізація все ще може бути використана для відокремлення залишилися відомих класів, оскільки нерелятивізуючі аргументи все ще можуть використовуватися у висновку діагоналізації або в діагоналізованій конструкції машини Тьюрінга. Ось кілька пов'язаних питань: Чи існують докази поділу …

11 cc.complexity-theory  complexity-classes  relativization  barriers 

Nurikabe - це головоломка, заповнена сіткою, обмежена схожою на Міночистач / Нонограми; номери розміщуються на сітці, яку слід заповнити значеннями включення / вимкнення для кожної комірки, причому кожне число вказує область з’єднаних комірок "on" такого розміру, а також деякі незначні обмеження на область "off" комірок (це повинні бути підключені та …

11 cc.complexity-theory  np-hardness  puzzles 

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

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

У мене є проблема, яка знаходиться в NEXP і її також можна вирішити змінним ТМ, використовуючи експоненціальний час і лише одне чергування (починаючи в екзистенційному стані).НПNP^{\text{NP}} Чи відомо щось про NEXP ? Чи дорівнює NEXP чи іншому класу? Чи існують повні проблеми, крім загальної (з урахуванням машини NEXP і слова, …

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

Мерлін, яка має необмежені обчислювальні ресурси, хоче переконати Артура в тому, що м | ∑p ≤ N, p прайм pкm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ prime}}p^k для ( N, м , к )(N,m,k)(N,m,k) при k = O ( логN)k=O(log⁡N)k=O(\log N) і m = O ( N) .m=O(N).m=O(N). Обчислення цієї суми прямо …

11 cc.complexity-theory  ds.algorithms  time-complexity  interactive-proofs  nt.number-theory 

Це питання було мотивоване запитанням про stackoverflow . Припустимо, вам задано вкорінене дерево (тобто є корінь і у вузлів є діти тощо) на вузлах (позначено ).n 1 , 2 , … , nТTTнnn1 , 2 , … , п1,2,…,n1, 2, \dots, n Кожна вершина має невід'ємну цілу вагу: .ш iiiiшiwiw_i …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory 

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

11 cc.complexity-theory  approximation-algorithms  reductions 

Я читав статтю під назвою " Випадкові оракули" з (поза) програмованістю . Останній абзац розділу 2.3 зазначає: [Використовуючи наш новий підхід] немає необхідності застосовувати відомі класичні асимптотичні (і єдині) методи дерандомізації на основі леми Бореля-Кантеллі . Наскільки нам відомо, цей підхід є новим для цієї роботи. Я переглянув запис Вікіпедії …

11 cc.complexity-theory  derandomization  pr.probability  measure-theory 

У параметризованій складності люди використовують скорочення з фіксованим параметром (FPT), щоб довести W [t] -твердість. Теоретично зменшення FPT не є скороченням поліноміального часу, оскільки може працювати експоненціально в параметрі k. Але на практиці всі скорочення FPT, які я бачив, є скороченнями p-часу, а це означає, що докази твердості W [t] …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

Двоповерхові однокругові ігри (2P1R) є важливим інструментом для твердості наближення. Зокрема, паралельне повторення одновіршових ігор на два типи дає змогу збільшити розмір прогалини у варіанті рішення проблеми апроксимації. Дивіться огляд опитування Ran Raz на CCC 2010 для огляду цього питання. Паралельне повторення гри має дивовижну властивість, що, хоча рандомізований верифікатор …

11 cc.complexity-theory  approximation-hardness 

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

11 cc.complexity-theory  pcp 

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

11 cc.complexity-theory  reference-request  lower-bounds  communication-complexity  norms