Ilmu Komputer

T&J untuk siswa, peneliti, dan praktisi ilmu komputer

2
Interpretasi kombinasi dari kalkulus lambda
Menurut Peter Selinger , The Lambda Calculus adalah Aljabar (PDF). Di awal artikel ini dia berkata: Interpretasi combinatory dari kalkulus lambda diketahui tidak sempurna, karena tidak memenuhi ξξξ -rule: di bawah interpretasi, M=NM=NM = N tidak berarti λx.M=λx.Nλx.M=λx.N\lambda x.M = \lambda x.N (Barendregt, 1984). Pertanyaan: Kesetaraan apa yang dimaksud di …
3
Mengapa Miller – Rabin bukannya tes primality Fermat?
Dari bukti Miller-Rabin , jika suatu angka melewati tes primitif Fermat , ia juga harus lulus uji Miller-Rabin dengan basis sama (variabel dalam buktinya). Dan kompleksitas perhitungannya sama.aaa Berikut ini dari tes primitif Fermat : Sementara bilangan Carmichael secara substansial lebih jarang daripada bilangan prima, 1 ada cukup banyak dari …
3
Mengapa menggunakan bahasa dalam teori Kompleksitas
Saya baru saja mulai masuk ke teori komputasi, yang mempelajari apa yang dapat dihitung, seberapa cepat, menggunakan berapa banyak memori dan dengan model komputasi mana. Saya punya pertanyaan yang cukup mendasar, tetapi saya benar-benar berharap beberapa dari Anda dapat membantu saya memahami konsep di baliknya: Mengapa semuanya berpusat di sekitar …
2
Bisakah kita membuat pengurangan Karp dari pengurangan Cook antara masalah NP?
Kami telah memiliki beberapa pertanyaan tentang hubungan pengurangan Cook dan Karp . Jelas bahwa pengurangan Cook (pengurangan Turing polinomial-waktu) tidak mendefinisikan gagasan yang sama tentang kelengkapan NP seperti pengurangan Karp (pengurangan polynomial-time-one-one), yang biasanya digunakan. Secara khusus, pengurangan Cook tidak dapat memisahkan NP dari co-NP bahkan jika P NP. Jadi …
1
Bukti singkat dan apik dari teorema dualitas yang kuat untuk pemrograman linier
Pertimbangkan program linier Primal:Ax⃗ ≤b⃗ maxc⃗ Tx⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} Dual:c⃗ ≤y⃗ TAminy⃗ Tb⃗ Dual:c→≤y→TAminy→Tb→\begin{array}{|ccc|} \hline Dual: & \vec{c} \leq \vec{y}^TA \hspace{.5cm} & \min \vec{y}^T\vec{b} \\ \hline \end{array} Teorema dualitas yang lemah menyatakan bahwa jika x⃗ x→\vec{x} dan y⃗ …
2
Bagaimana membahas koefisien dalam notasi O besar
Notasi apa yang digunakan untuk membahas koefisien fungsi dalam notasi O besar? Saya memiliki dua fungsi: f(x)=7x2+4x+2f(x)=7x2+4x+2f(x) = 7x^2 + 4x +2 g(x)=3x2+5x+4g(x)=3x2+5x+4g(x) = 3x^2 + 5x +4 Jelas, kedua fungsi adalah O(x2)O(x2)O(x^2) , memang Θ(x2)Θ(x2)\Theta(x^2) , tetapi itu tidak memungkinkan perbandingan lebih jauh dari itu. Bagaimana saya membahas koefisien …
3
Minimalisasi Panjang Kabel
Masalah saya seperti ini: Saya memiliki tata letak fisik yang direpresentasikan sebagai grafik. Node mewakili kait / saluran di mana kawat dapat berlabuh dan Tepi adalah koneksi yang mungkin antara 2 node dari mana kawat bisa pergi. Ada beberapa Node khusus, yang disebut splitter, dari mana satu kawat dapat dipecah …
1
Perkiraan asimtotik dari hubungan perulangan (Akra-Bazzi tampaknya tidak berlaku)
Misalkan suatu algoritma memiliki hubungan pengulangan runtime: T(n)={g(n)+T(n−1)+T(⌊δn⌋)f(n):n≥n0:n&lt;n0T(n)={g(n)+T(n−1)+T(⌊δn⌋):n≥n0f(n):n&lt;n0 T(n) = \left\{ \begin{array}{lr} g(n)+T(n-1) + T(\lfloor\delta n\rfloor ) & : n \ge n_0\\ f(n) & : n < n_0 \end{array} \right. untuk beberapa konstanta . Asumsikan adalah polinomial dalam , mungkin kuadratik. Kemungkinan besar, akan eksponensial dalam .0&lt;δ&lt;10&lt;δ&lt;10 < \delta < …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.