Pertanyaan yang diberi tag «reference-request»

Saya tertarik pada kompiler terverifikasi yang diformalkan dalam teori tipe Martin-Löf, yaitu Coq / Agda. Saat ini saya sudah menulis contoh mainan kecil. Dengan demikian saya dapat membuktikan bahwa optimasi saya benar. Misalnya penambahan dengan nol dapat dihilangkan, yaitu ekspresi seperti "x + 0". Adakah optimasi yang sulit dilakukan dengan …

9 reference-request  pl.programming-languages  type-theory  semantics  compilers 

Bagi saya, berikut ini sepertinya definisi alami dan saya ingin tahu apakah ini telah dipelajari di suatu tempat Pertimbangkan sekumpulan bahasa. Kemudian K ⊂ { 0 , 1 } ω disebut " informasi yang dapat diverifikasi X " ketika ada L ∈ X stX⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1 \rbrace^*}K⊂{0,1}ωK⊂{0,1}ωK \subset …

9 cc.complexity-theory  reference-request 

Penasaran dengan pertanyaan menarik Chris Pressey tentang fungsi dasar-rekursif , saya menjelajahi lebih banyak dan tidak dapat menemukan jawaban untuk pertanyaan ini di web. The fungsi rekursif dasar sesuai dengan baik untuk hirarki eksponensial, .DTIME(2n)∪DTIME(22n)∪⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots Tampaknya langsung dari definisi bahwa masalah keputusan yang dapat ditentukan (term?) …

9 cc.complexity-theory  reference-request  complexity-classes  computability 

Pertanyaan saya agak kabur. Saya bertanya-tanya apakah (dan bagaimana), kita dapat menerapkan gagasan treewidth untuk mengemas masalah dalam grafik. Saya akan senang dengan wawasan atau referensi dari penelitian sebelumnya tentang hal ini (dengan asumsi mereka ada hubungannya). Terima kasih.

9 ds.algorithms  reference-request  graph-theory  graph-algorithms  approximation-algorithms 

Dalam konteks beberapa karya terbaru , kami telah mendefinisikan bahasa berdasarkan logika bernilai tiga à la Kleene, di mana berarti benar, 0 untuk salah, dan ⊥ untuk kesalahan atau tidak tahu. Untuk menunjukkan bahwa bahasa kami ekspresif, kami ingin membuktikan bahwa kami dapat membangun satu set operator yang secara fungsional …

9 reference-request  lo.logic 

Asumsikan kerangka kerja dalam kompleksitas komunikasi di mana kita memiliki dua pemain A (kutu) dan B (ob) dan R (eferee). A dan B tidak berkomunikasi secara langsung satu sama lain. Dalam setiap putaran komunikasi, masing-masing dari mereka mengirim pesan ( , ) ke R. R menghitung dua fungsi dan dan …

9 cc.complexity-theory  reference-request  communication-complexity 

Untuk aplikasi pembelajaran mesin, kebutuhan kelompok saya untuk menghitung jarak Euclidean ke th tetangga terdekat di set X untuk setiap x ∈ ( X ∪ Y ) ⊂ R d (untuk d antara 5 dan sekitar 100, dan | X | ≈ | Y | beberapa ratus hingga beberapa juta). …

9 reference-request  cg.comp-geom  near-neighbors 

Di mana-mana yang saya baca tentang masalah pemotongan paling jarang, hanya dikatakan bahwa masalahnya dikenal sebagai NP -hard. Di mana saya dapat menemukan bukti ini? Mana masalah NP-keras yang diketahui mengurangi ke masalah pemotongan paling jarang? Saya tidak dapat menemukan bukti dalam buku Vazirani - Algoritma Aproksimasi, yang menyajikan algoritma …

9 cc.complexity-theory  reference-request  np-hardness 

Saya memiliki keluarga masalah pemrograman linier: memaksimalkan subjek A x ≤ b , x ≥ 0 . Elemen-elemen A , b , dan c adalah bilangan bulat tidak negatif, cc′xc′xc' xAx≤bAx≤bA x\le bx≥0x≥0x\ge0AAAbbbcccccc sangat positif. ( juga harus integral tetapi saya akan khawatir tentang itu nanti.)xxx Sering terjadi dalam aplikasi …

9 ds.algorithms  reference-request  linear-programming  matrices 

Saya menarik dalam mempelajari lebih lanjut tentang algoritma cache-lupa dan struktur data, tetapi ada begitu banyak makalah di luar sana yang sejujurnya saya tidak tahu harus mulai dari mana. Saya telah menemukan tesis asli Prokup tentang masalah ini, yang sepertinya merupakan titik awal yang baik, tetapi jika ada pengantar yang …

9 ds.algorithms  reference-request  cache-oblivious 

Saya menghargai petunjuk atau ketentuan yang dapat membantu saya memulai ke arah yang benar. Kami memiliki grafik berarah dan panjang untuk setiap tepi yang dapat dianggap positif. Ada adalah awal simpul khusus dan akhir simpul .G=(V,E)G=(V,E)G=(V,E)lijlijl_{ij}ijijijsssttt Untuk setiap tepi , kami ingin menghitung panjang jalur terpendek dari ke yang tidak …

9 ds.algorithms  reference-request  graph-algorithms 

Karena ini hari Jumat, saatnya untuk pertanyaan CW. Saya mencari heuristik yang banyak digunakan dalam masalah optimisasi. Untuk membatasi ruang lingkup ke heuristik yang lebih 'ramah teori', berikut adalah aturannya (ada yang arbitrer, ada yang tidak) Ini harus menjadi metode yang didefinisikan dengan baik tanpa banyak parameter, dan dengan waktu …

9 ds.algorithms  reference-request  optimization  heuristics 

Saya ingin tahu apakah masalah berikut memiliki nama, atau hasil apa pun yang terkait dengannya. Misalkan adalah grafik berbobot di mana menunjukkan bobot tepi antara dan , dan untuk semua , . Masalahnya adalah untuk menemukan subset dari simpul yang memaksimalkan jumlah dari bobot tepi yang berdekatan dengan mereka: Perhatikan …

9 reference-request  graph-theory  approximation-algorithms  terminology  approximation-hardness 

Saya ingin tahu di mana saya bisa berpaling untuk pengantar k-SAT yang bagus dan lembut (ini mungkin untuk ahli matematika yang mungkin tidak memiliki latar belakang ilmu komputer yang baik). Saya juga ingin tahu makalah yang mungkin mensurvei atau menjelaskan metode saat ini yang digunakan untuk menyelesaikan k-SAT. Akhirnya, saya …

9 reference-request  sat  survey 

Saya kesulitan menemukan algoritme atau menerbitkan makalah tentang triangulasi poligon bersilangan (juga poligon dengan struktur lubang). Bisakah ada yang memandu saya untuk menemukan makalah / algoritma yang dipublikasikan? PS: tolong beri tag pada seseorang pertanyaan ini dengan tepat, saya tidak punya poin reputasi yang cukup untuk melakukannya.

9 ds.algorithms  reference-request  cg.comp-geom