Dalam jawabannya untuk pertanyaan ini , Stephane Gimenez menunjuk saya ke algoritma normalisasi waktu polinomial untuk bukti dalam logika linier. Buktinya dalam makalah Girard menggunakan jaring bukti, yang merupakan aspek dari logika linier yang sebenarnya saya tidak tahu banyak tentang...
Saya telah menemukan ketidaksepakatan yang membingungkan antara Agda dan Coq yang tidak jelas terkait dengan perbedaan yang paling dikenal antara teori tipenya (misalnya, (im) predicativity, induksi rekursi, dll). Secara khusus, definisi berikut diterima oleh Agda: data Ty : Set0 -> Set0...
Ada reputasi, bahwa dalam ilmu komputer, kita tidak memiliki buku-buku sains populer. Tentu saja itu tidak sepenuhnya benar! (Dalam semangat yang sama dari daftar Apa Books Haruskah Semua orang Baca? , Apa kertas yang harus semua orang membaca? , Apa video harus semua orang menonton? Dan...
Saya tahu bahwa itu tidak dapat diputuskan untuk menentukan apakah satu set ubin dapat ubin pesawat, hasil dari Berger menggunakan ubin Wang . Pertanyaan saya adalah apakah diketahui juga tidak dapat diputuskan untuk menentukan apakah ubin tunggal yang diberikan dapat ubin pesawat, ubin monohedral...
Saya kira saya membaca terlalu banyak makalah KoRR yang ambisius . Masalahnya adalah bahwa kertas-kertas itu tidak ditinjau oleh rekan, tetapi sering terdengar menarik dan lulus pemeriksaan masuk akal dasar. Atau mungkin tidak, dan saya hanya perlu meningkatkan pemeriksaan masuk akal saya. Berikut...
Saya mencoba memahami hubungan antara isomorfisme grafik dan masalah subkelompok tersembunyi. Apakah ada referensi yang bagus untuk
Subhash Khot 's Unik Permainan Dugaan merupakan salah satu daerah penelitian aktif dalam teori kompleksitas. Bukti apa yang kita miliki untuk itu? Bukti apa yang kita miliki
Jika saya memiliki satu set batasan linier di mana setiap kendala memiliki paling banyak (katakanlah) 4 variabel (semua nonnegatif dan dengan koefisien {0,1} kecuali untuk satu variabel yang dapat memiliki koefisien -1), apa yang diketahui tentang solusi ruang? Saya kurang peduli dengan solusi yang...
(Saya memposting pertanyaan ini ke MathOverflow dua minggu lalu, tetapi sejauh ini tanpa jawaban yang ketat) Saya memiliki pertanyaan tentang ukuran lebar grafik dari grafik sederhana yang tidak diarahkan. Sudah diketahui bahwa cographs (grafik yang dapat dibangun dengan operasi disjoint union dan...
Posting diperbarui pada tanggal 31 Agustus : Saya menambahkan ringkasan jawaban saat ini di bawah pertanyaan awal. Terima kasih atas semua jawaban yang menarik! Tentu saja, semua orang dapat terus memposting temuan baru. Untuk kelompok grafik mana terdapat algoritma waktu polinomial untuk...
Diberikan adalah dag. Anda ingin memberi label pada setiap node dengan berapa banyak node yang dapat dijangkau darinya. adalah batas atas sepele; Ω ( V + E ) adalah batas bawah (saya pikir). Apakah ada algoritma yang lebih baik? Adakah alasan untuk percaya bahwa batas bawah dapat ditingkatkan...
Pertanyaan ini terkait dengan jawaban yang saya posting sebagai tanggapan terhadap pertanyaan lain. Masalah 3-partisi adalah masalah berikut: Instance : Positif bilangan bulat a 1 , ..., sebuah n , di mana n = 3m dan jumlah dari n bilangan bulat sama dengan mB, sehingga masing-masing i memenuhi B...
Lebar pohon mengukur seberapa dekat grafik dengan pohon. NP-hard untuk menghitung lebar pohon. Algoritma pendekatan yang paling dikenal mencapai faktor .O ( log n----√)HAI(logn)O(\sqrt{{\log}n}) Teorema Courcelle menyatakan bahwa setiap properti grafik yang dapat didefinisikan dalam logika orde...
Apa yang diketahui tentang kompleksitas menemukan rangkaian minimal yang menghitung SAT hingga panjang ? nnn Secara lebih formal: apa kerumitan fungsi yang, diberi sebagai input, menghasilkan rangkaian minimal C sedemikian rupa sehingga untuk setiap rumus φ dengan | φ | ≤ n ,...
Dalam survei "Sirkuit Kuantum Kedalaman Kecil" oleh D. Bera, F. Green dan S. Homer (hlm. 36 dari ACM SIGACT News, Juni 2007, vol. 38, no. 2) , saya membaca kalimat berikut: Versi klasik (di mana gerbang dan memiliki fanout paling konstan) terbukti lebih lemah dari .Q A
Langkah pertama dari algoritma pengujian primality AKS adalah untuk memeriksa apakah nomor input adalah kekuatan yang sempurna. Tampaknya ini adalah fakta yang terkenal dalam teori bilangan karena makalah ini tidak menjelaskannya secara terperinci. Dapatkah seseorang memberi tahu saya bagaimana...
Mungkin aplikasi yang paling umum dari tipe linear dalam PL adalah menggunakannya untuk memberikan bahasa yang mengontrol aliasing (yaitu, nilai linier memiliki satu pointer ke sana, lebih atau kurang). Tetapi ada sedikit ketidakcocokan antara penggunaan ini dan model denotasional khas dari...
Untuk A⊂[n]A⊂[n]A\subset [n] dilambangkan dengan aiaia_i yang ithithi^{th} elemen terkecilAAA . Untuk dua set elemen kkk , A,B⊂[n]A,B⊂[n]A,B\subset [n] , kita mengatakan bahwa A≤BA≤BA\le B jika ai≤biai≤bia_i\le b_i untuk setiap iii . Sebuah kkk -uniform hipergraf H⊂[n]H⊂[n]{\mathcal H}\subset [n]...
Di mana saya dapat menemukan grafik yang relevan dengan masalah kehidupan nyata? Dua repositori yang saya tahu adalah: Koleksi Matriks Universitas Florida TreewidthLib dari
Komputer kuantum sangat baik untuk distribusi sampel yang kita tidak tahu bagaimana sampel menggunakan komputer klasik. Sebagai contoh jika f adalah fungsi Boolean (dari hingga ) yang dapat dihitung dalam waktu polinomial maka dengan komputer kuantum kita dapat secara efisien sampel sesuai dengan...