Запитання з тегом «dynamic-programming»

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

15 cc.complexity-theory  circuit-complexity  lower-bounds  dynamic-programming 

-м елементарному симетричному поліноміальний є сумою всіх продуктів 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) ланцюга …

14 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits  dynamic-programming 

Лема: якщо припустити, що у нас є ета-еквівалентність (\x -> ⊥) = ⊥ :: A -> B. Доведення: ⊥ = (\x -> ⊥ x)ета-еквівалентністю та (\x -> ⊥ x) = (\x -> ⊥)зменшенням під лямбда. Звіт Haskell 2010, розділ 6.2, визначає seqфункцію двома рівняннями: seq :: a -> b -> …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

З огляду на рядок , паліндромний обкладинка - це послідовність слів така, що і така, що кожен є паліндром.w = σ1σ2… Σнш=σ1σ2…σнw=\sigma_1\sigma_2\ldots\sigma_np1p2⋯ стормp1p2⋯pмp_1p_2\cdots p_mpipip_ip1p2⋯ сторм= шp1p2⋯pм=шp_1p_2\cdots p_m = wpipip_i Наскільки важко знайти мінімальний розмір кришки паліндром? (це здається можливим завдяки динамічному програмуванню, але я не впевнений, що це працює). Чи …

12 ds.algorithms  dynamic-programming  string-matching  covering-problems