Khoa học máy tính

Cho hai tập hợp của các chuỗi trên bảng chữ cái , chúng ta có thể tính toán máy tự động trạng thái hữu hạn xác định nhỏ nhất (DFA) M sao cho A \ subseteq L (M) và L (M) \ subseteq \ Sigma ^ * \ setminus B …

11 regular-languages  automata  finite-automata  machine-learning 

Tôi đang đọc về lý thuyết loại phụ thuộc trong cuốn sách trực tuyến Lý thuyết loại Homotopy . Trong phần 1.3 của Loại Theory chương, nó giới thiệu các khái niệm về hệ thống cấp bậc của vũ trụ : , nơiU0:U1:U2:⋯U0:U1:U2:⋯\mathcal{U}_0 : \mathcal{U}_1 : \mathcal{U}_2 : \cdots mọi …

11 type-theory  homotopy-type-theory  dependent-types 

Cho hai biểu thức chính quy tùy ý, có thuật toán "hiệu quả" để xác định xem chúng có khớp với cùng một chuỗi không? Tổng quát hơn, chúng ta có thể tính kích thước của giao điểm của hai bộ khớp không? Có những thuật toán nào để làm …

11 algorithms  regular-expressions 

Trong một cây sâu đầu tiên, có các cạnh xác định cây (tức là các cạnh đã được sử dụng trong giao dịch). Có một số cạnh còn lại kết nối một số nút khác. Sự khác biệt giữa cạnh chéo và cạnh phía trước là gì? Từ wikipedia: Dựa …

11 algorithms  terminology  graphs  graph-traversal 

Có các cấu trúc dữ liệu hiệu quả để biểu diễn các phân vùng đã đặt. Các cấu trúc dữ liệu này có độ phức tạp thời gian tốt cho các hoạt động như Union và Find, nhưng chúng không đặc biệt hiệu quả về không gian. Một cách hiệu …

11 data-structures  combinatorics  space-complexity  sets  partitions 

Bổ đề bơm cho các ngôn ngữ thông thường có thể được sử dụng để chứng minh rằng một số ngôn ngữ không thường xuyên và bổ đề bơm cho các ngôn ngữ không ngữ cảnh (cùng với bổ đề của Ogden) có thể được sử dụng để chứng minh …

11 context-free  proof-techniques  pumping-lemma 

Tôi đã nhận thấy rằng chi phí suy luận kiểu trong một ngôn ngữ chức năng như OCaml có thể rất cao. Khiếu nại là có một chuỗi các biểu thức sao cho mỗi biểu thức độ dài của loại tương ứng là theo cấp số nhân trên độ dài …

11 lambda-calculus  type-theory  functional-programming  type-inference  type-checking 

Từ Wikipedia : Loại vấn đề tính toán: Các vấn đề thường được sử dụng là các vấn đề quyết định . Tuy nhiên, các lớp phức tạp có thể được xác định dựa trên các vấn đề về chức năng, các vấn đề đếm, vấn đề tối ưu hóa, …

11 complexity-theory  terminology 

Một trong những định nghĩa của một bộ đếm có thể tính toán được (ce, tương đương với liệt kê đệ quy, tương đương với semidecidable) là như sau: là ce khi và chỉ khi có một ngôn ngữ decidable V ⊆ Σ * (gọi là người xác minh) st …

11 computability  proof-techniques  undecidability 

Thuật toán máy Turing đa thời gian được coi là hiệu quả nếu thời gian chạy của nó, trong trường hợp xấu nhất, bị giới hạn bởi hàm đa thức trong kích thước đầu vào. Tôi biết về luận điểm mạnh mẽ của Church-Turing: Bất kỳ mô hình tính toán …

11 complexity-theory  efficiency  computation-models 

Theo các ghi chú này , DFS được coi là có độ phức tạp không gian , trong đó là hệ số phân nhánh của cây và là chiều dài tối đa của bất kỳ đường dẫn nào trong không gian trạng thái.O ( b m )Ôi(bm)O(bm)bbbmmm Điều tương tự …

11 graphs  algorithm-analysis  graph-traversal  space-analysis 

Trong các vấn đề thỏa mãn ràng buộc, heuristic có thể được sử dụng để cải thiện hiệu suất của bộ giải bactracking. Ba phương pháp chẩn đoán thường được đưa ra cho người giải quyết quay lui đơn giản là: Giá trị tối thiểu còn lại (có bao nhiêu …

11 artificial-intelligence  constraint-satisfaction 

Trong một cuộc phỏng vấn cho vị trí nhà phát triển Java, tôi đã được hỏi như sau: Viết hàm có hai tham số: Chuỗi đại diện cho một tài liệu văn bản và một số nguyên cung cấp số lượng các mặt hàng để trả lại. Thực hiện chức …

11 algorithms  sorting  strings  data-mining 

Tôi đang tự hỏi điều này dựa trên một số nơi trực tuyến gọi co- N P là một vấn đề mở lớn ... nhưng tôi không thể tìm thấy bất kỳ dấu hiệu nào cho thấy vấn đề này có giống như vấn đề P = N P. ..NP=NP= …

11 complexity-theory  complexity-classes  p-vs-np 

Tôi cần biết lớp CFL nào được đóng theo, tức là tập hợp nào bổ sung cho CFL. Tôi biết CFL không được đóng dưới bổ sung và tôi biết rằng P được đóng dưới bổ sung. Vì CFL PI có thể nói rằng phần bổ sung của CFL được …

11 complexity-theory  formal-languages  context-free  closure-properties  sets