Khoa học máy tính lý thuyết

Đây là một câu hỏi tiếp theo để Sự khác biệt giữa bằng chứng và chương trình (hoặc giữa các đề xuất và loại) là gì? Chương trình nào sẽ tương ứng với một bằng chứng phi xây dựng (cổ điển) của mẫu ? (Giả sử rằng là một số …

29 lo.logic  pl.programming-languages  proof-theory 

Tôi là người mới bắt đầu làm việc về các phương pháp chứng minh tính tương đương của chương trình. Tôi đã đọc một vài bài viết về việc xác định quan hệ logic hoặc mô phỏng để chứng minh hai chương trình là tương đương nhau. Nhưng tôi khá …

29 lo.logic  pl.programming-languages  logical-relations  parametricity 

Kết quả phức tạp mạch đột phá gần đây của Ryan Williams cung cấp một kỹ thuật bằng chứng sử dụng kết quả giới hạn trên để chứng minh giới hạn dưới phức tạp. Suresh Venkat trong câu trả lời của mình cho câu hỏi này, Có bất kỳ kết …

29 cc.complexity-theory  lower-bounds 

Tôi đã nghe nói rằng có những lập luận heuristic trong vật lý thống kê mang lại kết quả trong lý thuyết xác suất mà bằng chứng khắt khe là không xác định hoặc rất khó để đưa ra. Một ví dụ đồ chơi đơn giản của một hiện tượng …

29 sat  pr.probability  physics  statistical-physics 

Gần đây, một người bạn của tôi (làm việc tại TCS) đã đề cập trong một cuộc trò chuyện rằng "anh ấy muốn nhìn thấy / biết tất cả (hoặc càng nhiều càng tốt) về kết quả đẹp trong TCS trong đời mình". Kiểu này khiến tôi tự hỏi về …

29 soft-question  big-list 

Một máy tính được cung cấp một luồng vô hạn các bit thực sự ngẫu nhiên mạnh hơn một máy tính không có. Câu hỏi là: nó có đủ mạnh để giải quyết vấn đề tạm dừng không? Đó là, một máy tính xác suất có thể xác định liệu …

29 computability  randomness  turing-machines 

Chúng ta biết rằng (xem, ví dụ, Định lý 1 và 3 của [1]), nói một cách đại khái, trong các điều kiện phù hợp, các chức năng có thể được tính toán hiệu quả bằng máy Turing trong thời gian đa thức ("tính toán hiệu quả") có thể được …

28 cc.complexity-theory  np-hardness  machine-learning  turing-machines  lg.learning 

Trong bài viết trên wikipedia về Turing Hoàn thiện này có ghi rằng: Phép tính lambda chưa được đánh dấu là Turing hoàn chỉnh, nhưng nhiều phép tính lambda được gõ, bao gồm cả Hệ thống F, thì không. Giá trị của các hệ thống được nhập dựa trên khả …

28 computability  turing-machines  haskell 

Chúng ta hãy sửa mã hóa máy Turing không có tiền tố và máy Turing phổ dụng UUU trên đầu vào (T,x)(T,x)(T,x) (được mã hóa dưới dạng mã không có tiền tố của TTT theo sau xxx ) xuất ra bất cứ thứ gì TTT xuất ra trên đầu vào …

28 cc.complexity-theory  kolmogorov-complexity  universal-computation  universal-turing-machines 

Gần đây tôi đang học Haskell và ngôn ngữ lập trình. Ai đó có thể giới thiệu một số cuốn sách về lý thuyết loại?

28 soft-question  pl.programming-languages  type-theory 

Câu hỏi về cstheory " NP bị hạn chế đối với các nhân chứng kích thước tuyến tính là gì? " Hỏi về NP lớp bị giới hạn ở các nhân chứng kích thước tuyến tính , nhưngÔ ( n )O(n)O(n) Có các vấn đề hoàn thành NP tự nhiên …

28 cc.complexity-theory  np  proof-complexity 

Log-space-NC NC được chứa trong không gian polylog xác định (đôi khi được viết bằng PolyL). Là RNC log-space-thống nhất cũng trong lớp này? Phiên bản ngẫu nhiên tiêu chuẩn của PolyL phải có trong PolyL, nhưng tôi không thấy RNC (đồng nhất) đó là ngẫu nhiên-PolyL. Khó khăn tôi …

28 complexity-classes  randomized-algorithms 

Tôi đã trình bày một bài giảng về phân loại bánh kếp , và đề cập rằng: Sắp xếp theo đảo ngược là NP-hard "ký" sắp xếp theo lùi xe là trong P . Điều đó làm tôi suy nghĩ. Có một ý nghĩa trong đó việc sắp xếp "đã …

28 ds.algorithms 

Tôi đã tự hỏi liệu có một thuật toán `` better '' (tôi sẽ giải thích theo nghĩa nào) để bắt đầu từ một DFA và xây dựng một biểu thức chính quy sao cho , hơn một trong cuốn sách của Hopcroft và Ullman (1979). Trong đó, các bộ …

28 fl.formal-languages  automata-theory  regular-expressions 

Có một số thuật toán quyết định trong thời gian đa thức cho dù một đồ thị có thể được vẽ trong mặt phẳng hay không, thậm chí nhiều thuật toán có thời gian chạy tuyến tính. Tuy nhiên, tôi không thể tìm thấy một thuật toán rất đơn giản …

28 graph-algorithms  co.combinatorics  planar-graphs