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
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...
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...
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 ′ = ( V ′ , E ′ ) GG = ( V, E)G=(V,E)G=(V,E)| E′| ≤3 | V′|...
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...
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...
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...
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...
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...
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...
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...
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...
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:...
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...
Apakah NP dalam DTIME(npolylogn)DTIME(npolylogn)DTIME(n^{poly\log n})
Saya tertarik jika ada artikel eksposisi yang bagus atau survei yang dapat saya rujuk ketika saya menulis tentang operator kelas kompleksitas : operator yang mengubah kelas kompleksitas dengan melakukan hal-hal seperti menambahkan quantifiers ke dalamnya. Contoh operator Berikut ini dapat...
Saya mencoba memahami kompleksitas fungsi yang dapat diekspresikan melalui ambang pintu dan ini membawa saya ke . Secara khusus, saya tertarik dengan apa yang saat ini diketahui tentang pembelajaran di dalam T C 0 , karena saya bukan ahli di bidang ini.TC0TC0\mathsf{TC}^0TC0TC0\mathsf{TC}^0 Apa...
Mohon maaf jika ini adalah pertanyaan yang terlalu luas untuk forum ini, tapi saya tertarik pada taktik dan tip spesifik yang digunakan peneliti (dalam TCS) untuk menulis pengantar makalah penelitian.
Saya mengajar kursus tentang struktur data dan akan mencakup pohon splay awal minggu depan. Saya telah membaca makalah tentang hamparan pohon berkali-kali dan saya akrab dengan analisis dan intuisi di balik struktur data. Namun, saya tidak bisa menemukan intuisi yang kuat untuk fungsi potensial...
Kami mengatakan bahwa NFA adalah Konstanta Ambigu jika ada sehingga setiap kata diterima oleh atau (persis) jalur .MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Jika automaton secara konstan ambigu untuk , maka disebut Unambiguous FA (UFA).MMMk=1k=1k=1MMM Biarkan menjadi bahasa...