Makalah ini menunjukkan bahwa ada kombinator (mewakili perhitungan simbolik) yang tidak dapat diwakili oleh kalkulus Lambda (jika saya memahami hal-hal dengan
Masalah: Kami diberi satu set batang yang semuanya memiliki panjang bilangan bulat. Jumlah total panjangnya adalah n (n + 1) / 2. Bisakah kita memecahnya untuk mendapatkan ukuran tongkat dalam waktu polinomial? 1 , 2 , … , n1,2,...,n{1,2,\ldots,n} Anehnya, satu-satunya referensi yang saya temukan...
Misalkan GGG adalah grafik sederhana yang tidak terarah dan misalkan menjadi simpul yang berbeda. Biarkan panjang jalur sederhana menjadi jumlah tepi di jalur. Saya tertarik untuk menghitung ukuran maksimum dari satu set jalur st sederhana sehingga setiap jalur memiliki panjang ganjil, dan set...
Saya tertarik dengan fungsi Boolean eksplisit f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}dengan properti berikut: jika fff konstan pada beberapa subruang affine dari0,1n0,1n\\{0,1\\}^n , maka dimensi dari subruang ini adalaho(n)o(n)o(n) . Tidak sulit untuk menunjukkan bahwa...
Universitas mana yang memiliki kurikulum komputasi kuantum yang kuat, dan menawarkan beberapa jenis komputasi kuantum / program studi / penelitian? Tujuannya di sini adalah untuk mengumpulkan daftar yang berguna bagi seseorang yang mempertimbangkan studi pascasarjana di bidang ini, bukan untuk...
Dalam sebuah makalah klasik Munro dan Paterson mempelajari masalah berapa banyak penyimpanan yang diperlukan untuk suatu algoritma untuk menemukan median dalam array yang diurutkan secara acak. Secara khusus mereka fokus pada model berikut: input dibaca dari kiri ke kanan untuk sejumlah P...
Dalam sistem pembuktian untuk logika proposisional klasik jika seseorang ingin menunjukkan bahwa formula tertentu tidak dapat diturunkan, hanya menunjukkan bahwa ¬ ψ dapat diturunkan (walaupun teknik lain tentu saja mungkin). Non-derivabilitas pada dasarnya mengikuti dari kesehatan dan kelengkapan...
Apakah ada yang tahu tentang hasil kelengkapan NP untuk masalah SET DOMINASI dalam grafik, terbatas pada kelas grafik bipartit planar dengan derajat 3 maksimum? Saya tahu ini adalah NP-lengkap untuk kelas grafik planar tingkat maksimum 3 (lihat buku Garey dan Johnson), serta untuk grafik bipartit...
Baru-baru ini, Watrous et al membuktikan bahwa QIP (3) = PSPACE hasil yang luar biasa. Ini adalah hasil yang mengejutkan bagi diri saya untuk sedikitnya dan itu membuat saya berpikir ... Saya bertanya-tanya bagaimana jika Komputer Quantum dapat disimulasikan secara efisien oleh Komputer Klasik....
Teori kompleksitas tampaknya menangkap sesuatu yang mendasar tentang struktur alam semesta, dalam arti ia memformalkan gagasan intuitif bahwa beberapa masalah lebih sulit daripada yang lain. Scott Aaronson meramalkan , "Asumsi Kekerasan NP pada akhirnya akan dilihat sebagai analog dengan Hukum...
Sangat sering, jika waktu berjalan suatu algoritma adalah ekspresi yang rumit, algoritma itu sendiri juga rumit dan tidak praktis. Setiap akar pangkat tiga dan faktor dalam waktu berjalan asimptotik cenderung menambah kompleksitas pada algoritma dan juga menyembunyikan faktor konstan pada waktu...
Metode derivatif Brzozowski adalah teknik yang sangat cantik untuk membangun automata deterministik dari ekspresi reguler dengan cara aljabar yang baik. Saya telah mengerjakan beberapa generalisasi lucu dari teknik ini untuk menangani beberapa kelas tata bahasa yang lebih besar, tetapi algoritmanya...
Apakah saya benar dalam memahami bahwa membuktikan suatu NP lengkap adalah kesuksesan penelitian? Jika demikian
Halaman ini menegaskan hal itu banyak bahasa tidak menggunakan subtyping implisit (ekuivalensi struktural), lebih memilih subtyping eksplisit / dinyatakan (deklarasi ekuivalensi) Saya sebagian besar menggunakan bahasa pemrograman yang menggunakan subtyping eksplisit . Apa keuntungan dari...
Sudah diketahui bahwa ada banyak amatir - termasuk saya sendiri - yang tertarik pada masalah P vs NP. Ada juga banyak amatuer - termasuk saya sendiri - yang telah berupaya menyelesaikan masalah ini. Satu masalah yang menurut saya diderita oleh komunitas TCS adalah rasio
2 pertanyaan untuk ahli ilmu ukur atau ahli aljabar: Saya baru mulai terjun ke geometri komputasi dan saya menyukainya =) Saya mencoba membaca artikel terkenal oleh Guibas dan Stolfi yang disebut "Primitif untuk manipulasi subdivisi umum dan perhitungan Diagram Voronoi" untuk menerapkan algoritma...
Saya baru saja membaca pertanyaan " Apakah faktorisasi bilangan bulat merupakan masalah NP-complete? " ... jadi saya memutuskan untuk menghabiskan sebagian dari reputasi saya :-) mengajukan pertanyaan lain memiliki :QQQP(Q is trivial)≈1P(Q is trivial)≈1P(\text{Q is trivial}) \approx 1 Jika adalah...
Apakah benar bahwa ada masalah dalam hirarki dipecahkan polinomial dalam waktu (oleh bolak mesin Turing di beberapa tingkat hirarki polinomial) yang tidak larut dalam O ( n k - 1 ) di setiap tingkat hierarki polinomial? Dengan kata lain - apakah ada teorema hierarki waktu untuk hierarki polinomial...
Ketika kami mempertimbangkan algoritma aproksimasi untuk masalah minimisasi, kesenjangan integral dari formulasi IP untuk masalah ini memberikan batas yang lebih rendah dari rasio aproksimasi untuk kelas algoritma tertentu (seperti pembulatan atau algoritma primal-dual). Bahkan, ada banyak masalah...
Misalkan kita memiliki polinomial p1,...,pmp1,...,pmp_1,...,p_m derajat paling banyak , , sedemikian sehingga jumlah total koefisien bukan nol adalah (yaitu polinomialnya jarang). Saya tertarik pada algoritma yang efisien untuk menghitung polinomial:nnnn>mn>mn>mnnn ∑ipi(x)2∑ipi(x)2\sum_i...