Pertanyaan yang diberi tag «reference-request»

Ada banyak upaya untuk membuktikan atau , dan secara alami banyak orang berpikir tentang pertanyaan itu, memiliki ide untuk membuktikan arah mana pun.P ≠ N PP = N PP=NP\mathsf{P} = \mathsf{NP} P ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP} Saya tahu bahwa ada pendekatan yang terbukti tidak berhasil, dan mungkin ada lebih …

96 complexity-theory  reference-request  history  p-vs-np  reference-question 

Saya tahu konsep umum rekursi. Saya menemukan konsep rekursi ekor sambil mempelajari algoritma quicksort. Dalam video algoritma pengurutan cepat ini dari MIT pada pukul 18:30, profesor mengatakan bahwa ini adalah algoritme rekursif ekor. Tidak jelas bagi saya apa yang dimaksud dengan rekursi ekor sebenarnya. Adakah yang bisa menjelaskan konsep tersebut …

52 algorithms  reference-request  recursion 

Anggaplah saya seorang programmer dan saya punya masalah NP-complete yang saya butuhkan untuk menyelesaikannya. Metode apa yang tersedia untuk menangani masalah NPC? Apakah ada survei atau yang serupa dengan topik ini?

43 algorithms  reference-request  np-complete  efficiency  reference-question 

Mengapa perusahaan seperti Twitter tertarik pada konsep aljabar seperti grup, monoids, dan cincin? Lihat repositori mereka di github: twitter / algebird . Yang bisa saya temukan adalah: Implementasi Monoids untuk algoritme aproksimasi yang menarik, seperti filter Bloom , HyperLogLog , dan CountMinSketch . Ini memungkinkan Anda untuk memikirkan operasi canggih …

38 reference-request  discrete-mathematics  database-theory  applied-theory  group-theory 

Secara klasik, ada 3 cara populer untuk memikirkan komputasi: Mesin Turing, sirkuit, dan lambda-calculus (Saya menggunakan ini sebagai tangkapan semua untuk sebagian besar tampilan fungsional). Semua 3 cara berbuah untuk berpikir tentang berbagai jenis masalah, dan bidang yang berbeda menggunakan formulasi yang berbeda untuk alasan ini. Ketika saya bekerja dengan …

35 lambda-calculus  quantum-computing  reference-request  computation-models 

Saya mengalami kesulitan menemukan sumber daya yang baik yang memberikan kasus terburuk di tempat algoritma penyortiran stabil . Adakah yang tahu sumber daya yang bagus?O(nlnn)O(nln⁡n)O(n \ln n) Hanya pengingat, di tempat berarti menggunakan array yang diteruskan dan algoritma pengurutan hanya diperbolehkan untuk menggunakan ruang ekstra konstan. Stabil berarti bahwa elemen …

35 algorithms  reference-request  sorting  in-place 

Dijkstra, dalam esainya Tentang kekejaman yang benar-benar mengajarkan ilmu komputasi , membuat proposal berikut untuk kursus pemrograman pengantar: Di satu sisi, kami mengajarkan apa yang tampak seperti kalkulus predikat, tetapi kami melakukannya sangat berbeda dari para filsuf. Untuk melatih programmer pemula dalam memanipulasi formula yang tidak diinterpretasikan, kami mengajarkannya lebih …

33 reference-request  programming-languages  education  didactics 

Saat ini saya bermain-main dengan perkiraan seri waktu (khusus untuk Forex). Saya telah melihat beberapa makalah ilmiah tentang jaringan negara gema yang diterapkan untuk perkiraan Forex. Apakah ada algoritma pembelajaran mesin yang bagus untuk tujuan ini? Ini juga akan menarik untuk mengekstrak pola "menguntungkan" dari seri waktu.

28 reference-request  machine-learning  artificial-intelligence 

Saya sering mendengar frasa seperti 'semantik konkurensi sejati' dan 'kesetaraan konkurensi sejati' tanpa referensi. Apa arti istilah-istilah itu dan mengapa itu penting? Apa saja contoh kesetaraan konkurensi yang sebenarnya dan apa perlunya bagi mereka? Misalnya dalam kasus mana mereka lebih berlaku daripada lebih banyak persamaan standar (bisimulasi, jejak kesetaraan, dll)?

28 terminology  reference-request  concurrency 

Untuk bahasa biasa L.L.L, misalkan menjadi jumlah kata dalam dengan panjang . Menggunakan bentuk kanonik Jordan (diterapkan pada matriks transisi yang tidak terotomatisasi dari beberapa DFA untuk ), orang dapat menunjukkan bahwa untuk , di mana adalah polinomial yang kompleks dan adalah "nilai eigen" yang kompleks. (Untuk kecil , kami …

28 formal-languages  reference-request  regular-languages  asymptotics  combinatorics 

Sebagian besar dari kita tahu korespondensi antara logika kombinasi dan kalkulus lambda . Tapi saya belum pernah melihat (mungkin saya belum melihat cukup dalam) setara dengan "combinator yang diketik", sesuai dengan kalkulus lambda yang diketik sederhana. Apakah hal seperti itu ada? Di mana orang dapat menemukan informasi tentang itu?

26 reference-request  logic  lambda-calculus  type-theory  combinatory-logic 

Sebuah Bloom Filter memungkinkan untuk efisien melacak apakah berbagai nilai telah ditemui selama pengolahan. Ketika ada banyak item data maka filter Bloom dapat menghasilkan penghematan memori yang signifikan di atas tabel hash. Fitur utama dari filter Bloom, yang dibagikan dengan tabel hash, adalah selalu mengatakan "bukan baru" jika suatu item …

25 reference-request  data-structures  hash  bloom-filters  dictionaries 

Biarkan menjadi rumus boolean yang terdiri dari operator AND, OR, dan NOT yang biasa dan beberapa variabel. Saya ingin menghitung jumlah memuaskan tugas untuk . Yaitu, saya ingin menemukan jumlah penugasan yang berbeda dari nilai kebenaran ke variabel yang mengasumsikan nilai sebenarnya. Misalnya, rumus memiliki tiga penugasan yang memuaskan; memiliki …

24 complexity-theory  reference-request  satisfiability 

Apa cara terbaik yang dapat dilakukan siapa pun untuk memiliki pengantar yang baik tentang teori sistem terdistribusi, buku atau referensi, dan topik harus dibahas terlebih dahulu dan persyaratan untuk mulai belajar dalam topik ini.

24 reference-request  education  distributed-systems 

Terminologi itu membingungkan saya. Seperti yang saya mengerti Pemecah SAT: memutuskan kepuasan logika proposisional (menggunakan DPLL atau Pencarian Lokal). Prosedur pengambilan keputusan adalah prosedur untuk memutuskan kepuasan suatu teori tingkat pertama tertentu yang dapat ditentukan. SMT solver adalah prosedur keputusan SAT solver +. Prover teorema menunjukkan sesuatu seperti Dynamic Logic, …

24 algorithms  terminology  reference-request  decision-problem