Запитання з тегом «bounded-depth»

Чи існує якась правдоподібна складність / крипто-гіпотеза, яка виключає можливість того, що схеми розмірів поліномів мають субекспоненціальний розмір (тобто з ϵ &lt; 1 ) обмеженою глибиною ( d = O ( 1 ) )?2O(nϵ)2O(nϵ)2^{O(n^\epsilon)}ϵ&lt;1ϵ&lt;1\epsilon<1d=O(1)d=O(1)d = O(1) Ми знаємо, що кожну функцію, обчислювану ланцюгом можна обчислити за допомогою ланцюга d глибини …

21 cc.complexity-theory  circuit-complexity  bounded-depth 

Чи знаємо ми, що ієрархія T C0TC0\mathsf{TC^0} не руйнується ( TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}} для всіх ddd )? Запис у зоопарку для TC0TC0\mathsf{TC^0} зазначає лише розділення між глибиною 2 та 3. Чи є стандартна посилання на те, що AC0dACd0\mathsf{AC^0_d} ієрархія не руйнується?

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

Фон Складність ланцюга визначається як набір сімейств ланцюгів (тобто послідовності ланцюгів, по одному для кожного вхідного розміру) обмеженої глибини та розміру полінома, побудовані за допомогою безмежного вентилятора AND, OR і NOT.А С0АС0AC^0 Функція парності з бітовим входом дорівнює XOR бітів на вході.n⊕⊕\oplusннn Одним із перших нижніх ланцюгів, що довели складність …

10 cc.complexity-theory  circuit-complexity  physics  bounded-depth