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...
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...
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...
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...
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....
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...
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...
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 ∈...
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...
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 (
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...