Apa yang harus saya baca untuk memahami masalah ini? Kekuatan sirkuit kuantum kecil-kedalaman. Apakah ? Dengan kata lain, dapatkah bagian "kuantum" dari algoritma kuantum apa pun dikompres ke kedalaman polylog (n), asalkan kami bersedia melakukan postprocessing klasik waktu polinomial? (Ini...
Apakah naskah berikut tersedia untuk umum? Dana Scott, 1969, Sebuah teori fungsi yang dikomputasi dari tipe yang lebih tinggi . Catatan seminar yang tidak diterbitkan, 7 halaman, University of Oxford. Ada diskusi dari makalah ini di bagian 8.1.2, Jenis sebagai set , di Cardone & Hindley,...
Ada bukti teoretis bahwa konstruksi produk-kartesian naif untuk persimpangan DFA adalah "yang terbaik yang bisa kita lakukan". Bagaimana dengan gabungan dua DFA? Konstruksi sepele melibatkan konversi setiap DFA menjadi NFA, menambahkan transisi epsilon dan menentukan NFA yang dihasilkan. Bisakah...
Analisis kasus terburuk dan rata-rata adalah ukuran yang terkenal untuk kompleksitas suatu algoritma. Baru-baru ini analisis yang lebih lancar telah muncul sebagai paradigma lain untuk menjelaskan mengapa beberapa algoritma yang eksponensial dalam kasus terburuk bekerja dengan sangat baik dalam...
Apakah masalah berikut di PTIME, atau coNP-hard: Diberikan dua ekspresi Boolean dan dalam variabel , tanpa negasi (yaitu, ekspresi sepenuhnya dibangun melalui dan ). Putuskan apakah , yaitu mereka memiliki nilai yang sama untuk semua tugas ke variabel.e 2 x 1 , ... , x n ∧ ∨ e 1 ≡ e...
Latar Belakang Sebuah pohon keputusan biner TTT adalah pohon berakar di mana setiap node internal (dan akar) diberi label oleh indeks j∈{1,...,n}j∈{1,...,n}j \in \{1,..., n\} sedemikian sehingga tidak ada jalur dari root ke daun mengulangi indeks, daun diberi label oleh output di {A,B}{A,B}\{A,B\}...
Apakah ada kasus di mana publikasi tambahan dapat merusak catatan Anda? Ini menghindari kasus yang jelas di mana Anda mempublikasikan hasil yang salah, atau kontroversial. Juga menghindari kasus terbatas-waktu: Anda hanya memiliki begitu banyak waktu untuk berpikir dan menulis, sehingga menulis...
Saya mencari jawaban pasti untuk pertanyaan judul. Apakah ada seperangkat aturan yang menerjemahkan program apa pun ke dalam konfigurasi potongan terbatas di papan infinite, sehingga jika hitam dan putih hanya memainkan gerakan hukum, permainan berakhir pada waktu terbatas jika program...
Normalisasi yang lemah untuk kalkulus lambda yang diketik sederhana dapat dibuktikan (Turing) dengan induksi pada . Kalkulus lambda diperpanjang dengan rekursi pada bilangan asli (Gentzen) memiliki strategi normalisasi yang lemah dengan induksi pada .ω2ω2\omega^2ϵ0ϵ0\epsilon_0 Bagaimana dengan...
Saya mencari masalah yang termasuk ΣP2Σ2P\mathsf{\Sigma^P_2} dalam grafik umum tetapi dalam dalam grafik lebar pohon terbatas, Sebenarnya saya pikir masalah ini lebih sulit daripada menggunakan pemrograman dinamis normal dalam grafik terikat-treewidth untuk
Mengingat sebagian besar universitas di Amerika hanya menerima aplikasi hanya dalam satu bidang, saya mencoba mencari tahu apa kelebihan / kerugian dari penerapan program teori CS vs program matematika terapan mengingat minat seseorang terletak di suatu tempat di kedua departemen. Untuk lebih...
Hal ini juga diketahui bahwa dan K 3 , 3 dilarang anak di bawah umur untuk grafik planar. Ada ratusan anak di bawah umur yang terlarang untuk grafik yang dapat disematkan pada torus. Jumlah anak di bawah umur yang terlarang untuk grafik yang dapat disematkan pada permukaan genus g adalah fungsi...
Berapa jumlah minimal gerbang biner yang diperlukan untuk menghitung AND dan OR dari bit input secara bersamaan? Batas atas sepele adalah 2 n - 2 . Saya percaya ini optimal, tetapi bagaimana cara membuktikannya? Teknik eliminasi gerbang standar tidak berfungsi di sini karena dengan menetapkan...
Seperti diketahui, dekomposisi pohon pada grafik terdiri dari pohon dengan kantung terkait untuk setiap simpul , yang memenuhi kondisi berikut:T T v ⊆ V ( G ) v ∈ V ( T )GGGTTTTv⊆V(G)Tv⊆V(G)T_v \subseteq V(G)v∈V(T)v∈V(T)v \in V(T) Setiap simpul dari terjadi di beberapa kantong T .GGGTTT Untuk...
Saya mencoba untuk mengetahui bagaimana Path Graph menurut Algoritma Eppstein dalam makalah ini bekerja dan bagaimana saya dapat merekonstruksi jalur terpendek dari ke dengan konstruksi tumpukan yang sesuai .P(G)P(G)P(G)kkkssstttH(G)H(G)H(G) Sejauh ini: out(v)out(v)out(v) berisi semua tepi...
Ungkapan permutasi adalah ekstensi ke definisi tata bahasa bebas konteks standar (E) BNF: frase permutasi berisi produksi (atau setara, nonterminals) hingga . Pada posisi kalimat permutasi, kami ingin melihat setiap produksi ini tepat satu kali, tetapi kami tidak tertarik dengan pemesanan...
Dengan hasil klasik Kuroda, kelas kompleksitas NSPACE [ ]nnn (juga dikenal sebagai NLIN-SPACE) adalah kelas CSL dari bahasa yang peka konteks . Masalah kepuasan SAT ada di NSPACE [ ], karena perkiraan ukuran linier untuk solusi dapat diperiksa dengan paling banyak jumlah linier overhead untuk...
Saya tertarik dengan masalah ini: Diberi grafik tidak terarah , Apakah ada partisi ke dalam grafik dan sedemikian sehingga dan isomorfis?G G 1 ( E 1 , V 1 ) G 2 ( E 2 , V 2 ) G 1 G 2G(E,V)G(E,V)G(E, V)GGGG1(E1,V1)G1(E1,V1)G_1(E_1, V_1)G2(E2,V2)G2(E2,V2)G_2(E_2, V_2)G1G1G_1G2G2G_2 Di sini dipartisi...
Saya tidak bekerja dalam teori, tetapi pekerjaan saya membutuhkan membaca (dan memahami) makalah teori sesekali. Setelah saya memahami (set) hasil, saya membahas hasil ini dengan orang-orang yang bekerja dengan saya, yang sebagian besar tidak bekerja secara teori juga. Selama salah satu diskusi...
Saya bertanya-tanya apakah masalah yang waktu sublinear (dalam ukuran input) algoritma yang ada dapat dicirikan memiliki sifat-sifat tertentu. Ini termasuk waktu sublinear (mis. Pengujian properti, gagasan alternatif perkiraan untuk masalah keputusan), ruang sublinear (mis. Algoritma sketsa /...