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...
Untuk fungsi atau perhitungan, kami memiliki istilah seperti: Deterministik - Determinisme Murni - Kemurnian Sekarang apa kata benda yang tepat untuk bebas efek samping ? "Efek samping"? "Kebebasan efek samping"? "Tidak efektif dari
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...
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...
Pengantar dan notasi: Berikut ini adalah versi baru dan sederhana dari algoritma saya yang tampaknya berakhir (menurut eksperimen saya), dan sekarang saya ingin membuktikannya. Biarkan notasi xi∈Rpxi∈Rpx_i \in \mathbb{R}^p mengacu pada ppp data titik dimensi (vektor). Saya punya tiga set A, B dan...
Latar Belakang Saya belajar bantuan, Coq, sendiri. Sejauh ini, saya telah selesai membaca Yves Bertot's Coq in a Hurry . Sekarang, tujuan saya adalah untuk membuktikan beberapa hasil dasar mengenai bilangan asli, yang berpuncak dengan algoritma pembagian. Namun, saya telah menemui beberapa...
Saya mencari sebuah algoritma untuk mengubah digraf (grafik berarah) menjadi grafik tidak terarah dengan cara yang dapat dibalik, yaitu digraf harus direkonstruksi jika kita diberi grafik yang tidak terarah. Saya mengerti bahwa ini akan menyebabkan grafik yang tidak diarahkan memiliki lebih banyak...
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...
Saya sedang mengerjakan kompiler kalkulus lambda kecil yang memiliki sistem inferensi tipe Hindley-Milner yang berfungsi dan sekarang juga mendukung rekursif mari (bukan dalam kode tertaut), yang saya pahami harus cukup untuk membuatnya Turing lengkap . Masalahnya sekarang adalah saya tidak tahu...
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...
Buku teks saya mengatakan: "Kami mendefinisikan fungsif:N→Nf:N→Nf\colon \mathbb{N}\to\mathbb{N} sebagai berikut: f(1)=2f(1)=2f(1)=2 dan f(i+1)=2f(i)1.2f(i+1)=2f(i)1.2f(i+1)=2^{f(i)^{1.2}} . Perhatikan bahwa diberikan nnn , kita dapat dengan mudah menemukan di O(n1.5)O(n1.5)O(n^{1.5}) waktu jumlah...
Jelaskan bahasa reguler yang tidak dapat diterima oleh DFA yang hanya memiliki tiga negara. Saya tidak begitu yakin harus mulai dari mana dan bertanya-tanya apakah ada yang bisa memberi saya beberapa tips atau saran. Saya mengerti bahwa lemma pemompaan dapat digunakan untuk membuktikan bahwa...
Dalam analisis algoritma, kami mengasumsikan satu prosesor generik Random Access Machine (RAM). Sejauh yang saya tahu, mesin RAM tidak lebih efisien daripada mesin Turing. Semua algoritma dapat diimplementasikan di mesin Turing. Jadi pertanyaan saya adalah: Jika mesin Turing seefisien mesin RAM,...
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...
Pertanyaannya cukup banyak pada judulnya. Apakah pernah ada waktu di mana beberapa bahasa dapat diterima oleh DFA minimal dengan n negara, tetapi L R , pembalikan L , dapat diterima oleh DFA dengan m negara, di mana m < n ?L.L.LnnnL.RL.RL^RL.L.Lmmmm <
Dalam Chaitin Meta Math! The Quest For Omega , ia secara singkat berbicara tentang Masalah ke-10 Hilbert. Dia kemudian mengatakan bahwa Persamaan Diophantine dapat diubah menjadi dua polinomial yang sama dengan koefisien bilangan bulat positif: .p = 0p = 0p=0p=0p = 0⟺hal1= p2p=0⟺p1=p2p=0 \iff p_1 =...
Pada akhir 1990-an, ketika saya masih di sekolah pascasarjana, kertas JH Saltzer; DP Reed; DD Clark: Argumen ujung ke ujung dalam desain sistem . ACM Trans. Komputasi. Syst. 2 (4): 277-288, 1984. DOI = 10.1145 / 357401.357402 cukup banyak bacaan wajib di setiap kelas sistem operasi di setiap...
Untuk alasan tentang hal-hal seperti kelengkapan NP, kami biasanya menggunakan banyak-satu pengurangan (yaitu, pengurangan Karp). Ini mengarah ke gambar seperti ini: (di bawah dugaan standar). Saya yakin kita semua akrab dengan hal semacam ini. Gambar apa yang kita dapatkan, jika kita bekerja...
Jika maka hierarki runtuh ke level kedua (oleh teorema Karp-Lipton). Tetapi bagaimana dengan dan ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Saya mencoba membuktikan bahwa terkandung dalam (arah lainnya sepele jika ) tetapi tidak berhasil, dan saya bahkan tidak yakin itu benar.BPPBPP\sf...
Relasi ekivalensi pada himpunan vertex terbatas dapat diwakili oleh grafik tidak terarah yang merupakan persatuan cliques yang terpisah. Himpunan simpul mewakili elemen dan tepi mewakili bahwa dua elemen setara. Jika saya memiliki grafik dan grafik G 1 , ... , G k , kita mengatakan bahwa G...