Ilmu Komputer Teoritis

Robin Gandy adalah murid Alan Turing . Gandy melakukan analisis Mesin Analitik Babbage (lihat 'Gandy - The Confluence of Ideas pada tahun 1936' dikutip dalam 'Herken, Rolf - Mesin Universal Turing - Sebuah Survei Setengah Abad . Springer Verlag') - dan mengatakan hal itu terjadi (lih. hlm....

Pertimbangkan grafik tidak langsung yang terhubung dengan bobot tepi non-negatif, dan dua simpul dibedakan . Di bawah ini adalah beberapa masalah lintasan yang semuanya dari bentuk berikut: temukan lintasan , sedemikian sehingga beberapa fungsi bobot tepi pada lintasan adalah minimum. Dalam hal ini...

DFA atau NFA membaca melalui string input dengan satu kepala, bergerak dari kiri ke kanan. Tampaknya wajar untuk bertanya-tanya tentang mesin negara-terbatas yang memiliki banyak kepala , yang masing-masing bergerak melalui input dari kiri ke kanan, tetapi tidak harus di tempat yang sama dalam...

Kami tahu dan menyukai banyak konsep konsep solusi: PN: Keseimbangan Nash Murni MN: Keseimbangan Campuran Nash CE: Ekuilibrium berkorelasi CCE: Tentu saja berkorelasi keseimbangan. Hubungan antara set ini adalah: Kita dapat mempertimbangkan harga anarki atas salah satu dari konsep solusi ini:...

Jadi saya punya masalah yang saya hadapi sehubungan dengan pengelompokan data langsung yang terus mengalir. Karena saya memiliki kumpulan data yang terus bertambah, saya tidak yakin apa cara terbaik untuk menjalankan pengelompokan yang efisien dan efektif. Saya telah menemukan beberapa solusi yang...

Saya (perlahan-lahan) menulis ulasan tentang Buku Pegangan Algoritma Chemoinformatika untuk SIGACT News. Satu bab membahas implementasi perangkat lunak saat ini, dan pencarian basis data (dan aplikasi lain) tampaknya tidak memanfaatkan sebanyak mungkin informasi tentang grafik. Di sisi lain,...

Adakah hasil yang diketahui yang menunjukkan bahwa keberadaan (atau tidak adanya) grafik berhingga dengan sifat komputabel spesifik menyiratkan hasil kompleksitas tertentu (seperti P = NP)? Inilah satu hasil yang sepenuhnya hipotetis : Jika grafik berhingga ada dengan tepi terdistribusi A, B, C...

IP (2pfa) dan AM (2pfa) adalah kelas bahasa yang dikenali dengan kesalahan terbatas oleh versi koin pribadi dan publik, masing-masing, dari sistem bukti interaktif dengan verifier yang probabilistic automata terbatas dengan kepala input dua arah. Apakah ada properti penutup dari kelas-kelas ini...

Secara khusus saya maksudkan keluarga bahasa yang menerima string panjang yang sewenang-wenang - bukan konjungsi atas n bit atau daftar keputusan atau bahasa "sederhana" lainnya yang terkandung dalam {0,1} ^ n. Saya bertanya tentang bahasa reguler "automata-theoretic" sebagai lawan dari bahasa...

Misalkan kita memiliki variabel acak yang mengambil nilai non-numerik a, b, c dan ingin menghitung bagaimana distribusi empiris dari sampel variabel ini menyimpang dari distribusi yang sebenarnya. Ketidaksetaraan berikut (dari Cover & Thomas ) berlaku dalam kasus ini.nnn Teorema 12.4.1...

Perkalian matriks menggunakan reguler - teknik (baris kolom dalam produk) mengambil multiplucations dan penambahan. Namun dengan asumsi entri berukuran sama (jumlah bit dalam setiap entri dari kedua matriks dikalikan) dari ukuran bit, operasi penambahan sebenarnya terjadi pada bit .O ( n 3 ) m O (...

Tutup. Pertanyaan ini di luar topik . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga sesuai topik untuk Theoretical Computer Science Stack Exchange. Ditutup 3 tahun yang lalu . Apakah ada konstruksi...

Diketahui bahwa NP-Complete Problem yang disebut Subset Sum memiliki FPTAS. Saya bertanya-tanya apakah ada masalah Lengkap PSPACE yang juga memiliki FPTAS? Terima kasih

Biarkan menjadi alfabet, yaitu himpunan terbatas yang tidak kosong. String adalah setiap urutan elemen (karakter) hingga dari Σ . Sebagai contoh, { 0 , 1 } adalah alfabet biner dan 0110 adalah string untuk alfabet ini.ΣΣ\SigmaΣΣ\Sigma{ 0 , 1 }{0,1} \{0, 1\}011001100110 Biasanya, selama mengandung...

Baru-baru ini saya berpikir tentang "mengimpor" beberapa pertanyaan terkait fisika ke dalam kuantum CS: Gagasan fenomena hukum-daerah dalam sistem Hamilton biasanya merupakan singkatan dari Hamiltonian lokal pada beberapa kisi, yang groundstate menunjukkan properti di mana keterjeratan suatu...

Misalkan kita diberi grafik dan parameter k , ϵ . Apakah ada rentang nilai untuk k (atau itu bisa dilakukan untuk semua k ) yang dimungkinkan untuk menguji apakah G adalah ε -far dari memiliki set independen ukuran setidaknya k dalam waktu O ( n + poly ( 1 / ε ) ) ?GGGk ,

Teori kompleksitas komputasi mengklasifikasikan masalah berdasarkan kesulitannya. Teori sistem kompleks membahas sistem yang menunjukkan perilaku yang tidak jelas muncul dari sifat-sifat bagian individu sistem. Contohnya termasuk sistem kacau, sistem adaptif yang kompleks, atau sistem...

Ini adalah versi khusus dari pertanyaan sebelumnya: Kompleksitas Menemukan Komposisi Eigend dari Matriks . Untuk matriks simetris NxN, diketahui bahwa waktu O (N ^ 3) cukup untuk menghitung dekomposisi eigen. Pertanyaannya adalah: bisakah kita mencapai kompleksitas sub-kubik? Terima...

Kami biasanya menyebut algoritma "algoritma yang baik" jika waktu runnning adalah polinomial dalam kasus terburuk. Tetapi dalam beberapa kasus (misalnya algoritma Simplex), meskipun kasus terburuk dari algoritma adalah eksponensial, itu bisa bekerja dengan sangat baik dalam praktiknya. Adakah...

Alice dan Bob membagi harta paman Charlie milik almarhum mereka (koleksi terbatas XXXbarang diskrit) sesuai dengan keinginannya. Pertama A memilih item, lalu B, lalu A, dan seterusnya. Alice dan Bob masing-masing memiliki fungsi utilitas tambahan uA,uBuA,uBu_A, u_B, sehingga jika Alice berakhir...