Ilmu Komputer

Di perguruan tinggi kami telah belajar tentang teori komputasi secara umum dan mesin Turing lebih khusus. Salah satu hasil teoretis yang hebat adalah bahwa dengan mengorbankan alfabet (simbol) yang berpotensi besar, Anda dapat mengurangi jumlah status menjadi hanya 2. Saya mencari contoh Mesin Turing yang berbeda dan contoh umum yang …

9 turing-machines  context-free  parsers 

Dalam video pembacaan untuk MIT OCW 6.006 pukul 43:30, Diberikan matriks dengan kolom dan baris, algoritma penemuan 2-D, di mana puncak adalah nilai lebih besar dari atau sama dengan tetangganya yang berdekatan, digambarkan sebagai:m×nm×nm \times nAAAmmmnnn Catatan: Jika ada kebingungan dalam mendeskripsikan kolom melalui , saya minta maaf, tetapi ini …

9 algorithms  algorithm-analysis  asymptotics  matrices 

Cache CPU digunakan dengan mengeksploitasi temporal dan spatial locality. Pertanyaan saya adalah siapa yang bertanggung jawab untuk mengelola cache ini? Apakah sistem Operasi ini yang mengidentifikasi pola akses tertentu dan kemudian mengelola (yaitu menyimpan data dalam) cache, menggunakan panggilan fungsi OS tingkat rendah?

9 computer-architecture  cpu-cache 

Saya berjuang dengan sedikit definisi dalam representasi pengetahuan dan mencari bantuan yang dapat dipercaya untuk membedakannya. Saya telah mencari di wikipedia dan banyak situs web untuk perbedaan antara ontologi dan jaringan semantik (jangan bingung dengan web semantik). Sementara halaman wikipedia di jaringan semantik tidak pernah merujuk pada ontologi, mereka tampak …

9 terminology  knowledge-representation  ontologies 

Membaca pertanyaan ini, " Masalah RE yang tidak dapat dipastikan tetapi tidak menyelesaikan Turing ", bahasa berikut muncul di benak saya: Jika adalah fungsi berang-berang yang sibuk (skor maksimum yang dapat dicapai di antara semua penghentian 2-simbol n-state mesin Turing dari tipe yang dijelaskan di atas, ketika dimulai pada pita …

9 computability  turing-machines 

Terinspirasi oleh pertanyaan ini di mana penanya ingin tahu apakah waktu berjalan berubah ketika pembanding yang digunakan dalam algoritma pencarian standar digantikan oleh flip koin yang adil, dan juga kegagalan Microsoft yang menonjol untuk menulis generator permutasi yang seragam, pertanyaan saya adalah demikian : Apakah ada algoritma penyortiran berbasis perbandingan …

9 sorting  randomized-algorithms  permutations 

Diberikan program integer (biner) dari formulir:0 , 10,10,1 minstf( x )A x = bxsaya≥ 0xsaya∈ { 0 , 1 }∀ saya∀ sayaminf(x)stSEBUAHx=bxsaya≥0∀sayaxsaya∈{0,1}∀saya \begin{array}{lll} \text{min} & f(x) & \\ \text{s.t.} & A x = b \\ & x_i \ge 0 & \quad \forall i\\ & x_i \in \{0,1\} & \quad \forall …

9 complexity-theory  np-complete  approximation  integer-programming 

Kami ingin mem-tile -square menggunakan dua jenis ubin: -square kuadrat dan -square kuadrat sehingga setiap kotak yang mendasarinya tertutup tanpa tumpang tindih. Mari kita mendefinisikan fungsi yang memberikan ukuran kuadrat unik unik terbesar yang bisa digunakan menggunakan kuadrat dan sejumlah kuadrat.1 × 1 2 × 2 f ( n ) …

9 computability  combinatorics 

Apakah varian masalah jumlah subset ini mudah / diketahui? Dengan bilangan bulat , dan satu set bilangan bulat positif sedemikian rupa sehingga setiap x_i memiliki paling banyak k = 2 bit diatur ke 1 ( x_i = 2 ^ {b_ {i_1} } + 2 ^ {b_ {i_2}}, \; \; b_ …

9 complexity-theory  reference-request  decision-problem 

Biarkan menjadi bahasa dari semua rumus 2- CNF φ , sehingga setidaknya ( 1LϵLϵL_\epsilon222φφ\varphidariklausaφdapat dipenuhi.(12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi Saya perlu membuktikan bahwa ada st L ϵ adalah N P-keras untuk ϵ &lt; ϵ ′ .ϵ′ϵ′\epsilon'LϵLϵL_\epsilonNPNP\mathsf{NP}ϵ&lt;ϵ′ϵ&lt;ϵ′\epsilon<\epsilon' Kita tahu bahwa dapat mendekati 55Max2SatMax2Sat\text{Max}2\text{Sat} sebelum klausa daripenguranganSat3Maks. Bagaimana saya menyelesaikan ini?55565556\frac{55}{56}Max3SatMax3Sat\text{Max}3\text{Sat}

9 complexity-theory  satisfiability  approximation 

Pertimbangkan grafik yang tidak diarahkan dengan sumber dan simpul wastafel. Kami ingin menghapus jumlah minimum simpul dalam grafik itu untuk memutuskan jalur apa pun antara sumber dan wastafel. Bisakah kita melakukan ini menggunakan katakanlah algoritma max-flow, min-cut?

9 algorithms  graph-theory  network-flow 

Mengapa angka yang dapat dihitung (dalam arti Turing) dapat dihitung? Pasti sangat jelas, tetapi saya saat ini tidak melihatnya.

9 computability  turing-machines  enumeration 

Saya memiliki query kompleks yang digunakan untuk mencari dataset S untuk menemukan H exact = { s ∈ S ∣ di mana Q ( s ) bernilai True } . Setiap kueri mengambil waktu rata-rata t sehingga waktu keseluruhan dalam pencarian linear adalah t ⋅ | S | . Saya …

9 algorithms  optimization  machine-learning  greedy-algorithms  databases 

Saya terjebak pada masalah ini: Diberikan larik dari asli pertama yang diijinkan secara acak, larik dibangun, sehingga adalah jumlah elemen dari hingga yang lebih kecil dari . AAAnnnBBBB(k)B(k)B(k)A(1)A(1)A(1)A(k−1)A(k−1)A(k-1)A(k)A(k)A(k) i) Mengingat bisakah Anda menemukan dalam waktu ? ii) Mengingat dapatkah Anda menemukan dalam waktu ?AAABBBO(n)O(n)O(n)BBBAAAO(n)O(n)O(n) Di sini, . Untuk contoh konkret: …

9 algorithms  arrays  permutations 

Saya mencari algoritma yang efisien untuk menemukan pola berulang terpanjang dalam sebuah string. Misalnya, perhatikan string angka berikut: 5431428571428571428571428571427623874534. Seperti yang Anda lihat, 142857142857adalah pola terpanjang yang diulang beberapa kali (setidaknya dua kali) dalam string ini. String yang diulang seharusnya tidak mengandung ide apa pun alih-alih kekerasan?

9 algorithms  strings  subsequences