Ilmu Komputer Teoritis

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

1
Apakah fungsi penghitungan prime # P-selesai?
Ingat jumlah bilangan prima adalah fungsi penghitungan utama . Dengan "PRIMES dalam P", komputasi ada di #P. Apakah masalahnya # P-selesai? Atau, mungkin, ada alasan kerumitan untuk percaya bahwa masalah ini bukan # P-complete? π(n)π(n)\pi(n)≤n≤n\le nπ(n)π(n)\pi(n) PS Saya menyadari ini agak naif karena seseorang pasti telah mempelajari masalahnya dan membuktikan …
2
Dapatkah tantangan komputasi ditransformasikan menjadi proof-of-work?
Tampaknya tidak ada gunanya penambangan cryptocurrency mengangkat pertanyaan tentang alternatif yang berguna, lihat pertanyaan ini tentang Bitcoin , CST , MO . Saya bertanya-tanya apakah ada algoritma yang dapat mengubah hampir semua tantangan komputasi (yang solusinya dapat diverifikasi secara efisien) menjadi tantangan lain seperti (yang digunakan untuk pembuktian kerja) sehinggaCC\mathcal …
3
Siapa yang memperkenalkan perhitungan nondeterministik?
Saya punya dua pertanyaan historis: Siapa yang pertama kali menggambarkan perhitungan nondeterministik? Saya tahu bahwa Cook menjelaskan masalah NP-complete, dan bahwa Edmonds mengusulkan bahwa algoritma P adalah "efisien" atau "baik" algoritma. Aku mencari ini artikel Wikipedia dan skim "Di Komputasi Kompleksitas Algoritma," tapi tidak bisa menemukan referensi untuk saat perhitungan …
5
Masalah mudah dengan versi penghitungan yang sulit
Wikipedia memberikan contoh masalah di mana versi penghitungannya sulit, sedangkan versi keputusannya mudah. Beberapa di antaranya menghitung kecocokan sempurna, menghitung jumlah solusi untuk -SAT dan jumlah penyortiran topologi.222 Apakah ada kelas penting lainnya (misalnya contoh dalam kisi, pohon, teori bilangan dan sebagainya)? Apakah ada ringkasan masalah seperti itu? Ada banyak …
3
Berapa banyak waktu untuk mengenali palindrom di ruang logaritmik?
Sudah diketahui bahwa palindrom dapat dikenali dalam waktu linier pada mesin Turing pita, tetapi tidak pada mesin Turing pita tunggal (dalam hal ini waktu yang dibutuhkan adalah kuadratik). Algoritma linear-waktu menggunakan salinan input, dan dengan demikian juga menggunakan ruang linier.222 Bisakah kita mengenali palindrom dalam waktu linier dari mesin Turing …
2
Apakah ada kalkulus lambda yang diketik yang konsisten dan Turing lengkap?
Apakah ada kalkulus lambda yang diketik di mana logika yang sesuai di bawah korespondensi Curry-Howard konsisten, dan di mana ada ekspresi lambda yang diketik untuk setiap fungsi yang dapat dihitung? Ini memang pertanyaan yang tidak tepat, tidak memiliki definisi yang tepat tentang "kalkulus lambda yang diketik." Saya pada dasarnya bertanya-tanya …
1
Seberapa cepat kita bisa menghitung poset set inklusi dari set keluarga?
Mengingat satu set keluarga himpunan bagian dari alam semesta . Biarkan dan kami ingin menjawab adalah .FF\mathcal{F}UUUS1,S2∈FS1,S2∈FS_1,S_2 \in \mathcal FS1⊆S2S1⊆S2S_1 \subseteq S_2 Saya mencari struktur data yang memungkinkan saya untuk dengan cepat menjawab ini. Aplikasi saya adalah dari teori grafik di mana saya ingin melihat apakah menghapus sebuah simpul dan …
2
Hubungan antara
Biarkan menjadi kelas dari semua bahasa reguler.REGREG\mathsf{REG} Diketahui dan \ mathsf {REG} \ tidak \ subset \ mathsf {AC} ^ 0 . Tetapi apakah ada karakterisasi untuk bahasa di \ mathsf {AC} ^ 0 \ cap \ mathsf {REG} ?AC0⊄REGAC0⊄REG\mathsf{AC}^0 \not\subset \mathsf{REG}REG⊄AC0REG⊄AC0\mathsf{REG} \not\subset \mathsf{AC}^0AC0∩REGAC0∩REG\mathsf{AC}^0 \cap \mathsf{REG}
1
Konsekuensi dari ?
Sementara teorema Adleman menunjukkan, bahwa , saya tidak mengetahui adanya literatur yang menyelidiki kemungkinan dimasukkannya . Apa konsekuensi kompleksitas-teoretis yang akan dimiliki oleh inklusi seperti itu?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}BQP⊆P/polyBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} Teorema Adleman kadang - kadang disebut "nenek moyang argumen derandomisasi." diyakini derandomizable, sedangkan tidak ada bukti bahwa "kuantumness" entah bagaimana …
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.