Khoa học máy tính

Thuật ngữ "Tính đầy đủ của Turing" đã được thảo luận trong một số lớp Khoa học Máy tính mà tôi đã học. Tuy nhiên, tôi chưa bao giờ có được cảm giác trực quan về những gì Turing hoàn thành thực sự đòi hỏi. Tôi tìm thấy câu hỏi …

7 programming-languages  turing-completeness 

Mảng sau chiếm 10000 khe trong bộ nhớ: a = [0,1,2,3,4,5,6,7,8,9,10,...,10000] Nhưng người ta có thể dễ dàng biểu diễn cùng một mảng như: a = {len:10000, get: λ idx -> idx} Mà nhỏ gọn hơn nhiều. Tương tự, có một số mảng có thể được biểu diễn nhỏ gọn: …

7 algorithms  complexity-theory  formal-languages  programming-languages  data-compression 

Tôi không thể hình dung bất kỳ vấn đề nào có thể được giải quyết trong thời gian theo cấp số nhân, nhưng không thể được kiểm tra trong thời gian đa thức.

7 complexity-classes 

Tôi có một thuật toán di truyền cho một vấn đề tối ưu hóa. Tôi đã vẽ thời gian chạy của thuật toán trên một số lần chạy trên cùng một đầu vào và cùng các tham số (kích thước dân số, kích thước thế hệ, chéo, đột biến). Thời …

7 algorithm-analysis  genetic-algorithms 

Tôi nghe nói ở đây rằng bài toán chu trình Hamilton là đa thức trên đồ thị của treewidth giới hạn. Tôi quan tâm đến các ví dụ / tài liệu tham khảo cho các vấn đề khác nhau, về cơ bản là khó nhưng có độ phức tạp đa …

7 complexity-theory  graph-theory  reference-request  np  polynomial-time 

Viện nghiên cứu nâng cao đã có một chương trình đặc biệt kéo dài một năm dành cho Chương trình nền tảng Univalent . Cuối cùng, họ đã sản xuất một cuốn sách và một kho lưu trữ mã . Vào cuối của điều này, chúng ta thấy một mục …

7 homotopy-type-theory 

Đặt và là các chuỗi không giảm của các số nguyên không âm.{mộtTôi}{mộtTôi}\{a_i\}{bTôi}{bTôi}\{b_i\} Làm thế nào nhanh chóng có thể tìm thấy cho tất cả 0 \ leq j \ leq n-1 ?cj= =tối đa0 &lt; i &lt; j{mộtTôi+bj - i - 1}cj= =tối đa0≤Tôi&lt;j{mộtTôi+bj-Tôi-1}c_j=\max_{0 \leq i< j}\{a_i+b_{j-i-1}\}0 ≤ j …

7 algorithms 

Tôi tự hỏi làm thế nào tôi có thể đi về việc chứng minh rằng nếu một ngôn ngữ L có thể quyết định bằng o (nlog (n)) thì L phải đều đặn. Tôi có lẽ nên đề cập đến điều đó bởi "có thể quyết định", ý tôi là …

7 regular-languages  time-complexity 

Đã đóng cửa. Câu hỏi này không đúng chủ đề . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Cập nhật câu hỏi để nó thuộc chủ đề cho Trao đổi ngăn xếp khoa học máy tính. Đóng cửa 6 năm trước . …

7 operating-systems  os-kernel 

Đặt là công thức 3-CNF trên các biến . Mỗi biến , , xảy ra nhiều lần như một nghĩa đen và một nghĩa đen trong .ϕϕ\phix1,x2,…,xnx1,x2,…,xnx_1,x_2,\ldots,x_nxixix_ii∈[n]i∈[n]i \in [n]ϕϕ\phi Là NP-đầy đủ để quyết định sự thỏa mãn của một công thức như vậy? Giả sử nó là, tôi sẽ …

7 complexity-theory  np-complete  satisfiability  decision-problem 

Người ta biết rằng bất kỳ công thức CNF nào cũng có thể được chuyển đổi trong thời gian đa thức thành công thức 3-CNF bằng cách sử dụng các biến mới ( xem tại đây ). Nếu không sử dụng các biến mới, không phải lúc nào cũng có …

7 complexity-theory  satisfiability  decision-problem  complexity-classes 

Theo nghĩa của một chuỗi khác với một chuỗi tham chiếu null, tầm quan trọng của một chuỗi rỗng trong CS (và đặc biệt trong các ngôn ngữ chính thức) là gì? Tại sao bạn cần một khái niệm riêng, đó là 'chuỗi rỗng', thậm chí còn có chữ Hy …

7 formal-languages  terminology 

3-PHẦN THAM GIA hoàn toàn NP , nghĩa là nó vẫn hoàn thành NP ngay cả khi đầu vào được đưa ra một cách đơn nhất. Tôi đang tìm kiếm hai hoặc ba ví dụ về các vấn đề không phải là số (có thể được biết đến) đã được …

7 reference-request  np-complete 

Tôi nghĩ rằng Câu hỏi là tự đủ. Là cú pháp của Ngôn ngữ C được xác định hoàn toàn thông qua Ngữ pháp miễn phí theo ngữ cảnh hay chúng ta có Cấu trúc ngôn ngữ có thể yêu cầu các định nghĩa Không ngữ cảnh miễn phí trong …

7 context-free  programming-languages  compilers  parsing  c 

Để tiếp tục bài đăng này , chúng ta hãy xác định vấn đề Đơn điệu -SAT:( + ,2-)(+,2-)(+, 2^-) Cho một công thức CNF đơn điệu , trong đó mỗi biến xuất hiện chính xác một lần (dưới dạng chữ dương) và công thức 2-CNF đơn điệu được xác …

7 complexity-theory  np-complete  decision-problem  complexity-classes