Khoa học máy tính

Tôi đang xem xét một số lưu ý về automata cây và tôi đang cố gắng kết luận một bằng chứng cho thấy giáo sư chưa hoàn thành. Tuyên bố là: Đặt và . Chứng minh rằng không thể nhận ra Buchi.A={a,b}A={a,b}A = \{a,b\}T={t∈TωA∣every path in t contains a finite …

7 automata  trees  buchi-automata 

Sau đây là một bài tập mà tôi bị mắc kẹt tại (nguồn: Sanjeev Arora và Boaz Barak; nó không phải là bài tập về nhà): Chứng minh rằng có một oracle và một ngôn ngữ ví dụ rằng không phải là thời gian đa thức rút gọn về 3SAT …

7 complexity-theory  np  nondeterminism  oracle-machines  relativization 

Tôi đang triển khai một trình thông dịch cho phép tính lambda và bây giờ tôi muốn thêm loại bằng. Quy tắc giới thiệu cho nó là dễ dàng, nhưng quy tắc loại bỏ là khá mơ hồ đối với tôi. Tôi tìm thấy luồng stackoverflow này , nhưng nó …

7 lambda-calculus  intuition  equality 

Các vấn đề zap tối thiểu dưới đây là tập 11 trong bài giảng Jeff Erickson về "tham lam Algorithm" . Các vấn đề tối thiểu zap thể nói chính thức hơn như sau. Đưa ra một bộCCC của nnn các vòng tròn trong mặt phẳng, mỗi vòng tròn được …

7 algorithms  optimization  greedy-algorithms 

Tôi đã đọc một bình luận thú vị trong một bài báo gần đây về việc toán học hữu ích kỳ lạ như thế nào. Nó đề cập đến việc thời gian đa thức không có nghĩa là hiệu quả trong thực tế (ví dụ: là thời gian đa thức, …

7 algorithms  complexity-theory  polynomial-time 

Nếu tôi có một biểu đồ G = ( V, E)G=(V,E)G=(V,E), một tập hợp con của đỉnh S⊂ VS⊂VS \subset V và một đỉnh thứ hai S'⊂ ( V∖ S)S′⊂(V∖S)S' \subset (V\setminus S), cách tốt nhất để tìm con đường ngắn nhất kết nối hai bộ là gì? Đó là, …

7 algorithms  graphs  optimization  shortest-path 

Tôi đọc ở đây rằng "một bộ lọc khởi tạo ngẫu nhiên hoạt động rất giống như một máy dò cạnh!". Tôi muốn biết nếu có bất kỳ giấy tờ nào mô tả và giải thích hiện tượng này.

7 machine-learning  computer-vision 

Tôi đã đọc nhiều câu tương tự như Cuối cùng, đối với các tính năng phân loại hình ảnh tiêu chuẩn dựa trên các mô tả SIFT đã được tìm thấy rất quan trọng cho hiệu suất cao. Trước tiên, chúng tôi tính toán một bộ giải mã SIFT tiêu …

7 machine-learning  computer-vision  features 

Đưa ra một mục đầu vào (N byte), tôi đang tìm một hàm sẽ ánh xạ hàm này thành đầu ra (vẫn là N byte). Hàm nên có các phẩm chất sau: Nó phải là 1-1 để tất cả các đầu vào ánh xạ tới một số đầu ra và …

7 discrete-mathematics  cryptography  hash 

Tôi đã đọc Cấu trúc và Giải thích các Chương trình Máy tính (SICP), MIT. Điều tôi đã hiểu là trong ngôn ngữ lập trình chức năng thuần túy, không có thứ gọi là trạng thái cục bộ. SICP, trang 230 nói: "Lập trình mà không sử dụng các bài …

7 programming-languages  functional-programming  programming-paradigms 

L={ϵ}L={ϵ}L = \left \{ \epsilon \right \} Rõ ràng ngôn ngữ này là hữu hạn nên đây phải là ngôn ngữ thông thường. Bây giờ vì mọi ngôn ngữ thông thường là Bối cảnh Nhạy cảm, là một CSL. Chúng ta có thể định nghĩa ngữ pháp cho là: Bây …

7 formal-languages  regular-languages  context-sensitive 

Cho một ngôn ngữ LLL, định nghĩa: NE(L)={x∈L:x is not the proper prefix of any string in L}NE(L)={x∈L:x is not the proper prefix of any string in L} NE(L) = \{x \in L : x \text{ is not the proper prefix of any string in } L\} Tôi đang cố …

7 formal-languages  context-free  closure-properties 

Cho một bộ nnn khoảng trên một dòng, có một O(nlogn)O(nlog⁡n)O(n \log n)thuật toán để tìm các khoảng được chứa trong các khoảng khác (ví dụ: Manber, "Sử dụng quy nạp để thiết kế thuật toán", 1988). Có mộtO(nlogn)O(nlog⁡n)O(n \log n) thuật toán cho hình chữ nhật thẳng hàng trục …

7 algorithms  computational-geometry 

Tôi xin lỗi nếu câu hỏi này đã được hỏi trước đó, nhưng tôi không thể tìm thấy một bản sao. Tôi vừa đọc xong The Annotated Turing và tôi hơi bối rối. Theo những gì tôi hiểu, Entscheidungspropet là liệu một thuật toán có tồn tại hay không có …

7 computability  turing-machines  logic  decision-problem  incompleteness 

Trước khi tôi hỏi câu hỏi của mình, hãy để tôi bắt đầu với sự hiểu biết của tôi về các định nghĩa, để ngăn chặn bản thân với sự nhầm lẫn hơn nữa, cũng như đưa ra một số nền tảng. Mã Huffman là mã nhị phân được tạo …

7 binary-trees  huffman-coding