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

O ( log c n ) O ( n k ) c k n c 2 n kN CNC\mathsf{NC} фіксує ідею про ефективну паралелізацію, і одне її тлумачення - це проблеми, що вирішуються за часом використовуючи паралельні процесори для деяких констант , . Моє запитання, чи існує аналогічний клас складності, …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

Мені цікаво в широкому сенсі про те, що відомо про алгоритми паралелізації в П. Я знайшов наступну статтю у Вікіпедії про цю тему: http://en.wikipedia.org/wiki/NC_%28complexity%29 Стаття містить таке речення: Невідомо, чи NC = P, але більшість дослідників підозрюють, що це помилково, це означає, що, ймовірно, є деякі простежувані проблеми, які "є …

21 cc.complexity-theory  complexity-classes  big-picture 

Який взаємозв'язок між ДНК-алгоритмами та класами складності визначено за допомогою машин Тьюрінга? Яким чином відповідають показники складності, такі як час та простір, відповідають ДНК-алгоритмам? Чи можна їх використовувати для вирішення випадків повних NP-задач, таких як TSP, які машини фон Неймана неможливо вирішити на практиці?

21 cc.complexity-theory  np-hardness  natural-computing  tsp 

Преамбула Інтерактивні системи докази і протоколи Arthur-Merlin були введені Голдвассер, Мікалі і Rackoff і Бабай ще в 1985 р На перших, вважалося , що перше є більш потужним , ніж останній, але Гольдвасера і Sipser показав , що вони мають однакову потужність ( щодо розпізнавання мови). Отже, в цій публікації …

21 cc.complexity-theory  lower-bounds  circuit-complexity 

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

21 cc.complexity-theory  circuit-complexity  pr.probability 

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

21 cc.complexity-theory  circuit-complexity  lower-bounds 

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

21 cc.complexity-theory 

Мотивована відповіддю Шора, що стосується різних уявлень про повноту NP, я шукаю проблему, яка є NP-повною при зменшенні P, але невідомо, що вона є NP-повною при скороченні Logspace (бажано, протягом тривалого часу). Крім того, чи важче знайти скорочення простору журналу між проблемами, заповненими NP, ніж знайти P-скорочення?

21 cc.complexity-theory  np-hardness 

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

21 cc.complexity-theory  kolmogorov-complexity  parameterized-complexity  succinct  analysis-of-algorithms 

Нещодавно Ласло Бабай довів, що проблема ізоморфізму Графа перебуває у квазіполіномічному часі . Дивіться також його розмови в Чиказькому університеті, примітка до переговорів Джеремі Куна 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 

Нагадаємо, кількість простих чисел є функцією підрахунку простих чисел . За "PRIMES в P" обчислення знаходиться в # P. Чи проблема # P-повна? Або, можливо, є складна причина вважати, що ця проблема не є # P-повною? π(n)π(n)\pi(n)≤n≤n\le nπ ( n )π(n)π(n)\pi(n) PS Я усвідомлюю, що це трохи наївно, оскільки хтось, …

20 cc.complexity-theory  counting-complexity  nt.number-theory  comp-number-theory  primes 

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

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

Начебто безглуздість видобутку криптовалют поставила питання про корисні альтернативи, див. Ці питання на Bitcoin , CST , MO . Цікаво, чи існує алгоритм, який може перетворити практично будь-який обчислювальний виклик (рішення якого можна перевірити ефективно) в інший такий виклик (який використовується для перевірки роботи) таким, щоCC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) Функція рандомізована, …

20 cc.complexity-theory  cr.crypto-security  cryptojacking 

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

20 cc.complexity-theory  time-complexity  space-complexity  space-time-tradeoff 

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

20 cc.complexity-theory