Ilmu Komputer Teoritis

T&J untuk ilmuwan dan peneliti komputer teoretis di bidang terkait

1
Apa oracle kompleksitas minimum yang memisahkan PSPACE dari hierarki polinomial?
Latar Belakang Hal ini diketahui bahwa ada sebuah ramalan AAA seperti itu, PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A . Bahkan diketahui bahwa pemisahan relatif terhadap oracle acak. Secara informal, seseorang mungkin menafsirkan ini berarti bahwa ada banyak nubuat yang PSPACEPSPACEPSPACE dan PHPHPH terpisah. Pertanyaan Bagaimana rumit adalah firman ini yang memisahkan PSPACEPSPACEPSPACE dari …
2
Referensi untuk pendekatan "lebih aljabar" untuk pushdown automata dan CFL?
Dalam buku Sakarovitch tentang teori automata, ada tertulis di bagian pengantar tentang rasionalitas dalam kelompok bebas bahwa materi yang disajikan di dalamnya meletakkan "landasan teori matematika yang benar-benar bahasa bebas konteks". Namun demikian, ini tidak dibuat eksplisit, karena bahasa bebas konteks dan automata pushdown berada di luar cakupan buku ini. …
1
Apakah kompleksitas Kolmogorov yang tidak dapat dihitung mengikuti dari Teorema Titik Tetap Lawvere?
Banyak teorema dan "paradoks" - diagonalisasi Cantor, ketidakpastian hatling, tidak dihargai kompleksitas Kolmogorov, Gödel Incompleteness, Chaitin Incompleteness, paradox Russell, dll. - semua pada dasarnya memiliki bukti yang sama dengan diagonisasi (perhatikan bahwa ini lebih spesifik daripada yang mereka dapat lakukan) semua dibuktikan dengan diagonalisasi, melainkan merasa bahwa semua teorema ini …
1
Saran untuk ahli matematika yang mencoba mempresentasikan makalah pada konferensi CS?
Saya seorang ahli matematika yang bekerja terutama dalam teori spektral self-adjoint dan operator kesatuan. Beberapa penelitian saya memiliki relevansi dalam berjalan kuantum, dan saya punya satu makalah khusus yang ingin saya presentasikan dalam konferensi Pemrosesan Informasi Kuantum Januari ini di Seattle. Budaya komunitas CS teoritis tampaknya sangat berbeda dari komunitas …
3
Seberapa umum transisi fase dalam masalah NP-complete?
Telah diketahui bahwa banyak masalah NP-lengkap menunjukkan fase transisi. Saya tertarik di sini dalam transisi fase sehubungan dengan pengungkungan dalam bahasa, daripada kekerasan input, relatif terhadap suatu algoritma. Untuk membuat konsep ini ambigu, mari kita secara resmi mendefinisikannya sebagai berikut. Suatu bahasa L.L.L menunjukkan transisi fase (sehubungan dengan penahanan), jika …
2
Kompleksitas masalah persimpangan coset
Dengan diberikannya kelompok simetri dan dua subkelompok , dan , apakah tahan?SnSnS_nG,H≤SnG,H≤SnG, H\leq S_nπ∈Snπ∈Sn\pi\in S_nGπ∩H=∅Gπ∩H=∅G\pi\cap H=\emptyset Sejauh yang saya tahu, masalahnya dikenal sebagai masalah persimpangan coset. Saya bertanya-tanya apa kerumitannya? Secara khusus, apakah masalah ini diketahui berada dalam COAM? Terlebih lagi, jika dibatasi menjadi abelian, seperti apa kompleksitasnya?HHH
1
DAG reachability dengan O (n log n) ruang dan O (log n) -waktu permintaan?
Untuk grafik asiklik diarahkan , apakah ada struktur data yang memungkinkan untuk permintaan reachability tanpa memerlukan ruang kuadrat atau waktu linier? Idealnya saya mencari algoritma yang hanya menggunakan O (log n) ruang per titik dan waktu logaritmik di⟨ V, E⟩⟨V,E⟩{\langle}V,E{\rangle} mana .n = | V| + | E|n=|V|+|E|n=|V|+|E| Tampaknya secara …
2
Jumlah set kumulatif minimal
Pertimbangkan masalah ini: Diberikan daftar set yang terbatas, temukan pemesanan yang meminimalkan | s 1 | + | s 1 ∪ s 2 | + | s 1 ∪ s 2 ∪ s 3 | + … .s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s_1| + |s_1 \cup s_2| + |s_1 \cup s_2 \cup …
2
Apakah analisis tradisional filter Bloom salah?
Makalah ini mengklaim bahwa analisis tradisional dari tingkat kesalahan dalam filter Bloom tidak benar, kemudian memberikan analisis yang panjang dan nontrivial dari tingkat kesalahan aktual. Makalah tertaut diterbitkan pada 2010, namun saya telah melihat analisis tradisional filter Bloom terus diajarkan dalam berbagai algoritma dan kursus struktur data. Apakah analisis tradisional …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.