Ilmu Komputer Teoritis

Saya bertanya-tanya apa daftar masalah komputasi alami saat ini yang tidak diketahui keunggulan kerumitannya dalam menggunakan komputer kuantum. Untuk memulai, saya pikir perhitungan jarak sunting adalah salah satu yang paling cepat dikenal sebagai algoritma kuantum yang paling dikenal klasik. Lebih tentatif, saya juga menyarankan menyortir sebagai masalah lain yang tidak …

11 ds.algorithms  quantum-computing  big-list 

Ketika saya melihat parsing Earley, itu terlihat sangat elegan, dan saya bertanya-tanya mengapa teknik GLR menjadi populer? Adakah yang tahu apa yang salah dengan Earley parsing yang Tomita buat GLR? Performa? Setiap publikasi pada diskusi ini sangat dihargai.

11 parsing 

Untuk bukti kebenaran, saya mencari gagasan yang dapat digunakan tentang kesetaraan program untuk sistem tipe murni (PTS) Barendregt; hilang itu, untuk sistem jenis yang cukup spesifik. Tujuan saya hanyalah menggunakan gagasan itu, bukan untuk menyelidiki demi kepentingannya sendiri.≅≅\cong Gagasan ini harus " ekstensional " - khususnya, untuk membuktikan bahwa , …

11 pl.programming-languages  type-theory  operational-semantics 

Adakah contoh konkret (atau sumber yang kaya) dari penerapan angka-angka dalam ilmu komputer?halpp

11 survey 

Seperti yang disebutkan @Marzio, game berikut ini dikenal sebagai Generalized Geography . Diberikan grafik dan simpul awal v ∈ V , permainan didefinisikan sebagai berikut:G = ( V, E)G=(V,E)G=(V,E)v ∈ Vv∈Vv \in V Di setiap belokan (dua pemain bergantian), seorang pemain memilih , dan kemudian terjadi hal berikut:u ∈ N( …

11 graph-theory  graph-algorithms  gt.game-theory 

Dilambangkan dengan tingkat keluar minimal dalam G , dan oleh δ - ( G ) yang minimal dalam derajat.δ+(G)δ+(G)\delta^+(G)GGGδ−(G)δ−(G)\delta^-(G) Dalam pertanyaan terkait , saya telah menyebutkan perluasan Ghouila-Houri dari teorema Dirac pada siklus Hamilton , yang menunjukkan bahwa jika maka G adalah Hamiltonian.δ+(G),δ−(G)≥n2δ+(G),δ−(G)≥n2\delta^+(G),\delta^-(G) \geq \frac{n}{2} Dalam komentarnya, Saeed mengomentari ekstensi …

11 reference-request  graph-theory 

Sebuah graf planar adalah grafik yang dapat tertanam di pesawat, tanpa harus melintasi tepi. Misalkan menjadi k -seragam-hypergraph, yaitu hypergraph sedemikian rupa sehingga semua hyperedges-nya memiliki ukuran k.G=(X,E)G=(X,E)G=(X,E)kkk Telah ada beberapa pekerjaan yang dilakukan untuk menanamkan hypergraph di pesawat (dengan konteks pengelompokan atau aplikasi lain), tetapi seringkali, data tidak dapat …

11 graph-theory  planar-graphs  hypergraphs  embeddings  generalizations 

Masalah N-queen adalah ini: Input: N Keluaran: Penempatan N "ratu" pada papan catur NXN sehingga tidak ada dua ratu yang berada di baris, kolom, atau diagonal yang sama. Melakukan pencarian google pada ini, saya menemukan bahwa banyak slide oleh banyak profesor mengklaim ini adalah masalah NP-Hard. (Mis. Web.mst.edu/~ercal/387/slides/NP-Hard.ppt) Namun saya …

11 cc.complexity-theory  np-hardness  csp 

Menurut buku Teori Topologi Grafik oleh Gross dan Tucker, diberikan embedding seluler grafik pada suatu permukaan (dengan 'permukaan' yang saya maksudkan adalah bola dengan beberapa pegangan, dan di bawah S n mengacu pada bola dengan tepat n handle), seseorang dapat mendefinisikan multigraf ganda dengan memperlakukan wajah dari grafik asli yang …

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

Saya bekerja di laboratorium ilmu saraf komputasi yang menghitung informasi timbal balik antara pasangan atau kelompok neuron. Baru-baru ini, bosnya menggeser fokusnya untuk mengukur "kompleksitas dinamika saraf". Dalam mengejar garis penelitian itu, beberapa orang dalam kelompok saya tampaknya menyamakan "kompleks" dengan "memiliki entropi tinggi". Adakah yang bisa membimbing saya tentang …

11 cc.complexity-theory  it.information-theory 

Algoritme pendekatan dapat memberikan output hingga beberapa faktor konstan. Ini sedikit kurang memuaskan daripada algoritma yang tepat. Namun, faktor konstan diabaikan dalam kompleksitas waktu. Jadi saya bertanya-tanya apakah trik berikut ini mungkin atau digunakan, untuk menyelesaikan beberapa masalah :B∘AB∘AB \circ A Gunakan algoritme penyelesaian pemecahan masalah untuk mendapatkan solusi S …

11 ds.algorithms  big-list  approximation-algorithms 

Pertanyaan ini mungkin tidak bersifat teknis. Sebagai pembicara non-asli dan TA untuk kelas algoritma, saya selalu bertanya-tanya apa arti gadget dalam 'gadget klausa' atau 'gadget variabel'. Kamus mengatakan gadget adalah mesin atau perangkat, tapi saya tidak yakin apa artinya bahasa sehari-hari dalam konteks bukti NP-complete.

11 cc.complexity-theory  np-hardness  terminology  reductions 

Saya tertarik pada variasi SAT di mana rumus CNF adalah monoton (tidak ada variabel yang dinegasikan). Formula seperti itu jelas memuaskan. Tetapi katakanlah jumlah variabel benar adalah ukuran seberapa baik solusi kami. Jadi kami memiliki masalah berikut: MINIMUM TRUE MONOTONE 3SAT INSTAN: Tetapkan U variabel, koleksi C dari klausa disjungtif …

11 cc.complexity-theory  np-hardness  sat 

Apakah ada masalah yang kompleksitas kasus rata-ratanya sama dengan kompleksitas kasus terburuknya? Apa sifat dasar dari masalah ini yang membuat mengurangi kasus terburuk menjadi rata-rata?

11 cc.complexity-theory  reductions  average-case-complexity 

Apakah ada pekerjaan untuk memulihkan kemiringan segmen garis dari digitalisasi? Seseorang tidak dapat melakukan ini dengan akurasi sempurna, tentu saja; apa yang diinginkan adalah metode untuk mendapatkan dari garis digital interval dari kemungkinan kemiringan. (Gagasan garis digital yang saya gunakan adalah Rosenfeld's: himpunan pasangan mana berkisar di atas bilangan bulat …

11 reference-request  cg.comp-geom  cv.computer-vision  image-processing