Ilmu Komputer Teoritis

Terkandung di antara setiap tingkat hirarki polinomial adalah berbagai kelas kompleksitas, termasuk ΔPiΔiP\Delta_i^{\text{P}} , DPDP\text{DP} , BHkBHk\text{BH}_k , dan ΣPi∩ΠPiΣiP∩ΠiP\Sigma_i^\text{P} \cap \Pi_i^\text{P} . Karena kurangnya terminologi yang lebih baik, saya akan merujuk pada ini dan yang lainnya sebagai kelas menengah antara tingkat iii dan i+1i+1i+1 dalam hirarki polinomial. Untuk keperluan …

12 cc.complexity-theory  polynomial-hierarchy 

Apakah ada dalam antrian prioritas integer yang menggunakan kata-kata ruang dengan operasi berikut, semua dalam waktu terburuk dan tanpa akses ke keacakan:O(n)O(n)O(n) createEmptyQueuedi untuk beberapa konstanta c .O ( l gcU)O(lgcU)O(lg^c U)ccc insertdalam .O(1)O(1)O(1) deleteMinO(δmin)O(δmin)O(\delta_{\min})δminδmin\delta_{\min} Selanjutnya, setelah kunci dikenai a , semua sisipan lebih lanjut adalah .> kkkkdeleteMin>k>k> k Pekerjaan …

12 ds.data-structures 

Automata keadaan terbatas residual (RFSA, didefinisikan dalam [DLT02]) adalah NFA yang memiliki beberapa fitur bagus yang sama dengan DFA. Secara khusus, selalu ada RFSA berukuran minimum kanonik untuk setiap bahasa reguler, dan bahasa yang dikenali oleh setiap negara bagian dalam RFSA adalah residu, seperti halnya dalam DFA. Namun demikian, dimana …

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

Apa saja aplikasi konkret dan menarik untuk memperkirakan volume polyhedra cembung dari jenis yang dipertimbangkan dalam makalah yang lebih baru tentang metode berjalan acak? Makalah ini pada estimasi volume menyebutkan integrasi numerik sebagai satu motivasi. Apa contoh integral yang ingin dihitung orang dalam praktik yang sangat sulit dihitung menggunakan metode …

12 cg.comp-geom  na.numerical-analysis  markov-chains 

Saya memiliki otomat terbatas non-deterministik yang sangat besar dan saya perlu mengubahnya ke DFA. Secara umum saya maksudkan 40 000+ negara bagian. Sejauh ini saya telah melakukan beberapa percobaan dan memprogram algoritma default yang mencari melalui tabel (seperti dijelaskan di sini ), tetapi bahkan setelah optimasi cukup lambat dan sangat …

12 dfa 

Makalah ini memberikan bukti bahwa dalam permainan dengan pintu dan pelat penekan, sulit bagi PSPACE untuk menentukan apakah avatar (pemain) dapat mencapai lokasi tertentu. Ini dibuktikan dengan pengurangan dari TQBF , dan lamanya solusi yang dihasilkan tergantung secara eksponensial pada jumlah quantifiers universal dalam formula. Apakah ada pengurangan dari mesin …

12 reductions  nondeterminism  pspace 

Pertanyaan ini dimotivasi oleh postingan ini, Dapatkah Anda mengidentifikasi jumlah dari dua permutasi dalam waktu polinomial? , dan minat saya pada sifat komputasi permutasi. Sebuah perbedaan urutan dari permutasi π nomor 1 , 2 , ... n + 1 dibentuk dengan menemukan perbedaan antara setiap dua angka yang berdekatan dalam …

12 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

Ini adalah pertanyaan menarik yang saya temukan di web. Diberikan array yang berisi n angka (tanpa informasi tentangnya), kita harus memroses terlebih dahulu array dalam waktu linier sehingga kita dapat mengembalikan elemen terkecil k dalam waktu O (k), ketika kita diberi angka 1 <= k <= n Saya telah membahas …

12 sorting 

Saat ini saya sedang melakukan penelitian Bahasa Formal yang melibatkan kelas-kelas bahasa di atas Reguler tetapi di bawah Konteks Gratis. Saya melihat hal-hal seperti Mesin Multicounter Berbalik-Pembalikan, mesin penghitung tumpukan tunggal, CFL deterministik, dll. Saya ingin tahu apakah ada yang tahu buku bagus atau makalah survei yang menguraikan sifat-sifat bahasa …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd Entri Kebun Binatang untuk TC0TC0\mathsf{TC^0} hanya menyebutkan pemisahan antara kedalaman 2 dan 3. Juga adakah referensi standar untuk fakta bahwa AC0dACd0\mathsf{AC^0_d} hierarki tidak runtuh?

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

Diberikan permainan zero-sum informasi-informasi parsial deterministik dengan hanya banyak negara bagian, yang kemungkinan hasilnya adalah [kalah, seri, menang] masing-masing dengan nilai [-1,0, + 1], apa kompleksitas perkiraan nilai tersebut sebuah game secara aditif dalam ?ϵϵ\epsilon Secara khusus, saya tidak dapat menemukan algoritma apa pun untuk melakukan itu. Sisa dari pos …

12 cc.complexity-theory  gt.game-theory 

Apa hubungan antara dan ? Dengan kata lain, apakah masalah yang mengakui waktu pencarian polinomial lokal dapat diperkirakan? Apakah masalah optimisasi yang dapat diperkirakan menyiratkan algoritma pencarian lokal secara umum?PLSPLS\mathsf{PLS}APXAPX\mathsf{APX}

12 cc.complexity-theory  approximation-algorithms 

Analisis smoothed telah diterapkan berkali-kali untuk memahami runtime dari algoritma yang tepat untuk banyak masalah seperti pemrograman linier dan k-means. Ada hasil yang cukup umum di bidang ini, misalnya Heiko Röglin dan Berthold Vöcking, analisis Smoothing pemrograman integer , 2005. Beberapa hasil umum ini tampaknya mengandalkan lemma isolasi untuk menghasilkan …

12 cc.complexity-theory  approximation-algorithms  approximation-hardness  smoothed-analysis 

Saya mencari grafik kecil yang bilangan vektor kromatiknya lebih kecil dari angka kromatik, χ v ( G ) &lt; χ ( G ) .GGGχv(G)&lt;χ(G)χv(G)&lt;χ(G)\chi_v(G)<\chi(G) ( memiliki vektor berwarna jumlah q jika ada tugas x : V → R d , di mana intuitif vektor terkait dengan simpul tetangga terpisah jauh …

12 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  graph-colouring 

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