Khoa học máy tính

Tôi đang học lập trình trong ML (OCaml), và trước đó tôi đã hỏi về các loại ML'a -> 'b . Bây giờ tôi đã thử nghiệm một chút với các chức năng của loại 'a list -> 'b list. Có một số ví dụ đơn giản rõ ràng: let …

8 programming-languages  typing  functional-programming 

Tôi hiện đang đọc một bài khảo sát về thuật toán meta cập nhật trọng số nhân. Tôi không chắc chắn những gì họ có nghĩa là "thuật toán meta". Nó chỉ đơn giản là một thuật toán chung có thể được sử dụng cho các mục đích khác nhau? …

8 algorithms 

Đối với một biểu đồ được định hướng thay đổi, tôi muốn duy trì thông tin về các thành phần được kết nối mạnh mẽ. Các hoạt động đồ thị là gia tăng: chỉ bổ sung đỉnh và bổ sung cạnh. Những cấu trúc dữ liệu nào đạt được độ …

8 graphs  data-structures  amortized-analysis 

Tôi đã thấy tuyên bố sau đây và tôi hoàn toàn không hiểu lý do đằng sau nó: Nếu một máy Turing lặp lại cùng một cấu hình hai lần, thì nó phải ở trong một vòng lặp vô hạn. Tôi nghĩ rằng một có thể ở trạng thái , …

8 complexity-theory  turing-machines 

Trong khóa học HoTT của CMU, bài giảng 1, có thể tìm thấy ở đây: https://scs.hosted.panopto.com/Panopto/Pages/Viewer.aspx?id=0945cc7f-48b7-4804-81af-e7193a3f461d Vào lúc 33:51, Harper đã đưa ra so sánh song song giữa các lý thuyết tổng hợp và các lý thuyết phân tích, và khi đạt đến lý thuyết PL, ông nói Coq là …

8 type-theory  proof-assistants  philosophy 

L={an(a+b)n|n>0}L={an(a+b)n|n>0}L = \{ a^n (a+b)^n | n>0\} Một cuốn sách tôi đang đọc nói rằng, nhưng xem xét chúng ta không thể biết phần thứ hai sẽ bắt đầu từ đâu và nó cũng có thể bắt đầu bằng một phần, vậy thì làm sao chúng ta có thể chấp …

8 formal-languages  automata  context-free  pushdown-automata 

Giả sử tôi có một mảng M[n][n]số nguyên 2D (trên thực tế, nhị phân là tốt, nhưng tôi nghi ngờ nó có vấn đề). Tôi quan tâm đến các truy vấn lặp lại có dạng: được cung cấp một cặp tọa độ , Tất nhiên, tất cả các giá trị …

8 complexity-theory  data-structures  trees 

Gödel định nghĩa trong đệ quy nguyên thủy System T của mình đối với các loại cao hơn. Tôi đã tìm thấy các ghi chú từ Girard nơi anh ta giải thích việc triển khai Hệ thống T trên đầu trang của phép tính lambda được gõ đơn giản. Ở …

8 computability  lambda-calculus  recursion  type-theory 

Theo "Hàm xây dựng" , Wikipedia: Trong lý thuyết phức tạp , hàm có thể xây dựng theo thời gian là hàm f từ số tự nhiên đến số tự nhiên với tính chất mà f ( n ) có thể được xây dựng từ n bởi một máy Turing …

8 time-complexity 

Chúng ta có thể chuyển đổi một NFA có trạng thái thành biểu thức chính quy có độ dài không?nnnpoly(n)poly(n)\mathrm{poly}(n) Ngược lại, ai cũng biết rằng một biểu thức chính quy có độ dài có thể dễ dàng được chuyển đổi thành một NFA .nnnO(n)O(n)\mathcal{O}(n)

8 regular-languages  finite-automata  regular-expressions 

Theo hiểu biết của tôi, Turing hoàn thành có nghĩa là chương trình hoặc máy có thể hoàn thành bất kỳ tính toán nào mà máy Turing có thể hoàn thành, với tôi nghĩa là bất kỳ tính toán nào. Vậy làm thế nào để một cái gì đó như …

8 computability  turing-completeness 

Tôi đang đọc qua một bài bình luận về "Việc sử dụng máy móc để hỗ trợ bằng chứng nghiêm ngặt" của Milner. Trong bài báo này, ông giải thích LCF được sinh ra như thế nào từ những ý tưởng về ngữ nghĩa học của Dana Scott và Strachey. …

8 hoare-logic  automated-theorem-proving  denotational-semantics 

Tôi gặp một chút rắc rối trong đầu về việc cây tìm kiếm nhị phân được xếp hạng là gì và tại sao việc có thứ hạng lại quan trọng. Tôi hy vọng rằng ai đó có thể làm rõ một vài điều cho tôi. Những gì tôi đã xem …

8 algorithms  data-structures  binary-trees  binary-search-trees 

Tôi cho rằng .Σ={a}Σ={a}\Sigma = \{a\} Chứng minh hoặc từ chối: Với mọi đa thức có hệ số trong , là ngôn ngữ nhạy cảm ngữ cảnh.p(n)p(n)p(n)NN\mathbb{N}L={ap(n)|n∈N}L={ap(n)|n∈N}L = \{a^{p(n)} \; | \; n \in \mathbb{N}\} Có vẻ như đó là một ngôn ngữ nhạy cảm bối cảnh. Tôi đoán làm …

8 formal-languages  context-sensitive 

Trong biểu đồ, tập hợp thống trị cạnh là tập hợp con D của các cạnh sao cho bất kỳ cạnh nào trong biểu đồ đều nằm trong D hoặc chia sẻ điểm cuối với cạnh trong D. Vấn đề Đặt tối thiểu cạnh thống trị là tìm một tập …

8 complexity-theory  reference-request  np-complete  reductions