Apakah ada cara mudah untuk melihat mengapa NP ada di EXPTIME? Menurut saya apriori dapat dibayangkan bahwa mungkin ada masalah yang membutuhkan waktu super-eksponensial untuk diselesaikan, tetapi solusinya dapat diverifikasi dalam waktu
Mengapa bahasa tingkat tinggi sepertinya tidak pernah mencapai bahasa tingkat rendah dalam hal kecepatan? Contoh bahasa tingkat tinggi adalah Python, Haskell, dan Java. Bahasa tingkat rendah akan lebih sulit untuk didefinisikan, tetapi katakanlah C. Perbandingan dapat ditemukan di seluruh Internet...
Sebuah expresssion biasa didefinisikan secara rekursif sebagai aSebuaha untuk beberapaa∈ΣSebuah∈Σa \in \Sigma adalah ekspresi reguler, εε\varepsilon adalah ekspresi reguler, ∅∅\emptyset adalah ekspresi reguler, (R1∪R2)(R1∪R2)(R_1 \cup R_2) mana dan adalah ekspresi reguler adalah ekspresi...
Semua orang tahu "Garey & Johnson", yang merupakan referensi masuk ke saya setiap kali saya membutuhkan masalah untuk mengubah dari bukti NP-hardness. Namun saya baru-baru ini menemukan diri saya membutuhkan bukti kekerasan APX, dan saya bertanya-tanya apakah ada kumpulan masalah yang serupa...
Satu diperlukan untuk menemukan kekuatan (bilangan bulat positif) dari matriks bilangan real. Ada banyak algoritma multiplikasi matriks yang efisien (mis. Beberapa algoritma paralel adalah Cannon's, DNS ) tetapi apakah ada algoritma yang ditujukan tepat untuk menemukan kekuatan matriks dan yang...
Apa itu induksi-induksi ? Sumber daya yang saya temukan adalah: buku HoTT , di akhir bab 5.7. Artikel nLab sebuah makalah yang disebut definisi induktif-induktif posting blog ini juga menyebutkan tipe induktif-induktif Dua referensi pertama terlalu singkat untuk saya, dan dua yang terakhir...
Di java, Anda harus secara eksplisit melakukan cast untuk menurunkan variabel public class Fruit{} // parent class public class Apple extends Fruit{} // child class public static void main(String args[]) { // An implicit upcast Fruit parent = new Apple(); // An explicit downcast to Apple...
Saya diberi himpunan , integer , dan integer non-negatif a_ {ij} . Masalah saya adalah menemukan s himpunan bagian himpunan S_j dari \ {1, \ ldots, k \} sedemikian rupa sehingga:A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\}s⩽ks⩽ks\leqslant
Apakah ada alat untuk membuat prototipe semantik bahasa pemrograman dan sistem tipe dan itu juga memungkinkan untuk semacam pengecekan model properti standar, seperti tipe kesehatan? Saya menanyakan hal ini, karena saya membaca buku tentang Paduan dan menyediakan fungsionalitas tepat yang saya...
Saya memiliki dua set poin dalam bidang 2 dimensi. Saya ingin menemukan pasangan terdekat dari titik s , t sehingga s ∈ S , t ∈ T , dan jarak Euclidean antara s , t sekecil mungkin. Seberapa efisien hal ini dapat dilakukan? Bisakah itu dilakukan dalam waktu O ( n log n ) , di mana n = | S | + | T |...
Misalkan seseorang ingin beralasan tentang sifat-sifat kode di luar hal-hal seperti totalitas dan kemurnian fungsional - orang juga peduli dengan konsumsi memori, atau kompleksitas algoritmik suatu fungsi. Bisakah ini dilakukan melalui sistem pengetikan dan efek
Pertanyaan ini adalah tentang apakah setiap teorema matematika dapat direduksi menjadi pertanyaan apakah satu mesin Turing berhenti. Secara khusus, saya tertarik pada dugaan yang saat ini tidak terbukti. Sebagai contoh: Wikipedia mengatakan bahwa saat ini tidak diketahui apakah ada angka sempurna...
Saat membuat klien untuk API web di C #, saya mengalami masalah terkait nulldengan nilai yang mewakili dua hal yang berbeda: tidak ada , mis. foomungkin atau mungkin tidakbar tidak diketahui : secara default respons API hanya mencakup subset properti, Anda harus menunjukkan properti tambahan yang...
Wikipedia mencantumkan kompleksitas waktu penjumlahan sebagai , di mana adalah jumlah bit.nnnnnnn Apakah ini batas bawah teori yang kaku? Atau apakah ini hanya kompleksitas dari algoritma tercepat yang dikenal saat ini. Saya ingin tahu, karena kompleksitas penjumlahan, menggarisbawahi semua...
Misalkan kita membaca urutan nnn angka, satu per satu. Cara menemukan elemen terkecil kkk hanya dengan menggunakan memori sel O(k)O(k)O(k) dan dalam waktu linier ( O(n)O(n)O(n) ). Saya pikir kita harus menabung dulu kkk hal urutan dan ketika mendapatkan k+1k+1k+1 'jangka th, menghapus istilah yang...
Menurut catatan ini , DFS dianggap memiliki kompleksitas ruang , di mana b adalah faktor percabangan dari pohon dan m adalah panjang maksimum dari setiap jalur di ruang negara.O(bm)O(bm)O(bm)bbbmmm Hal yang sama juga dikatakan di halaman Wikibook ini pada Pencarian Tidak Informasi . Sekarang...
Pemahaman saya adalah bahwa implementasi mutex yang paling populer (misalnya std :: mutex dalam C ++) tidak menjamin keadilan - yaitu, mereka tidak menjamin bahwa dalam kasus pertengkaran, kunci akan diperoleh oleh utas dalam urutan yang mereka inginkan. disebut kunci (). Bahkan, mungkin saja...
Pertanyaan umum, seperti judulnya, adalah: Apa perbedaan antara DS dan OR / optimisasi. Pada level konseptual, saya memahami bahwa DS mencoba mengekstraksi pengetahuan dari data yang tersedia dan kebanyakan menggunakan teknik Statistik, Pembelajaran Mesin. Di sisi lain, OR menggunakan data...
Setumpuk kartu adalah 52. Tangan adalah 5 kartu dari 52 (tidak dapat memiliki duplikat). Berapa jumlah bit paling sedikit untuk mewakili kartu 5 tangan dan bagaimana? Tangan TIDAK tergantung pesanan (KQ = QK). 64329 = 96432 Ya, bisa menggunakan 52 bit. Itu bisa mewakili tangan sejumlah kartu....
Saya mendapat kesan bahwa komputer kita, yang terbatas, pada akhirnya tidak lebih kuat daripada (hingga luar biasa besar) Mesin Negara Hingga. Namun, Mesin Turing Linearly Bounded juga terbatas, tetapi tampaknya Bahasa Reguler benar-benar merupakan bagian yang tidak tepat dari Bahasa...