Ilmu Komputer Teoritis

22
Bagaimana pendekatan geometris Mulmuley-Sohoni untuk menghasilkan batas bawah menghindari menghasilkan bukti alami (dalam pengertian Razborov-Rudich)?

Ungkapan tepat dari judul adalah karena Anand Kulkarni (yang mengusulkan situs ini dibuat). Pertanyaan ini diajukan sebagai contoh pertanyaan, tetapi saya sangat ingin tahu. Saya tahu sedikit tentang geometri aljabar, dan pada kenyataannya juga hanya memiliki sepintas, pemahaman sarjana tentang...

22
Pengurangan dari buku.

Ini sepanjang garis " Algoritma dari Kitab ". Meskipun reduksi adalah algoritme juga, saya pikir ragu bahwa orang akan memikirkan pengurangan respons terhadap pertanyaan tentang algoritme dari buku ini. Oleh karena itu permintaan yang terpisah! Pengurangan dari semua jenis dipersilahkan. Saya...

22
Mengapa CNF digunakan untuk SAT dan bukan DNF?

Saya tidak begitu mengerti mengapa hampir semua pemecah SAT menggunakan CNF, bukan DNF. Menurut saya menyelesaikan SAT lebih mudah menggunakan DNF. Setelah semua, Anda hanya perlu memindai set implan dan memeriksa apakah salah satu dari mereka tidak mengandung variabel dan negasi. Untuk CNF, tidak...

22
Versi multiplikasi 3-SUM

Apa yang diketahui tentang kompleksitas waktu dari masalah berikut, yang kita sebut 3-MUL? Diberikan himpunan dari bilangan bulat, apakah ada elemen sedemikian sehingga ?SSSnnna,b,c∈Sa,b,c∈Sa,b,c\in Sab=cab=cab=c Masalah ini mirip dengan masalah 3-SUM, yang menanyakan apakah ada tiga elemen...

22
Dapatkah biaya GC diabaikan ketika menganalisis waktu berjalan dari struktur data kasus terburuk yang ditentukan dalam bahasa pemrograman yang dikumpulkan sampah?

Saya baru menyadari bahwa saya mengasumsikan jawaban untuk pertanyaan saya adalah "ya" tetapi saya tidak punya alasan yang bagus. Saya membayangkan bahwa mungkin ada pengumpul sampah yang terbukti hanya memperkenalkan pelambatan terburuk. Apakah ada referensi definitif yang bisa saya kutip? Dalam...