Запитання з тегом «circuits»

Розглянемо функцію обчислену булевою схемою з входами розміру над основою (з розрізненням 2 для воріт ).fffCCCnnns(n)=poly(n)s(n)=poly(n)s(n) = \mathsf{poly}(n){XOR,AND,NOT}{XOR,AND,NOT}\{\mathsf{XOR},\mathsf{AND},\mathsf{NOT}\}XOR,ANDXOR,AND\mathsf{XOR},\mathsf{AND} Булева схема є шаруватою, якщо її можна розташувати на шари ( - глибина контуру) воріт, так що будь-який край між двома воротами з'єднує сусідні шари.dddddd Враховуючи, що має булеву схему розміру , …

12 circuit-complexity  circuits 

Я читав документ Бурмана та Гомера «Суперполіноміальні схеми, майже розріджені оракули та експоненціальна ієрархія» . Внизу сторінки 2 вони зазначають, що з результатів Каннана випливає, що NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} не має схем розмірів поліномів. Я знаю, що в експоненціальній часовій ієрархії NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} є просто Σ2EXPΣ2EXP\Sigma_2EXP , і я також знаю, що результат …

12 cc.complexity-theory  complexity-classes  time-complexity  oracles  circuits 

Припустимо, у мене булева схема СCC що обчислює деяку функцію f: { 0 , 1}н→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\}. Припустимо, схема складається з воріт І, АБО, А НЕ з вентилятором і не більше 2 вентиляторів. Дозволяє x ∈ { 0 , 1}нx∈{0,1}nx \in \{0,1\}^nбути заданим входом. ДаноСCC …

10 ds.algorithms  circuit-complexity  boolean-functions  circuits