Ilmu Komputer

Saya telah menemukan pertanyaan itu: "Berikan contoh dua bahasa biasa yang tidak disatukan oleh bahasa mereka dengan bahasa biasa." Ini cukup mengejutkan bagi saya karena saya percaya bahwa bahasa reguler ditutup di bawah persatuan. Yang berarti bagi saya bahwa jika saya mengambil dua bahasa reguler dan menggabungkannya, saya harus mendapatkan …

12 formal-languages  regular-languages  closure-properties 

Maafkan kenaifan yang akan jelas dalam cara saya mengajukan pertanyaan ini dan juga fakta bahwa saya menanyakannya. Matematikawan biasanya menggunakan karena itu adalah teori yang paling sederhana / paling baik (karena kalkulus). Tetapi komputer tampaknya melakukan semuanya dalam biner, jadi apakah lebih cepat pada mesin untuk menghitung daripada ?expexp\exp2**xMath::exp(x)

12 binary-arithmetic  numerical-analysis  numeral-representations 

Dalam hal runtime asimptotik kasus terburuk, masalah NP-lengkap mana yang memiliki algoritma (paling tepat) paling cepat diketahui dan apa algoritma itu? Adakah yang diketahui lebih cepat dari ?O(n2∗2n)O(n2∗2n)O(n^2*2^n)

12 algorithms  reference-request  np-complete 

Masalah pohon spanning terikat adalah di mana Anda memiliki grafik tidak terarah dan Anda harus memutuskan apakah memiliki spanning tree sedemikian rupa sehingga setiap simpul memiliki derajat paling banyak .kkkG(V,E)G(V,E)G(V,E)kkk Saya menyadari bahwa untuk kasus , ini adalah masalah jalur Hamilton. Namun saya mengalami masalah dengan kasus di mana . …

12 spanning-trees 

Kami dulu memiliki komputer analog beberapa dekade yang lalu. Komputer modern adalah Digital. Bagaimana dengan komputer Quantum? Apakah itu analog atau digital? Saya menanyakan hal ini karena qubit dapat menjadi banyak hal pada saat yang bersamaan.

12 quantum-computing 

Saya tahu bahwa ini mungkin terdengar agak keluar dari kotak, sebenarnya saya dulu selalu berpikir di dalam kotak, tetapi baru-baru ini saya telah berpikir, mungkin karena ilmu komputer memberikan kebebasan tingkat tinggi, tentang cara-cara untuk merancang program selain yang diajarkan di universitas. Pertimbangkan fungsi faktorial. Biasanya kami mendefinisikan fungsi ini …

12 algorithms 

Saya memiliki satu set titik , dan saya memiliki jarak antara setiap titik . Jarak-jarak ini adalah euclidean tetapi titik-titik tersebut sebenarnya dalam ruang fitur.CCCD(Pi,Pj)D(Pi,Pj)D(P_i,P_j) Dari poin saya ingin memilih subset dari poin. Sebut subset ini . Saya ingin memilih subset ini sehingga dapat memaksimalkan jarak minimum antara semua poin …

12 optimization 

Pertama, saya ingin mengatakan bahwa teks saya di bawah ini mungkin mengandung kesalahan, jadi silakan tunjukkan kesalahan dalam perumusan pertanyaan saya. Pertimbangkan kalkulus lambda yang tidak diketik dengan boolean dan jika-pernyataan yang istilahnya diberikan oleh sintaks ini: t ::= v | t t | if t t t | x …

12 programming-languages  lambda-calculus 

Koleksi sampah harus mengunjungi semua benda yang hidup, sehingga dapat menemukan memori yang dapat direklamasi. (Memiliki banyak generasi hanya menunda ini sedikit) Semua hal yang sama, jelas lebih baik untuk pertama mengunjungi objek yang sudah di-paging ke RAM, sebelum paging blok lain dan karena itu paging keluar beberapa objek. Kemungkinan …

12 memory-management  paging  garbage-collection 

Sebuah komentar di tex.SE membuatku bertanya-tanya. Pernyataan itu pada dasarnya: Jika saya dapat menulis kompiler untuk bahasa X dalam bahasa X, maka X adalah Turing-complete. Dalam istilah komputasi dan bahasa formal, ini adalah: Jika memutuskan dan , maka .L ⊆ L T M ⟨ M ⟩ ∈ L F L …

12 computability  turing-completeness 

Inilah masalahnya: Buktikan bahwa Mesin Turing single-tape yang tidak dapat menulis pada bagian dari rekaman yang berisi string input hanya mengenali bahasa biasa. Gagasan saya adalah untuk membuktikan bahwa TM khusus ini setara dengan DFA. Menggunakan TM ini untuk mensimulasikan DFA sangat mudah. Namun, ketika saya ingin menggunakan DFA ini …

12 formal-languages  computability  regular-languages  turing-machines  automata 

Saya mencoba memecahkan 25k klausa 5k variabel masalah SAT. Karena sudah berjalan selama satu jam (precosat) dan saya ingin menyelesaikan yang lebih besar setelah itu, saya mencari SAT-Solver multi-core. Karena sepertinya ada banyak SAT-Solver, saya sangat tersesat. Adakah yang bisa menunjukkan yang terbaik untuk kasus saya? Saya juga akan senang …

12 algorithms  reference-request  parallel-computing  sat-solvers 

Apakah kelengkapan CoNP menyiratkan kekerasan NP? Secara khusus, saya memiliki masalah yang saya tunjukkan sebagai coNP-complete. Dapatkah saya mengklaim bahwa ini NP-hard? Saya menyadari bahwa saya dapat mengklaim kekerasan TNN, tetapi saya tidak yakin apakah terminologi itu standar. Saya merasa nyaman dengan klaim bahwa jika masalah NP-lengkap milik coNP, maka …

12 complexity-theory  np-hard 

Saya menggunakan jaringan saraf untuk memprediksi deret waktu. Pertanyaan yang saya hadapi sekarang adalah bagaimana saya menyandikan tanggal / waktu / nomor seri. dari setiap input ditetapkan sebagai input ke jaringan saraf? Haruskah saya menggunakan 1 dari pengkodean C (digunakan untuk kategori pengkodean) seperti dijelaskan di sini ? Atau haruskah …

12 machine-learning  artificial-intelligence  neural-networks 

Kita diberi array dengan semua a [ i ] > 0 .a [ 1 ... n ]a[1…n]a[1 \ldots n]a [ i ] > 0a[i]>0a[i]>0 Sekarang kita perlu menemukan berapa banyak jumlah yang berbeda dapat dibentuk dari subarrays nya (di mana subarray adalah berbagai bersebelahan dari array, yaitu, untuk beberapa j …

12 arrays  substrings  suffix-array