Khoa học máy tính

Câu hỏi này là về giao điểm của lý thuyết xác suất và độ phức tạp tính toán. Một quan sát chính là một số bản phân phối dễ tạo hơn các bản phân phối khác. Ví dụ: vấn đề Cho một số nnn , trả lại một số phân …

9 complexity-theory  reference-request  probability-theory  probabilistic-algorithms 

Hàm Boolean là hàm .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} Cơ sở boolean được biết đến là Turing hoàn thành vì nó cho phép bất kỳ chuỗi s ∈ { 0 , 1 } để được lộn hoặc bị bỏ lại không thay đổi. Điều tương tự cũng có thể nói về cổng X O …

9 turing-machines  turing-completeness  boolean-algebra 

Sử dụng vectơ Earley làm công cụ nhận dạng khá đơn giản: khi kết thúc chuỗi, bạn chỉ cần kiểm tra sản xuất tiên đề đã hoàn thành bắt đầu ở vị trí 0. Nếu bạn có ít nhất một, thì chuỗi được chấp nhận. Sử dụng vectơ Earley để …

9 context-free  dynamic-programming  parsers  ambiguity  syntax-trees 

Trong một câu hỏi trước đó chính xác thuật toán là gì? , Tôi đã hỏi liệu có một "thuật toán" trả về giá trị của hàm dựa trên một mảng các giá trị được tính toán trước có phải là một thuật toán hay không. Một trong những câu …

9 turing-machines  computation-models 

Tôi đang xem xét vấn đề sau: Với vectơ chiều các số tự nhiên v 1 , ... , v m và một số vector đầu vào u , là u một sự kết hợp tuyến tính của các v i 's với hệ số số tự nhiên?nnnv1, ... , …

9 algorithms  reference-request  linear-algebra  integers  knapsack-problems 

Một ngôn ngữ chính thức trên một bảng chữ cái là một tập hợp con của , nghĩa là một tập hợp các từ trên bảng chữ cái đó. Hai ngôn ngữ chính thức và bằng nhau, nếu các bộ tương ứng được mở rộng bằng nhau dưới dạng tập …

9 complexity-theory  formal-languages  reference-request 

Là một phần của bài tập về nhà bao gồm việc thực hiện introsort, tôi đã hỏi tại sao heapsort được sử dụng thay vì các thuật toán cho vấn đề đó). O ( n log( n ) )O(nlog⁡(n))O(n\log(n)) Introsort là một thuật toán sắp xếp lai cung cấp cả …

9 algorithms  algorithm-analysis  sorting 

Hầu hết các phương ngữ Smalltalk hiện đang thực hiện một mô đun nổi không chính xác ngây thơ (fmod / phần còn lại). Tôi chỉ thay đổi điều này để cải thiện Squeak / Pharo và cuối cùng là tuân thủ các tiêu chuẩn khác của Smalltalk (IEEE 754, …

9 arithmetic  floating-point 

Khi mô phỏng thuật toán thay thế trang đồng hồ, khi tham chiếu đã có trong bộ nhớ, kim đồng hồ có còn tăng không? Đây là một ví dụ: Với 4 khe cắm, sử dụng thuật toán thay thế trang đồng hồ Danh sách tham khảo: 1 2 3 …

9 algorithms  paging  virtual-memory 

Tôi đang tìm kiếm một thuật toán suy luận kiểu cho một ngôn ngữ tôi đang phát triển, nhưng tôi không thể tìm thấy một thuật toán phù hợp với nhu cầu của mình vì chúng thường là: à la Haskell, với tính đa hình nhưng không quá tải ad-hoc …

9 type-theory  type-inference 

Tôi đang cố gắng nhận ra đường thủy từ các bức ảnh chụp từ trên không (nói từ Google Maps). Chính quyền địa phương thường có dữ liệu GIS cho biết đường thủy (và đường, tòa nhà, v.v.), nhưng dữ liệu nước trong đó thường không chính xác và chúng …

9 image-processing 

Tôi là một sinh viên mới bắt đầu đọc về điện toán đảo ngược. Tôi biết rằng, vì nguyên tắc của Landauer, các tính toán không thể đảo ngược làm tiêu tan nhiệt (và các tính toán có thể đảo ngược thì không). Tôi đã đưa nó lên với giáo …

9 computability  reversible-computing 

Về vấn đề lỗi Heartbleed, Bruce Schneier đã viết trong Crypto-Gram ngày 15 tháng 4: '"Thảm họa" là từ đúng. Trên thang điểm từ 1 đến 10, đây là 11. ' Tôi đã đọc cách đây vài năm rằng một hạt nhân của một hệ điều hành nhất định đã …

9 cryptography  correctness-proof  security  software-verification  program-correctness 

Tôi có một tập hợp con của các đường dẫn đơn giản trong biểu đồ. Độ dài của các đường dẫn được giới hạn bởi .ddd Cách nhỏ gọn nhất (trí nhớ thông minh) Tôi có thể biểu diễn các đường dẫn sao cho không có đường dẫn nào khác …

9 graphs  data-structures 

Đối với nhiều dự án máy học mà chúng tôi thực hiện, chúng tôi bắt đầu với trình phân loại k Neighbor Neighbor. Đây là một phân loại bắt đầu lý tưởng vì chúng ta thường có đủ thời gian để tính toán tất cả các khoảng cách và số …

9 neural-networks  classification