Ilmu Komputer Teoritis

Saya menemukan buku Pairwise Independence and Derandomization pada subjek, tetapi lebih berorientasi pada penelitian daripada berorientasi pada tutorial. Saya baru mengenal subjek "Derandomisasi," dan karena itu, saya ingin tahu referensi mana yang harus dimulai? Saya lebih suka yang membahas literatur dan sejarah, serta rincian teknis.

17 cc.complexity-theory  derandomization  randomized-algorithms 

Telah diketahui bahwa kumpulan bahasa yang memiliki sistem bukti interaktif dua-verver, di mana verifier berjalan dalam polinomial-time (MIP), adalah NEXP. Tetapi adakah batas yang diketahui tentang kekuatan bukti interaktif seperti itu ketika kaum proversi dibatasi kekuasaannya? Misalnya, apa kelas bahasa yang menerima bukti interaktif duaverver dengan prover waktu polinomial? Lebih …

17 cc.complexity-theory  interactive-proofs 

Biarkan menjadi CCC . Mari menjadi bifunctor produk pada . Karena Cat adalah CCC, kita dapat menjilat :CCC(×)(×)(\times)CCC(×)(×)(\times) curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B Kategori memiliki struktur monoid biasa. C⇒CC⇒CC \Rightarrow C Sebuah monoid di adalah monad di . C⇒CC⇒CC …

17 functional-programming  pl.programming-languages  ct.category-theory 

Biarkan dan pertimbangkan masalah keputusan0≤p≤10≤p≤10\le p\le 1 CLIQUE Input: integer , grafik dengan simpul dan edge Pertanyaan: apakah G berisi klik pada sekurang-kurangnya simpul s ?pp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Sebuah instance dari CLIQUE berisi proporsi dari semua kemungkinan edge. Jelas, CLIQUE mudah untuk beberapa nilai . CLIQUE hanya berisi …

17 cc.complexity-theory  np  parameterized-complexity  clique 

Quantum Computation adalah bidang penelitian aktif yang bertujuan untuk mengambil keuntungan dari fisika kuantum (misalnya keterikatan kuantum) untuk memajukan kemampuan efisiensi komputer (tidak mengubah tesis Church-Turing ). Apa eksperimen paling signifikan yang telah dilakukan untuk menunjukkan teori komputasi kuantum (seperti qubit dan teleportasi)?

17 reference-request  quantum-computing 

Biasanya, algoritma yang efisien memiliki runtime polinomial dan ruang solusi yang besar secara eksponensial. Ini berarti bahwa masalahnya harus mudah dalam dua pengertian: pertama, masalah dapat diselesaikan dalam sejumlah langkah polinomial, dan kedua, ruang solusi harus sangat terstruktur karena runtime hanya polylogarithmic dalam jumlah solusi yang mungkin. Namun, kadang-kadang kedua …

17 cc.complexity-theory 

Misalkan Anda diberi grafik yang terhubung, sederhana, tidak berarah H. Masalah pemotongan bebas-H didefinisikan sebagai berikut: Diberikan grafik sederhana, tidak terarah G, adakah potongan (partisi simpul menjadi dua set non-kosong, L, R) sedemikian rupa sehingga grafik yang diinduksi oleh set-potong (L dan R) keduanya tidak mengandung subgraph isomorfik ke H …

17 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Saya menyadari setidaknya dua pendekatan teoretis yang berbeda untuk memahami basis data relasional: aljabar / kalkulus relasional Codd, dan teori kategori. Apakah ada hubungan antara kedua pendekatan ini? Apakah mereka dalam beberapa hal setara? Apakah ada pekerjaan pendahuluan yang menjelaskan bagaimana kedua kerangka kerja ini menjelaskan basis data relasional? Latar …

17 reference-request  ct.category-theory  db.databases  relational-structures 

Latar Belakang . Saya seorang mahasiswa sarjana yang tertarik dalam penelitian yang berkaitan dengan teori kategori, monad dan Haskell, dan saya ingin mencari topik untuk tesis sarjana saya di bidang itu. Saya telah melihat kertas Eugenio Moggi , " Pengertian Komputasi dan Monad ", 1991, dan saya belum mengerti banyak …

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

Beberapa pekerjaan pada sensitivitas vs sensitivitas blok telah ditujukan untuk memeriksa fungsi dengan kesenjangan sebesar mungkin antara s(f)s(f)s(f) dan bs(f)bs(f)bs(f) untuk menyelesaikan dugaan bahwa bs(f)bs(f)bs(f) hanya lebih besar secara polinomi dari s(f)s(f)s(f) . Bagaimana dengan arah yang berlawanan? Apa yang diketahui tentang fungsi di mana s(f)=bs(f)s(f)=bs(f)s(f) = bs(f) ? Sepele, …

17 circuit-complexity  boolean-functions 

Baru-baru ini saya menemukan konstruksi teoretis yang cukup menarik. Mesin Gödel disebut Ini adalah pemecah masalah umum yang mampu melakukan optimasi diri. Ini cocok untuk lingkungan yang reaktif. Seperti yang saya mengerti, ini dapat diimplementasikan sebagai program untuk mesin Turing universal, meskipun persyaratannya jauh melampaui perangkat keras yang saat ini …

17 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

Saya memiliki dua partisi [1…n][1…n][1 \ldots n] dan saya mencari jarak sunting di antara mereka. Dengan ini, saya ingin menemukan jumlah minimal satu transisi dari sebuah node ke grup yang berbeda yang perlu beralih dari partisi A ke partisi B. Misalnya jarak dari {0 1} {2 3} {4}ke {0} {1} …

17 ds.algorithms  edit-distance  lattice 

Dalam "paragraf terakhir" dari "halaman pertama" dari makalah berikut: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "Jika NP Memiliki Sirkuit Ukuran Polinomial, maka MA = AM," Ilmu Komputer Teoretis, 1995. Saya menemukan klaim yang agak kontra-intuitif: (ΣP2∩ΠP2)NP=ΣP3∩ΠP3(Σ2P∩Π2P)NP=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} = \Sigma^P_3 \cap \Pi^P_3 Saya pikir …

17 cc.complexity-theory  complexity-classes 

Algoritma hashing kata sandi yang umum digunakan bekerja seperti ini hari ini: Garam kata sandi dan beri makan ke dalam KDF. Misalnya, menggunakan PBKDF2-HMAC-SHA1, proses hashing kata sandi adalah DK = PBKDF2(HMAC, Password, Salt, ...). Karena HMAC adalah hashing 2 putaran dengan kunci empuk, dan SHA1 serangkaian permutasi, shift, rotasi, …

16 np-hardness  cr.crypto-security  np-complete  security 

Kami tahu (untuk saat ini sekitar 40 tahun, terima Adleman, Bennet dan Gill) bahwa masuknya BPP P / poli, dan bahkan lebih kuat BPP / poli P / poli ditahan. "/ Poli" berarti bahwa kita bekerja secara tidak seragam (sirkuit terpisah untuk setiap panjang input ), sementara P tanpa "/ …

16 cc.complexity-theory  circuit-complexity  machine-learning  derandomization