Ilmu Komputer Teoritis

Stratego adalah bahasa transformasi pemrograman / Menulis Ulang DSL. Anthony Sloane telah melakukan beberapa pekerjaan melakukan implementasi yang berjalan di Scala . Apa batas teoritis Stratego sebagai bahasa fungsional? (terlepas dari implementasi). Bisakah seseorang menulis ycombinator pesanan aplikatif di Stratego?

10 functional-programming 

Contoh varian -lengkap dari set yang tidak dapat ditentukan:NPNPNP Masalah Berhenti Terikat = { | Mesin NTM M berhenti dan menerima x dalam langkah t }(M,x,1t)(M,x,1t)(M, x, 1^t)MMMxxxttt Ubin Terikat = { | ada ubin dari persegi luas t 2 oleh ubin dari T }(T,1t)(T,1t)(T, 1^t)t2t2t^2TTT Korespondensi Post Bounded Problem …

10 cc.complexity-theory  np-hardness 

Sebuah sistem bintang adalah keluarga n himpunan bagian dari n-elemen set . Sebuah sistem bintang adalah grafis jika ada beberapa graph sehingga adalah keluarga dari lingkungan vertex di . Ini lengkap untuk memutuskan apakah sistem bintang yang diberikan adalah grafis.FFFSSSG ( V, E)G(V,E)G(V,E)FFFGGGNPNPNP Apa kejadian minimum dari setiap elemen sehingga …

10 cc.complexity-theory  np-hardness 

Apakah kita memiliki kelas kompleksitas sehubungan dengan, katakanlah, kompleksitas kasus rata-rata? Sebagai contoh, apakah ada kelas kompleksitas (bernama) untuk masalah yang membutuhkan waktu polinomial yang diharapkan untuk memutuskan? Pertanyaan lain mempertimbangkan kompleksitas kasus terbaik , dicontohkan di bawah ini: Apakah ada kelas masalah (alami) yang keputusannya membutuhkan setidaknya waktu eksponensial? …

10 cc.complexity-theory  complexity-classes 

Saya tertarik pada contoh individual "sulit" masalah NP-lengkap. Ryan Williams membahas masalah SAT0 di blog Richard Lipton . SAT0 bertanya apakah instance SAT memiliki solusi spesifik yang terdiri dari semua 0. Ini membuat saya berpikir tentang membangun instance SAT yang cenderung "sulit". Pertimbangkan instance SAT dengan klausa dan variabel , …

10 cc.complexity-theory  sat  hard-instances 

Dengan BPP / linear saya merujuk ke mesin BPP dengan saran linier, yang memenuhi janji ketika diberi saran "benar", dan derandomisasi harus memberi kita, katakanlah, algoritma P / linear atau (SUBEXP / linear). Jika kita menggunakan asumsi yang tidak seragam, saya pikir hasil klasik akan berhasil, karena kita bisa "menipu" …

10 cc.complexity-theory  derandomization  advice-and-nonuniformity 

Hai Semua, Saya saat ini mencoba untuk menemukan topik tesis master yang solid yang berkaitan dengan beberapa cabang teori automata atau terkait dengan bahasa formal. Saya mencoba untuk menghasilkan beberapa ide bagus untuk topik yang dapat diterima, sesuatu yang ambisius tetapi sesuatu yang bisa dilakukan pada saat yang bersamaan. Setiap …

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

Bahasa bebas konteks deterministik (DCFL) dan bahasa pushdown tampak (VPL) keduanya set bahasa formal antara bahasa bebas konteks (CFL) dan bahasa biasa (REG). Apakah ada notasi yang dapat dibaca yang dapat diekspresikan dalam ASCII sederhana seperti Backus-Naur-Form untuk CFL dan ekspresi reguler untuk REG?

10 fl.formal-languages 

Dalam SODA 1995 , Jeff Erickson menunjukkan batas yang lebih rendah untuk kepuasan linear (memeriksa apakah beberapa subset dari bilangan real memenuhi persamaan linear pada variabel r ). Metode pembuktian menggunakan infinitesimal dan prinsip transfer Tarski .rrrnnnrrr Bisakah seseorang menjelaskan intuisi di balik rute yang diambil untuk membuktikan ikatan ini? …

10 cg.comp-geom  lower-bounds  algebraic-complexity 

Sangat mudah untuk melihat bahwa untuk setiap ada pemetaan 1-1 dari {0,1} ke {0,1} sedemikian rupa sehingga untuk setiap vektor adalah "seimbang", yaitu memiliki jumlah 1s dan 0s yang sama. Apakah mungkin untuk mendefinisikan sehingga diberikannnnFFFnn^nn+O(logn)n+O(log⁡n)^{n+O(\log n)}xxxF(x)F(x)F(x)FFFxxx kita dapat menghitung F(x)F(x)F(x) efisien? Terima kasih.

10 ds.algorithms  ds.data-structures  encoding 

Tunjukkan fungsi yang dapat dikonstruksi-ruang tetapi bukan-waktu-terstruktur.f(n)f(n)f(n) Apakah masalah ini terkait dengan kemungkinan pemisahan antara kelas kompleksitas DTIME (f (n)) dan SPACE (f (n))?

10 cc.complexity-theory  space-bounded  separation 

Apa buktinya ada ?coRP≠NPcoRP≠NPcoRP \neq NP coRPcoRPcoRP adalah kelas bahasa yang terdapat Mesin Turing probabililistik yang berjalan dalam waktu polinomial dan selalu menjawab Ya pada input milik bahasa dan jawaban TIDAK dengan probabilitas setidaknya satu setengah pada input yang bukan milik bahasa.

10 cc.complexity-theory  complexity-classes 

Sebagian besar literatur tampaknya berkaitan dengan mesin dengan nubuat tunggal untuk masalah tertentu, namun tampaknya ada beberapa makalah yang menganggap mesin dengan banyak nubuat. Apakah ada makalah atau tesis yang bagus yang memberikan gambaran umum tentang apa yang diketahui tentang mesin seperti itu? Secara khusus saya tertarik pada P dengan …

10 oracles  turing-machines 

Ada beberapa gagasan yang berbeda (mungkin tidak setara) tentang universalitas komputasi (lihat misalnya beberapa halaman terakhir dari http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf ) dan tidak ada konsensus di antara ahli tentang gagasan mana yang paling benar (lihat misalnya http://cs.nyu.edu/pipermail/fom/2007-October/012148.html ). Saya mencoba mengatakan sesuatu tentang model perhitungan biomolekuler tertentu. Saya ingin berpendapat bahwa ini …

10 universal-computation 

Misalkan menjadi grafik terhubung yang tidak teratur yang derajatnya dibatasi. Misalkan setiap node berisi token unik.G = ( V, E)G=(V,E)G= (V, E) Saya ingin secara acak mengocok token di antara grafik hanya menggunakan swap lokal (yaitu pertukaran token antara dua node yang berdekatan)? Apakah ada batas bawah yang diketahui untuk …

10 ds.algorithms  random-walks  dc.distributed-comp