Ilmu Komputer Teoritis

Setelah keberhasilan yang lebih baru dan lebih baru dari jaringan saraf dalam bermain game papan, orang merasa bahwa tujuan berikutnya yang kita tetapkan bisa menjadi sesuatu yang lebih berguna daripada mengalahkan manusia di Starcraft. Lebih tepatnya, saya bertanya-tanya apakah Dapatkah jaringan saraf dilatih untuk memecahkan masalah algoritmik klasik? Di sini …

9 cc.complexity-theory  ds.algorithms  machine-learning  ne.neural-evol 

Saya diberi grafik dengan treewidth dan derajat sewenang-wenang, dan saya ingin menemukan subgraf dari (belum tentu merupakan subgraf yang diinduksi) sedemikian rupa sehingga memiliki derajat yang konstan dan treewidth-nya setinggi mungkin. Secara resmi masalah saya adalah sebagai berikut: telah memilih derajat terikat , apa fungsi "terbaik" sedemikian rupa sehingga, dalam …

9 co.combinatorics  treewidth  graph-minor  bounded-degree 

Saya mencari daftar masalah optimasi NP-hard, di mana ada penelitian aktif dalam heuristik praktis untuk menyelesaikannya dan ada tolok ukur umum, yang coba dikalahkan orang. Contohnya termasuk: Rekonstruksi pohon filogenetik (heuristik misalnya di sini ) Penjual keliling (tidak begitu aktif, tetapi LKH cukup terkenal) Lebih khusus lagi, saya mencari bidang …

9 heuristics 

Apakah ada kerangka kerja / formalisme yang mendefinisikan model komputasi berdasarkan protein selain model DNA Adleman atau ini karya Cherry dan Qian ?

9 reference-request  machine-models 

Apa metode pendekatan Razborov? Bisakah seseorang memberikan ikhtisar tingkat tinggi dan intuisi di baliknya?

9 cc.complexity-theory  circuit-complexity 

Mengingat lengkap DFA , kita dapat mendefinisikan kumpulan fungsi f suatu untuk setiap satu ∈ Γ dan dengan f a : Q → Q , f a ( q ) = δ ( q , a ) . Kita dapat menggeneralisasikan gagasan ini ke kata w = a 1 , …

9 automata-theory  regular-language  monoid 

Waktu quasi-polinomial, atau QP, adalah kelas kompleksitas pada mesin Turing deterministik. Berikut adalah definisi yang tepat: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Sedangkan βP adalah kelas kompleksitas nondeterminisme terbatas. Berikut adalah definisi yang tepat: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap Sangat mudah untuk melihat bahwa setiap mesin βP dapat disimulasikan oleh mesin QP, yaitu, βP QP.⊆⊆\subseteq Tapi apakah kita punya …

9 cc.complexity-theory  complexity-classes 

Biarkan menjadi alfabet terbatas. Sebuah kode X lebih Σ adalah himpunan bagian dari Σ * sehingga setiap kata dalam X * dapat direpresentasikan unik sebagai gabungan dari kata-kata dalam X . Kode X adalah terbatas jika | X | terbatas. Apa yang diketahui tentang (minimal) automata yang mengenali X ∗ …

9 automata-theory 

Mengingat generator yang kuat untuk kelompok bertindak atas bitstrings panjang n dan unsur s ∈ { 0 , 1 } n , seberapa sulit untuk menghitung unsur leksikografi minimal G . s , orbit s di G ?(G≤Sn,∗)(G≤Sn,∗)(G \leq S_n, *)nnns∈{0,1}ns∈{0,1}ns \in \{0, 1\}^nG.sG.sG.ssssGGG

9 permutations  gr.group-theory  complexity 

Untuk bahasa tetap pada beberapa alfabet , mari kita pertimbangkan masalah berikut, yang saya sebut -INTERLEAVING :A LL.LLSEBUAHAAL.LL Input: dua katau , v ∈ A∗u,v∈A∗u, v \in A^* Output: apakah ada suatu interleaving dari dan yang di .v LkamuuuvvvL.LL Di sini, interleaving dua kata dan adalah kata yang dapat diperoleh …

9 cc.complexity-theory  reference-request  regular-language 

Biarkan menjadi kelas kompleksitas dan BP- C menjadi mitra acak dari didefinisikan dengan cara yang sama dengan didefinisikan sehubungan dengan . Lebih formal kami memberikan banyak bit acak polinomi dan kami menerima input jika probabilitas untuk menerima lebih dari .CC\mathcal{C}BP- CBP-C\textrm{BP-}\mathcal{C}CC\mathcal{C}BPPBPP\textrm{BPP}PP\textrm{P}2323\frac{2}{3} Dalam posting sebelumnya , saya bertanya apakah diketahui apakah …

9 circuit-complexity  randomized-algorithms  derandomization 

Pertanyaan saya adalah tentang teorema 4.1 dan 4.2 dalam "Teori Kompleksitas Geometris V" . Teorema pertama menyatakan bahwa ada algoritma EXPSPACE untuk membangun hsop untuk (lihat definisi dalam makalah) pada (pada bidang aljabar tertutup yang tertutup dari karakteristik nol ).Δ[det,m]Δ[det,m]\Delta[\text{det},m]CC\mathbb{C} Yang kedua menyediakan algoritma Monte-Carlo poli-waktu probabilistik untuk masalah yang …

9 gct 

Apakah ada yang dikenal sejumlah transendental dihitung seperti itu yang nnn digit th adalah dihitung dalam waktu polinomial, tapi tidak di O(n)HAI(n)O(n) ?

9 cc.complexity-theory  comp-number-theory 

Saya menemukan sebuah artikel yang diterbitkan di Science "Memcomputing masalah NP-lengkap dalam waktu polinomial menggunakan sumber daya polinomial dan negara kolektif" , yang membuat beberapa klaim yang cukup mencengangkan. Memcomputing adalah paradigma komputasi non-Turing baru yang menggunakan sel memori yang berinteraksi (memprocessors) untuk menyimpan dan memproses informasi pada platform fisik …

9 np-complete  open-problem 

Biarkan menjadi alfabet ukuran , dan pertimbangkan DFA minimal yang ukurannya dibatasi paling banyak . Misalkan menunjukkan jumlah DFA minimal yang berbeda.2 m f ( m )ΣΣ\Sigma222mmmf( m )f(m)f(m) Bisakah kita menemukan rumus bentuk tertutup untuk ?f( m )f(m)f(m) Menimbang bahwa untuk fungsi transisi dari DFA ukuran paling banyak adalah …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa