Ilmu Komputer Teoritis

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

6
Apa cara terbaik untuk mendapatkan lemparan koin yang hampir adil dari koin bias yang identik?
(Von Neumann memberikan algoritma yang mensimulasikan koin yang adil diberikan akses ke koin bias identik. Algoritma ini berpotensi membutuhkan jumlah koin yang tak terbatas (meskipun dalam harapan, cukup banyak saja). Pertanyaan ini menyangkut kasus ketika jumlah lemparan koin yang diizinkan adalah dibatasi.) Misalkan kita memiliki koin identik dengan bias . …
2
Batas bawah untuk rumus kedalaman konstan?
Kita tahu banyak tentang batasan-batasan (kedalaman polinomial) sirkuit-konstan. Karena (kedalaman polinomial) rumus kedalaman konstan adalah model perhitungan yang bahkan lebih terbatas, semua masalah yang diketahui tidak ada dalam AC 0 juga tidak dapat dihitung dengan rumus kedalaman konstan. Namun, karena ini model yang lebih mudah, saya menduga ada lebih banyak …
10
Unduhan #SAT Solver
Adakah yang bisa menunjuk ke satu atau lebih situs web di mana dimungkinkan untuk mengunduh implementasi kerja pemecah #SAT? Saya tertarik pada mereka yang mengembalikan hitungan solusi yang tepat, bukan perkiraan.
4
Manakah yang menghasilkan teori kompleksitas yang menggunakan keseragaman secara esensial?
Bukti pemisahan kelas kompleksitas menggunakan keseragaman kelas kompleksitas pada dasarnya jika bukti tidak membuktikan hasil untuk versi tidak seragam, misalnya bukti yang didasarkan pada diagonalisasi (seperti teorema hierarki ruang dan waktu) membuat penggunaan penting keseragaman karena mereka perlu mensimulasikan program dalam kelas yang lebih kecil. Yang menghasilkan teori kompleksitas (selain …
6
Perbedaan antara teori dan praktik keamanan dan kriptografi?
Apa perbedaan menarik yang ada antara teori dan praktik keamanan dan kriptografi? Paling menarik tentu saja akan menjadi contoh yang menunjukkan jalan baru untuk penelitian teoritis berdasarkan pengalaman praktis :). Jawaban mungkin termasuk (tetapi tidak terbatas pada): Contoh di mana teori menyarankan sesuatu itu mungkin tetapi itu tidak pernah digunakan …
2
Apakah semantik TeX (sebagai bahasa pemrograman) pernah diformalkan?
Sepertinya saya bahwa bahasa makro yang digunakan oleh mungkin dapat dilihat sebagai semacam sistem penulisan ulang istilah atau semacam bahasa pemrograman dengan pelingkupan panggilan demi nama.TEXTEX\TeX Bahkan implementasi modern dari mesin (mis. ) menafsirkan kode dengan cara yang cukup langsung dan saya tidak mengetahui adanya upaya untuk mengoptimalkan eksekusi (seperti …
3
Menggunakan kompleksitas Kolmogorov sebagai input “ukuran”
Katakanlah kita memiliki masalah komputasi, misalnya 3-SAT, yang memiliki seperangkat contoh masalah (mungkin input) . Biasanya dalam analisis algoritma atau teori kompleksitas komputasi, kami memiliki beberapa set dari semua input dengan panjang , dan fungsi yang memberikan waktu berjalan beberapa algoritma solusi pada input . Urutan waktu berjalan terburuk untuk …
6
Apakah ada masalah alami dalam waktu kuasi-polinomial, tetapi tidak dalam waktu polinomial?
László Babai baru-baru ini membuktikan bahwa masalah Graph Isomorphism berada dalam masa quasipolynomial . Lihat juga ceramahnya di University of Chicago, catatan dari pembicaraan oleh Jeremy Kun GLL pos 1 , GLL pos 2 , GLL pos 3 . Menurut teorema Ladner, jika , maka tidak kosong, yaitu berisi masalah …
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.