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...
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...
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
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,
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-...
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...
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 ∗...
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 , ⋯ , a m dan f wA=(Q,Γ,δ,F)A=(Q,Γ,δ,F)A=(Q, \Gamma, \delta, F)fafaf_aa∈Γa∈Γa\in...
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:...
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)
Apakah ada kerangka kerja / formalisme yang mendefinisikan model komputasi berdasarkan protein selain model DNA Adleman atau ini karya Cherry dan Qian
Untuk sementara saya ingin tahu tentang Mesin Turing dengan tepat satu pita dan tepat 3 status (yaitu status awal , status terima , dan status tolak ). Perhatikan bahwa saya membolehkan abjad pita yang terbatas (terbatas) (yaitu, alfabet pita tidak terbatas sama dengan alfabet masukan).q a c c e p...
Apa metode pendekatan Razborov? Bisakah seseorang memberikan ikhtisar tingkat tinggi dan intuisi di
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,...
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...
Pemecah SMT seperti Z3 atau Boolector menggunakan serangkaian heuristik yang kompleks untuk menyelesaikan masalah. Namun, ini juga membuat memprediksi kinerja pemecah masalah seperti itu sangat sulit. Pertanyaan saya adalah: Pertanyaan Apakah ada cara untuk memahami atau mendapatkan wawasan...
a , ba,ba, bminx , y> 0| Sebuahx- by|minx,y>0|ax−by| \min_{x, y > 0} |a^x - b^y| Di sini x , yx,yx, y adalah bilangan bulat. Jelas mengambil x = y= 0x=y=0x = y = 0 memberikan jawaban yang tidak menarik; secara umum seberapa dekat kekuatan ini bisa didapat? Juga, bagaimana kita dengan cepat...
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...
Diberikan fungsi Boolean , kita memiliki grup automorfisme .A u t ( f ) = { σ ∈ S n ∣ ∀ x , f ( σ ( x ) ) = f ( x ) }fffA u t ( f) = { σ∈ Sn ∣ ∀ x , f(σ(x))=f(x)}Aut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}Aut(f) = \{\sigma \in S_n\ \mid \forall x, f(\sigma(x)) = f(x) \} Apakah ada batasan yang diketahui pada ?...
Teorema Cantor menyatakan itu Untuk setiap himpunan A, himpunan semua himpunan bagian A memiliki kardinalitas yang lebih besar dari A itu sendiri. Apakah mungkin untuk menyandikan sesuatu seperti ini hanya menggunakan jenis / proposisi tanpa merujuk ke set ZFC? Kode atau pseudocode untuk...