Ilmu Komputer Teoritis

Apa interpretasi tipe-teoretik / ekuivalen dari Skolemisasi? Skolemisasi mengubah beberapa formula menjadi bentuk normal Skolem. Kedua formula itu sama-sama memuaskan. Atau, untuk mengatakannya dalam istilah tipe-teoretik: Ada program yang memiliki beberapa tipe jika ada program yang memiliki tipe ini dalam bentuk normal Skolem. Bagaimana hubungan program-program ini satu sama lain?

8 type-theory  curry-howard 

Pembentukan baru-baru ini dari hubunganb s ( f) = O ( s ( f)4)bs(f)=HAI(s(f)4)bs(f)=O(s(f)^4) melewati Gotsman, Linial . Bisakah pendekatan yang sama mencapai atau apakah ada batasan penting untuk pendekatan tersebut?O ( s ( f)2)HAI(s(f)2)O(s(f)^2)

8 cc.complexity-theory  boolean-functions 

Dalam OrderedPartitionmasalah, input adalah dua urutan nnn bilangan bulat positif, (ai)i∈[n](ai)i∈[n](a_i)_{i\in [n]} dan (bi)i∈[n](bi)i∈[n](b_i)_{i\in [n]} . Outputnya adalah partisi dari indeks [n][n][n] menjadi dua himpunan bagian terpisah, III dan JJJ , sehingga: ∑i∈Iai=∑j ∈ JSebuahsaya∑i∈Iai=∑j∈Jai\sum_{i\in I} a_i = \sum_{j\in J} a_i Untuk semua i ∈ Ii∈Ii\in I dan untuk semua …

8 np-hardness  partition-problem 

Pertimbangkan masalah optimasi cembung dalam formulir f0(x1,…,xn)fi(x1,…,xn)→min≤0,i=1,…,mf0(x1,…,xn)→minfi(x1,…,xn)≤0,i=1,…,m\begin{align} f_0(x_1, \ldots, x_n) &\to \min \\ f_i(x_1, \ldots, x_n) & \leq 0, \quad i = 1, \ldots, m \end{align} di mana f0,f1,…,fmf0,f1,…,fmf_0, f_1, \dots, f_m adalah fungsi cembung. Tanpa kehilangan keumuman, kita dapat mengasumsikan bahwa f0f0f_0 adalah linear. Nesterov dan Nemirovskii menyebutkan dalam …

8 convex-optimization  complexity 

Dalam dua pertanyaan berikut ini, Asal dan penerapan Teori A vs Teori B? dan aplikasi teori kategori Solid dalam TCS? , banyak orang berbagi pengetahuan dan pendapat mereka tentang pembagian dua area dalam CS teoritis. Saya seorang siswa dalam matematika dengan pengalaman di kedua teori grafik dan teori kategori, pengetahuan …

8 terminology  ho.history-overview  research-practice 

Dari Wikipedia : VPVP\mathsf{VP} : Kelas VP adalah analog aljabar dari P; itu adalah kelas polinomialfff derajat polinomial yang memiliki sirkuit ukuran polinomial atas lapangan tetapKKK . VNPVNP\mathsf{VNP} : Kelas VNP adalah analog dari NP. VNP dapat dianggap sebagai kelas polinomfff untuk tingkat polinom sedemikian sehingga dengan monomial kita dapat …

8 cc.complexity-theory  reference-request  quantum-computing  circuit-complexity 

The Cerny dugaan adalah pernyataan bahwa setiap sinkronisasi otomat dengan negara memiliki kata sinkronisasi panjang paling . Batas atas saat ini terbaik untuk panjang kata sinkronisasi adalah . Katakanlah dua negara digabung oleh sebuah kata jika kata itu membawa kedua negara ke kondisi yang sama. Argumen tipe lemma pemompaan menunjukkan …

8 fl.formal-languages  automata-theory  open-problem  dfa  synchronization 

Apakah ada sistem tipe, yang membatasi istilah lambda dengan istilah yang termasuk dalam kelas kompleksitas? Seperti istilah yang bisa diketik dalam teori secara ketat di dalam kelas kompleksitas? Atau apakah itu tidak mungkin sama sekali? Saya menemukan ada banyak studi tentang ekspresibilitas teori jenis, seperti terminasi, polinomial diperpanjang dll. Tapi …

8 complexity-classes  type-theory 

Ini adalah kebingungan referensi. Kadang-kadang saya melihat orang menggunakan istilah "bahasa logam komputasi Moggi" untuk merujuk pada kalkulus yang disajikan oleh Moggi, dan kadang-kadang ke "kalkulus lambda komputasi Moggi". Kadang-kadang mereka menggunakan λm lλml\lambda_{ml} dan kadang-kadang λcλc\lambda_c . Saya selalu berasumsi mereka berdua hal yang sama, tetapi membaca abstrak dari …

8 reference-request  typed-lambda-calculus  monad 

The Game kembar tiga didefinisikan oleh himpunan berhingga elemen XXX , dan multi-himpunan berhingga TTT mengandung kembar tiga elemen. Dua pemain bergiliran memilih elemen dari XXX sampai semua elemen diambil. Kemudian, skor setiap pemain adalah jumlah kembar tiga dari TTT di mana ia memiliki setidaknya 2 elemen. Argumen mencuri strategi …

8 gt.game-theory  combinatorial-game-theory 

Pertanyaan serupa ditanyakan sebelumnya, tetapi ada kesalahan di dalamnya sehingga dibiarkan tidak dijawab kelas Grafik dengan nomor berwarna mudah, tetapi pewarnaan NP-keras Apakah ada rangkaian grafik tak terbatas seperti:CCC Ada algoritma polinomial yang mengenali untuk setiap grafik apakah G milik CGGGGGGCCC Ada algoritma waktu polinomial yang menghitung bilangan kromatik untuk …

8 graph-theory  graph-algorithms 

Apakah ada hasil yang menunjukkan bahwa model (katakanlah SVM, Neural-Net, kNN, dll) akan mengalami kesulitan dalam mempelajari kejadian "langka" / fenomena ekor?

8 machine-learning  lg.learning  pac-learning 

Saat ini saya sedang menghadapi situasi yang saya tidak yakin bagaimana menanganinya. Pada dasarnya, ada masalah ini SEBUAHSEBUAHA . Masalah SEBUAHSEBUAHA telah menjadi topik hangat dalam 555 tahun terakhir. Tahun lalu, sebuah makalah diterbitkan dalam jurnal yang sangat terkemuka (Transaksi IEEE tentang Teori Informasi) yang mengusulkan algoritma baru yang terdiri …

8 soft-question  research-practice  conferences  journals 

Apakah ada protokol kriptografi yang, setidaknya secara teori (dan berdasarkan asumsi kriptografi standar) memungkinkan orang untuk memilih dengan aman dari rumah mereka? Saya dapat melihat bagaimana berbagai masalah dapat diatasi (seperti: mencegah orang memilih dua kali, menghasilkan bukti bahwa suara terdaftar sementara tidak mengungkapkan informasi tentang siapa suara itu) kecuali …

8 cr.crypto-security 

Masalah umum Misalkan kita memiliki fungsi polinomial multivariat , dan beberapa fungsi linear ℓ i ( x ) . Apa yang diketahui tentang kompleksitas penyelesaian masalah pengoptimalan berikut?f( x )f(x)f(\mathbf{x})ℓi(x)ℓi(x)\ell_i(\mathbf{x}) MaximizeSubject to: f(x)ℓi(x)≤0 for all iMaximizef(x)Subject to: ℓi(x)≤0 for all i\begin{align*} \text{Maximize} & \;\; f(\mathbf{x}) \\ \text{Subject to: } & …

8 cc.complexity-theory  complexity-classes  time-complexity  linear-programming  polynomials