Ilmu Komputer

Kami belajar tentang konsep enumerasi fungsi. Dalam praktiknya, mereka berhubungan dengan bahasa pemrograman. Dalam komentar yang lewat, profesor menyebutkan bahwa kelas semua fungsi total (yaitu fungsi yang selalu berakhir untuk setiap input) tidak dapat dihitung. Itu berarti bahwa kita tidak dapat merancang bahasa pemrograman yang memungkinkan kita untuk menulis semua …

29 computability  semi-decidability  enumeration 

Saya ingin tahu dalam menentukan pendekatan untuk menangani algoritma "teman yang disarankan". Facebook memiliki fitur di mana ia akan merekomendasikan individu kepada Anda yang menurutnya mungkin Anda kenal. Pengguna ini biasanya (tidak termasuk kasus tepi di mana pengguna secara khusus merekomendasikan teman ) memiliki jaringan yang sangat mirip dengan diri …

29 algorithms  machine-learning  modelling  social-networks 

Apakah SQL memerlukan subquery? Bayangkan implementasi yang cukup umum dari bahasa query terstruktur untuk database relasi. Karena struktur SELECTpernyataan SQL kanonik sebenarnya cukup penting untuk membuat ini masuk akal, saya tidak menarik langsung ke aljabar relasional, tetapi Anda bisa membingkai ini dalam istilah-istilah tersebut dengan membuat batasan yang tepat pada …

29 database-theory  relational-algebra 

Banyak buku teks membahas jenis persimpangan di kalkulus lambda. Aturan mengetik untuk persimpangan dapat didefinisikan sebagai berikut (di atas kalkulus lambda hanya diketik dengan subtyping): Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I)Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I) \dfrac{\Gamma \vdash M : T_1 \quad \Gamma \vdash M : T_2} {\Gamma \vdash M : T_1 \wedge T_2} (\wedge I) \qquad\qquad \dfrac{} {\Gamma \vdash …

29 lambda-calculus  type-theory  logic 

Saya memiliki algoritma serakah yang saya duga mungkin benar, tetapi saya tidak yakin. Bagaimana saya memeriksa apakah itu benar? Apa teknik yang digunakan untuk membuktikan algoritma serakah yang benar? Apakah ada pola atau teknik yang umum? Saya berharap ini akan menjadi pertanyaan referensi yang dapat digunakan untuk mengarahkan pemula; karenanya …

29 algorithm-analysis  proof-techniques  correctness-proof  greedy-algorithms 

Saya mencari algoritma untuk menghasilkan array angka acak N, sehingga jumlah angka-angka N adalah 1, dan semua angka berada dalam 0 dan 1. Misalnya, N = 3, titik acak (x, y, z) harus terletak di dalam segitiga: x + y + z = 1 0 < x < 1 0 …

29 algorithms  randomness  random-number-generator  sampling 

Di klub squash lokal saya, ada tangga yang berfungsi sebagai berikut. Di awal musim kami membuat tabel dengan nama masing-masing anggota klub pada baris yang berbeda. Kami kemudian menulis jumlah permainan yang dimenangkan dan jumlah permainan yang dimainkan di sebelah setiap nama (dalam bentuk: pemain menang / permainan). Jadi pada …

28 algorithms  graphs 

Biarkan SSS menjadi satu set bilangan alami. Kami menganggap SSS dalam urutan parsial yang dapat dibagi, yaitu s1≤s2⟺s1∣s2s1≤s2⟺s1∣s2s_1 \leq s_2 \iff s_1 \mid s_2 . Membiarkan α(S)=max{|V|∣V⊆S,Vα(S)=max{|V|∣V⊆S,V\qquad \displaystyle \alpha(S) = \max \{|V| \mid V\subseteq S, V barangantik}}\}. Jika kita mempertimbangkan masalah jumlah bagian di mana multiset angka berada di SSS …

28 complexity-theory  number-theory  knapsack-problems 

Saya memiliki kutipan berikut dari kursus kompiler saya (dalam konteks pewarnaan grafik): Karena lambat, pewarnaan grafik cenderung digunakan dalam kompiler batch, sedangkan pemindaian linier cenderung digunakan dalam kompiler JIT. Saya tidak dapat menemukan definisi online yang jelas. Jadi, apa yang membuat kompiler menjadi kompiler batch?

28 compilers 

Wikipedia serta sumber lain yang saya temukan daftar voidtipe C sebagai tipe unit sebagai lawan dari tipe kosong. Saya menemukan ini membingungkan karena menurut saya voidlebih cocok dengan definisi tipe kosong / bawah. Tidak ada nilai yang dihuni void, sejauh yang saya tahu. Suatu fungsi dengan tipe kembali dari kekosongan …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Jika seseorang mencoba mengunduh file dengan kecepatan 800 Mb / s (100 MB / s) ke hard drive dengan kecepatan tulis 500 Mb / s (62,5 MB / s), apa yang akan terjadi? Apakah sistem membatasi kecepatan pengunduhan?

28 computer-networks 

Apakah ada program yang dapat 'menerjemahkan' kode sumber antara dua bahasa (dengan asumsi penerjemah memiliki akses ke perpustakaan yang diperlukan)? Jika ada, bagaimana cara kerjanya (teknik yang digunakan, pengetahuan yang dibutuhkan, dll)? Bagaimana mereka layak dibangun? Jika tidak, pembatasan apa yang mencegah perkembangan mereka? Apakah ini masalah lengkap AI (terjemahan …

28 computability  programming-languages  compilers 

Saat ini saya bermain-main dengan perkiraan seri waktu (khusus untuk Forex). Saya telah melihat beberapa makalah ilmiah tentang jaringan negara gema yang diterapkan untuk perkiraan Forex. Apakah ada algoritma pembelajaran mesin yang bagus untuk tujuan ini? Ini juga akan menarik untuk mengekstrak pola "menguntungkan" dari seri waktu.

28 reference-request  machine-learning  artificial-intelligence 

Setiap masalah yang tidak dapat dipastikan yang saya ketahui termasuk dalam salah satu kategori berikut: Masalah yang tidak dapat dipastikan karena diagonalisasi (referensi diri tidak langsung). Masalah-masalah ini, seperti masalah penghentian, tidak dapat diputuskan karena Anda dapat menggunakan penentu yang konon untuk bahasa untuk membangun TM yang perilakunya mengarah pada …

28 computability  proof-techniques  undecidability 

Saya mencari struktur data yang menyimpan satu set string di atas set karakter , yang mampu melakukan operasi berikut. Kami menunjukkan D ( S ) sebagai struktur data menyimpan set string S .ΣΣ\SigmaD (S)D(S)\mathcal{D}(S)SSS Add-Prefix-Setpada : diberi beberapa set T dari string (mungkin kosong), yang ukurannya dibatasi oleh sebuah konstanta …

28 data-structures  time-complexity  strings  stacks