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

Дві частини TCS - це алгоритми та складність. Я спрощено скажу, що алгоритми - це вивчення верхніх меж, що показує, що ви можете щось зробити (із заданими обмеженими ресурсами), а складність полягає в тому, щоб показати, що ви не можете обійтися без мінімальних ресурсів. Тож часто алгоритмічна проблема заявляється в …

14 cc.complexity-theory  sorting 

Розглянемо повну задачу # P підрахунку кількості кришок вершин даного графіка .G=(V,E)G=(V,E)G = (V, E) Мені хотілося б знати, чи є якийсь результат, який показує, як твердість такої проблеми змінюється в залежності від деякого параметра (наприклад, d = | E |GGG).d=|E||V|d=|E||V|d = \frac{|E|}{|V|} Моє відчуття полягає в тому, що проблема …

14 cc.complexity-theory  graph-theory  counting-complexity  time-complexity 

Розглянемо деяку мову такою, що:LLL L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) і так, що L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) Іншими словами, найшвидша машина обчислює у часі а найбільш ефективна машина обчислює при використанні простору .MMMLLLO(f(n))O(f(n))O(f(n))M′M′M'LLLO(g(n))O(g(n))O(g(n)) Що можна сказати про космічну ефективність M або про ефективність часу M '? Або точніше, якщо …

14 cc.complexity-theory  ds.algorithms  open-problem  space-time-tradeoff 

1) Чи можливе парсимонічне скорочення від проблеми # P-завершення #A до проблеми підрахунку #B, коли (версія рішення) A NP-повна, а B - P? Наприклад, чи може відбутися парсимонічне зниження від #SAT до #B, коли B знаходиться в P? 2) Якщо B знаходиться в P, які різні можливості щодо складності #B?

14 cc.complexity-theory  complexity-classes  counting-complexity 

Давши два CNF, якщо вони мають однакову кількість завдань, щоб зробити їх правдивими, відповідь "Так", інакше відповісти "Ні". Це легко помітити в , оскільки, якщо ми знаємо точну кількість рішень для цих двох CNF, ми просто розставляємо їх і відповідаємо "Так" або "Ні".P#PP#PP^{\#P} У чому полягає складність цієї проблеми?

14 cc.complexity-theory  complexity-classes  counting-complexity 

- клас задач вирішення, який вирішується сімействомланцюгів глибин O ( log i n ) з безмежними фаніновими АБО і обмеженими вентиляційними вентилями І. Заперечення дозволено лише на вхідному рівні. Відомо, що S A C i для i ≥ 1 закритий під комплементом, а S A C 0 - ні. Також …

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits 

Чи існує спосіб кодування примірника суми підмножини або проблеми з розділенням чисел, щоб (мале) рішення цілого відношення дало відповідь? Якщо не точно, то в якомусь імовірнісному сенсі? Я знаю, що LLL (і, можливо, PSLQ) використовувались з помірним успіхом у вирішенні завдань Subset Sum у регіоні "низької щільності", де вибраний діапазон …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

Проблема #SAT - це канонічна проблема P-завершення. Це проблема функції, а не проблема рішення. Він запитує, дано логічне значення формули в логіці висловлювань, скільки задовольняють завдання F має. Які найкращі нижчі межі на #SAT?FFFFFF

14 cc.complexity-theory  lower-bounds  sat  counting-complexity 

Я б включив два документи: Д. Козен, "Індексація субрекурсивних класів" , STOC, 1978. Р. Ладнер, "Про структуру скорочення поліноміального часу" , JACM, 1975.

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

Теорема Райса стверджує, що кожна нетривіальна властивість множини, визнаної деякою машиною Тьюрінга, не може бути визнана. Я шукаю теоретико-теоретичну складність теореми типу Риса, яка говорить нам, які нетривіальні властивості множин NP є непереборними.

14 cc.complexity-theory  computability  np 

Якщо ви знайомі з верифікацією програми, ви, швидше за все, вважаєте за краще прочитати питання перед фоном . Якщо ви не знайомі з верифікацією програми, можливо, ви все ще зможете відповісти на це запитання, але ви, швидше за все, бажаєте спочатку прочитати тло . Фон Часто зазначається, що перевірка часткової …

14 cc.complexity-theory  lo.logic  program-verification  program-logic 

Мені здається, що теоретики більшості складності взагалі вважають таке філософське правило: Якщо ми не можемо з'ясувати , ефективний алгоритм для задачі , і ми можемо звести задачу до задачі , тобто , ймовірно, не ефективний алгоритм для задачі , або.AАAAАAAВБBBБBB Ось чому, наприклад, коли нову проблему доведено NP-Complete, ми просто …

14 cc.complexity-theory  big-picture  reductions 

Чи відомо, якщо проблема оцінки ланцюга знаходиться в N C 1 ? Як щодо A L o g T i m e (рівномірний N C 1 )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Ми знаємо, що схеми глибини можна оцінити за допомогою схем глибини k + c, де c є універсальною постійною. Це означає, що схеми …

14 cc.complexity-theory  reference-request  circuit-complexity 

Я здійснив деякий пошук з цього питання, але жодного разу не зміг знайти відповідь. Гек відповів на це повністю. Спасибі :)

14 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

Нехай - формула CNF з змінними та m застереженнями. Нехай t \ in \ {0,1 \} ^ n являє собою присвоєння змінної і f _ {\ varphi} (t) \ in \ {0, \ ldots, m \} підраховують кількість пропозицій, задоволених призначенням змінної \ варфі . Потім визначте Median-SAT як задачу …

14 cc.complexity-theory  sat  counting-complexity