Khoa học máy tính

Chúng tôi đã học về khái niệm liệt kê các chức năng. Trong thực tế, chúng tương ứng với các ngôn ngữ lập trình. Trong một nhận xét trôi qua, giáo sư đã đề cập rằng lớp của tất cả các hàm tổng (tức là các hàm luôn chấm dứt …

29 computability  semi-decidability  enumeration 

Vì sức mua tính toán có giá cả phải chăng hơn nhiều so với trước đây, kiến ​​thức về thuật toán và hiệu quả có trở nên ít quan trọng hơn không? Rõ ràng là bạn sẽ muốn tránh một vòng lặp vô hạn, vì vậy, không phải mọi thứ …

29 efficiency 

Nhiều sách giáo khoa bao gồm các loại giao lộ trong tính toán lambda. Các quy tắc gõ cho giao lộ có thể được định nghĩa như sau (trên đầu trang của phép tính lambda được gõ đơn giản với phân nhóm): Γ⊢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 …

29 lambda-calculus  type-theory  logic 

SQL có cần truy vấn con không? Hãy tưởng tượng một triển khai đủ khái quát của ngôn ngữ truy vấn có cấu trúc cho các cơ sở dữ liệu quan hệ. Do cấu trúc của câu lệnh SQL chuẩn SELECTthực sự rất quan trọng đối với điều này có …

29 database-theory  relational-algebra 

Tôi có một thuật toán tham lam mà tôi nghi ngờ có thể đúng, nhưng tôi không chắc. Làm thế nào để tôi kiểm tra xem nó có đúng không? Các kỹ thuật để sử dụng để chứng minh một thuật toán tham lam chính xác là gì? Có các …

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

Tôi đang tìm kiếm một thuật toán để tạo ra một mảng gồm N số ngẫu nhiên, sao cho tổng của số N là 1 và tất cả các số nằm trong 0 và 1. Ví dụ: N = 3, điểm ngẫu nhiên (x, y, z) nên nằm trong tam …

29 algorithms  randomness  random-number-generator  sampling 

Tại câu lạc bộ bóng quần địa phương của tôi, có một cái thang hoạt động như sau. Vào đầu mùa giải, chúng tôi xây dựng một bảng với tên của từng thành viên của câu lạc bộ trên một dòng riêng biệt. Sau đó chúng tôi viết số trò …

28 algorithms  graphs 

Đặt SSS là tập hợp các số tự nhiên. Chúng tôi xem xét SSS theo thứ tự chia một phần, tức là . Để chos1≤s2⟺s1∣s2s1≤s2⟺s1∣s2s_1 \leq s_2 \iff s_1 \mid s_2 α(S)=max{|V|∣V⊆S,Vα(S)=max{|V|∣V⊆S,V\qquad \displaystyle \alpha(S) = \max \{|V| \mid V\subseteq S, V một antichain .}}\} Nếu chúng ta xem xét bài …

28 complexity-theory  number-theory  knapsack-problems 

Nếu một người cố tải xuống một tệp với tốc độ 800 Mb / giây (100 MB / giây) vào ổ cứng với tốc độ ghi 500 Mb / giây (62,5 MB / giây), điều gì sẽ xảy ra? Hệ thống sẽ giới hạn tốc độ tải xuống?

28 computer-networks 

Wikipedia cũng như các nguồn khác mà tôi đã tìm thấy voidloại C là một loại đơn vị trái ngược với loại trống. Tôi thấy điều này khó hiểu vì dường như với tôi voidphù hợp hơn với định nghĩa về loại trống / đáy. Không có giá trị cư …

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 

Tôi có trích dẫn sau đây từ khóa học của nhà soạn nhạc của mình (trong bối cảnh tô màu đồ thị): Bởi vì nó chậm, màu đồ thị có xu hướng được sử dụng trong trình biên dịch hàng loạt, trong khi quét tuyến tính có xu hướng được …

28 compilers 

Hiện tại tôi đang chơi xung quanh với các dự báo chuỗi thời gian (cụ thể là cho Forex). Tôi đã thấy một số bài báo khoa học về các mạng trạng thái tiếng vang được áp dụng cho dự báo Forex. Có các thuật toán học máy tốt khác …

28 reference-request  machine-learning  artificial-intelligence 

Mọi vấn đề không thể giải quyết mà tôi biết đều thuộc một trong các loại sau: Các vấn đề không thể giải quyết được do đường chéo (tự tham chiếu gián tiếp). Những vấn đề này, giống như vấn đề tạm dừng, là không thể giải quyết được vì …

28 computability  proof-techniques  undecidability 

Có chương trình nào có thể 'dịch' mã nguồn giữa hai ngôn ngữ bất kỳ (giả sử người dịch có quyền truy cập vào các thư viện cần thiết) không? Nếu có, làm thế nào để họ làm việc (kỹ thuật được sử dụng, kiến ​​thức cần thiết, vv)? Làm …

28 computability  programming-languages  compilers 

Tôi thường nghe các cụm từ như 'ngữ nghĩa đồng thời thực sự' và 'tương đương đồng thời thực sự' mà không có bất kỳ tài liệu tham khảo nào. Những thuật ngữ đó có nghĩa gì và tại sao chúng quan trọng? Một số ví dụ về tương đương …

28 terminology  reference-request  concurrency