Saya mencoba menyelubungi konsep-konsep tipe universal dan eksistensial tetapi di mana pun saya melihat, saya melihat intuisi logis atau operasional (atau implementasi) (misalnya buku TAPL oleh B. Pierce), yang, yah ... bagus , tapi saya ingin melihat definisi (di mana kita melihatnya sebagai set)...
Saya percaya jawaban untuk pertanyaan ini memberikan kelas sedemikian rupa sehingga untuk semua polinomial , ada masalah di kelas yang tidak memiliki sirkuit ukuran p ( n ) . Namun, saya bertanya tentang ukuran sirkuit ωphalpp(n)hal(n)p(n) .ω(n)ω(n)\omega \hspace{.02
Diberi bahasa reguler pada alfabet , otomat deterministik minimalnya dapat dilihat sebagai multigraf terhubung langsung dengan out-degree konstandan kondisi awal yang ditandai (dengan melupakan label transisi, status akhir). Kami menjaga keadaan awal karena setiap titik harus dapat diakses...
Algoritma Brzozowski untuk mengubah DFA menjadi DFA minimum-state yang ekuivalen sangat sederhana: jika menunjukkan NFA yang dibentuk dengan membalik semua tepi dalam DFA D , menjadikan state awal yang lama sebagai negara penerima, dan menjadikan yang lama menerima negara mulai negara, dan jika P (...
Apakah automata linear terikat kunjungan terbatas terikat hanya mengenali bahasa biasa? Dengan otomaton linear terikat nondeterministik (nLBA) yang saya maksud adalah mesin Turing nondeterministik single-tape di mana input datang "empuk" dengan endmarker di kedua ujungnya yang tidak pernah dapat...
Mengingat tetap diarahkan grafik (digraf) , yang -coloring masalah keputusan menanyakan apakah digraph masukan memiliki homomorfisma untuk . (A homomorfisme ke adalah pemetaan dari ke yang mempertahankan busur, yaitu, jika adalah busur , maka adalah busur dari )D G V ( G ) V ( D ) u v G f ( u ) f (...
Wikipedia [1] menyatakan bahwa batas bawah paling dikenal untuk ukuran bukti Frege adalah kuadratik, dan bahwa tidak ada batas bawah superlinear yang diketahui untuk jumlah garis bukti Frege. Pertanyaan: 1) Apa batas bawah paling dikenal untuk jumlah garis bukti Frege diperpanjang? 2) Apa...
Saya saat ini mahasiswa tingkat dua yang tertarik dengan TCS. Baru-baru ini saya agak terganggu oleh kesulitan masuk ke program PhD di masa depan karena seleksi memang sangat kompetitif. Saya melihat-lihat halaman web dari beberapa sekolah CS terkemuka dan menemukan bahwa sebagian besar mahasiswa...
Ini adalah tindak lanjut dari perhitungan deterministik yang tidak deterministik . Apakah masuk akal bahwa nondeterminisme (atau lebih umum pergantian) akan memungkinkan percepatan kuadratik umum dari perhitungan deterministik? Atau adakah konsekuensi tidak masuk akal yang diketahui untuk...
Saya telah memikirkan pertanyaan berikut pada berbagai waktu sejak saya melihat pertanyaan tentang Kriptografi ini . Pertanyaan Biarkan menjadi hubungan TFNP . Dapatkah oracle acak membantu P / poli untuk memecahkan R dengan probabilitas yang tidak dapat diabaikan? Lebih
Ada sebuah makalah yang bagus dari tahun 1991 yang berisi tiga diagram tentang keluarga grafclass berbeda yang menunjukkan apa yang diketahui tentang kekerasan menentukan indeks kromatik untuk mereka. Apakah ada berita sejak saat itu tentang ini? Saya paling tertarik dengan apa yang diketahui...
Saya seorang ahli teori homotopy, tertarik pada ilmu komputer. Saya ingin bertanya aplikasi apa yang menarik dari aljabar homotopikal (kategori model, kategori tak terhingga, kategori sederhana, dll) dalam ilmu komputer
Saya ingin meminta bantuan dari para peneliti yang melakukan penelitian di bidang pencarian pohon. Bisakah Anda menulis daftar makalah yang harus dibaca dan makalah terbaru yang penting untuk dibaca jika saya ingin menulis makalah tentang pohon pencarian. Saya pribadi memiliki daftar makalah...
Fungsi rekursif primitif didefinisikan lebih dari bilangan asli. Namun, sepertinya konsep tersebut harus digeneralisasi ke tipe data lain, memungkinkan seseorang untuk berbicara tentang fungsi rekursif primitif yang memetakan daftar ke pohon biner, misalnya. Dengan analogi, fungsi rekursif parsial...
Misalkan adalah distribusi yang seragam di atas bit, dan misalkan menjadi distribusi di atas bit di mana bit tersebut independen dan setiap bit adalah dengan probabilitas . Benarkah jarak statistik antara dan adalah , ketika ?n D n 1 1 / 2 - ε D U Ω ( ε
Elementary Affine Logic adalah sistem tipe yang menangkap kelas istilah-λ yang dapat dikurangi dalam waktu dasar. Selain itu, istilah EAL-typeable dapat dikurangi menggunakan fragmen abstrak dari algoritma Lamping, yang sangat menarik bagi saya karena saya sedang mengeksplorasi kombinator interaksi...
Makalah SODA 2 halaman Kalai memberikan algoritma yang sederhana dan efisien untuk pencocokan pola dengan tidak peduli (wildcard yang cocok dengan satu karakter). Intinya, semudah berbelit-belit. Tetapi apa yang terjadi jika kita mencari beberapa pola dengan tidak peduli? Bisakah kita masih...
Gagasan algoritma distilasi berikut berasal dari "Pada Masalah Tanpa Kernel Polinomial". Biarkan bahasa diberikan. Sebuah algoritma destilasi untuk L mengambil daftar yang diberikan string masukan { x i } i ∈ [ t ] dan menghitung output string yang y sehingga:L.LLL.LL{ xsaya}i ∈ [ t...
Biarkan menjadi bahasa, dan mendefinisikan f L : A * × A * → { 0 , 1 } oleh f L ( x , y ) = 1 jika dan hanya jika x ⋅ y ∈ L . Saya mencari referensi untuk:L⊆A∗L⊆A∗L \subseteq A^*fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\}fL(x,y)=1fL(x,y)=1f_L(x, y) = 1x⋅y∈Lx⋅y∈Lx\cdot y \in...
Kami memiliki masalah dan kami menemukan algoritma yang nampak sebagai 2-nexptime. Saya ingin menemukan masalah 2-nexptime-complete yang diketahui untuk menemukan batas bawah. Saya menemukan dalam literatur terutama dua masalah seperti itu: apakah PCP sebagai solusi ukuran kurang dari...