Pertanyaan ini adalah tentang pendekatan terhadap lawan komputer yang telah saya buat dan saat ini sedang digunakan, atau direncanakan akan digunakan, di beberapa permainan komputer. Latar Belakang Tahun lalu, ketika mencoba meningkatkan lawan komputer untuk permainan yang disebut "Bendera...
Ketika mengembangkan algoritma dalam komputasi kuantum, saya perhatikan bahwa ada dua model utama di mana ini dilakukan. Beberapa algoritma - seperti untuk masalah pohon Hamiltonian NAND (Farhi, Goldstone, Guttman) - pekerjaan dengan merancang Hamiltonian dan beberapa keadaan awal, dan kemudian...
Combinator Y memiliki tipe . Oleh Korespondensi Curry-Howard, karena jenis ( a → a ) → a dihuni, maka harus sesuai dengan teorema yang benar. Namun a → a selalu benar, jadi sepertinya tipe kombinator Y sesuai dengan teorema a , yang tidak selalu benar. Bagaimana ini bisa terjadi?( a → a ) →...
Kita tahu bahwa menghitung aliran arus maksimum. potongan minimum jaringan dengan kapasitas setara; lih. yang max-flow min-cut teorema . Kami memiliki (kurang lebih efisien) algoritma untuk menghitung aliran maksimum, dan menghitung potongan minimum mengingat aliran maksimum juga tidak sulit atau...
Anda dan seorang teman kehilangan satu sama lain pada saat konser, dan tidak ada yang yakin Anda lebih maju. Secara formal, masing-masing berada pada koordinat bilangan bulat dan hanya dapat berjalan menuju koordinat yang lebih tinggi atau tetap di tempatnya. Anggap Anda dan teman Anda mengikuti...
Teorema Galois secara efektif mengatakan bahwa seseorang tidak dapat mengekspresikan akar polinomial derajat> = 5 menggunakan fungsi rasional dari koefisien dan radikal - tidak dapatkah ini dibaca dengan mengatakan bahwa dengan polinomial tidak ada algoritma deterministik untuk menemukan akar?...
Masalah apakah dua automat pushdown mengenali bahasa yang sama tidak dapat diputuskan. Masalah apakah automat pushdown mengenali bahasa kosong dapat diputuskan, maka itu juga dapat memutuskan apakah ia mengenali bahasa yang terbatas. Tidak dapat diputuskan apakah bahasa yang diterima oleh otomat...
Tidak ada solusi analitik umum untuk masalah n-body yang dapat menghasilkan fungsi analitik yang dapat digunakan untuk memberikan status sistem n-body pada waktu acak t dengan presisi yang tepat. Namun, ada beberapa kasus khusus dari sistem n-body yang fungsi analitiknya diketahui. Dalam banyak...
Diberikan bahasa dan , katakanlah bahwa gabungan tidak ambigu jika untuk semua kata , ada tepat satu dekomposisi dengan dan , dan ambigu sebaliknya. (Saya tidak tahu apakah ada istilah yang mapan untuk properti ini — hal yang sulit untuk dicari!) Sebagai contoh sepele, gabungan dari dengan dirinya...
Rupanya, serangan ReDos mengeksploitasi karakteristik dari beberapa ekspresi reguler (yang berguna) ... pada dasarnya menyebabkan ledakan jalur yang mungkin melalui grafik yang ditentukan oleh NFA. Apakah mungkin untuk menghindari masalah seperti itu dengan menulis regex 'non-evil' yang setara?...
Saya menanyakan pertanyaan ini pada StackOverflow , tapi saya pikir di sini adalah tempat yang lebih tepat. Ini adalah masalah dari kursus Pengantar algoritma : Anda memiliki array dengan bilangan bulat positif (array tidak perlu diurutkan atau elemen unik). Sarankan algoritma untuk menemukan...
Ini pertanyaan lembut. Saya tidak tahu banyak tentang kriptografi atau sejarahnya, tetapi sepertinya RSA biasa digunakan untuk melakukan pertukaran kunci dengan mengenkripsi kunci simetris untuk mengirim pesan yang lebih panjang (misalnya, deskripsi iMessage di sini ). Bukankah ini hal yang tepat...
Menurut artikel ini , baris kode Lisp berikut mencetak "Hello world" ke output standar. (format t "hello, world") Lisp, yang merupakan bahasa homoikonik , dapat memperlakukan kode sebagai data dengan cara ini: Sekarang bayangkan kita menulis makro berikut: (defmacro backwards (expr)...
Menurut halaman Wikipedia tentang static-single assignment (SSA) , SSA digunakan oleh proyek-proyek besar dan terkenal seperti LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey, dan V8 sedangkan halaman tentang proyek menggunakan gaya kelanjutan-lewat (CPS) agak kurang dibandingkan. Saya berpendapat...
Algoritma pengurutan cepat dapat dibagi menjadi langkah-langkah berikut Identifikasi inden. Partisi daftar tertaut berdasarkan pivot. Bagi daftar yang ditautkan secara rekursif menjadi 2 bagian. Sekarang, jika saya selalu memilih elemen terakhir sebagai pivot, maka mengidentifikasi elemen pivot...
Saat menempatkan objek geometris dalam quadtree (atau octree), Anda dapat menempatkan objek yang lebih besar dari satu simpul dalam beberapa cara: Menempatkan referensi objek di setiap daun yang dikandungnya Menempatkan referensi objek di node terdalam yang sepenuhnya terkandung Keduanya # 1 dan...
Adakah bukti yang menunjukkan bahwa waktu yang dihabiskan untuk menulis, atau memikirkan persyaratan akan berpengaruh pada waktu pengembangan? Studi yang dilakukan oleh Standish (1995) menunjukkan bahwa persyaratan yang tidak lengkap sebagian (13,1%) berkontribusi pada kegagalan proyek. Adakah...
Diberi bahasa , tentukan panjang himpunan L sebagai himpunan panjang kata dalam L : L S ( L ) = { | kamu | ∣ u ∈ L }L.LLL.LLL.LLL S (L)={ | kamu | ∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Set bilangan bulat mana yang dapat menjadi set panjang bahasa...
Dapat diperdebatkan bahwa sebagian besar bahasa yang dibuat untuk menggambarkan masalah sehari-hari bersifat peka konteks. Di sisi lain, adalah mungkin dan tidak sulit untuk menemukan beberapa bahasa yang tidak recursive atau bahkan tidak recursively-enumerable. Di antara kedua jenis ini adalah...
Ini adalah pertanyaan lanjutan dari pertanyaan ini . Dalam pertanyaan sebelumnya tentang mesin negara eksotis , Alex ten Brink dan Raphael membahas kemampuan komputasi dari jenis mesin negara yang aneh: min-heap automata. Mereka mampu menunjukkan bahwa himpunan bahasa yang diterima oleh mesin...