Khoa học máy tính

Trong Meta Math của Chaitin ! The Quest For Omega , anh nói ngắn gọn về vấn đề thứ 10 của Hilbert. Sau đó, ông nói rằng bất kỳ phương trình Diophantine có thể được thay đổi thành hai đa thức bằng nhau với các hệ số nguyên dương: .p …

10 logic  halting-problem 

Vào cuối những năm 1990, khi tôi học cao học, tờ báo Máy xay muối JH; Sậy DP; DD Clark: Đối số đầu cuối trong thiết kế hệ thống . ACM Trans. Tính toán. Hệ thống. 2 (4): 277-288, 1984. DOI = 10.1145 / 357401.357402 đọc được khá nhiều yêu …

10 computer-architecture  operating-systems  distributed-systems  computer-networks 

Tôi mới bắt đầu đi vào lý thuyết tính toán, nghiên cứu những gì có thể tính toán, nhanh như thế nào, sử dụng bao nhiêu bộ nhớ và với mô hình tính toán nào. Tôi có một câu hỏi khá cơ bản, nhưng tôi thực sự hy vọng một …

10 complexity-theory  formal-languages 

Mô tả một ngôn ngữ thông thường không thể được chấp nhận bởi bất kỳ DFA nào chỉ có ba trạng thái. Tôi không thực sự chắc chắn nên bắt đầu từ đâu và tự hỏi liệu ai đó có thể cho tôi một số lời khuyên hoặc lời khuyên. …

10 formal-languages  regular-languages  finite-automata  pumping-lemma 

Từ bằng chứng của Miller-Rabin , nếu một số vượt qua bài kiểm tra nguyên thủy Fermat , thì nó cũng phải vượt qua bài kiểm tra Miller-Rabin với cùng một cơ sở (một biến trong chứng minh). Và độ phức tạp tính toán là như nhau.mộtmộta Sau đây là …

10 algorithms  primes 

Chúng tôi đã có một số câu hỏi về mối quan hệ của việc giảm Cook và Karp . Rõ ràng là giảm Cook (giảm Turing theo thời gian đa thức) không định nghĩa cùng một khái niệm về tính đầy đủ của NP như giảm Karp (giảm nhiều lần …

10 complexity-theory  reference-request  np-complete  reductions 

Hãy xem xét các chương trình tuyến tính Primal:Ax⃗ ≤b⃗ maxc⃗ Tx⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} Dual:c⃗ ≤y⃗ TAminy⃗ Tb⃗ Dual:c→≤y→TAminy→Tb→\begin{array}{|ccc|} \hline Dual: & \vec{c} \leq \vec{y}^TA \hspace{.5cm} & \min \vec{y}^T\vec{b} \\ \hline \end{array} Định lý đối ngẫu yếu nói …

10 algorithms  reference-request  linear-programming  linear-algebra  duality 

Tôi đang làm việc trên một trình biên dịch tính toán lambda nhỏ có hệ thống suy luận kiểu Hindley-Milner đang hoạt động và hiện cũng hỗ trợ đệ quy (không phải trong mã được liên kết), mà tôi hiểu là đủ để làm cho nó hoàn chỉnh . Vấn …

10 lambda-calculus  type-theory  type-inference 

Giới thiệu và ký hiệu: Đây là một phiên bản mới và đơn giản của thuật toán của tôi dường như chấm dứt (theo thí nghiệm của tôi), và bây giờ tôi muốn chứng minh điều đó. Đặt ký hiệu tham chiếu đến điểm dữ liệu p chiều (vectơ). Tôi …

10 algorithms  complexity-theory  algorithm-analysis  optimization 

Vấn đề của tôi là như thế này: Tôi có một bố cục vật lý được biểu diễn dưới dạng biểu đồ. Các nút đại diện cho các móc / ống dẫn trong đó một dây có thể neo và Edges là kết nối có thể có giữa 2 nút …

10 algorithms  graph-theory  optimization 

Ký hiệu nào được sử dụng để thảo luận về các hệ số của các hàm trong ký hiệu big-O? Tôi có hai chức năng: f(x)=7x2+4x+2f(x)=7x2+4x+2f(x) = 7x^2 + 4x +2 g(x)=3x2+5x+4g(x)=3x2+5x+4g(x) = 3x^2 + 5x +4 Rõ ràng, cả hai chức năng là , thực sự là , nhưng …

10 terminology  asymptotics  landau-notation 

Đối với các hàm hoặc tính toán, chúng tôi có các thuật ngữ như: Tính quyết đoán - Chủ nghĩa quyết đoán Tinh khiết - Tinh khiết Bây giờ danh từ tương ứng chính xác cho side-effect-free là gì? "Hiệu ứng phụ"? "Tự do tác dụng phụ"? "Không hiệu quả"?

10 terminology  programming-languages 

Tôi đã thấy các trang web có ý định "chứng minh" rằng HTML5 + CSS là Turing Complete. Tôi đã thấy các trang web có ý định "chứng minh" rằng SQL là Turing Complete. Tôi đã thấy một loạt các trang web có ý định "giải thích" ý nghĩa của …

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis 

Giả sử một thuật toán có mối quan hệ lặp lại thời gian chạy: T(n)={g(n)+T(n−1)+T(⌊δn⌋)f(n):n≥n0:n&lt;n0T(n)={g(n)+T(n−1)+T(⌊δn⌋):n≥n0f(n):n&lt;n0 T(n) = \left\{ \begin{array}{lr} g(n)+T(n-1) + T(\lfloor\delta n\rfloor ) & : n \ge n_0\\ f(n) & : n < n_0 \end{array} \right. đối với một số hằng . Giả sử là đa thức trong , …

10 asymptotics  recurrence-relation 

Ký hiệu Big-O ẩn các yếu tố không đổi, do đó, một số thuật toán tồn tại không khả thi đối với bất kỳ kích thước đầu vào hợp lý nào vì hệ số trên số hạng rất lớn.Ô ( n )O(n)O(n)nnn Có bất kỳ thuật toán đã biết nào …

10 algorithms  asymptotics