Saya mencoba untuk mendapatkan ide tentang bagaimana uji primitif AKS harus ditafsirkan ketika saya mempelajarinya, misalnya konsekuensi wajar untuk membuktikan bahwa PRIMES ⊆ P, atau algoritma yang sebenarnya praktis untuk pengujian primality pada komputer. Tes ini memiliki runtime polinomial...
Apakah analisis yang dihaluskan menemukan jalannya ke dalam analisis aliran utama dari algoritma? Apakah biasa bagi perancang algoritma untuk menerapkan analisis yang diperhalus pada algoritme
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...
Logika konstruktivis adalah sistem yang menghilangkan Hukum Tengah yang Dikecualikan, serta Negasi Ganda, sebagai aksioma. Ini dijelaskan di Wikipedia di sini dan di sini . Secara khusus, sistem tidak memungkinkan pembuktian dengan kontradiksi. Saya bertanya-tanya, apakah ada yang akrab dengan...
Adakah algoritma yang sangat sulit untuk diparalelkan atau penelitiannya masih aktif? Saya ingin tahu tentang algoritma atau bidang penelitian apa pun dalam komputasi paralel. Apa pun, saya mencari, telah dilakukan implementasi 'paralel'. Hanya ingin melakukan studi pada bidang komputasi paralel...
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
Dengan adanya masalah komputasi, apakah tugas menemukan batas bawah untuk perhitungan seperti itu benar-benar mungkin? Saya kira itu bermuara pada bagaimana langkah komputasi tunggal didefinisikan dan model apa yang kita gunakan untuk bukti, tetapi mengingat itu, apakah kita benar-benar membuktikan...
Pertanyaan ini dimigrasikan dari Stack Overflow karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Saya sedikit bingung dengan beberapa terminologi yang saya temui mengenai kompleksitas masalah optimasi. Dalam kelas algoritma, saya
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...
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...
Jika saya memiliki beberapa fungsi yang kompleksitas waktunya adalah O ( mn ), di mana m dan n adalah ukuran dari dua inputnya, apakah kita akan menyebut kompleksitas waktunya "linear" (karena linear pada m dan n ) atau "kuadratik" ( karena ini adalah produk dari dua ukuran)? Atau sesuatu yang...
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...
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 19. Pertanyaan...
Di kelas minggu lalu, profesor saya berkomentar dan mengatakan bahwa mesin Turing digunakan sebagai ukuran / model standar dari apa yang dapat dihitung dan merupakan dasar diskusi yang bermanfaat untuk subjek itu. Dia juga mengatakan bahwa semua varian mesin Turing terbukti setara secara komputasi...
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
Apakah semua generator bilangan pseudo-acak akhirnya periodik? Atau apakah mereka berkala pada akhirnya? Secara periodik yang saya maksudkan adalah, seperti bilangan rasional, mereka pada akhirnya menghasilkan urutan periodik ... Dan pseudo-acak berarti generasi algoritmik / matematis angka acak...
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...
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...
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
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...