Запитання з тегом «upper-bounds»

В іншій темі Джо Фіцсімонс запитав про "найкращі нинішні межі на 3SAT". Я хотів би піти іншим шляхом: які найкращі поточні верхні межі на 3SAT? Іншими словами, яка часова складність найефективнішого рішення SAT? Зокрема, чи можна знайти субэкспоненциальный (але суперполіномний) алгоритм для SAT?

43 cc.complexity-theory  ds.algorithms  sat  upper-bounds 

Це питання про складність схеми. (Визначення знаходяться внизу.) Яо і Бейгель-Таруї показали, що кожне сімейство ланцюгів розміром має еквівалентне сімейство схем розміром глибини дві , де вихідний затвор є симетричною функцією, а другий рівень складається з ворота вентилятора в. Це досить чудовий "глибинний колапс" сімейства ланцюгів: із схеми глибини 100 …

40 cc.complexity-theory  circuit-complexity  upper-bounds 

Використовуючи алгоритм перегляду вперед, ми можемо обчислити складання за допомогою глибини розміру 5 (або 4?) . Чи можна зменшити глибину? Чи можемо ми обчислити додавання двох двійкових чисел, використовуючи сімейство ланцюгів поліноміальних розмірів з глибиною меншою, ніж одержувана алгоритмом перегляду вперед?AC0AC0AC^0 Чи є суперполіномові нижні межі для розмірів обчислень сімейства …

21 cc.complexity-theory  circuit-complexity  lower-bounds  upper-bounds 

Я розумію, що повнота Тьюрінга вимагає безмежної пам'яті та необмеженого часу. Однак у цій службі є кінцева кількість атомів, завдяки чому пам'ять обмежується. Наприклад, незважаючи на те, що нераціональне, немає способу зберігати більше певної кількості цифр, навіть якщо для цього були використані всі атоми у Всесвіті.ππ\pi Які тоді межі обчислюваності …

17 computability  upper-bounds 

Розглянемо наступну просту модель монотонної схеми: кожен хвірт - це лише двійковий АБО. Яка складність функції f ( x ) = A x,f(x)=Axf(x)=Ax де AAA булева матриця n × nn×nn \times n з O ( n )O(n)O(n) 0's? Чи можна обчислити це схеми АБО лінійного розміру? Більш формально - функція …

14 ds.algorithms  circuit-complexity  upper-bounds 

Нехай G - дерево на вершинах 2n. Ширина ширини G, tw (G) = 1. Тепер припустимо, що ми додамо n ребер до G, щоб отримати графік H. Легка верхня межа на tw (H) дорівнює n + 1. Це, по суті, найкраще? Якимось чином здається, що tw (H) має бути O …

14 upper-bounds  treewidth 

Чи складно NP NP-задачу CNF, коли загальна кількість (але не ширина) 3-х чи більше-строкових пропозицій обмежена вище постійною? А що конкретно, коли існує лише одне таке застереження?

10 np-hardness  sat  upper-bounds 

Припустимо, ми розглянемо 3-SAT з змінними та . Я досліджую метод, який, як видається, займає час / простір, щоб вирішити будь-яку проблему SAT, що відповідає цьому опису, в межах помилки, яку можна відрегулювати довільно. Однак є улов.c O ( v 2 + log c )vvvcccO ( v2 + журналc)O(v2+log⁡c)O(v^{2+\log c}) …

10 ds.algorithms  sat  upper-bounds 

Мені хотілося б знати поточний стан фазового переходу для випадкових k-sat, враховуючи n змінних та m застережень, що є найбільш відомим c = m / n для верхньої та нижньої меж.

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition 

Дозволяє xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} для i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}, з обіцянкою, що x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (де сума закінчена ZZ\mathbb{Z}). Тоді яка складність визначення, якщоx=1x=1x = 1? Зауважте, що тривіально проблема полягає в цьому ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]} тому що x≡1modmx≡1modmx \equiv 1\bmod{m}iff . Питання: чи проблема у ? Якщо так, …

9 reference-request  complexity-classes  circuit-complexity  upper-bounds