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

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

4
Чи відомо, що існують функції із таким властивістю прямої суми?
Це питання можна задати або в рамках складності схем булевих ланцюгів, або в рамках теорії алгебраїчної складності, або, ймовірно, в багатьох інших умовах. Легко показати, перераховуючи аргументи, що існують булеві функції на N входах, які потребують експоненціально багатьох воріт (хоча, звичайно, у нас немає явних прикладів). Припустимо, я хочу оцінити …
1
Випадкова монотонна функція
У статті " Природні докази" Розборова-Рудича , сторінка 6, у частині, в якій вони обговорюють, що існують "сильні докази нижньої межі проти монотонних моделей схем", і як вони вписуються в картину, є такі речення: Тут питання полягає не в конструктивності - властивості, які використовуються в цих доказах, цілком можливі - …
2
Бар'єри та складність монотонного кола
Природні докази є бар'єром на шляху доведення нижчих меж складності булевих функцій ланцюга. Вони не мають на увазі який - або безпосередньо такої бар'єру при доказі нижніх оцінок на складності схем. Чи є прогрес у виявленні таких бар'єрів? Чи існують інші бар'єри в монотонній обстановці?monotonemonotonemonotone
1
Які наслідки
Мова є якщо існує машина журналу простору Тьюрінга, яка визначає мову з поліноміальною кількістю порад.L/polyL/polyL/poly Дивіться тут для отримання додаткової інформації: https://en.wikipedia.org/wiki/L/poly Питання Які наслідки ?P⊆L/polyP⊆L/polyP \subseteq L/poly
2
АБО складність ланцюга щільного лінійного оператора
Розглянемо наступну просту модель монотонної схеми: кожен хвірт - це лише двійковий АБО. Яка складність функції f ( x ) = A x,f(x)=Axf(x)=Ax де AAA булева матриця n × nn×nn \times n з O ( n )O(n)O(n) 0's? Чи можна обчислити це схеми АБО лінійного розміру? Більш формально - функція …
1
VC розмірність многочленів над тропічними піврізами?
BPP\mathbf{BPP}P\mathbf{P}poly\mathrm{poly} ( макс. , + ) ( хв. , + )(max,+)(\max,+)(min,+)(\min,+) Нехай - семірінг. Нульовий шаблон з послідовності з многочленів є підмножина , для яких існує і , що для всіх , тоді і тільки тоді . Тобто графіки саме тих многочленів з повинні досягати точки . ("Нульовий шаблон", тому …
2
Регулярний проти TC0
Відповідно до зоопарку складності , Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1} і ми знаємо, що RegReg\mathsf{Reg} не може рахувати так . Однак він не говорить, чи чи ні. Оскільки ми не знаємо \ mathsf {NC ^ 1} \ not \ subseteq \ mathsf {TC ^ 0}, ми також не знаємо \ mathsf {Reg} …
1
Монотонна арифметична складність ланцюга елементарних симетричних многочленів?
-м елементарному симетричному поліноміальний є сумою всіх продуктів K різних змінних. Мене цікавить монотонна арифметична (+, \ рази) складність ланцюга цього многочлена. Простий алгоритм динамічного програмування (як і рис. 1 нижче) дає схему (+, \ раз) з воротами O (kn) .kkkSnk(x1,…,xn)Skn(x1,…,xn)S_k^n(x_1,\ldots,x_n)(nk)(nk)\binom{n}{k}kkk(+,×)(+,×)(+,\times)(+,×)(+,×)(+,\times)O(kn)O(kn)O(kn) Питання: Чи відома нижня межа Ω(kn)Ω(kn)\Omega(kn) ? (+,×)(+,×)(+,\times) ланцюга …
1
Наскільки дорого може бути знищення всіх довгих шляхів у DAG?
Ми розглядаємо DAG (спрямовані ациклічні графіки) з одним вихідним вузлом та одним цільовим вузлом ; Допускаються паралельні ребра, що з'єднують ту саму пару вершин. - розріз являє собою набір ребер, видалення знищує все - пошуку шляху більше , ніж ; коротші - шляхи, а також довгі "внутрішні" шляхи (ті, що …
2
Скільки заперечень нам потрібно для обчислення монотонних функцій?
Разборов довів, що монотонна відповідність функції не в mP . Але чи можна обчислити відповідність за допомогою ланцюга розмірів полінома з кількома запереченнями? Чи існує схема P / poly із запереченнями O(nϵ)O(nϵ)O(n^\epsilon) що обчислює відповідність? Який компроміс між кількістю заперечень та розміром відповідності?
1
Перетворення Бейгеля-Таруя перекладів ACC
Я читаю додаток про нижчі межі ACC для NEXP в Арорі та книзі обчислювальної складності Барака . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Однією з ключових лем є перетворення з ланцюгів на багатолінійні поліноми над цілими числами з полілогіартичним ступенем та квазіполіноміальними коефіцієнтами, або рівнозначно , клас схеми S Y M + , що представляє …
1
Яка мінімально необхідна глибина скорочень для NP-твердості SAT?
Як всім відомо, SAT є завершеним для wrt багаточленних багаторазових скорочень. Це все ще повне скорочення wrt багато-одного.NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} Мої запитання - яка мінімально необхідна глибина для скорочень? Більш офіційно, Що найменше такого, що SAT - \ mathsf {NP} -hard wrt \ mathsf {AC ^ 0_d} багато-один скорочення?dddNPNP\mathsf{NP}AC0dACd0\mathsf{AC^0_d} Мені здається, що …
1
Чи можна довести
Результат 1: Теорема Лініяля-Мансура-Нісана говорить, що вага фур'є функцій, обчислених ланцюгами А С0АС0\mathsf{AC}^0 , зосереджений на підмножинах невеликого розміру з високою ймовірністю. Результат 2: має свою фур'єрну масу, сконцентровану на коефіцієнті ефективності ступеня n .PARITYPARITY\mathsf{PARITY}nnn Запитання: Чи є спосіб довести (якщо це можна довести) не можна обчислити за допомогою ланцюгів …
1
Машинна характеристика
- клас задач вирішення, який вирішується сімействомланцюгів глибин O ( log i n ) з безмежними фаніновими АБО і обмеженими вентиляційними вентилями І. Заперечення дозволено лише на вхідному рівні. Відомо, що S A C i для i ≥ 1 закритий під комплементом, а S A C 0 - ні. Також …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.