Ilmu Komputer

Jika saya memiliki masalah, satu pendekatan standar adalah untuk menyatakannya sebagai instance SAT dan mencoba menjalankan solver SAT di atasnya. Pendekatan standar lain adalah untuk menyatakannya sebagai masalah kepuasan kendala, dan coba gunakan pemecah CSP. Keduanya terasa agak mirip dalam masalah seperti apa yang dapat diekspresikan secara alami dalam format …

18 heuristics  sat-solvers  constraint-programming 

Saya akrab dengan selusin bahasa pemrograman yang memiliki pengecualian dalam beberapa cara, namun saya datang untuk menyaksikan dua kecenderungan "patologis". Tampaknya tidak ada pola umum atau hierarki pengecualian. Setiap bahasa pada dasarnya memutar versinya sendiri, dan jika pengecualian membuatnya menjadi standar, maka jenis-jenis pengecualian yang ditemukan dalam standar akan agak …

18 terminology  programming-languages  api-design 

Anda memiliki larik elemen yang berbeda. Anda memiliki akses ke pembanding (fungsi kotak hitam mengambil dua elemen dan dan mengembalikan true iff ) dan sumber bit yang benar-benar acak (fungsi kotak hitam tidak mengambil argumen dan mengembalikan bit acak yang seragam secara independen). Pertimbangkan dua tugas berikut:nnnaaabbba&lt;ba&lt;ba < b Array …

18 algorithms  algorithm-analysis  information-theory  permutations  entropy 

Saya baru di forum ini dan hanya seorang fisikawan yang melakukan ini untuk menjaga otaknya tetap bugar, jadi tolong tunjukkan rahmat jika saya tidak menggunakan bahasa yang paling elegan. Juga silakan tinggalkan komentar, jika menurut Anda tag lain akan lebih sesuai. Saya mencoba untuk memecahkan masalah ini yang saya perlu …

18 graph-theory  combinatorics  check-my-proof 

Dengan bahasa teratur LLL, maka mudah untuk membuktikan bahwa ada konstanta sedemikian rupa sehingga , dengan terdapat string , dan sedemikian rupa sehingga dan , dan untuk semua itu adalahσ ∈ L | σ | ≥ N a ß gamma | α β | ≤ N | β | ≠ …

18 formal-languages  proof-techniques 

Dalam buku mereka Randomized Algorithms , Motwani dan Raghavan membuka pengantar dengan deskripsi fungsi RandQS mereka - Randoms quicksort - di mana pivot, yang digunakan untuk mempartisi himpunan menjadi dua bagian, dipilih secara acak. Saya telah memeras otak saya (diakui agak kurang bertenaga) atas hal ini selama beberapa waktu, tetapi …

18 algorithm-analysis  sorting  randomized-algorithms 

Mengingat matriks A . Biarkan matriks invers dari A menjadi A - 1 (yaitu, A A - 1 = I ). Asumsikan satu elemen dalam A diubah (misalkan a i j ke a ′ i j ). Tujuannya adalah untuk menemukan A - 1 setelah perubahan ini. Apakah ada metode …

18 algorithms  numerical-analysis  online-algorithms 

Wikipedia mendefinisikannya sebagai Algoritma dikatakan sebagai waktu polinomial jika waktu berjalannya dibatasi oleh ekspresi polinomial dalam ukuran input untuk algoritma, yaitu, untuk beberapa konstanta k.T( n ) = O ( nk)T(n)=HAI(nk)T(n) = O(n^k) Algoritme berjalan dalam waktu yang sangat polinomial jika [8] jumlah operasi dalam model perhitungan komputasi dibatasi oleh …

18 complexity-theory 

Saya telah mempelajari sendiri Maksimalisasi Ekspektasi belakangan ini, dan mengambil sendiri beberapa contoh sederhana dalam proses: Dari sini : Ada tiga koin c0c0c_0 , c1c1c_1 dan c2c2c_2 dengan p0p0p_0 , p1p1p_1 dan p2p2p_2 masing-masing probabilitas untuk mendarat di Head saat dilempar. Aduk c0c0c_0 . Jika hasilnya adalah Head, lempar c1c1c_1 …

18 probability-theory  statistics 

Saya mulai membaca semakin banyak makalah penelitian bahasa. Saya merasa sangat menarik dan cara yang baik untuk mempelajari lebih lanjut tentang pemrograman secara umum. Namun, biasanya ada bagian di mana saya selalu berjuang dengan (ambil misalnya bagian ketiga dari ini ) karena saya tidak memiliki latar belakang teoritis dalam ilmu …

18 logic  reference-request  terminology  type-theory 

Buku-buku teks di mana-mana mengasumsikan bahwa Masalah Korespondensi Bounded Post adalah NP-complete (tidak lebih dari NNN indeks diizinkan dengan pengulangan). Namun, tidak ada satupun yang menunjukkan pengurangan polinomial waktu yang sederhana (seperti pada, sesuatu yang dapat dipahami oleh seorang mahasiswa sarjana) dari masalah NP-complete lainnya. Namun setiap pengurangan yang dapat …

18 complexity-theory  np-complete  reductions 

Sebagai berikut dari pertanyaan saya sebelumnya , saya telah bermain dengan hipotesis Riemann sebagai soal matematika rekreasi. Dalam prosesnya, saya sampai pada pengulangan yang agak menarik, dan saya ingin tahu tentang namanya, pengurangannya, dan ketertelusurannya terhadap solvabilitas kesenjangan antara bilangan prima. Singkatnya, kita dapat mendefinisikan kesenjangan antara setiap bilangan prima …

18 complexity-theory  reference-request  recurrence-relation  mathematical-analysis 

Apakah masalah "kehadiran pesta" dapat dipecahkan dalam Prolog? Sebagai contoh: Burdock Muldoon dan Carlotta Pinkstone berkata bahwa mereka akan datang jika Albus Dumbledore datang. Albus Dumbledore dan Daisy Dodderidge keduanya mengatakan mereka akan datang jika Carlotta Pinkstone datang. Albus Dumbledore, Burdock Muldoon, dan Carlotta Pinkstone semua mengatakan mereka akan datang …

18 logic  constraint-programming  prolog  logic-programming 

Teori Keberadaan Real ada di PSPACE , tapi saya tidak tahu apakah itu PSPACE-Complete . Jika saya percaya bukan itu masalahnya, bagaimana saya bisa membuktikannya? Lebih umum, diberikan masalah dalam beberapa kompleksitas kelas X , bagaimana saya bisa menunjukkan bahwa itu bukan X-Lengkap ? Misalnya, X bisa NP , PSPACE …

18 complexity-theory  proof-techniques 

Sederhananya, jika seseorang membangun perangkat komputasi kuantum dengan kekuatan, katakanlah, 20 qubit, dapatkah komputer seperti itu digunakan untuk membuat segala jenis algoritma hashing modern tidak berguna? Apakah mungkin untuk memanfaatkan kekuatan komputasi kuantum dalam aplikasi komputasi tradisional?

18 cryptography  quantum-computing  hash