Ilmu Komputer

T&J untuk siswa, peneliti, dan praktisi ilmu komputer

2
Apakah menemukan solusi dari masalah kepuasan lebih sulit daripada memutuskan kepuasan?
Apakah masalah menentukan apakah ekspresi Boolean yang diberikan memuaskan secara komputasi berbeda dari benar-benar menemukan solusi untuk ekspresi? Dengan kata lain, adakah cara lain untuk menemukan bahwa ekspresi yang diberikan adalah memuaskan tanpa secara eksplisit menentukan 'pengaturan yang tepat' untuk variabel Boolean? Atau apakah semua bukti yang mungkin berkurang dalam …
1
Apakah ada masalah yang ada yang tidak bisa dipecahkan dengan oracle yang terhenti?
Saya mengerti bahwa sebagian besar masalah sepele jika tersedia oracle yang berhenti (atau, saya pikir setara, hiper-komputasi). Namun, menerapkan argumen yang menunjukkan Masalah Henti tidak mungkin untuk mesin Turing juga menunjukkan bahwa tidak mungkin bagi oracle Turing + untuk memutuskan Masalah Henti untuk oracle Turing +. Apakah ada contoh aktual, …
3
Mengapa kita tidak dapat membalik jawaban NDTM secara efisien?
Saya membaca beberapa kali bahwa tidak mungkin membalik jawaban NDTM secara efisien. Namun, saya tidak mengerti mengapa. Misalnya, mengingat NDTM yang berjalan di , teks ini (bagian 3.3) menyatakan bahwa tidak jelas bagaimana NDTM dapat menentukan dalam waktu cara membalikkan jawabanMMMO(n)O(n)O(n)TTTO(n100)O(n100)O(n^{100})MMM Masalah saya adalah sebagai berikut: NDTM menghasilkan jika ada …
2
DFA terkecil yang menerima string yang diberikan dan menolak string yang diberikan lainnya
Diberikan dua set A , BSEBUAH,BA,B string lebih dari alfabet ΣΣ\Sigma , dapatkah kita menghitung otomat kondisi-terbatas deterministik terkecil (DFA) M.M.M sehingga A ⊆ L ( M)SEBUAH⊆L.(M.)A \subseteq L(M) dan L ( M) ⊆ Σ∗∖ BL.(M.)⊆Σ∗∖BL(M) \subseteq \Sigma^*\setminus B ? Dengan kata lain, mewakili sekumpulan contoh positif. Setiap string dalam …
2
Alam semesta dalam teori tipe dependen
Saya membaca tentang teori tipe dependen dalam buku online Homotopy Type Theory . Di bagian 1.3 dari bab Type Theory , ia memperkenalkan gagasan tentang hierarki Semesta : , di manaU0:U1:U2:⋯U0:U1:U2:⋯\mathcal{U}_0 : \mathcal{U}_1 : \mathcal{U}_2 : \cdots setiap alam semesta adalah elemen dari alam semesta selanjutnya . Selain itu, kami …
2
Algoritma untuk menentukan apakah dua regex setara
Diberikan dua ekspresi reguler yang berubah-ubah, apakah ada algoritma "efisien" untuk menentukan apakah mereka cocok dengan rangkaian string yang sama? Secara lebih umum, dapatkah kita menghitung ukuran persimpangan dari dua set pertandingan? Algoritma apa yang ada untuk melakukan ini, dan kelas kompleksitas apa yang mereka tinggali? Jika kita melarang bintang …
1
Apa cara yang ringkas untuk merepresentasikan partisi dari set?
Ada struktur data yang efisien untuk mewakili sekumpulan partisi. Struktur data ini memiliki kompleksitas waktu yang baik untuk operasi seperti Union dan Find, tetapi mereka tidak terlalu efisien dalam ruang. Apa cara hemat-ruang untuk merepresentasikan partisi sekumpulan? Inilah satu titik awal yang memungkinkan: Saya tahu bahwa jumlah partisi set dengan …
1
Contoh ringkas biaya eksponensial inferensi tipe ML
Saya mendapat perhatian bahwa biaya inferensi jenis dalam bahasa fungsional seperti OCaml bisa sangat tinggi. Klaimnya adalah bahwa ada urutan ekspresi sehingga untuk setiap ekspresi, panjang jenis yang sesuai adalah eksponensial pada panjang ekspresi. Saya menyusun urutan di bawah ini. Pertanyaan saya adalah: apakah Anda tahu urutan dengan ekspresi yang …
2
Mengapa masalah keputusan umum digunakan dalam teori kompleksitas?
Dari Wikipedia : Jenis masalah komputasi: Masalah yang paling umum digunakan adalah masalah keputusan . Namun, kelas kompleksitas dapat didefinisikan berdasarkan masalah fungsi, masalah penghitungan, masalah optimisasi, masalah janji, dll. Saya juga melihat definisi NP-complete, NP-hard, NP, ..., didefinisikan untuk masalah keputusan saja. Saya bertanya-tanya mengapa demikian? Apakah itu karena …
2
Bisakah kita menunjukkan bahwa suatu bahasa tidak dapat dihitung secara komputasi dengan menunjukkan tidak ada verifikasinya?
Salah satu definisi himpunan enumerable komputabel (ce, setara dengan enumerable rekursif, setara dengan semidecidable) adalah sebagai berikut: V ⊆ Σ ∗ x ∈ Σ ∗A⊆Σ∗A⊆Σ∗A \subseteq \Sigma^* adalah ce iff ada bahasa yang dapat (disebut verifier) ​​st untuk semua ,V⊆Σ∗V⊆Σ∗V\subseteq \Sigma^*x∈Σ∗x∈Σ∗x\in \Sigma^* y ∈ Σ * ⟨ x , y …
2
Jika A memetakan dapat direduksi menjadi B maka komplemen dari A memetakan dapat direduksi menjadi komplemen B
Saya belajar untuk yang terakhir dalam teori komputasi, dan saya berjuang dengan cara yang tepat untuk menjawab apakah pernyataan ini benar atau salah. Dengan definisi dari kita dapat membangun pernyataan berikut,≤m≤m\leq_m w∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in B \rightarrow w \notin A \iff f(w) \notin B Di sinilah saya terjebak, …
3
Pengertian penghitungan yang efisien
Algoritma mesin Turing polinomial-waktu dianggap efisien jika run-time-nya, dalam kasus terburuk, dibatasi oleh fungsi polinomial dalam ukuran input. Saya mengetahui tesis kuat Gereja-Turing: Model perhitungan yang masuk akal dapat disimulasikan secara efisien pada mesin Turing Namun, saya tidak mengetahui teori yang kuat untuk menganalisis kompleksitas komputasi dari algoritma -calculus.λλ\lambda Apakah …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.