Pertanyaan yang diberi tag «reference-request»

Pertimbangkan masalah berikut: Membiarkan kkkmenjadi konstan. Kita diberi akkkarray -ary SEBUAHd1× ... ×dkSEBUAHd1×...×dkA_{d_1\times\ldots\times d_k} dari 000 dan 111ini MembiarkanN=∏ki = 1dsayaN=∏saya=1kdsayaN = \prod_{i=1}^k d_i. Kami ingin membuat struktur data dengan preprocessing SEBUAHSEBUAHA untuk melakukan jenis operasi permintaan berikut: Diberikan koordinat a kkkkotak -ary DDD, Apakah ada 111 dalam kotak? Diberikan …

8 reference-request  data-structures  space-complexity 

Saya terutama tertarik pada solusi untuk masalah yang dirangkum pencarian tergantung pada urutan evaluasi. Menurut [1], pencarian terenkapsulasi dalam PAKCS tergantung pada urutan evaluasi, sementara di MCC, itu tidak, tetapi menggunakannya membutuhkan pengetahuan tentang implementasi kompiler dan tidak mengikuti spesifikasi bahasa Curry. Ini ditulis pada 2007, jadi tentu saja sudah …

8 reference-request  functional-programming  nondeterminism  logic-programming 

Saya mencari teks referensi tentang teori grafik terapan dan algoritma grafik. Apakah ada teks standar yang digunakan di sebagian besar program ilmu komputer? Jika tidak, teks apa yang paling dihormati di bidang ini? Saya memiliki Cormen et al.

8 algorithms  graph-theory  reference-request  education  books 

Mesin Turing memiliki alfabet simbol formal , status dan deskripsi transisi-aturan berdasarkan bagaimana komputasi dilakukan. Actor Model kadang-kadang disebut sebagai model komputasi yang lebih kuat daripada mesin Turing (bukan pada apa yang dapat dikomputasi, tetapi dalam aspek lain). Apakah The Actor Model merupakan alternatif mesin Menghidupkan penuh sebagai model komputasi? …

8 terminology  computability  reference-request  programming-languages  computation-models 

Saya memiliki masalah logistik yang dapat dilihat sebagai varian dari . Itu sangat alami, saya yakin itu telah dipelajari dalam riset Operasi atau yang serupa. Inilah salah satu cara untuk melihat masalahnya.TSPTSP\text{TSP} Saya memiliki gudang di pesawat Cartesian. Ada jalur dari gudang ke gudang lain dan jarak metrik yang digunakan …

8 algorithms  optimization  reference-request  approximation