Sudah ada cukup banyak penelitian tentang algoritma pengecualian bersama - misalnya banyak yang disajikan dalam buku teks klasik seperti The Art of Multiprocessor Programming , di mana seluruh bab dikhususkan untuk mereka. Saya bertanya-tanya apa saja situasi praktis di mana seseorang mungkin...
\def\R{\mathbb{R}}\def\Z{\mathbb{Z}}\def\n#1{\|#1\|_\infty} Masalahnya datang langsung dari matematika komputasi, dan dapat berupa dinyatakan sebagai berikut: Diberi matriks reguler M∈Rd×dM∈Rd×dM\in\R^{d\times d} , temukan secara efektif semua vektor v∈Zdv∈Zdv\in\Z^d sedemikian rupa sehingga...
Saya ingin membuktikan bahwa kompleksitas waktu dari suatu algoritma adalah polylogarithmic dalam skala input. Relasi pengulangan dari algoritma ini adalah , di mana .T(2n)≤T(n)+T(na)T(2n)≤T(n)+T(na)T(2n) \leq T(n) + T(n^a)a∈(0,1)a∈(0,1)a\in(0,1) Tampaknya untuk beberapa tergantung pada . Tapi...
Ini adalah masalah latihan (Kel.3) dari catatan kuliah yang sangat baik oleh Jeff Erickson Kuliah 20: Pohon-pohon Spanning Minimum [Fa'13] . Buktikan bahwa grafik edge-weighted GGG memiliki pohon rentang minimum yang unik jika dan hanya jika kondisi berikut ini berlaku Untuk setiap partisi...
Misalkan adalah masalah keputusan yang dapat ditentukan.ΠΠ\Pi Apakah menyiratkan adalah -Hard?Π ∉ NPΠ∉NP\Pi\not \in NPΠΠ\PiNPNPNP Sunting: jika kita asumsikan ada maka kita selesai. Bisakah kita menyangkal klaim tanpa asumsi yang tidak diketahui?Π∈coNP∖NPΠ∈coNP∖NP\Pi\in coNP\setminus...
Metode Incompressibility dikatakan menyederhanakan analisis algoritma untuk kasus rata-rata. Dari apa yang saya pahami, ini karena tidak perlu menghitung semua kemungkinan kombinasi input untuk algoritma itu dan kemudian mendapatkan kompleksitas rata-rata. Sebagai gantinya, satu string yang tidak...
Apakah mungkin untuk meminimalkan automata pushdown? Jika tidak, mengapa? Apakah karena untuk minimalisasi, kelas ekivalensi perlu memiliki indeks yang terbatas dan kami tidak dapat menjaminnya untuk
Saya mencoba untuk menghubungkan Combinational Logic Circuits (komputer berdasarkan hanya pada gerbang logis) dengan semua yang saya pelajari baru-baru ini dalam Theory of Computation. Saya bertanya-tanya apakah sirkuit logika kombinasional dapat mengimplementasikan komputasi dengan cara yang...
Saya telah membaca banyak makalah dan buku tentang ontologi dan saya mencoba mencari tahu bagaimana mereka digunakan dalam proyek nyata? Misalnya bagaimana ontologi untuk robot pemain sepak bola dapat didefinisikan dan digunakan dengan arsitektur kognitif untuk membuatnya cerdas? Apakah hubungan...
Saya sedang mengerjakan bahasa pemrograman kecil saya sendiri untuk tujuan pendidikan, dan saya mengalami sedikit masalah. Ada beberapa solusi berbeda untuk itu, tetapi semuanya tampaknya tidak sempurna - dan dari apa yang saya pahami, tidak perlu. Tetapi membaca buku-buku yang saya miliki dan...
Pada grafik , kami melakukan proses berikut:G(V,E)G(V,E)G(V,E) Awalnya, semua node di berwarna.VVV Sementara ada node yang tidak berwarna dalam , setiap node yang tidak berwarna melakukan hal berikut: VVV Memilih bilangan real acak dan mengirimkannya ke semua tetangganya; Membandingkan jumlahnya...
Tampaknya perbedaan antara serat dan benang adalah bahwa serat dijadwalkan secara kooperatif, sedangkan benang dijadwalkan sebelumnya. Inti dari penjadwal tampak seperti cara untuk membuat sumber daya prosesor serial bertindak secara paralel, dengan "membagi waktu" CPU. Namun, pada prosesor...
Saya tahu bahwa Symbolic Model Checking adalah state space traversal berdasarkan representasi set negara dan hubungan transisi sebagai rumus seperti dalam CTL menggunakan model seperti Kripke Model. Saya tahu teorinya. Tetapi saya merasa sulit untuk memahami aplikasi yang sebenarnya. Di mana...
Dengan tesis Church-Turing, mustahil untuk merancang algoritma untuk memutuskan masalah penghentian. Apakah kata algoritma dalam konteks ini termasuk kecerdasan buatan atau tidak, yaitu apakah tesis Church-Turing juga berlaku untuk kecerdasan buatan? Apakah mungkin untuk merancang sistem...
Latihan 4.29 dari Komputasi Quantum dan Informasi Quantum oleh Nielsen dan Chuang membuat saya bingung. Temukan sirkuit yang berisi Toffoli, CNOT dan gerbang qubit tunggal yang mengimplementasikan gerbang (untuk ), tanpa menggunakan qubit kerja.O (n2)HAI(n2)O(n^2)Cn( X)Cn(X)C^n(X)n > 3n>3n...
Saya diberikan n objek, dan satu set n permutasi dari n objek ini (dari n! Total permutasi). Ada permutasi mendasar yang sebenarnya, yang saya tahu adalah salah satu di antara set permutasi, tetapi saya tidak tahu yang mana. Namun oracle tahu permutasi yang sebenarnya. Untuk menemukan permutasi...
Saya seorang sarjana dan berharap untuk menjadi seorang akademisi; melakukan semua hal PhD dan mulai melakukan penelitian. Saya tertarik pada berbagai hal yang berhubungan dengan ilmu komputer tetapi belakangan ini teknologi P2P benar-benar menarik minat saya. Saya memiliki kesan bahwa saya harus...
Model pembelajaran yang mungkin kira-kira benar (PAC) didefinisikan sebagai: Konsep kelas dikatakan PAC-dapat dipelajari jika ada algoritma dan fungsi polinomial sedemikian rupa sehingga untuk setiap dan δ> 0 , untuk semua distribusi D pada X dan untuk setiap konsep target c∈C , berikut ini...
Inilah sumber pertanyaan saya. Diberi pohon penyeimbang sendiri (AVL), kode metode yang mengembalikan median. (Median: nilai numerik yang memisahkan separuh lebih tinggi dari sampel data dari bagian bawah. Contoh: jika seri adalah 2, 7, 4, 9, 1, 5, 8, 3, 6 maka median adalah...
Saya memiliki grafik tidak tertimbang yang tidak diarahkan dan saya ingin memilih node dari sedemikian rupa sehingga mereka berpasangan sejauh mungkin dari satu sama lain, dalam hal jarak geodesik . Dengan kata lain mereka harus disebarkan di sekitar grafik sebanyak mungkin.GGGkkkGGG Mari menjadi...