Khoa học máy tính

Tôi đang đọc "Linh hồn của một cỗ máy mới" của Tracy Kidder, nơi một nhóm tại Data General thiết kế một cỗ máy mới (tên mã là "Đại bàng", sau này được đặt tên là MV / 8000). Nó là phần mở rộng 32 bit của kiến ​​trúc trước …

10 computer-architecture 

Có một cách để thực hiện phân tích cú pháp mờ (chấp nhận các chuỗi ngay cả với lỗi chính tả đến một khoảng cách chỉnh sửa nhất định), với DFA và Levenshtein Automata được xây dựng trong thời gian chạy của từ đầu vào. Có thể làm điều gì …

10 algorithms  context-free  finite-automata  parsers  string-metrics 

Sau khi đọc những thành tựu sâu sắc của google về các trò chơi của Atari , tôi đang cố gắng tìm hiểu về q-learning và q-mạng, nhưng tôi hơi bối rối. Sự nhầm lẫn phát sinh trong khái niệm về yếu tố giảm giá. Tóm tắt ngắn gọn những …

10 artificial-intelligence  neural-networks  reinforcement-learning 

Trong một trình phân tích cú pháp LR (0), mỗi trạng thái bao gồm một tập hợp các mục LR (0), là các sản phẩm được chú thích với một vị trí. Trong một trình phân tích cú pháp LR (1), mỗi trạng thái bao gồm một tập hợp các …

10 context-free  parsers  lr-k 

Tôi đang cố gắng tìm câu trả lời cho hai câu hỏi về máy Universal Turing. Làm thế nào máy Universal Turing có thể mô phỏng máy Turing nếu máy đang được mô phỏng có số lượng trạng thái lớn hơn? Làm thế nào máy Universal Turing có thể mô …

10 computability  turing-machines  simulation  turing-completeness 

Tôi biết rằng vấn đề về công thức Boolean được định lượng cho công thức trong đó \ phi không chứa định lượng và chỉ có các biến x_1, \ ldots, x_n, y_1 , \ ldots, y_n là một ví dụ về vấn đề \ Pi_2 ^ P -complete . …

10 complexity-classes 

"Ở vị trí tích cực" và "ở vị trí tiêu cực" nghĩa là gì trong bối cảnh của lý thuyết loại? Điều duy nhất tôi hiểu từ bài đăng trên blog của Bob Harper về chủ đề này là có một mối liên hệ giữa sự phân cực theo nghĩa …

10 type-theory 

Thuật toán của Brzozowski có thể được mở rộng sang Moore automata nhưng độ phức tạp thời gian của nó nói chung là theo cấp số nhân. Có thuật toán nào khác để giảm thiểu Moore automata không? Thời gian chạy của các thuật toán này là gì nếu có?

10 reference-request  automata  optimization  finite-automata  transducers 

Liên quan đến luồng Chứng minh rằng việc chuyển đổi từ CNF sang DNF là NP-Hard (và một luồng toán học có liên quan ): Làm thế nào về hướng khác, từ DNF đến CNF? Nó dễ hay khó? Trên trang 2 của bài báo này , họ dường như …

10 complexity-theory  logic  satisfiability  normal-forms 

Vấn đề như sau: Chúng tôi có một mảng hai chiều / lưới số, mỗi số đại diện cho một số "lợi ích" hoặc "lợi nhuận". Chúng tôi cũng có hai số nguyên cố định và (cho "chiều rộng" và "chiều cao".) Và một số nguyên cố định .h nwwwhhhnnn …

10 algorithms  optimization  combinatorics  approximation 

Đặt là một hàm khá đẹp (ví dụ: liên tục, khác biệt, không quá nhiều cực đại cục bộ, có thể lõm, v.v.). Tôi muốn tìm một cực đại của : một giá trị làm cho càng lớn càng tốt.f:Rd→Rf:Rd→Rf:\mathbb{R}^d \to \mathbb{R}fffx∈Rdx∈Rdx \in \mathbb{R}^df(x)f(x)f(x) Nếu tôi có một quy trình …

10 optimization  approximation 

Tôi đã tìm kiếm ở đây và tôi nhận thấy thời gian chạy tốt nhất để nhân hai số bit là , nhưng tôi có thể dễ dàng nhận thấy thuật toán chạy trong .O ( n ⋅ log n ⋅ 2 O ( log * n ) O ( …

10 runtime-analysis 

Tôi tự hỏi, có một phương pháp để phân tích thời gian chạy tự động hoạt động ít nhất trên một tập hợp con các thuật toán có liên quan (thuật toán có thể được phân tích)? Tôi googled "Phân tích thuật toán tự động" đã cho tôi cái này …

10 algorithms  algorithm-analysis  reference-request  runtime-analysis 

Vấn đề quyết định liệu đầu vào có phải là một bảng màu hay không đã được chứng minh là cần có không gian trên máy Turing. Tuy nhiên, ngay cả việc lưu trữ đầu vào cũng cần không gian , điều đó không có nghĩa là tất cả các …

10 turing-machines  space-complexity 

Các ví dụ phổ biến về các vấn đề NP-hard (clique, 3-SAT, đỉnh đỉnh, v.v.) thuộc loại mà chúng ta không biết câu trả lời là "có" hay "không" trước đó. Giả sử rằng chúng ta có một vấn đề trong đó chúng ta biết câu trả lời là có, …

10 complexity-theory  np-hard  search-problem