Pertanyaan yang diberi tag «reference-request»

Pertanyaan yang meminta makalah dalam literatur tentang masalah spesifik dan sempit.

3
Mempelajari Teori Bahasa Pemrograman
Baru-baru ini saya menjadi sangat tertarik untuk memahami dan membuktikan aspek-aspek bahasa pemrograman (fungsional). Namun ketika saya menyelam lebih dalam, hal-hal seperti kalkulus , teori kategori, dan semantik denotasi agak sulit untuk diraih tanpa penjelasan yang tepat.λλ\lambda Saya membaca SICP (buku yang cukup mencerahkan) tetapi saya ingin menyelami teori pemrograman …
4
Apakah ada tempat penyimpanan untuk hierarki bukti?
Saya adalah asisten bukti belajar mandiri dan memutuskan untuk memulai pada beberapa bukti dasar dan terus maju. Karena bukti didasarkan pada bukti lain dan karenanya membentuk hierarki, adakah repositori dari hierarki bukti? Saya tahu saya dapat memilih asisten bukti dan menganalisis perpustakaannya untuk mengekstrak hierarki, namun jika saya ingin menemukan …
2
Apa asal usul λ untuk string kosong?
Saya biasanya menggunakan simbol untuk string kosong (kata kosong atau string kosong). Tapi saya tahu beberapa orang menggunakan bukan .εε\varepsilonλλ\lambdaεε\varepsilon Saya pikir berasal dari kata "Kosong". Namun saya tidak tahu apa asal usul .εε\varepsilonλλ\lambda Dalam teori automata, ada transisi epsilon automata, dan itu juga dikatakan sebagai transisi lambda. Sebagai contoh, …
1
Kompleksitas yang diketahui paling cepat untuk algoritma ILP kombinasi?
Saya bertanya-tanya, apa algoritma yang paling terkenal, dalam hal notasi Big- , untuk menyelesaikan Integer Linear Programming?OOO Saya tahu bahwa masalah adalah -Lengkap, jadi aku tidak mengharapkan apa-apa polinomial. Dan saya tahu ada banyak heuristik dan yang digunakan dalam aplikasi praktis seperti CPLEX, tapi saya lebih tertarik pada formalitas, kompleksitas …
6
Menemukan XOR maks dari dua angka dalam satu interval: dapatkah kita melakukan lebih baik daripada kuadratik?
Misalkan kita diberi dua angka dan dan kita ingin menemukan untuk l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r Algoritma naif hanya memeriksa semua pasangan yang mungkin; misalnya dalam ruby, kita akan memiliki: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each do |j| …
2
Apakah ada kelas kompleksitas yang ditetapkan dengan bilangan real?
Seorang siswa baru-baru ini meminta saya untuk memeriksa bukti kekerasan NP untuk mereka. Mereka melakukan pengurangan sepanjang garis: Saya mengurangi masalah ini P′P′P' yang dikenal sebagai NP-lengkap untuk masalah saya PPP (dengan banyak-satu pengurangan poli-waktu), jadi PPP adalah NP-keras. Jawaban saya pada dasarnya: Karena PPP memiliki instance dengan nilai-nilai dari …
2
Mengambil sampel secara efisien jalur
Mari menjadi grafik, dan biarkan dan dua simpul dari . Bisakah kita secara efisien mencicipi terpendekGGGssstttGGGsss - ttt secara seragam dan independen secara acak dari rangkaian semua jalur terpendek antara sss dan ttt ? Untuk kesederhanaan, kita dapat menganggap GGG sederhana, tidak terarah dan tidak berbobot. Bahkan di banyak grafik …
2
Beberapa pertanyaan tentang komputasi paralel dan kelas NC
Saya memiliki sejumlah pertanyaan terkait tentang kedua topik ini. Pertama, sebagian besar teks kompleksitas hanya menutupi kelas . Apakah ada sumber daya yang baik yang mencakup penelitian lebih mendalam? Sebagai contoh, sesuatu yang membahas semua pertanyaan saya di bawah ini. Juga, saya berasumsi bahwa masih melihat cukup banyak penelitian karena …
1
Menghitung pasangan inversi
Aplikasi klasik divide and conquer adalah untuk memecahkan masalah berikut: Diberikan array dari elemen yang berbeda dan dapat dibandingkan, hitung jumlah pasangan inversi dalam array: pasangan sedemikian rupa sehingga dan .( i , j ) a [ i ] > a [ j ] i < ja [ 1 ... …
1
Kapan
Menurut artikel Wikipedia , L dalam berarti "pemindaian kiri-ke-kanan", dan "R" berarti "derivasi paling kanan." Namun, dalam kertas asli Knuth pada L R ( k ) tata bahasa , ia mendefinisikan L R ( k ) (pada halaman 610) sebagai bahasa yang "diterjemahkan dari kiri ke kanan dengan terikat k …
1
Penelitian tentang mengevaluasi kinerja cache-terlupakan dalam praktik
Algoritma dan struktur data yang tidak memperhatikan cache adalah hal yang agak baru, diperkenalkan oleh Frigo et al. dalam algoritma Cache-oblivious, 1999 . Tesis Prokop dari tahun yang sama memperkenalkan ide-ide awal juga. Makalah oleh Frigo et al. menyajikan beberapa hasil eksperimen yang menunjukkan potensi teori dan algoritma cache-lupa dan …
4
Belajar Mandiri Ilmu Komputer
Saya adalah seorang pria berusia 16 tahun yang baru-baru ini diberi sebuah ensiklopedia besar tentang ilmu komputer oleh seorang teman saya. Saya biasanya tidak begitu tertarik pada komputer dan teknologi, tetapi ilmu komputer sudah mulai membuat saya terpesona. Namun saya berniat untuk belajar Fisika dan / atau Matematika dan bukan …
1
Mesin Akses Acak dengan hanya penambahan, multiplikasi, persamaan
Literatur cukup jelas bahwa RAM unit-biaya dengan perkalian primitif tidak masuk akal, dalam hal itu mereka tidak dapat disimulasikan oleh mesin Turing dalam waktu polinomial dapat menyelesaikan masalah PSPACE-complete dalam waktu polinomial Namun, semua referensi yang dapat saya temukan pada topik ini (Simon 1974, Schonhage 1979) juga melibatkan operasi boolean, …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.