Ilmu Komputer Teoritis

Saya memerlukan buku teori automata terbatas dengan banyak contoh yang dapat saya gunakan untuk belajar mandiri dan untuk mempersiapkan ujian.

32 reference-request  automata-theory  fl.formal-languages 

Ada justifikasi filosofis yang sering dikutip untuk meyakini bahwa P! = NP bahkan tanpa bukti. Kelas kompleksitas lainnya memiliki bukti bahwa mereka berbeda, karena jika tidak, akan ada konsekuensi "mengejutkan" (seperti runtuhnya hierarki polinomial). Pertanyaan saya adalah, apa dasar untuk keyakinan bahwa kelas PPAD tidak bisa ditembus? Jika ada algoritma …

32 cc.complexity-theory  complexity-classes  gt.game-theory  conditional-results 

Dalam pertanyaan ini, rumus 3CNF berarti rumus CNF di mana setiap klausa persis melibatkan tiga variabel yang berbeda . Untuk konstanta 0 < s <1, Gap-3SAT s adalah masalah janji berikut: Gap-3SAT s Instance : Sebuah 3CNF rumus φ. Ya-janji : φ memuaskan. No-janji : tidak ada tugas kebenaran memuaskan …

32 cc.complexity-theory  sat  approximation-hardness 

Apakah ada struktur data antrian prioritas yang mendukung operasi berikut? Sisipkan (x, p) : Tambahkan catatan baru x dengan prioritas p StableExtractMin () : Kembalikan dan hapus catatan dengan prioritas minimum, putuskan hubungan dengan urutan penyisipan . Jadi, setelah Sisipan (a, 1), Sisipkan (b, 2), Sisipkan (c, 1), Sisipkan (d, …

32 ds.data-structures 

Saya kadang-kadang mendengar orang berbicara tentang algoritma kuantum dan tentang status dan kemampuan untuk mempertimbangkan berbagai kemungkinan sekaligus, tetapi saya tidak pernah berhasil membuat seseorang menjelaskan model komputasi di balik ini. Untuk lebih jelasnya, saya tidak bertanya tentang bagaimana komputer kuantum dibangun secara fisik, tetapi bagaimana cara melihatnya dari sudut …

32 quantum-computing  big-picture 

Membiarkan L={n:the nth binary digit of π is 1}L={n:the nth binary digit of π is 1}L = \{ n : \text{the }n^{th}\text{ binary digit of }\pi\text{ is }1 \} (di mana nnn dianggap dikodekan dalam biner). Lalu apa yang bisa kita katakan tentang kompleksitas komputasi LLL ? Jelas bahwa L∈EXPL∈EXPL\in\mathsf{EXP} …

31 cc.complexity-theory  na.numerical-analysis 

ST-Konektivitas adalah masalah menentukan apakah ada jalur terarah antara dua simpul dan t dalam grafik berarah G ( V , E ) . Apakah masalah ini dapat diselesaikan di logspace, adalah masalah terbuka yang sudah lama ada. Ini disebut N L vs L masalah.ssstttG(V,E)G(V,E)G(V,E)NLNLNLLLL Apa kompleksitas ST-Connectivity, ketika grafik tidak …

31 cc.complexity-theory  graph-theory  space-bounded  treewidth  logspace 

Dalam kata pengantar untuk bukunya yang sangat berpengaruh Automata, Bahasa dan Mesin (Volume A, B), Samuel Eilenberg menggoda Volume C dan D yang berurusan dengan "suatu hierarki (disebut hirarki rasional) dari fenomena non-rasional ... menggunakan hubungan rasional sebagai alat untuk perbandingan. Rasional set berada di bagian bawah hierarki ini. Bergerak …

31 soft-question  fl.formal-languages  automata-theory  regular-language  context-free 

Saya agak bingung dengan literatur optimasi kontinu dan literatur TCS tentang jenis program matematika (MP) yang dapat diselesaikan secara efisien, dan yang tidak. Komunitas optimisasi berkelanjutan tampaknya mengklaim bahwa semua program cembung dapat diselesaikan secara efisien, tetapi saya yakin definisi "efisien" mereka tidak sesuai dengan definisi TCS. Pertanyaan ini telah …

31 ds.algorithms  optimization  linear-programming  semidefinite-programming  polynomial-time 

Saya ingin menyandikan mesin Turing sederhana dalam aturan permainan kartu. Saya ingin menjadikannya mesin Turing universal untuk membuktikan kelengkapan Turing. Sejauh ini saya telah membuat status permainan yang mengkode mesin Turing 2-simbol, 3-simbol Alex Smith . Namun, tampaknya (diakui berdasarkan Wikipedia) bahwa ada beberapa kontroversi mengenai apakah (2, 3) mesin …

31 computability  turing-machines  universal-computation 

Saya tahu bahwa masalah penghentian tidak dapat diputuskan secara umum tetapi ada beberapa mesin Turing yang jelas berhenti dan beberapa yang jelas tidak. Dari semua mesin turing yang mungkin, apa yang terkecil di mana tidak ada yang punya bukti apakah itu berhenti atau tidak?

31 halting-problem 

Saya telah membaca beberapa artikel tentang tipe dependen dan kontrak pemrograman. Dari sebagian besar yang saya baca, tampaknya kontrak diperiksa secara dinamis dan tipe dependen diperiksa secara statis. Ada beberapa makalah yang membuat saya berpikir bahwa ada kemungkinan untuk memiliki kontrak yang diperiksa sebagian secara statis: Memeriksa Tipe Hibrid (C. …

31 pl.programming-languages  type-theory  program-verification  dependent-type 

Saya baru di bidang CS dan saya perhatikan bahwa di banyak makalah yang saya baca, tidak ada hasil empiris (tidak ada kode, hanya lemma dan bukti). Mengapa demikian? Menimbang bahwa Ilmu Komputer adalah ilmu, tidakkah seharusnya mengikuti metode ilmiah?

31 soft-question  research-practice  writing 

Salah satu grails suci dari desain algoritma adalah menemukan algoritma yang sangat polinomial untuk pemrograman linier, yaitu, algoritma yang runtime dibatasi oleh polinomial dalam jumlah variabel dan kendala dan tidak tergantung pada ukuran representasi parameter (dengan asumsi aritmatika biaya unit). Apakah menyelesaikan pertanyaan ini memiliki implikasi di luar algoritma yang …

31 ds.algorithms  conditional-results  linear-programming  computing-over-reals  simplex 

Apakah ada Chernoff terbalik yang terikat sehingga probabilitas ekor setidaknya begitu banyak. yaitu jika adalah variabel acak binomial independen dan . Maka dapatkah kita membuktikan untuk beberapa fungsi . μ = E [ Σ n i = 1 X i ] P r [ Σ n i = 1 X …

31 pr.probability  chernoff-bound