Saya perhatikan bahwa bahasa reguler di atas alfabet secara alami dapat dianggap sebagai masalah, dan memang sebuah kisi. Selain itu, rangkaian bersama dengan bahasa kosong mendefinisikan struktur monoid yang ketat pada kategori ini yang bersifat distributif atas gabungan (saya tidak yakin tentang...
Apakah ada contoh masalah alami yang ada di BPP tapi itu tidak diketahui dalam RP atau
Pertimbangkan alasan berikut: Misalkan menunjukkan kompleksitas Kolmogorov dari string . Teorema ketidaklengkapan Chaitin mengatakan ituxK(x)K(x)K(x)xxx untuk konsisten dan cukup kuat resmi sistem , terdapat konstan (tergantung hanya pada sistem formal dan bahasanya) sehingga untuk setiap...
Dengan menggunakan algoritma carry look ahead, kita dapat menghitung penambahan menggunakan kedalaman ukuran polinomial 5 (atau 4?) . Apakah mungkin mengurangi kedalaman? Bisakah kita menghitung penambahan dua bilangan biner menggunakan rangkaian keluarga ukuran polinomial dengan kedalaman kurang...
Saya seorang sarjana, dan baru-baru ini menerima kenyataan bahwa saya mungkin tidak memiliki kecerdasan untuk melakukan penelitian dalam ilmu komputer teoretis, atau dapat diterima dan menyelesaikan program PhD. Namun, saya masih ingin terlibat dengan ilmu komputer teoretis karena menurut saya ini...
Masalah jalur penjual keliling satu dimensi, tentu saja, sama dengan penyortiran, dan dengan demikian dapat diselesaikan dengan tepat dengan perbandingan dalam waktu , tetapi dirumuskan sedemikian rupa sehingga perkiraan serta tepat solusi masuk akal. Dalam model perhitungan di mana input adalah...
Batas atas terbaik yang diketahui pada kompleksitas waktu penggandaan adalah terikat Martin Fürer , yang lebih dari kompleksitas penambahan waktu linear. Apakah kita memiliki bukti bahwa penambahan pada dasarnya lebih mudah daripada perkalian?nlogn2O(log∗n)nlogn2O(log∗n)n\log n2^{O(\log^*...
Saya akan mengajar kelas sarjana standar tentang bahasa dan automata semester depan, dan lebih suka menggunakan teks gratis atau berbiaya rendah yang sah. Ada saran? Saya suka teks Sipser tetapi edisi terbaru harganya $ 196, yang sulit dikatakan dengan wajah lurus di zaman kursus...
Banyak hasil penting dalam teori kompleksitas komputasi, dan khususnya teori kompleksitas "struktural", memiliki sifat menarik yang dapat dipahami secara mendasar mengikuti (seperti yang saya lihat ...) dari hasil algoritmik yang memberikan algoritma atau protokol komunikasi yang efisien untuk...
Mengakses artikel KW Regan "Connect the Stars" , ia menyebutkan pada akhirnya bahwa masih merupakan masalah terbuka untuk menemukan representasi bilangan bulat sehingga operasi penambahan, perkalian, dan perbandingan dapat dihitung dalam waktu linier: Apakah ada representasi bilangan bulat...
Kita semua tahu bahwa perbedaan elemen dalam model berbasis perbandingan tidak dapat dilakukan dalam waktu . Namun, pada RAM kata, seseorang mungkin dapat mencapai yang lebih baik.o(nlogn)o(nlogn)o(n\log n) Tentu saja, jika kita mengasumsikan adanya fungsi hash sempurna yang dapat dihitung dalam...
Sementara sedikit beralasan pada pertanyaan ini , saya telah mencoba untuk mengidentifikasi semua alasan berbeda yang membuat grafik mungkin gagal k menjadi berwarna. Ini adalah satu-satunya 2 alasan yang dapat saya identifikasi sejauh ini:G=(VG,EG)G=(VG,EG)G = (V_G,E_G)kkk mengandung sebuah...
Ada banyak tempat di mana angka dan muncul. Saya ingin tahu tentang algoritma yang waktu berjalannya mengandung rasio emas atau dalam eksponen.( 1 +
Latar Belakang: Misalkan menjadi dua simpul dari graf tak berarah . Himpunan simpul adalah -pemisah jika dan milik komponen terhubung yang berbeda dari . Jika tidak ada himpunan bagian yang tepat dari a -separator adalah -separator maka adalah minimum u, v -separator. Set vertex S \ subseteq V...
Dalam Cartesian Tertutup Kategori ( CCC ), terdapat apa yang disebut benda eksponensial , ditulis . Ketika CCC dianggap sebagai model hanya-diketik kalkulus , sebuah objek eksponensial seperti mencirikan fungsi ruang dari jenis dengan jenis . Objek eksponensial diperkenalkan oleh panah yang disebut...
Termotivasi oleh jawaban Shor terkait dengan berbagai konsep kelengkapan NP, saya mencari masalah yang NP-lengkap di bawah pengurangan P tetapi tidak diketahui NP-lengkap di bawah pengurangan Logspace (lebih disukai untuk waktu yang lama). Juga, Apakah menemukan pengurangan Logspace antara masalah...
Apakah ada (wajar) cara untuk sampel fungsi boolean acak seragam yang derajatnya sebagai polinomial nyata paling banyak ?f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\}ddd EDIT: Nisan dan Szegedy telah menunjukkan bahwa fungsi derajat tergantung pada paling banyak koordinat , jadi kita dapat...
Pertimbangkan bahasa EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} . Diketahui bahwa EQUALITYEQUALITY \mathtt{EQUALITY} tidak dapat dikenali oleh mesin Turing (ATM) sublogaritmik yang bergantian (Szepietowski, 1994) . (Ada ATM yang menggunakan ruang...
Oke, ini mungkin tampak seperti pertanyaan pekerjaan rumah dan, dalam arti tertentu, itu benar. Sebagai tugas rumah di kelas algoritma sarjana, saya memberikan klasik berikut: Diberikan grafik tak berarah , berikan algoritma yang menemukan potongan sedemikian rupa sehingga , di mana adalah jumlah...
Pertimbangkan masalah menemukan set disjoint maksimum - set maksimum bentuk geometris yang tidak tumpang tindih, dari koleksi kandidat tertentu. Ini adalah masalah NP-complete, tetapi dalam banyak kasus, algoritma serakah berikut menghasilkan perkiraan faktor konstan: Untuk setiap bentuk kandidat...