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

Складність схеми - це вивчення обмежених ресурсами схем і функцій, обчислених такими схемами.

2
Стан в нижніх межах схеми для полілогічно обмежених схем глибини
AC0AC0AC^{0}pppAC0[q]AC0[q]AC^{0}[q]AC0[q]AC0[q]AC^0[q]qqqgcd(p,q)=1gcd(p,q)=1\gcd(p,q)=1. Однак отримання результатів конкретних нижніх меж на полілогоарифмічних глибинних схемах здається недосяжним за допомогою класичних методів, таких як обмеження входів та наближення поліномів до кінцевих полів. Я знаю документ STOC'96, який веде до теорії геометричної складності і який показує, що ефективне паралельне обчислення з використанням операцій без біт-розумних не …
2
Чи PARITY у QAC_0 (якщо це навіть має сенс)
Як відомо, PARITY не може бути виконаний в контурах постійної глибини з величиною полімерів, і фактично схеми const-dept вимагають EXP-кількості воріт. А як щодо ланцюгів QUANTUM? а) Чи можна виконати PARITY за допомогою квантового кола, що має постійну глибину та полі число воріт? б) Чи моє питання навіть має сенс?
1
Булеві функції, де чутливість дорівнює чутливості блоків
Деяка робота над чутливістю та чутливістю до блоку була спрямована на вивчення функцій з якомога більшим зазором між s(f)s(f)s(f) та bs(f)bs(f)bs(f) , щоб вирішити гіпотезу, що bs(f)bs(f)bs(f) тільки поліноміально більша ніж s(f)s(f)s(f) . А як щодо протилежного напрямку? Що відомо про функції, де s(f)=bs(f)s(f)=bs(f)s(f) = bs(f) ? Тривіально постійні функції …
1
Чи є BPP проти P справжньою проблемою після того, як ми знаємо, що BPP лежить у P / poly?
Ми знаємо (зараз близько 40 років, дякую Адлеману, Беннету та Гіллу), що включення BPP P / poly та ще сильніший BPP / poly P / poly. "/ Poly" означає, що ми працюємо нерівномірно (окрема схема для кожної вхідної довжини ), тоді як P без цього "/ poly" означає, що ми …
2
Кількість двійкових шлюзів, необхідних для обчислення І і АБО з n вхідних бітів одночасно
Яка мінімальна кількість двійкових воріт, необхідних для обчислення І і АБО з вхідних бітів одночасно? Тривіальна верхня межа дорівнює 2 n - 2 . Я вважаю, що це оптимально, але як це довести? Стандартна техніка усунення затвора тут не працює, оскільки призначаючи константу будь-якій із вхідних змінних, тривіалізує один із …
5
Сильніші уявлення про уніфікацію?
Один розрив, який я завжди усвідомлював, що я насправді не розумію, - це між нерівномірною та рівномірною обчислювальною складністю, коли складність ланцюга являє собою неоднорідну версію, а машини Тьюрінга - це речі рівномірні. Я припускаю, що "рівномірний" спосіб є обмеженням класу алгоритмів, наприклад, не допускаючи абсолютно іншої схеми для проблеми …
3
Які
Знаменита картина світу Ніла Імермана наступна (натисніть, щоб збільшити): Його клас "Воістину здійсненний" не включає жодного іншого класу; моє питання тоді: Що таке проблема AC 0, яка вважається непрактичною, і чому?
1
Оральний поділ між квантовими ланцюгами між полі- та логарифмічною глибиною
Наступна проблема з'являється у списку Ааронсона Десять напіввеликих викликів теорії квантових обчислень . ЧиБ Q P = B P PB Q N CБQП=БППБQNС\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} Іншими словами, чи можна "квантову" частину будь-якого квантового алгоритму стиснути до глибини, якщо ми ' Ви готові займатися класичною післяобробкою багаточленного часу? (Це, як відомо, є алгоритмом …
1
Чи динамічне програмування ніколи не слабкіше за жадібне?
У складності ланцюга ми маємо розділення між потужностями різних моделей схем. У складності доказування ми маємо розділення між повноваженнями різних систем доказування. Але в алгоритмічній формі у нас залишається лише кілька розділень між потужностями алгоритмічних парадигм . Мої запитання нижче мають на меті торкнутися цієї останньої проблеми для двох парадигм: …
1
найменший розмір ланцюга за допомогою воріт XOR
Припустимо, нам дано набір n булевих змінних x_1, ..., x_n та набір m функцій y_1 ... y_m, де кожен y_i є XOR (даного) підмножини цих змінних. Мета - обчислити мінімальну кількість операцій XOR, які потрібно виконати для обчислення всіх цих функцій y_1 ... y_m. Зауважте, що результат операції XOR, скажімо …
1
Будь-який многочлен, який важко порахувати, але легко визначити?
Кожен монотонний арифметичний ланцюг , тобто ланцюг , обчислює деякий багатофакторний многочлен з невід'ємними цілими коефіцієнтами. Дано многочлен , схемаF ( x 1 , … , x n ) f ( x 1 , … , x n ){ + , × }{+,×}\{+,\times\}Ж( х1, … , Хн)Ж(х1,…,хн)F(x_1,\ldots,x_n)f( х1, … , …
1
Чи
Що станеться, якщо ми визначимо P P A DPPAD{\bf PPAD} таким чином, що замість багаточасної схеми Тюрінга-машини / полісистеми проблема логотипу Turing-машини або ланцюга A C 0AC0{\bf AC^0} кодує проблему? В останній час дає більш швидкі алгоритми для ланцюга здійсненності для невеликих ланцюгів виявилися важливими, так цікаво , що відбувається …
1
Характеристика формул, що читаються один раз, на повній бінарній основі
Фон Формула, прочитана один раз для набору воріт (також її називають основою) - це формула, в якій кожна вхідна змінна з'являється один раз. Формули для одноразового читання зазвичай вивчаються на основі De Morgan (яка має 2-бітні ворота AND і OR, та 1-бітний затвор НЕ) та повну бінарну основу (яка має …
1
Підтримання порядку в списку в
Проблема обслуговування замовлення (або "підтримка порядку в списку") полягає в підтримці операцій: singleton: створює список з одним елементом, повертає на нього вказівник insertAfter: дається вказівник на елемент, вставляє після нього новий елемент, повертаючи вказівник на новий елемент delete: надавши вказівник на елемент, видаляє його зі свого списку minPointer: надавши два …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.