«dynamic-programming» 태그된 질문

회로 복잡성에서 우리는 다양한 회로 모델의 전력을 분리합니다. 증명 복잡성에서 우리는 다양한 증명 시스템의 힘을 구분합니다. 그러나 알고리즘에서 우리는 여전히 알고리즘 패러다임의 힘 사이의 분리가 거의 없습니다 . 아래의 질문은 두 가지 패러다임 인 욕심과 동적 프로그래밍에 대한 후자의 문제를 다루는 것입니다. 우리는 기본 요소 집합과 일부 해당 하위 집합을 …

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

kkk 번째 기본 대칭 다항식 Snk(x1,…,xn)Skn(x1,…,xn)S_k^n(x_1,\ldots,x_n) 모두의 합 의 제품 구별 변수. 이 다항식 의 모노톤 산술 회로 복잡성에 관심이 있습니다. 간단한 동적 프로그래밍 알고리즘 (아래 그림 1)은 게이트 가있는 회로를 제공합니다 .(nk)(nk)\binom{n}{k}kkk(+,×)(+,×)(+,\times)(+,×)(+,×)(+,\times)O(kn)O(kn)O(kn) 질문 : 하한이 알려져 있습니까? Ω(kn)Ω(kn)\Omega(kn) 회로는 스큐 각 제품 게이트의 두 입력들 중 적어도 하나가 가변 …

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

Lemma : 에타와 동등하다고 가정하면 (\x -> ⊥) = ⊥ :: A -> B. 증명 : ⊥ = (\x -> ⊥ x)에타 동등성 및 (\x -> ⊥ x) = (\x -> ⊥)람다 감소. Haskell 2010 보고서, 섹션 6.2 seq는 두 가지 방정식으로 함수를 지정합니다 . seq :: a-> b-> 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 

문자열이 주어 하는 회문 커버 서열이다 p_1p_2 \ cdots p_m 단어가 p_i 같은 그 p_1p_2 \ cdots p_m = w 각되도록 p_i가 회문이다.w=σ1σ2…σnw=σ1σ2…σnw=\sigma_1\sigma_2\ldots\sigma_np1p2⋯pmp1p2⋯pmp_1p_2\cdots p_mpipip_ip1p2⋯pm=wp1p2⋯pm=wp_1p_2\cdots p_m = wpipip_i 최소 회문 덮개 크기를 찾는 것이 얼마나 어렵습니까? (이것은 동적 프로그래밍으로 가능한 것으로 보이지만 작동하는지 확실하지 않습니다). 입력이 각각의 회문 길이에 바운드 b …

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