Ketinggian bintang (yang digeneralisasikan) dari suatu bahasa adalah bersarang minimum dari bintang-bintang Kleene yang diperlukan untuk mewakili bahasa dengan suatu ekspresi reguler yang diperluas. Ingatlah bahwa ekspresi reguler yang diperluas menggunakan alfabet terbatas memenuhi yang...
Telah diketahui secara umum bahwa tidak ada protokol dua pihak deterministik yang dapat menyelesaikan masalah disjointness (DISJ) pada input bit tanpa mengirim bit dalam kasus terburuk (lihat, misalnya, buku oleh Kushilevitz dan Nisan). Untuk protokol acak terbatas kesalahan, batas bawah , untuk...
Pertimbangkan pertanyaan alami berikut: Dengan bahasa terbatas , apa yang menghasilkan tata bahasa L terkecil yang bebas konteks ?L.L.LL.L.L Kita bisa membuat pertanyaan yang lebih menarik dengan menentukan urutan bahasa , misalnya L n adalah himpunan semua permutasi dari { 1 , ... , n } :...
Razborov membuktikan bahwa pencocokan fungsi monoton tidak dalam mP . Tetapi bisakah kita menghitung pencocokan menggunakan sirkuit ukuran polinomial dengan beberapa negasi? Apakah ada sirkuit P / poli dengan negasi yang menghitung pencocokan? Apa trade-off antara jumlah negasi dan ukuran untuk...
Apakah hasil diketahui yang mengesampingkan keberadaan struktur data "terlalu-baik-untuk-menjadi-benar"? Misalnya: dapatkah seseorang menambahkan fungsi dan J o i n ke dalam struktur data pemeliharaan pesanan (lihat Dietz dan Sleator STOC '87 ) dan masih mendapatkan operasi waktu O ( 1 ) ?Sp l i...
Masalah #SAT adalah masalah # -p diselesaikan kanonik. Ini masalah fungsi daripada masalah keputusan. Ia bertanya, diberi rumus boolean dalam logika proposisional, berapa banyak tugas memuaskan yang F miliki. Apa batas bawah terbaik di
Polinomial simetris dasar - k S n k ( x 1 , … , x n ) adalah jumlah dari semua produk dari variabel yang berbeda. Saya tertarik pada kompleksitas rangkaian aritmatika monoton dari polinomial ini. Algoritma pemrograman dinamis sederhana (serta Gambar 1 di bawah) memberikan sirkuit dengan gerbang O...
Ada sejumlah masalah dalam teori representasi kombinatorial dan geometri aljabar yang tidak diketahui rumus positifnya. Ada beberapa contoh yang saya pikirkan, tetapi biarkan saya mengambil perhitungan koefisien Kronecker sebagai contoh saya. Biasanya, pengertian "formula positif" tidak...
Ada beberapa terkenal hasil ukuran sirkuit yang lebih rendah-bound berdasarkan pembatasan acak dan Switching Lemma .AC0AC0\mathsf{AC^0} Bisakah kita mengembangkan hasil Lema Switching untuk membuktikan ukuran yang lebih rendah terikat untuk sirkuit (mirip dengan bukti yang lebih rendah-bound untuk...
Sangat mudah untuk memverifikasi bahwa dengan grid d dimensi dari titik integer , dengan kedekatan reguler, orang dapat menemukan pemisah ukuran n d - 1 (cukup pilih sembarang hyperplane tengah, dan hapus semua simpulnya). Juga tidak terlalu sulit (tapi jelas tidak langsung) untuk memverifikasi...
Masalah penghentian diketahui tidak dapat diperhitungkan. Namun, dimungkinkan untuk secara "kompres" informasi secara eksponensial tentang masalah penghentian, sehingga pengompresannya dapat dihitung. Lebih tepatnya, adalah mungkin untuk menghitung dari deskripsi mesin Turing dan saran bit...
Misalkan menunjukkan ukuran minimum dari hitung aritmatika (non-monoton) ( + , × , - ) yang menghitung polinomial multinear f yang diberikan ( x 1 , … , x n ) = ∑ e ∈ E c e n ∏ i = 1 x e i iA ( f)A(f)A(f)( + , × , - )(+,×,−)(+,\times,-) Dan B ( f ) menunjukkan ukuran minimum dari (non-monoton)...
SebuahaabbbSebuahaabbbSebuahaabbbO ( m logm logcatatanm )O(mlogmloglogm)O(m\log m\log\log m)mmmΩ ( m log m log log m )max{a,b}max{a,b}\max\{a,b\}Ω(mlogmloglogm)Ω(mlogmloglogm)\Omega(m\log m\log\log m) batas bawah dari masalah ini? Terima kasih dan salam, dan maaf jika ini pertanyaan...
Bagaimana seseorang menunjukkan bahwa properti tertentu tidak dapat dinyatakan dalam 2-CNF (2-SAT)? Apakah ada game, seperti game kerikil? Tampaknya game kerikil hitam klasik dan game kerikil hitam-putih tidak cocok untuk ini (mereka PSPACE lengkap, menurut Hertel dan Pitassi, SIAM J of Computing,...
Pertanyaan ini terinspirasi oleh pertanyaan yang ada tentang apakah stack dapat disimulasikan menggunakan dua antrian dalam waktu diamortisasi per operasi stack. Jawabannya sepertinya tidak diketahui. Berikut adalah pertanyaan yang lebih spesifik, terkait dengan kasus khusus di mana semua operasi...
Berat |x||x||x|dari string biner x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n adalah jumlah yang ada dalam string. Apa yang terjadi jika kita tertarik untuk menghitung fungsi monoton pada input dengan sedikit? Kita tahu bahwa memutuskan apakah sebuah grafik memiliki kkk -clique sulit untuk rangkaian monoton...
Ini dimaksudkan sebagai pertanyaan lanjutan terhadap pos Robin Kothari sebelumnya tentang hasil kekerasan waktu polinomial . Secara khusus, saya tertarik melihat beberapa bukti kekerasan untuk masalah yang diyakini memiliki kira-kira batas bawah, dan saya katakan secara kasar untuk memungkinkan...
Apa masalah standar yang dapat kita kurangi untuk membuktikan batas bawah?Ω ( n logn )Ω(nlogn)\Omega(n\log n) Tentu saja, nyatakan masalah selain penyortiran dan perbedaan elemen.
pada tahun 1979 Hopcroft / Ullman menulis bahwa L ⊆ P ⊆ NP ⊆ PSpace diketahui tetapi L ⊊ PSpace adalah satu-satunya penahanan yang tepat (& sepele) yang diketahui meskipun semua dikira sebagai penahanan yang tepat, dan "di mana keadaan masih ada" ~ 4 dekade kemudian . sejak itu apakah ada...
Ini adalah tindak lanjut dari pertanyaan saya sebelumnya: Kompleksitas waktu deterministik yang diketahui paling baik untuk masalah alami dalam NP Saya merasa bingung bahwa kami belum dapat membuktikan waktu deterministik kuadratik lebih rendah untuk masalah NP yang menarik yang orang pedulikan...