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

У 1980-х рр. Разборов чудово показав, що існують явні монотонні булеві функції (такі як функція CLIQUE), яким потрібно обчислити велику кількість воріт AND і OR. Однак основа {AND, OR} над булевою областю {0,1} є лише одним із прикладів цікавого набору воріт, який не є універсальним. Це призводить до мого питання: …

40 lower-bounds  circuit-complexity  circuit-families 

Райан Вільямс щойно розмістив нижню межу на ACC , класі проблем, які мають контури постійної глибини з необмеженими вентиляторами та воротами І, АБО, НЕ та MOD_m для всіх можливих м. Що такого особливого у воротах MOD_m? Вони дозволяють імітувати арифметику над будь-яким кільцем Z_m. До результату Райана, кидання воріт MOD_m …

39 cc.complexity-theory  circuit-complexity  big-picture  circuit-families 

Я хотів би запитати про особливий випадок питання " Вирішення, чи заданий ланцюг NC 0 обчислює перестановку " від QiCheng, який не залишився без відповіді. Булева ланцюг називається ланцюгом NC 0 k, якщо кожен вихідний затвор синтаксично залежить від максимум k вхідних воріт. (Ми говоримо, що вихідний затвор g синтаксично …

27 cc.complexity-theory  open-problem  permutations  circuit-families 

Решітка Поста , описана Емілем Постом у 1941 р., В основному є повною схемою включення наборів булевих функцій, закритих під композицію: наприклад, монотонних функцій, лінійних функцій над GF (2) та всіх функцій. (Пост не припускав, що константи 0 і 1 доступні безкоштовно, що зробило його решітки набагато складнішими, ніж це …

22 circuit-families 

Нехай - функція, яка відображає ланцюг s -gate C на n біт і n- бітну рядок x на C ( x ) . Припустимо, що схеми кодуються як ациклічна послідовність призначень k : = g ( i , j ), де i , j , k - мітки дроту.C i …

14 cc.complexity-theory  circuit-complexity  circuit-families 

Нехай є функцією більшості, тобто f ( x ) = 1, якщо і лише тоді, коли ∑ n i = 1 x i > n / 2 . Мені було цікаво, чи є простий доказ наступного факту (маючи на увазі "простий", я маю на увазі не покладатися на ймовірнісний метод, …

13 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-families  circuit-depth 

Простіше кажучи: яка відповідність між машинами Тюрінга з оракулами та сімействами однорідних схем з оракулами? Як визначаються останні для того, щоб отримати таку ж обчислювальну модель для даної машини Oracle Turing? Це може бути елементарним питанням, але не очевидно, куди шукати, і я такий тип людини, який любить переконатися, що …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

Я розглядаю ідеї щодо точних квантових алгоритмів. Зокрема, я розглядаю ймовірні обмеження , яке складається з мов, які точно визначаються сімействами квантових ланцюгів, однорідними за часом, за довільним набором кінцевих воріт.E Q PEQP\mathsf{EQP} перетворення Фур'є (QFT), задане - відома частина квантової теорії обчислень. У випадку добре відоме розкладання F_N на …

11 quantum-computing  circuit-families