Ada pekerjaan luar biasa yang dilakukan pada Permanen yang terjadi selama dua dekade terakhir. Saya telah bertanya-tanya untuk sementara waktu tentang kemungkinan algoritma Smooth P untuk Permanen Matriks Nonnegatif. Tentu saja ada algoritma JSV yang terkenal tetapi ini adalah fpras. Berpikir...
Saya diberikan sebagai masukan DAG dari simpul dimana setiap simpul adalah tambahan label dengan beberapa .GGGnnnxxxS(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} Jenis topologi dari adalah suatu penambangan dari simpul ke sedemikian rupa sehingga untuk semua , , jika ada jalur dari ke...
Adakah cara alami untuk memahami esensi semantik relasional untuk polimorfisme parametrik? Saya baru saja mulai membaca tentang pengertian parametrisitas relasional, "Jenis, Abstraksi, dan Polimorfisme Parametrik" ala John Reynolds, dan saya mengalami kesulitan memahami bagaimana semantik...
Ada studi tentang algoritma perkiraan untuk masalah lengkap NP dalam waktu Polinomial dan algoritma yang tepat dalam waktu eksponensial. Apakah ada studi tentang algoritma perkiraan untuk masalah lengkap NP dalam waktu subeksponensial dari formulir mana ? δ 2 ∈ ( 0 , 1
Ini ditulis dalam entri wiki dari Eksekusi Simbolik , tetapi saya tidak dapat menemukan referensi untuk itu. Adakah yang bisa menunjukkan saya pointer? Terima
Upaya verifikasi kompiler seringkali dilakukan untuk membuktikan bahwa kompiler sepenuhnya abstrak: kompiler itu mempertahankan dan mencerminkan kesetaraan (kontekstual). Alih-alih memberikan bukti abstraksi penuh, beberapa pekerjaan verifikasi kompiler terbaru (berdasarkan kategori) oleh Hasegawa...
Grafik isomorfisma ( ) adalah calon yang baik untuk N P masalah -intermediate. N P masalah -intermediate ada kecuali P = N P . Saya mencari masalah alam yang sulit untuk G Aku di bawah pengurangan Karp (A masalah grafik X sehingga G Saya < m p X
Salah satu cara untuk menunjukkan bahwa memeriksa kelayakan sistem linear ketidaksetaraan sama sulitnya dengan pemrograman linear adalah melalui pengurangan yang diberikan oleh metode ellipsoid. Cara yang lebih mudah adalah menebak solusi optimal dan memperkenalkannya sebagai kendala melalui...
Ketika kita diberi dekomposisi pohon dari grafik dengan lebar , ada beberapa cara di mana kita dapat membuatnya "bagus". Secara khusus, diketahui bahwa adalah mungkin untuk mengubahnya menjadi dekomposisi pohon di mana pohon itu biner dan tingginya adalah . Ini dapat dicapai sambil menjaga lebar...
Kami mengatakan bahwa Mesin Turing adalah fana jika M berhenti untuk setiap konfigurasi awal (khususnya, konten rekaman dan keadaan awal dapat arbitrer). Apakah setiap bahasa rekursif dikenali oleh Mesin Turing fana? (yaitu jika ada TM yang menerima L , ada juga TM fana yang menerimaMMMMMMLLL...
Ada banyak situasi di mana "bukti" acak jauh lebih mudah daripada bukti deterministik, contoh kanonik adalah pengujian identitas polinomial. Pertanyaan : Apakah ada "teorema" matematika alamiah di mana bukti acak diketahui tetapi bukti deterministik tidak? Dengan "bukti acak" dari pernyataan PPP...
Pertanyaan pendek. Apa kekuatan komputasi dari sirkuit "kuantum", jika kita mengizinkan gerbang non-kesatuan (tapi masih tidak dapat dibalik), dan membutuhkan output untuk memberikan jawaban yang benar dengan pasti? Pertanyaan ini dalam arti tentang apa yang terjadi pada kelas EQPEQP\mathsf{EQP}...
Saya ingin meminta saran untuk teks yang bagus yang memperkenalkan kompleksitas rangkaian. Petunjuk apa pun untuk kemajuan terkini dan masalah terbuka di bidang ini juga akan
Salah satu masalah terbuka yang menarik tentang DFA yang terdaftar di Apakah ada masalah terbuka yang tersisa tentang DFA? adalah ukuran DFA yang diperlukan untuk memisahkan dua string panjang nnn . Saya ingin tahu apakah ada hasil tentang kemampuan DFA acak untuk memisahkan dua string (nonrandom)...
Daripada bukti empiris, dengan prinsip formal apa kita telah membuktikan bahwa komputasi kuantum akan lebih cepat daripada komputasi tradisional /
Apa yang terjadi jika kita mendefinisikan P P A DPPAD{\bf PPAD} sehingga bukan sirkuit polytime Turing-mesin / polysize, sebuah logspace Turing-mesin atau A C 0AC0{\bf AC^0} sirkuit mengkodekan masalah? Baru-baru ini memberikan algoritma cepat untuk Circuit satisfiability untuk sirkuit kecil...
Setiap rangkaian aritmatika monoton , yaitu sirkuit , menghitung beberapa polinomial F multivariat ( x 1 , … , x n ) dengan koefisien integer nonnegatif. Diberi polinom f ( x 1 , … , x n ) , sirkuit{+,×}{+,×}\{+,\times\}F(x1,…,xn)F(x1,…,xn)F(x_1,\ldots,x_n)f(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n)...
FewP adalah kelas N PNPNP -masalah dengan polinom terikat pada jumlah solusi (dalam ukuran input). Tidak ada dikenal N PNPNP masalah -Lengkap di f e w PfewPfewP . Saya tertarik pada seberapa jauh kita dapat memperluas pengamatan ini. Apakah ada alam N PNPNP masalah -Lengkap dengan...
Pertanyaan ini juga telah diposting di Math.SE, /math/1002540/fixed-points-in-computability-nd-logic Saya harap tidak apa-apa untuk memposting di sini. Jika tidak, atau terlalu mendasar untuk CS.SE, tolong beri tahu saya dan saya akan menghapusnya. Saya ingin lebih memahami hubungan antara...
Sekitar setahun yang lalu, seorang teman dan saya memikirkan cara untuk mengimplementasikan algoritma Kruskal untuk grafik padat di lebih baik daripada terikat biasa (tanpa mengasumsikan tepi pre-sortir). Secara khusus, kami mencapai dalam semua kasus, mirip dengan Prim ketika diimplementasikan...