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...
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 :: a -> b...
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...
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...
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...