Khoa học máy tính

Tôi đang nghiên cứu một vấn đề liên quan đến hình vuông Latin và tôi muốn có một phương pháp cho vấn đề cơ bản giải quyết vấn đề quyết định: Đầu vào : Một đồ thị hữu hạn, đơn giản G. Đầu ra : YESnếu G có tính tự …

9 algorithms  graphs  graph-theory  reference-request 

Tôi thấy nhiều vấn đề thuật toán luôn giảm xuống một số thứ dài: Bạn có một mảng số nguyên , bạn cần tìm sao cho tối đa hóa trong thời gian .h[1..n]≥0h[1..n]≥0h[1..n]\geq 0i,ji,ji,j(h[j]−h[i])(j−i)(h[j]−h[i])(j−i)(h[j]-h[i])(j-i)O(n)O(n)O(n) Rõ ràng giải pháp thời gian là xem xét tất cả các cặp, tuy nhiên, có …

9 algorithms  algorithm-analysis  optimization 

Một tuyên bố về định lý của Rice được đưa ra ở trang 35 của "Độ phức tạp tính toán: Cách tiếp cận hiện đại" (Arora-Barak): Hàm một phần từ đến là một hàm không nhất thiết phải được xác định trên tất cả các đầu vào của nó. Chúng …

9 computability  turing-machines  undecidability  rice-theorem 

Có nhiều -Notations, như hoặc , v.v. Tôi đã tự hỏi, nếu có những biến thể của những cái trong thực tế như hoặc , hoặc nếu những biến thể đó không chính xác về mặt toán học.OÔiOO(n)Ôi(n)O(n)O(n2)Ôi(n2)O(n^2)O(2n2)Ôi(2n2)O(2n^2)O(logn2)Ôi(đăng nhập⁡n2)O(\log n^2) Hoặc sẽ là một điều đúng đắn khi nói rằng …

9 complexity-theory  time-complexity  optimization  big-o-notation 

Tôi đã gặp vấn đề này và đang đấu tranh để tìm cách tiếp cận nó. Bất kỳ suy nghĩ sẽ được đánh giá rất cao! Giả sử chúng ta được cung cấp một ma trận , ví dụ:{−1,0,1}n × k{−1,0,1}n × k\{-1, 0, 1\}^{n\ \times\ k} ⎡⎣⎢⎢⎢⎢⎢⎢1−10−11001−101010000010−11−11−1⎤⎦⎥⎥⎥⎥⎥⎥[1010−1−100010110−1−1−10111000−1]\begin{bmatrix} 1 & …

9 algorithms  optimization  combinatorics  matrices  permutations 

Nhiều lớp phức tạp có vấn đề "hoàn thành". Các vấn đề hoàn chỉnh có tồn tại cho lớp phức tạp của các vấn đề có thể được giải quyết trong thời gian không?O(1)O(1)O(1) Một sự phức tạp là lớp này phụ thuộc vào mô hình tính toán; một vấn …

9 complexity-theory  time-complexity  constant-time 

Tôi muốn so sánh hiệu suất của các cấu trúc dữ liệu được mã hóa (Church's / Scott) với các cấu trúc dữ liệu được mã hóa theo kiểu cổ điển (trình biên dịch / C). Nhưng trước khi làm điều đó tôi cần biết mức độ hiệu quả của …

9 lambda-calculus  functional-programming 

Cho ma trận Boolean X , hãy để 0 mục đại diện cho biển và 1 mục đại diện cho đất liền. Xác định một hòn đảo theo chiều dọc hoặc chiều ngang (nhưng không theo đường chéo) liền kề 1 mục.n × mn×mn \times mXX\mathrm X000111111 Câu hỏi ban …

9 algorithms  matrices  counting  streaming-algorithm 

Cho rằng: Một ngôn ngữ có hệ thống loại rất biểu cảm (ví dụ Idris ) cũng có thể có các cơ chế thoát như giao diện chức năng nước ngoài / unsafePerformIO. Có những trợ lý chứng minh có thể được sử dụng để chứng minh một số thuộc …

9 type-theory  proof-assistants  curry-howard 

Tại sao (nếu vậy) seperator ##\# tạo ra sự khác biệt giữa hai ngôn ngữ? Hãy nói: L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} Dưới đây là một bằng chứng và một ngữ pháp đại diện cho LLL là …

9 formal-languages  context-free  pumping-lemma 

Trong Spanner, TrueTime & Định lý CAP , Eric Brewer viết: Một điều tinh tế về Spanner là nó có được tính tuần tự từ các khóa, nhưng nó có được tính nhất quán bên ngoài (tương tự như tính tuyến tính ) từ TrueTime [ nhấn mạnh thêm ]. …

9 distributed-systems 

Trong Bằng chứng và Loại của Girard , chúng ta có thể đọc: Từ quan điểm thuật toán, phép tính tuần tự không có sự đồng hình hóa Curry-Howard, bởi vì vô số cách viết cùng một bằng chứng. Điều này ngăn chúng tôi sử dụng nó như một -calculus, …

9 reference-request  logic  parallel-computing 

Có một định lý nói rằng: Cho một máy tự động trạng thái hữu hạn có trạng thái, nếu tồn tại một chuỗi có độ dài thỏa mãn thì ngôn ngữ được máy tự động chấp nhận là vô hạn.nnnwwwn≤|w|≤2n−1n≤|w|≤2n−1n \leq |w| \leq 2n-1 Tôi hiểu các ràng buộc , …

9 automata  finite-automata 

Tôi đang đọc bài báo nổi tiếng này về các trường đại học về lý thuyết loại . Lúc đầu, tôi mong đợi một cái gì đó tương tự như Setωở Agda, nhưng hóa ra nó thậm chí còn là thứ gì đó chung chung hơn. Có vẻ như để …

9 lambda-calculus  type-theory 

Những món quà ngữ pháp ngữ cảnh tự do sau một "treo lủng lẳng khác" kiểu nhập nhằng (tưởng tượng rằng đại diện cho và là viết tắt của và là viết tắt của một số loại khác giảng dạy hoặc khối): Ví dụ, có thể được phân tích cú …

9 context-free  formal-grammars  parsers  ambiguity