Pada 1995, Russell Impagliazzo mengusulkan lima dunia kompleksitas: 1- Algorithmica: dengan semua konsekuensi luar biasa.P= NPP=NPP=NP 2- Heuristica: Masalah lengkap sulit pada kasus terburuk ( ) tetapi dipecahkan secara efisien dalam kasus rata-rata.NPNPNPP≠ NPP≠NPP \ne NP 3- Pessiland: Ada...
Saya rasa saya tidak mengerti kelas tipe. Saya pernah membaca di suatu tempat bahwa memikirkan kelas tipe sebagai "antarmuka" (dari OO) yang mengimplementasikan tipe adalah salah dan menyesatkan. Masalahnya adalah, saya mengalami masalah melihat mereka sebagai sesuatu yang berbeda dan bagaimana itu...
Dari sudut akal sehat pandang, mudah untuk percaya bahwa menambahkan non-determinisme ke secara signifikan memperluas kekuasaannya, yaitu, N P jauh lebih besar dari P . Bagaimanapun juga, non-determinisme memungkinkan paralelisme eksponensial, yang nampaknya sangat kuat. PP\mathsf{P}N...
Dua asumsi umum untuk membuktikan kekerasan hasil perkiraan adalah dan Unique Games Conjecture. Apakah ada kekerasan hasil perkiraan dengan asumsi NP \ neq coNP ? Saya mencari masalah A sehingga "sulit untuk memperkirakan A dalam faktor \ alpha kecuali NP = coNP ".P≠NPP≠NPP \neq NPNP≠coNPNP≠coNPNP...
Tidak mungkin menulis bahasa pemrograman yang memungkinkan semua mesin berhenti pada semua input dan tidak ada yang lain. Namun, sepertinya mudah untuk mendefinisikan bahasa pemrograman seperti itu untuk kelas kompleksitas standar apa pun. Secara khusus, kita dapat mendefinisikan bahasa di mana...
Ada justifikasi filosofis yang sering dikutip untuk meyakini bahwa P! = NP bahkan tanpa bukti. Kelas kompleksitas lainnya memiliki bukti bahwa mereka berbeda, karena jika tidak, akan ada konsekuensi "mengejutkan" (seperti runtuhnya hierarki polinomial). Pertanyaan saya adalah, apa dasar untuk...
Penafian: Saya hanya dapat menjamin untuk bidang penelitian saya, yaitu metode formal, semantik, dan teori bahasa pemrograman. Situasinya mungkin berbeda di bagian disiplin lain. Tampaknya TCS menjadi lebih berorientasi pada konferensi. Peneliti bertujuan menerbitkan di konferensi berikutnya....
Saya memerlukan buku teori automata terbatas dengan banyak contoh yang dapat saya gunakan untuk belajar mandiri dan untuk mempersiapkan
Saya memiliki beberapa pengalaman dalam komputasi ilmiah, dan telah banyak menggunakan pohon kd untuk aplikasi BSP (partisi ruang biner). Saya baru-baru ini menjadi lebih akrab dengan oktri, struktur data yang mirip untuk mempartisi ruang Euclidean 3-D, tetapi yang bekerja pada interval tetap yang...
Saya kadang-kadang mendengar orang berbicara tentang algoritma kuantum dan tentang status dan kemampuan untuk mempertimbangkan berbagai kemungkinan sekaligus, tetapi saya tidak pernah berhasil membuat seseorang menjelaskan model komputasi di balik ini. Untuk lebih jelasnya, saya tidak bertanya...
Dalam makalah The Random Oracle Hypothesis Is False , penulis (Chang, Chor, Goldreich, Hartmanis, Håstad, Ranjan, dan Rohatgi) membahas implikasi dari hipotesis oracle acak . Mereka berpendapat bahwa kita tahu sedikit tentang pemisahan antara kelas kompleksitas, dan sebagian besar hasil melibatkan...
Apakah ada struktur data antrian prioritas yang mendukung operasi berikut? Sisipkan (x, p) : Tambahkan catatan baru x dengan prioritas p StableExtractMin () : Kembalikan dan hapus catatan dengan prioritas minimum, putuskan hubungan dengan urutan penyisipan . Jadi, setelah Sisipan (a, 1),...
Tentukan LOGLOG sebagai kelas bahasa yang dapat dihitung dalam ruang O (loglog n) oleh mesin Turing deterministik (dengan akses dua arah ke input). Demikian pula mendefinisikan NLOGLOG sebagai kelas bahasa yang dapat dihitung dalam ruang O (log log n) oleh mesin Turing non-deterministik (dengan...
Dalam semangat beberapa diskusi umum seperti ini , saya membuka utas ini dengan maksud untuk mengumpulkan pendapat tentang apa saja tantangan terbuka dan topik hangat dalam penelitian tentang bahasa pemrograman . Saya berharap bahwa diskusi ini bahkan dapat memunculkan pendapat tentang masa depan...
Sementara saya telah lulus beberapa mata kuliah tentang teori probabilitas, baik di sekolah menengah dan universitas, saya kesulitan membaca makalah TCS ketika datang ke probabilitas. Tampaknya para penulis makalah TCS sangat mengenal probabilitas. Mereka secara ajaib bekerja dengan rumus...
Melihat pertanyaan melalui lensa algoritmik (yaitu dari sudut pandang algoritmik atau kompleksitas) telah menjadi berguna dalam disiplin ilmu di luar 'domain standar' ilmu komputer. Secara khusus CS telah membuat dampak pada biologi melalui biologi komputasi, pada fisika melalui pemrosesan...
Dalam pertanyaan ini, rumus 3CNF berarti rumus CNF di mana setiap klausa persis melibatkan tiga variabel yang berbeda . Untuk konstanta 0 < s <1, Gap-3SAT s adalah masalah janji berikut: Gap-3SAT s Instance : Sebuah 3CNF rumus φ. Ya-janji : φ memuaskan. No-janji : tidak ada tugas...
Pertanyaan ini adalah tentang masalah yang ada celah kompleksitas terbuka yang besar antara batas bawah yang diketahui dan batas atas, tetapi bukan karena masalah terbuka pada kelas kompleksitas itu sendiri. Untuk lebih tepatnya, katakanlah masalah memiliki kelas gap A,BA,BA,B (dengan...
Saya pikir saya akan membagikan pertanyaan ini karena mungkin menarik bagi pengguna lain di sini. Asumsikan bahwa fungsi yang berada dalam kelas yang seragam (seperti ) juga berada dalam kelas kecil yang tidak seragam (seperti A C 0 / p o l y , yaitu tidak seragam A C 0 ), apakah ini menyiratkan...
Memutuskan apakah formula boolean yang dikuantifikasi seperti ∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), selalu mengevaluasi benar adalah masalah PSPACE-lengkap klasik. Ini dapat dilihat sebagai...