Ilmu Komputer Teoritis

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 saya maksudkan itu Ada algoritma acak yang mengambil input …

15 lo.logic  randomness  randomized-algorithms  proofs 

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 )LLL

15 computability 

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 dekomposisi paling banyak . (Lihat …

15 treewidth  parameterized-complexity  fixed-parameter-tractable  cliquewidth 

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 pencarian biner. Kedua pengurangan ini polinomial, tetapi tidak sangat polinomial (yaitu mereka bergantung …

15 ds.algorithms  linear-programming 

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 &lt; m p X ).GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI&lt;mpXGI&lt;pmXGI <_p^m …

15 cc.complexity-theory  graph-theory  graph-isomorphism  np-intermediate 

Ini ditulis dalam entri wiki dari Eksekusi Simbolik , tetapi saya tidak dapat menemukan referensi untuk itu. Adakah yang bisa menunjukkan saya pointer? Terima kasih.

15 reference-request  lo.logic  program-analysis 

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 )2nδ22nδ22^{n^{\delta_2}}δ2∈(0,1)δ2∈(0,1)\delta_2\in(0,1) Saya terutama tertarik pada apa yang …

15 approximation-algorithms  approximation-hardness 

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 tentang pekerjaan lain dalam Smoothed Complexity, petunjuk kuat berada …

15 cc.complexity-theory  complexity-classes 

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 dalam maka . Saya ingin memutuskan apakah ada semacam …

15 sorting  directed-acyclic-graph  partial-order  matching  order-theory 

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 [ 1 , 2 ] dan Egger et. Al. [ 3 ] membuktikan kelengkapan lengkap berbagai terjemahan CPS. …

15 pl.programming-languages  ct.category-theory  semantics  denotational-semantics  program-verification 

Diketahui bahwa meminimalkan ukuran ekspresi reguler adalah PSPACE-complete bahkan jika kita memiliki DFA sebagai spesifikasi bahasa . Apa hasil jika bahasanya terbatas? Satu dapat mempertimbangkan masalah ini dalam dua model: Input adalah semua string dalam bahasa, dan kami mengukur ukuran input dengan jumlah panjang semua string. Input adalah DFA, dan …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

Saya berharap bahwa seseorang mungkin dapat menjelaskan kepada saya mengapa masalah subset produk sangat NP-hard sedangkan masalah subset sum lemah NP-hard. Subset Sum: Mengingat dan T , tidak terdapat subset X ' sehingga Σ i ∈ X ' x i = T .X={x1,...,xn}X={x1,...,xn}X = \{x_1,...,x_n\}TTTX′X′X'∑i∈X′xi=T∑i∈X′xi=T\sum_{i\in X'}x_i = T Subset Produk: …

15 cc.complexity-theory  np-hardness  reductions  subset-sum 

Latar Belakang Memori eksternal, atau model DAM, menentukan biaya suatu algoritma dengan jumlah I / Os yang dimilikinya (pada dasarnya, jumlah cache yang hilang). Waktu berjalan ini umumnya diberikan dalam hal , ukuran memori, dan B , jumlah kata yang dapat ditransfer ke memori pada satu waktu. Kadang-kadang L dan …

15 ds.algorithms  ds.data-structures  cache-oblivious 

Pertanyaan ini adalah tentang logika proposisional dan semua kejadian "resolusi" harus dibaca sebagai "resolusi proposisional". Pertanyaan ini adalah sesuatu yang sangat mendasar tetapi telah mengganggu saya untuk sementara waktu. Saya melihat orang-orang menyatakan bahwa resolusi proposisional sudah lengkap tetapi saya juga melihat orang-orang menyatakan bahwa resolusi itu tidak lengkap. Saya …

15 lo.logic  terminology  proof-complexity  proof-theory  resolution 

Jika Anda melihat kombinator rekursif dalam lambda-kalkulus yang tidak diketik, seperti kombinator Y atau kombinator omega: Jelas bahwa semua kombinator ini akhirnya menduplikasi suatu variabel dalam definisi mereka.ωY==( λ x .xx )( λ x .xx )λ f.( λ x .f( xx ) )( λ x .f( xx ) )ω=(λx.xx)(λx.xx)Y=λf.(λx.f(xx))(λx.f(xx)) \begin{array}{lcl} …

15 lo.logic  pl.programming-languages  linear-logic