Jelas bahwa setiap masalah yang dapat ditentukan dalam deterministic logspace ( LLL ) berjalan paling banyak waktu polinomial ( PPP ). Ada banyak kelas kompleksitas antara LLL dan PPP . Contohnya termasuk NLNLNL , LogCFLLogCFLLogCFL , NCiNCiNC^i , SACiSACiSAC^i , ACiACiAC^i , SCiSCiSC^i . Hal ini...
Pertanyaan yang sangat spesifik, saya sadar, dan saya ragu itu akan dijawab oleh siapa pun yang belum terbiasa dengan aturan Sihir. Diposting silang ke Draw3Cards . Berikut adalah aturan komprehensif untuk game Magic: the Gathering . Lihat pertanyaan ini untuk daftar semua Kartu Ajaib. Pertanyaan...
Ada literatur yang kaya dan setidaknya satu buku yang sangat bagus menguraikan kekerasan yang diketahui hasil perkiraan untuk masalah NP-keras dalam konteks kesalahan multiplikasi (misalnya 2-perkiraan untuk penutup vertex optimal dengan asumsi UGC). Ini juga termasuk kelas kompleksitas perkiraan...
Grafik H adalah inti jika ada homomorfisme dari H ke dirinya sendiri adalah sebuah penambangan. Subgraf H dari G adalah inti dari G jika H adalah sebuah inti dan ada homomorfisme dari G ke H. http://en.wikipedia.org/wiki/Core_%28graph_theory%29 Diberikan grafik G, apa algoritma tepat yang paling...
Menghitung jumlah kecocokan sempurna dalam grafik bipartit segera dapat direduksi menjadi komputasi permanen. Karena menemukan pencocokan sempurna dalam grafik non-bipartit adalah dalam NP, terdapat beberapa pengurangan dari grafik non-bipartit menjadi permanen, tetapi mungkin melibatkan blowup...
Dengan basis data besar dari kata-kata yang diizinkan (diurutkan menurut abjad) dan sebuah kata, cari kata dari basis data yang paling dekat dengan kata yang diberikan dalam hal jarak Levenshtein. Pendekatan naif, tentu saja, hanya menghitung jarak levenshtein antara kata yang diberikan dan semua...
Dugaan rekonstruksi mengatakan bahwa grafik (dengan setidaknya tiga simpul) ditentukan secara unik oleh subgraf yang dihapus dari verteks. Dugaan ini berusia lima dekade. Mencari literatur yang relevan, saya menemukan bahwa kelas grafik berikut diketahui dapat direkonstruksi: pohon grafik...
Masalah Pernikahan yang Stabil: http://en.wikipedia.org/wiki/Stable_marriage_problem Saya sadar bahwa untuk instance SMP, banyak pernikahan stabil lainnya dimungkinkan selain dari yang dikembalikan oleh algoritma Gale-Shapley. Namun, jika kita hanya diberikan , jumlah pria / wanita, kita...
Jenis dan Pemrograman Bahasa berfokus sedikit pada subtyping, tetapi sejauh yang saya tahu, subtyping tampaknya tidak terlalu mendasar. Apakah subtyping memberi Anda lebih dari sekadar tipe dependen? Bekerja dengan tipe dependen pasti lebih banyak pekerjaan, jadi saya bisa mengerti mengapa subtipe...
Saya ingin membuat pemecah SAT pertama. Saya tahu kompetisi SAT dan konferensi SAT, dan ada begitu banyak makalah tentang hal ini. Saya seorang pemula, seorang pemula yang kewalahan. Di mana saya harus mulai? Akhirnya saya ingin mendorong yang canggih. Saya ingin beberapa saran ahli tentang cara...
Diberikan himpunan bagian dari .nnnS1,…,SnS1,…,SnS_1,\ldots,S_n{1,…,d}{1,…,d}\{1,\ldots,d\} Periksa apakah ada set dengan . (Jika demikian, cari contoh, jika tidak, katakan saja "tidak")Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j Solusi sepele untuk masalah ini melewati semua pasangan set dan...
Untuk bahasa lebih Σ * , mendefinisikan L 1 / 2 = { x ∈ Σ * : x y ∈ L , y ∈ Σ | x | } . Dengan kata, L 1 / 2 terdiri dari semua x yang ada y panjang yang sama seperti yang x y ∈ L .LLLΣ∗Σ∗\Sigma^*L1/2={x∈Σ∗:xy∈L,y∈Σ|x|}.L1/2={x∈Σ∗:xy∈L,y∈Σ|x|}.L_{1/2} = \{x \in \Sigma^* : xy\in L,...
Dalam "Persyaratan untuk perhitungan kuantum" , Bartlett dan Sanders merangkum beberapa hasil yang diketahui untuk perhitungan kuantum variabel kontinu dalam tabel berikut: Pertanyaan saya tiga kali lipat: Sembilan tahun kemudian, bisakah sel terakhir diisi? Jika kolom ditambahkan dengan...
Sudah pasti bahwa ada ambang kebisingan untuk perhitungan kuantum, sehingga di bawah ambang ini, perhitungan dapat dikodekan sedemikian rupa sehingga menghasilkan hasil yang benar dengan probabilitas terbatas (dengan paling banyak komputasi overhead polinomial). Ambang batas ini bergantung pada...
Hal ini terkait dengan pertanyaan, Apakah Ukuran Keanggotaan Saksi untuk Setiap Bahasa NP Sudah Diketahui? Beberapa masalah NPNP\mathsf{NP} (-complete) alami memiliki saksi panjang linier: tugas yang memuaskan untuk SATSATSAT , urutan simpul untuk HAMPATHHAMPATHHAMPATH , dll. Pertimbangkan kelas...
Sunting: Saya pertama kali salah mengartikan kendala saya (2), sekarang sudah diperbaiki. Saya juga menambahkan lebih banyak informasi dan contoh. Dengan beberapa rekan, mempelajari beberapa pertanyaan algoritmik lainnya, kami dapat mengurangi masalah kami menjadi masalah menarik berikut, tetapi...
EDIT (v2): Menambahkan bagian di akhir tentang apa yang saya ketahui tentang masalah. EDIT (v3): Menambahkan diskusi tentang ambang batas di akhir. Pertanyaan Pertanyaan ini terutama merupakan permintaan referensi. Saya tidak tahu banyak tentang masalahnya. Saya ingin tahu apakah ada pekerjaan...
Apa implikasi yang akan menjadi bukti dugaan abc untuk
Saya mencari buku tentang struktur data tingkat lanjut yang melampaui apa yang dicakup dalam buku teks standar seperti Cormen, Leiserson, Rivest, dan "Pengantar Algoritma" Stein. Sebuah buku yang dapat digunakan untuk mengajar kursus tingkat pascasarjana tentang struktur data tingkat lanjut...
Ada banyak aplikasi analisis nyata dalam ilmu komputer teoretis, yang mencakup pengujian properti, kompleksitas komunikasi, pembelajaran PAC, dan banyak bidang penelitian lainnya. Namun, saya tidak dapat memikirkan hasil apa pun dalam TCS yang mengandalkan analisis kompleks (di luar komputasi...