Ilmu Komputer

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 yang sebenarnya, saya …

8 complexity-theory  lower-bounds  search-problem  permutations 

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 memilih salah satu bidang ilmu komputer untuk melakukan …

8 distributed-systems  research 

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 5.) Saya dapat menawarkan solusi berikut: …

8 data-structures  search-trees  selection-problem  balanced-search-trees 

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 berlaku untuk ukuran sampel m≥poly (1 …

8 machine-learning 

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 intelijen di masa depan untuk memutuskan masalah ini, atau, dengan tesis Church-Turing, tidak ada …

8 computability  artificial-intelligence  halting-problem  church-turing-thesis 

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 tepatnya itu digunakan? Apa sebenarnya yang dilakukannya dan bagaimana …

8 formal-methods  model-checking  software-verification 

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 > 3 Saya sudah menemukan bahwa ini tidak dapat dilakukan secara klasik …

8 quantum-computing  circuits 

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 dual-core dengan masing-masing core menjalankan utasnya sendiri, saya berasumsi tidak perlu menghentikan …

8 parallel-computing  threads  multi-tasking 

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 dengan jumlah tetangganya; jika nomornya sendiri benar-benar terkecil, maka tetangganya …

8 algorithm-analysis  graphs  distributed-systems  parallel-computing  randomized-algorithms 

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 pencarian google, saya tidak dapat menemukan solusi …

8 programming-languages  loops  language-design 

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 ontologi antara istilah-istilah dalam domain pengetahuan itu (misalnya hubungan antara …

8 artificial-intelligence  applied-theory  knowledge-representation  ontologies  robotics 

A TA turun hari ini untuk menanyakan beberapa hal tentang NP dan co-NP. Kami tiba di titik di mana saya bingung: seperti apa diagram Venn tentang P, NPI, NP, dan co-NP dengan asumsi mengasumsikan P ≠ NP (kasus lain membosankan)? Tampaknya ada empat opsi dasar. NP ∩ co-NP = P …

8 complexity-theory  reference-request  complexity-classes  np 

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 sama seperti mesin negara terbatas. Mereka tampak sangat berbeda: Finite State Machines, bagaimanapun, memiliki …

8 complexity-theory  turing-machines  computation-models  circuits 

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 CFG?

8 computability  automata  pushdown-automata 

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 NP

8 complexity-theory  np-hard  complexity-classes  np