Ilmu Komputer Teoritis

Saya pernah mengikuti kelas Computability and Logic. Materi termasuk korelasi antara kelas kompleksitas / komputabilitas (R, RE, co-RE, P, NP, Logspace, ...) dan Logika (Predikat kalkulus, logika urutan pertama, ...). Korelasi mencakup beberapa hasil dalam satu bidang, yang diperoleh dengan menggunakan teknik dari bidang lain. Dugaan bahwa P! = NP …

33 cc.complexity-theory  lo.logic  computability 

Saya sering mendengar bahwa untuk banyak masalah kita tahu algoritma acak yang sangat elegan, tetapi tidak ada, atau hanya, solusi deterministik yang lebih rumit. Namun, saya hanya tahu beberapa contoh untuk ini. Paling menonjol Quicksort acak (dan algoritma geometris terkait, misalnya untuk cembung cembung) Mincut acak Pengujian Identitas Polinomial Masalah …

33 ds.algorithms  randomized-algorithms  derandomization 

Sebagai seorang amatir TCS, saya membaca beberapa materi yang sangat populer tentang komputasi kuantum. Berikut adalah beberapa informasi dasar yang telah saya pelajari sejauh ini: Komputer kuantum tidak dikenal untuk menyelesaikan masalah NP-complete dalam waktu polinomial. "Sihir kuantum tidak akan cukup" (Bennett et al. 1997): jika Anda membuang struktur masalah, …

33 cc.complexity-theory  complexity-classes  quantum-computing  conditional-results  physics 

Masalah utama dari teori kompleksitas ini bisa dibilang vs N P .PPPNPNPNP Namun, karena Alam adalah kuantum, akan terlihat lebih alami untuk mempertimbangkan kelas (masalah yaitu keputusan dipecahkan oleh sebuah komputer kuantum dalam waktu polinomial, dengan probabilitas kesalahan paling 1/3 untuk semua kasus) ans Q M A (setara kuantum dari …

33 cc.complexity-theory  complexity-classes  quantum-computing 

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 masalah -kasus rata-rata lengkap tetapi fungsi satu arah tidak ada. Ini …

33 cc.complexity-theory  conditional-results  average-case-complexity 

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. Terkadang versi jurnal muncul. Terkadang tidak. Dalam disiplin ilmu lain (biologi, matematika, dan …

32 soft-question  conferences 

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 penelitian dalam bahasa pemrograman. Saya percaya bahwa …

32 pl.programming-languages  open-problem  research-practice 

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 tetap, dari apa yang saya kumpulkan. Sedikit …

32 ds.data-structures  tree 

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 kita dapat mengekspresikan semua perhitungan yang efisien dan hanya …

32 cc.complexity-theory  computability  pl.programming-languages 

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 akses dua arah ke input). Apakah …

32 cc.complexity-theory  reference-request  space-bounded 

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 informasi kuantum, dan teori AI dan kompleksitas tampaknya secara teratur berinteraksi …

32 reference-request  soft-question  big-picture  social-sciences  algorithmic-lens 

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 penggunaan asumsi yang masuk akal , atau hipotesis acak-oracle. …

32 cc.complexity-theory  complexity-classes  big-list  complexity-assumptions 

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 \neq coNPAAAAAAαα\alphaNP=coNPNP=coNPNP = coNP Diketahui …

32 approximation-hardness  conditional-results 

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 A⊆BA⊆BA\subseteq B , tidak didefinisikan secara unik) jika AAA adalah …

32 cc.complexity-theory  complexity-classes  big-list 

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 probabilitas dan membuktikan teorema dengan sangat mudah; sementara saya harus bekerja …

32 reference-request  big-list  pr.probability  books