Ilmu Komputer Teoritis

Teorema hierarki adalah alat mendasar. Sejumlah besar dari mereka dikumpulkan dalam pertanyaan sebelumnya (lihat Apa hierarki dan / atau teorema hierarki yang Anda ketahui? ). Beberapa pemisahan kelas kompleksitas langsung mengikuti dari teorema hierarki. Contoh pemisahan yang sangat dikenal: L≠PSPACEL≠PSPACEL\neq PSPACE , P≠EXPP≠EXPP\neq EXP , NP≠NEXPNP≠NEXPNP\neq NEXP , PSPACE≠EXPSPACEPSPACE≠EXPSPACEPSPACE\neq EXPSPACE. …

16 cc.complexity-theory  complexity-classes  hierarchy-theorems 

Sebuah penutup tepi adalah bagian dari tepi grafik sehingga setiap titik dari grafik berdekatan dengan setidaknya satu tepi penutup. Dua makalah berikut mengatakan bahwa menghitung penutup tepi adalah #P -lengkap : FPTAS Sederhana untuk Menghitung Penutup Tepi dan Menghasilkan Tepi Tepi dari Grafik Jalur . Namun, kecuali saya melewatkan sesuatu, …

16 reference-request  graph-algorithms  counting-complexity  proofs 

Ketika kita melihat buku, Homotopy Type Theory - kita melihat topik-topik berikut: Homotopy type theory 2.1 Types are higher groupoids 2.2 Functions are functors 2.3 Type families are fibrations 2.4 Homotopies and equivalences 2.5 The higher groupoid structure of type formers 2.6 Cartesian product types 2.7 S-types 2.8 The unit …

16 type-systems 

Saya mencari masalah yang dikenal sebagai NPC untuk grafik terarah tetapi memiliki algoritma polinomial untuk grafik tidak berarah. Saya telah melihat pertanyaan mengenai hal lain di sekitar sini masalah "Sutradara" yang lebih mudah daripada varian "tidak terarah " mereka , tetapi saya mencari kekerasan di sisi yang diarahkan. Sebagai contoh, …

16 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms  np-hardness 

Finite Automatons (UFA) yang tidak ambigu adalah tipe khusus dari finite automatons (NFA) non-deterministik. NFA disebut tidak ambigu jika setiap kata memiliki paling banyak satu jalur penerimaan.w ∈ Σ∗w∈Σ∗w\in \Sigma^* Ini berarti .D FA ⊂ UFA ⊂ NFSEBUAHDFSEBUAH⊂UFSEBUAH⊂NFSEBUAHDFA\subset UFA\subset NFA Hasil otomat terkait yang diketahui: Minimalisasi NFA adalah PSPACE-Complete. Minimalisasi …

16 cc.complexity-theory  fl.formal-languages  automata-theory  regular-language 

Hanya ada sedikit informasi yang dapat saya temukan pada masalah NP-lengkap untuk menyelesaikan persamaan linear diophantine dalam bilangan bulat non-negatif. Artinya, apakah ada solusi dalam non-negatif dengan persamaan , di mana semua konstanta positif? Satu-satunya penyebutan penting dari masalah ini yang saya ketahui adalah dalam Teori Pemrograman Linear dan Integer …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity 

Gower baru-baru ini menguraikan masalah, yang ia sebut "penentuan determinasi Borel," yang solusinya terkait dengan membuktikan batas bawah sirkuit. Dapatkah Anda memberikan ringkasan dari pendekatan yang disesuaikan dengan audiens yang terdiri dari para ahli teori kompleksitas? Apa yang diperlukan untuk pendekatan ini untuk membuktikan sesuatu , termasuk membuktikan kembali batas …

16 cc.complexity-theory  p-vs-np 

Dalam makalah Suatu Algoritma Efisien untuk Grafik Isomorfisme oleh Corneil dan Gotlieb, 1970 sebuah dugaan dinyatakan di mana algoritma yang dinyatakan diandalkan untuk menyelesaikan GI dalam waktu polinomial. Yaitu: bahwa grafik yang representatif menunjukkan partisi automorfisme dari grafik yang diberikan Jelas, dugaan ini tidak terbukti sampai sekarang (kalau tidak kita …

16 graph-isomorphism  automorphism 

Saya ditawari untuk mengajar program sekolah menengah TCS baru, yang membutuhkan penyusunan kurikulum. Saya ingin sekali mendengar pendapat dan saran mengenai hal ini. Pertama, apakah ada yang tahu sekolah menengah di mana program TCS telah diajarkan dengan sukses (atau tidak berhasil)? Idenya adalah untuk program 3 tahun (kelas 10-12, usia …

16 teaching 

Sebuah makalah baru keluar mengklaim algoritma kuasi-polinomial untuk Logaritma Diskrit. http://arxiv.org/abs/1306.4244 Jika benar, apakah itu berarti kita tidak lagi memiliki pemisahan eksponensial dalam kompleksitas algoritma klasik dan versi kuantumnya untuk masalah logaritma diskrit? Apakah ini memiliki implikasi untuk teori kompleksitas kuantum?

16 cc.complexity-theory 

Setiap planar , masing-masing, outerplanar graph memenuhi , masing-masing, , untuk setiap subgraf dari . Juga, grafik planar (luar) dapat dikenali dalam waktu polinomial.| E ′ | ≤ 3 | V ′ | - 6 | E ′ | ≤ 2 | V ′ | - 3 G ′ = …

16 reference-request  graph-theory  graph-algorithms 

Saya bertanya-tanya, apakah ada makalah atau penelitian yang berhubungan dengan automata yang terlihat jelas, tetapi membiarkan kata-kata, daripada huruf tunggal, untuk didorong ke tumpukan. Bergantian, konstruksi yang memungkinkan untuk simbol harus didorong pada -transitions bisa mencapai tujuan yang sama.ϵϵ\epsilon Jelas, variasi seperti itu dapat dibentuk, tapi saya bertanya-tanya apakah itu …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

Pertanyaan ini mungkin berada di garis batas antara on-topic dan off-topic, namun saya telah melihat pertanyaan serupa di sini, oleh karena itu saya akan menanyakannya. Saya menerapkan pemecah unik -SAT, yang inputnya adalah rumus -CNF memiliki paling banyak tugas yang memuaskan. Untuk menguji perilakunya yang praktis, saya memerlukan seperangkat formula …

16 sat 

n×nn×nn\times nlog2(n)log2⁡(n)\log^2(n)1111 / poly∥A∥≤1‖A‖≤1\left\|A\right\|\leq 11/poly1/poly1/\text{poly} Dalam hal ini, apa yang akan menjadi perkiraan "benar" untuk meminta - multiplikatif atau aditif? (lihat salah satu jawaban di bawah).

16 determinant  cc.complexity-theory 

Mari kita berasumsi bahwa . N P I adalah kelas masalah dalam N P yang tidak dalam P atau dalam N P -hard. Anda dapat menemukan daftar masalah yang diduga sebagai N P I di sini .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Teorema Ladner memberitahu kita bahwa jika maka ada hierarki tak terbatas …

16 cc.complexity-theory  np-hardness  np-intermediate