Bahasa Critical SAT didefinisikan sebagai himpunan rumus boolean sedemikian rupa sehingga tetapi menghapus klausa apa pun dari membuatnya memuaskan. Diketahui bahwa SAT kritis adalah lengkap. Saya bertanya-tanya tentang varian berikut: diberi rumus , apakah ini kasus bahwa ada di dan bahwa ada...
Saya tertarik dengan masalah berikut. Diberikan grafik euler , kita harus menemukan partisi dari sisi-sisinya C 1 , C 2 , ... , C k ( ∪ i C i = E dan i ≠ j ↔ C i ∩ C j = ∅ ), sehingga setiap C i membentuk siklus sederhana dalam G dan k semaksimal
Saya mencari konsep dalam teori tipe yang saya yakin mungkin telah dieksplorasi, tetapi tidak tahu nama di baliknya. Mari kita pertimbangkan bahasa seperti ML dengan tipe produk dan jumlah dan sistem tipe seperti Hindley-Milner. Saya akan menggunakan sintaks OCaml. Saya bertanya-tanya tentang...
Misalkan . Kemudian argumen sederhana menunjukkan bahwa P H P P = N P . Bisakah kita melangkah lebih jauh dan mendapatkan P P P P = N P ? Argumen sederhananya adalahNP= PPNP=PPNP=PPPHPP= NPPHPP=NPPH^{PP}=NPPPPP= NPPPPP=NPPP^{PP}=NP Teorema Jika maka P H P P = N P .NP= PPNP=PPNP=PPPHPP=...
Dalam Computability, jika kita ingin membuktikan bahwa masalah tidak rekursif atau tidak dihitung secara rekursif, kita dapat menggunakan misalnya pengurangan dari masalah non-rekursif atau non-re lainnya, teorema Rice, teorema Rice-Shapiro, dll. Teknik-teknik ini bekerja berkat , atau secara...
Sebuah berjalan algoritma waktu untuk isomorfisma grup abelian mudah untuk melihat. Kemudian mengerjakan masalah ini pada tahun 2003, Vikas meningkatkan hasil dari waktu berjalan ke . Pada tahun 2007, Kavitha menunjukkan bahwa isomorfisma kelompok abelian dapat dilakukan dalam waktu linier yaitu...
Apa kompleksitas masalah kepuasan lokal untuk modal logika ? Di sini kita dilambangkan oleh I K 5 logika modal atas bingkai euclidean diperpanjang dengan modalitas terbalik. Bisakah Anda memberikan referensi? Apakah dalam N P ?I K 5IK5\mathit{IK5}sayaK5IK5IK5NPNPNP Apa yang saya ketahui tentang...
Mengingat Stephen Hawking meninggal hari ini, saya bertanya-tanya apakah ada hasilnya yang berdampak langsung pada cs? Calon yang jelas akan berada dalam komputasi kuantum, atau lebih tepatnya pembangunan komputer kuantum fisik, tetapi mungkin ada hasil yang memiliki dampak lain. Saya akrab...
The StreamMemo perpustakaan untuk Coq menggambarkan bagaimana memoize fungsi f : nat -> Amelalui nomor alami. Terutama saat f (S n) = g (f n), imemo_makeberbagi perhitungan panggilan rekursif. Misalkan alih-alih bilangan alami, kami ingin memoize fungsi rekursif atas pohon biner: Inductive...
Saya punya pertanyaan tentang subtyping di kertas "Sistem Efek untuk Efek dan Penangan Aljabar" . Saya bertanya-tanya mengapa tidak ada aturan subtyping untuk menambahkan efek di kedua sisi dari tipe handler, sesuatu seperti ini: T!A⇒R!B⩽T!(A∪C)⇒R!(B∪C)T!A⇒R!B⩽T!(A∪C)⇒R!(B∪C) \frac{ }{ T!A...
Pertimbangkan mesin (yaitu, algoritma probabilistik yang menggunakan logspace dan banyak bit acak secara polinomi). Diketahui (Saks-Zhou) bahwa .B PL.BPLBPLB PL ⊆ D SPA CE( L o g1.5( n ) )BPL.⊆DSPSEBUAHCE(lHaig1.5(n))BPL \subseteq DSPACE(log^{1.5}(n)) Pertanyaan saya adalah tentang mesin yang...
Pertimbangkan masalah set-persimpangan: Alice dan Bob masing-masing mendapatkan subset dari {1,…,n}{1,…,n}\left\{ 1,\ldots, n\right\} , dan mereka ingin tahu apakah set mereka berpotongan. Ini adalah masalah kanonik dari kompleksitas komunikasi, dan diketahui bahwa protokol acak untuk masalah ini...
Savický dan Woods (Jumlah Fungsi Boolean Dihitung dengan Rumus dari Ukuran yang Diberikan) membuktikan hasil berikut. Teorema [SW98]: Untuk setiap konstan , hampir semua fungsi boolean dengan kompleksitas rumus paling n k memiliki kompleksitas rangkaian setidaknya n k / k
Apakah ada di antara Anda yang tahu referensi untuk hasil berikut (secara mengejutkan membosankan untuk dibuktikan)? Diberikan graf planar terhubung dengan n simpul dan tepi n + t , ia memiliki pemisah simpul ukuran O ( √GGGnnnn + tn+tn+t.O ( t√+ 1 )O(t+1)O(
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...
Apakah ada hasil yang menunjukkan bahwa model (katakanlah SVM, Neural-Net, kNN, dll) akan mengalami kesulitan dalam mempelajari kejadian "langka" / fenomena ekor?
Pertimbangkan grafik berbobot dengan beberapa tepi merah. Kami tertarik untuk menemukan pencocokan sempurna, sehingga jumlah tepi merah rata, dan di bawah kendala sebelumnya, berat diminimalkan. Apakah masalah ini dapat diselesaikan dalam waktu polinomial? Bahkan untuk grafik bipartit? Bagaimana...
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...
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...
Pertimbangkan masalah-masalah berikut: Masalah Vektor Orthogonal Input: Satu set dari Boolean vektor masing-masing panjang .S SSn nnddd Pertanyaan: Apakah ada vektor berbeda dan sehingga ?v 1 v1v_1v 2 ∈ S v2∈Sv_2 \in Sv 1 ⋅ v 2 = 0v1⋅v2=0v_1 \cdot v_2 = 0 Masalah Vektor Non-Ortogonal...