Pertanyaan yang diberi tag «lower-bounds»

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 tShallsayatSplitJo i nJHaisayanJoinO ( 1 )HAI(1)\mathcal{O}(1) …

14 ds.data-structures  big-list  lower-bounds  time-complexity 

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 } : intuitif, sebuah CFG …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

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 #SAT?FFFFFF

14 cc.complexity-theory  lower-bounds  sat  counting-complexity 

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 A C 0 )?TC0TC0\mathsf{TC^0}AC0AC0\mathsf{AC^0} Atau apakah ada kendala yang melekat untuk menggunakan …

13 cc.complexity-theory  circuit-complexity  lower-bounds  boolean-functions 

Ada beberapa bukti untuk batas bawah loglinear untuk elemen keunikan / masalah perbedaan (berdasarkan pohon perhitungan aljabar atau argumen permusuhan), tapi saya mencari satu yang cukup sederhana untuk digunakan dalam kursus pertama dalam analisis dan desain algoritma. "Tingkat kesulitan" yang sama dengan batas bawah untuk penyortiran akan baik-baik saja. Juga, …

13 cc.complexity-theory  lower-bounds  proofs 

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 bahwa setiap pemisah harus berukuran Ω …

13 reference-request  cg.comp-geom  lower-bounds 

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 menyatakan jawaban atas masalah penghentian untuk semua dari mesin Turing, dengan asumsi bahwa status saran dapat …

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

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)( + …

12 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

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 …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

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, 2010). Atau teknik apa pun selain permainan? Sunting …

12 sat  lower-bounds  combinatorial-game-theory 

SebuahaabbbSebuahaabbbSebuahaabbbO ( m logm logcatatanm )O(mlog⁡mlog⁡log⁡m)O(m\log m\log\log m)mmmΩ ( m log m log log m )max{a,b}max{a,b}\max\{a,b\}Ω(mlogmloglogm)Ω(mlog⁡mlog⁡log⁡m)\Omega(m\log m\log\log m) batas bawah dari masalah ini? Terima kasih dan salam, dan maaf jika ini pertanyaan naif.

12 time-complexity  lower-bounds  nt.number-theory  primes 

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 (lihat antara lain Alon Boppana, 1987), tetapi jika sebuah grafik memiliki …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

Apa masalah standar yang dapat kita kurangi untuk membuktikan batas bawah?Ω ( n logn )Ω(nlog⁡n)\Omega(n\log n) Tentu saja, nyatakan masalah selain penyortiran dan perbedaan elemen.

12 cc.complexity-theory  lower-bounds 

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 perbaikan sedikit subkubis dengan bermain dengan ukuran kata (seperti untuk 3SUM …

12 graph-theory  cg.comp-geom  lower-bounds 

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 PUSH dilakukan terlebih dahulu, diikuti oleh semua operasi POP. Seberapa efisien …

12 ds.algorithms  ds.data-structures  lower-bounds  time-complexity  sorting