Pertanyaan yang diberi tag «dynamic-programming»

Dalam kompleksitas sirkuit, kami memiliki pemisahan antara kekuatan berbagai model rangkaian. Dalam kompleksitas bukti, kami memiliki pemisahan antara kekuatan berbagai sistem bukti. Namun dalam algoritmik, kami hanya memiliki sedikit pemisahan antara kekuatan paradigma algoritmik . Pertanyaan saya di bawah ini bertujuan untuk menyentuh masalah terakhir ini untuk dua paradigma: Pemrograman …

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

Polinomial simetris dasar - k S n k ( x 1 , … , x n ) adalah jumlah dari semua produk dari variabel yang berbeda. Saya tertarik pada kompleksitas rangkaian aritmatika monoton dari polinomial ini. Algoritma pemrograman dinamis sederhana (serta Gambar 1 di bawah) memberikan sirkuit dengan gerbang O …

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

Lemma: Dengan asumsi kesetaraan eta kita memilikinya (\x -> ⊥) = ⊥ :: A -> B. Bukti: ⊥ = (\x -> ⊥ x)dengan kesetaraan eta, dan (\x -> ⊥ x) = (\x -> ⊥)dengan pengurangan di bawah lambda. Laporan Haskell 2010, bagian 6.2 menentukan seqfungsi dengan dua persamaan: seq :: …

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 

Diberikan string , penutup palindrom adalah urutan p 1 p 2 ⋯ p m dari kata p i sedemikian rupa sehingga p 1 p 2 ⋯ p m = w dan sedemikian rupa sehingga setiap p i adalah palindrom .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 Seberapa sulit untuk menemukan ukuran penutup …

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

Deskripsi singkat berikut tentang "Puzzle Telur Google" yang diketahui terutama berasal dari situs web Google Eggs : Google Eggs Puzzle: Diberikan pada lantai dan telur, apa pendekatan untuk menemukan lantai tertinggi dari mana telur dapat dilemparkan dengan aman, sambil meminimalkan lemparan (bukan telur yang pecah). Yang disebut "lantai tertinggi" dalam …

8 ds.algorithms  puzzles  dynamic-programming