Теоретична інформатика

Це питання виникло в мене на думці, прочитавши статті Андраса Саламона та Коліна МакКіллана до мого попереднього питання « Підрахунок рішень формул Monotone-2CNF» . EDIT 30 - го березня 2011 року Додана питання п ° 2. EDIT 29 - го жовтня 2010 р Питання перефразувати після пропозиції Андраш формалізувати його …

10 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

Мотивація: У стандартних алгоритмах збільшення потоку максимуму шляху внутрішній цикл вимагає пошуку шляхів від джерела, щоб потонути у спрямованому, зваженому графіку. Теоретично добре відомо, що для того, щоб алгоритм навіть припинився, коли є ірраціональні крайові ємності, нам потрібно обмежити шляхи, які ми знаходимо. Алгоритм Едмондса-Карпа, наприклад, говорить нам знайти найкоротші …

10 ds.algorithms  graph-theory  graph-algorithms 

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

10 ds.algorithms  gt.game-theory 

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

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

а´a´\acute{\rm a}НHHНHH∈ PТЯМЕ∈PTIME\in PTIME Визначення тощо. Для чудового огляду стандартних декомпозицій дерев і широкої ширини дивіться тут (Дякую заздалегідь, JeffE!). Нехай - гіперграф.НHH Тоді для гіперграфа та відображення ,НHHγ: Е( Н) → [ 0 , ∞ )γ:E(H)→[0,∞)\gamma : E(H) \rightarrow [0,\infty) B ( γ) =B(γ)=B(\gamma) = { }.v ∈ V( …

10 cc.complexity-theory  graph-theory  hypergraphs  treewidth  csp 

Скажіть, що у мене зважений графік такий, що - це функція зважування - зауважте, що дозволені негативні ваги.w : E → [ - 1 , 1 ]G = ( V, Е, ш )G=(V,E,w)G = (V,E,w)ш : Е→ [ - 1 , 1 ]w:E→[−1,1]w:E\rightarrow [-1,1] Скажімо , що визначає властивість будь-якої …

10 ds.algorithms  graph-theory  co.combinatorics 

Які документи щодо помилок обробки в розподілених системах ви рекомендуєте?

10 reference-request  dc.distributed-comp 

Мені цікаво знати, що в NPI існує розріджена мова (навіть побудована запізнілою діаголанізацією) при припущенні, що .P≠NPP≠NPP \neq NP

10 cc.complexity-theory  complexity-classes 

Я шукаю хеш-функцію над множинами H (.) І відношенням R (.,.) Таким чином, що якщо A включено в B, то R (H (A), H (B)). Звичайно, R (.,.) Повинно бути легко перевірити (постійний час), а H (A) слід обчислити в лінійному часі. Одним із прикладів H і R є: H(A)=⋁x∈A1<<(h(x)modk)H(A)=⋁x∈A1<<(h(x)modk)H(A) …

10 ds.algorithms  hash-function 

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

10 cc.complexity-theory  complexity-classes 

Невразливі генератори визначаються наступним чином: Нехай RRR - відношення NP, а МMM - машина, яка приймає L ( R )L(R)L(R) . Неофіційно програма є невразливим генератором, якщо на вході 1н1n1^n вона створює пари екземплярів-свідків ( x , w ) ∈ R(x,w)∈R(x, w) \in R , з | х | =n|x|=n|x| …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

Припустимо, P≠NPP≠NPP \neq NP Нехай використовувати наступні позначення для тетрації (тобтоiaia{}^ia ).ia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | х | - розмір екземпляра x. Нехай L - мова, L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|_{f(i)\leq |x| < g(i)} := \{ x \in L \mbox{ | } \exists i \in …

10 cc.complexity-theory  np-hardness  complexity-classes 

Stratego - мова трансформації програмування / Переписування DSL. Ентоні Слоун провів певну роботу, виконуючи реалізацію, що працює на Scala . Які теоретичні межі Стратего як функціональної мови? (незалежно від реалізації). Чи можна написати додаткове замовлення ycombinator в Стратего?

10 functional-programming 

Багатьом тут, напевно, відомо про недавні суперлінійні нижчі межі Алона для -мереж у природній геометричній обстановці [PDF] . Мені хотілося б знати, що, якщо що, така нижня межа передбачає приблизність пов'язаних з ними проблем із набором кришки / натисканням. ϵϵ\epsilon Щоб бути трохи більш конкретним, розглянемо сімейство просторів діапазону, наприклад, …

10 cg.comp-geom  set-cover  hypergraphs  approximation-hardness  epsilon-nets 

Приклади обмежених -повних варіантів невизначених множин:NПNPNP Обмежена проблема зупинки = { | Машина NTM M зупиняє та приймає х протягом t кроків}( М, х , 1т)(M,x,1t)(M, x, 1^t)МMMхxxтtt Обмежена черепиця = { | є плитка квадрата площі t 2 плитками від T }( Т, 1т)(T,1t)(T, 1^t)т2t2t^2ТTT Задача на обмежену кореспонденцію …

10 cc.complexity-theory  np-hardness