Ilmu Komputer

Saya mencoba beberapa kasus dan menemukan dua pohon spanning dari grafik sederhana memiliki beberapa tepi yang sama. Maksudku, aku tidak bisa menemukan contoh balasan sejauh ini. Tapi aku juga tidak bisa membuktikan atau membantahnya. Bagaimana cara membuktikan atau menyangkal dugaan ini?

24 graphs  graph-theory  spanning-trees 

Dalam grafik tanpa berat badan, tidak terarah dengan simpul dan tepi sehingga , apa cara tercepat untuk menemukan semua jalur terpendek dalam grafik? Bisakah itu dilakukan lebih cepat daripada Floyd-Warshall yang tetapi sangat cepat per iterasi?E 2 V > E O ( V 3 )VVVEEE2V>E2V>E2V \gt EO(V3)O(V3)O(V^3) Bagaimana jika grafik …

24 algorithms  graphs  shortest-path 

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 

Saat ini saya membaca dan menonton tentang algoritma genetika dan saya merasa sangat menarik (saya belum memiliki kesempatan untuk mempelajarinya ketika saya masih di universitas). Saya mengerti bahwa mutasi didasarkan pada probabilitas (keacakan adalah akar dari evolusi) tetapi saya tidak mengerti mengapa bertahan hidup. Dari apa yang saya pahami, seorang …

24 algorithms  optimization  genetic-algorithms 

Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 6 tahun yang lalu . Saya telah menemukan banyak definisi bahasa recursive dan recumerif enumerable. Tapi saya tidak bisa mengerti apa itu. Bisakah seseorang tolong beri tahu saya apa kata-kata sederhana itu?

24 formal-languages  computability  turing-machines 

Bagi saya, 'implikasi' dalam bahasa Inggris tidak berarti sama dengan operator logis 'implikasi', dengan cara yang sama bagaimana kata 'ATAU' dalam banyak kasus berarti 'Eksklusif ATAU' dalam penggunaan bahasa sehari-hari kita. Mari kita ambil dua contoh: Jika hari ini adalah Senin maka besok adalah Selasa. Ini adalah benar . Tetapi …

24 terminology  logic  first-order-logic  propositional-logic 

Saya sedang mempelajari jalur terpendek dalam grafik terarah saat ini. Ada banyak algoritma yang efisien untuk menemukan jalur terpendek dalam jaringan, seperti dijkstra atau bellman-ford. Tetapi bagaimana jika grafiknya dinamis? Dengan mengatakan dinamis, saya maksudkan bahwa kita dapat menyisipkan atau menghapus simpul selama eksekusi program. Saya mencoba untuk menemukan algoritma …

24 algorithms  data-structures  graphs  efficiency  shortest-path 

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 

Sejumlah masalah mengejutkan memiliki pengurangan yang cukup alami untuk pemrograman linier (LP). Lihat Bab 7 dari [1] untuk contoh-contoh seperti aliran jaringan, pencocokan bipartit, permainan zero-sum, jalur terpendek, bentuk regresi linier, dan bahkan evaluasi sirkuit! Karena evaluasi rangkaian dikurangi menjadi pemrograman linier, setiap masalah dalam harus memiliki formulasi pemrograman linier. …

24 algorithms  reductions  sorting  linear-programming 

Diberikan multiset dari bilangan asli X, pertimbangkan sekumpulan semua jumlah yang mungkin: sums(X)={∑i∈Ai|A⊆X}sums(X)={∑i∈Ai|A⊆X}\textrm{sums}(X)= \left\{ \sum_{i \in A} i \,|\, A \subseteq X \right\} Misalnya, sementara .sums({1,5})={0,1,5,6}sums({1,5})={0,1,5,6}\textrm{sums}(\left\{1,5\right\}) = \left\{0, 1, 5, 6\right\}sums({1,1})={0,1,2}sums({1,1})={0,1,2}\textrm{sums}(\left\{1,1\right\}) = \left\{0, 1, 2\right\} Apa algoritma yang paling efisien untuk menghitung operasi terbalik (diukur dalam ukuran ukuran input jumlah)? …

24 algorithms  optimization  combinatorics  integers 

Diberikan satu set koin dengan denominasi berbeda dan nilai v Anda ingin menemukan jumlah koin paling sedikit yang diperlukan untuk mewakili nilai v.c 1 , . . . , c nc1,...,cnc1, ... , cn Misalnya untuk coinet 1,5,10,20 ini memberikan 2 koin untuk jumlah 6 dan 6 koin untuk jumlah …

24 algorithms  combinatorics  greedy-algorithms 

Saya memiliki dua cara untuk menghasilkan daftar item dalam urutan acak dan ingin menentukan apakah mereka sama adil (tidak bias). Metode pertama yang saya gunakan adalah untuk membangun seluruh daftar elemen dan kemudian melakukan pengocokan (katakanlah Fisher-Yates shuffle). Metode kedua lebih merupakan metode berulang yang membuat daftar terseret di setiap …

24 algorithms  proof-techniques  randomized-algorithms  correctness-proof  randomness 

Dalam artikel CACM baru-baru ini [1], penulis menyajikan implementasi untuk fungsi bertahap . Mereka menggunakan istilah itu seolah-olah itu terkenal, dan tidak ada referensi yang terlihat seperti pengantar yang jelas. Mereka memberikan penjelasan singkat (penekanan saya dan nomor referensi berubah; ini 22 di aslinya) Dalam konteks pembuatan program, pemrograman multistage …

24 terminology  programming-languages  meta-programming 

Kita tahu bahwa DFA setara dengan NFA dalam kekuatan ekspresif; ada juga algoritma yang dikenal untuk mengubah NFA menjadi DFA (sayangnya saya sekarang tahu penemu algoritma itu), yang dalam kasus terburuk memberi kita status , jika NFA kami memiliki status S2S2S2^SSSS Pertanyaan saya adalah: apa yang menentukan skenario terburuk? Berikut …

24 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Saya hanya punya pertanyaan menarik ini. Apa fungsi yang paling cepat diketahui manusia? Apakah ini berang-berang yang sibuk ? Kita tahu fungsi seperti , tetapi fungsi ini …

24 computability