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

Стан наших знань про загальні арифметичні схеми схоже на стан наших знань про булеві ланцюги, тобто у нас немає хороших нижніх меж. З іншого боку, ми маємо нижню межу експоненціальної величини для монотонних булевих схем . Що ми знаємо про монотонні арифметичні схеми? Чи є у нас подібні хороші нижчі …

22 cc.complexity-theory  circuit-complexity  boolean-functions  monotone  arithmetic-circuits 

Чи є наступна проблема в PTIME або hard-coNP: Враховуючи два булеві вирази і e 2 у змінних x 1 , … , x n , без заперечення (тобто вирази повністю будуються через ∧ і ∨ ). Вирішіть, чи є e 1 ≡ e 2 , тобто вони мають однакове значення …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

Разборов довів, що монотонна відповідність функції не в mP . Але чи можна обчислити відповідність за допомогою ланцюга розмірів полінома з кількома запереченнями? Чи існує схема P / poly із запереченнями O(nϵ)O(nϵ)O(n^\epsilon) що обчислює відповідність? Який компроміс між кількістю заперечень та розміром відповідності?

14 cc.complexity-theory  circuit-complexity  lower-bounds  matching  monotone 

Ми знаємо, що проблема підрахунку кількості задовольняючих завдань у заданій загальній булевій формулі (CNF-SAT), заданій формулі DNF або навіть заданій формулі 2SAT є повною проблемою # P. Тепер розглянемо CNF-SAT без від'ємного прямого (ні , завжди A ). Проблема рішення дуже проста (встановіть всі змінні на TRUE і перевірте, чи …

13 sat  counting-complexity  polynomial-time  monotone 

P / poly - клас задач вирішення, який вирішується сімейством булевих ланцюгів поліноміального розміру. Він також може бути визначений як поліномальна машина Тьюрінга, яка отримує рядок поради, яка має розмір полінома в n і заснована виключно на розмірі n. mP / poly - клас задач вирішення, який вирішується сімейством однотонних …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 

Вагадвійкового рядка - кількість одиниць у рядку. Що станеться, якщо нам цікаво обчислити монотонну функцію на входах з кількома?|x||x||x|x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n Ми знаємо, що вирішити, чи має графік -clique, важко для монотонних схем (див. Серед інших Alon Boppana, 1987), але якщо граф має, наприклад, щонайбільше ребер, то можна знайти монотонну обмежену схему …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone