Ilmu Komputer Teoritis

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

2
Memisahkan daftar kata
Ada masalah terbuka dalam bahasa formal yang dikenal sebagai Masalah Pemisahan; yang secara singkat dinyatakan memiliki dua string panjang , seberapa besar DFA diperlukan untuk "memisahkan" mereka, artinya menerima satu string tetapi menolak yang lain.nnn Berikut adalah beberapa makalah yang relevan 1 , 2 . (Saya punya beberapa lagi tetapi …
1
Bisakah persamaan diferensial digolongkan ke dalam kelas kompleksitasnya sendiri?
Masalah telah, secara keseluruhan, diklasifikasikan, berkat Kompleksitas Komputasi. Tetapi, dalam persamaan diferensial, apakah mungkin untuk mengklasifikasikan persamaan diferensial tergantung pada struktur komputasinya? Sebagai contoh, jika persamaan non-homogen orde pertama secara komparatif sulit untuk diselesaikan daripada, katakanlah, persamaan homogen urutan ke-100, dapatkah mereka digolongkan sebagai kelas konveksitas yang terpisah, mengingat metode …
1
Jenis sistem yang mencegah kebocoran memori terkait kemalasan?
Mungkin sumber utama masalah kinerja di Haskell adalah ketika sebuah program secara tidak sengaja membangun sebongkah kedalaman tak terbatas - ini menyebabkan kebocoran kehabisan memori dan potensi stack overflow saat mengevaluasi. Contoh klasik didefinisikan sum = foldr (+) 0dalam Haskell. Apakah ada sistem tipe yang secara statis memberlakukan kurangnya pemogokan …
2
Masalah grafik manakah yang
Mengikuti pertanyaan setara tentang NP-Completeness (lihat pertanyaan bobot dan pertanyaan terarah ), saya bertanya-tanya bagaimana masalah parameterisasi dipengaruhi oleh atribut ini. Yang masalah grafik -Hard adalah W [ 1 ] -Hard pada grafik diarahkan, tapi tetap parameter penurut pada grafik diarahkan?NPNPNPW[1]W[1]W[1] Yang masalah grafik -Hard adalah W [ 1 ] …
1
Bukti bahwa masalah Grafik isomorfisma tidak
Masalah grafik isomorfisme adalah salah satu masalah berdiri terpanjang yang menolak klasifikasi ke dalam masalah atau N P- complete. Kami memiliki bukti bahwa hal itu tidak bisa N P -Lengkap. Pertama, Graph Isomorphism tidak bisa menjadi N P -complete kecuali hierarki polinomial [1] runtuh ke level kedua. Juga, penghitungan [2] …
1
Referensi untuk fakta bahwa (0 = 1) menyiratkan false membutuhkan semesta dalam MLTT
Ini adalah fakta yang cukup terkenal yang berasal dari kontradiksi dari ketidaksetaraan (misalnya, ) dalam teori tipe Martin-Loef membutuhkan alam semesta.( 0 = 1 ) → ⊥(0=1)→⊥(0=1) \to \bot Buktinya juga cukup mudah - dengan tidak adanya alam semesta, kita dapat menghapus dependensi dari tipe dependen apa pun untuk mendapatkan …
3
Grafik pembatasan teori untuk Bukti dalam Teori Kompleksitas Bukti
Kompleksitas bukti adalah area paling dasar dari teori kompleksitas komputasi. Tujuan utama dari area ini adalah untuk membuktikan , yaitu, setiap prover tidak dapat memberikan bukti ketidakpuasan formula input yang diberikan. NP≠ c o NPNP≠cHaiNPNP\neq coNP Grafik adalah salah satu model bukti formal. Pertanyaan saya adalah tentang pembatasan lebih lanjut …
3
Apakah ada CCC yang diketahui ditutup dengan operasi powerdomain probabilistik?
Secara ekuivalen, adakah semantik denotasional yang dikenal untuk bahasa pemrograman fungsional tingkat tinggi probabilistik? Secara khusus, apakah ada model domain murni -kalkulus murni yang diperluas dengan operasi pilihan biner acak simetris.λλ\lambda Motivasi Kategori tertutup Cartesian menyediakan semantik untuk -calculi tingkat tinggi. Powerdomain probabilistik menyediakan semantik untuk program stokastik. A CCC …
1
Apa masalah penelitian utama dalam transaksi terdistribusi?
Latar Belakang: Pemrosesan transaksi telah menjadi topik penelitian tradisional dalam teori basis data. Saat ini transaksi terdistribusi dipopulerkan oleh sistem penyimpanan terdistribusi skala besar yang biasanya melibatkan partisi data (juga disebut sharding) dan replikasi data . Apa masalah penelitian utama dalam transaksi terdistribusi? Adakah teori dan solusi terkenal yang membutuhkan …
1
Algoritma kuantum untuk perhitungan QED terkait dengan konstanta struktur halus
Pertanyaan saya adalah tentang algoritma kuantum untuk komputasi QED (kuantum elektrodinamika) yang terkait dengan konstanta struktur halus. Perhitungan seperti itu (seperti yang dijelaskan kepada saya) sama dengan menghitung seri Taylor-like mana adalah konstanta struktur halus (sekitar 1/137) dan adalah kontribusi diagram Feynman dengan -loops. ∑ckαk,∑ckαk,\sum c_k\alpha^k,αα\alphackckc_kkkk Pertanyaan ini dimotivasi oleh …
2
Meminimalkan Automata yang menerima kata-
Apa pendekatan standar untuk meminimalkan Büchi-Automata (atau juga Müller-Automata)? Mentransfer teknik yang biasa dari kata-kata terbatas, yaitu menetapkan dua negara menjadi sama jika kata-kata "kehabisan" dari negara-negara yang diterima adalah sama, tidak akan berfungsi. Misalnya, pertimbangkan Büchi-Automoton yang menerima semua kata dengan jumlah tak terbatas dari a yang terdiri dari …
2
Implikasi dari varian Hipotesis Riemann dalam TCS
Riemann Hypothesis berusia lebih dari 1½ abad memiliki implikasi yang mendalam dalam matematika dan bangunan besar teori matematika sekarang terbukti secara kondisional dan banyak varian. Baru-baru ini saya menemukan referensi untuk hasil bersyarat di TCS berdasarkan pada hipotesis Riemann. Karena itu saya bertanya-tanya, apa implikasi utama hipotesis Riemann dalam TCS? …
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.