Khoa học máy tính

Tôi hiện đang học ngôn ngữ chính thức. Bài giảng của tôi nói rằng, trong khi các từ của một ngôn ngữ là hữu hạn, các câu được xây dựng với ngữ pháp cơ bản thì không. Nhưng tôi không hiểu tại sao điều này thường đúng. Tôi có thể …

7 formal-languages 

Tôi xin lỗi vì tiêu đề dài, nhưng tôi thực sự không biết cách viết nó khác biệt mà không thiếu thông tin về nội dung. Gần đây tôi đã có một kỳ thi đại học về Thuật toán song song. Một bài tập yêu cầu tôi viết một thuật …

7 algorithms  algorithm-analysis  correctness-proof 

Tôi đang đọc khảo sát của Aaronson về P so với NP, và tôi đã hiểu rằng trong lý thuyết CS, mọi người thực sự quan tâm đến kết quả khử nhiễu như P so với BPP, v.v. Câu hỏi của tôi là, vấn đề ngẫu nhiên là gì? Nếu …

7 complexity-theory  randomized-algorithms  randomness 

Các ngữ pháp biểu thức phân tích cú pháp (PEG) không rõ ràng và có cú pháp tương tự bề ngoài với BNF , nhưng bao gồm ba điểm khác biệt quan trọng: Các toán tử lựa chọn ra lệnh e1 / e2 / e3. Các vị ngữ và vị …

7 context-free  formal-grammars  normal-forms 

Có thể phân biệt các thuật ngữ Bình thường không chứa beta redex dưới dạng biểu thức phụ, với các thuật ngữ khác như vậy data WithBound a = Var | Other a data Normal a = Neutral (Neutral a) | Abstract (Normal (WithBound a)) data Neutral a = Variable …

7 lambda-calculus  term-rewriting 

Người ta biết rằng vấn đề phổ quát đối với NFA (quyết định xem ) có phải là -complete hay không. Tuy nhiên, điều gì sẽ xảy ra nếu mọi trạng thái của NFA được biết là chấp nhận? Dường như với tôi rằng vấn đề là ở hầu hết …

7 complexity-theory  regular-languages  finite-automata 

Các bài báo hiện đại về các chỉ mục tìm kiếm thường chứa một tuyên bố rằng các chỉ mục đảo ngược (danh sách đăng bài) vượt trội hơn hẳn so với các tệp chữ ký (bộ lọc nở). Dưới đây là một số ví dụ từ các bài báo …

7 reference-request  information-retrieval  search 

Đưa ra các kết quả đầu ra của trình tạo số giả ngẫu nhiên, làm thế nào người ta có thể xác định loại (ví dụ: Thanh ghi thay đổi phản hồi tuyến tính), Multiply-With-Carry, linear Congruential Generator, v.v.) và phục hồi chức năng và hạt giống? Mảng số đã …

7 algorithms  pseudo-random-generators 

Tôi đã nghe một số tuyên bố rằng tính toán của các công trình không có loại quy nạp không đủ mạnh để thể hiện bằng chứng bằng quy nạp. Đúng không? Nếu vậy, tại sao mã hóa Giáo hội không đủ cho điều đó?

7 proof-techniques  functional-programming  automated-theorem-proving  curry-howard 

Rõ ràng là Mathicala sử dụng bài kiểm tra Baillieifer PSW cho chức năng PrimeQ của nó (kiểm tra tính nguyên thủy), và khi tôi đọc trong tài liệu Mathicala , nó bắt đầu bằng phép thử, sau đó là cơ sở 2 và 3 Miller Giả Rabin, và sau …

7 reference-request  number-theory  primes 

Tôi không thể nhận xét về câu hỏi này , vì vậy tôi hỏi nó ở đây như một câu hỏi mới: Ricky Demer nói ở đó trong một bình luận cho câu trả lời đầu tiên "[...] vì FPSPACE có thể cho đầu ra dài theo cấp số nhân …

7 complexity-theory  space-complexity 

Về cơ bản, và như một phương pháp đơn giản, chúng ta có thể truy cập bộ đệm với Địa chỉ vật lý từ TLB. Nhưng, như một phương pháp khác, chúng ta có thể truy cập bộ đệm với Địa chỉ ảo . Nhưng, trong trường hợp này, nếu …

7 computer-architecture  cpu-cache 

Chúng tôi biết rằng các biểu thức chính quy (RE) được triển khai với automata hữu hạn (FA). Trong một số ngôn ngữ (như JavaScript) trong RE, có các tính năng như 'nắm bắt dấu ngoặc đơn' với 'phản hồi': https://developer.mozilla.org/en-US/docs/Web/JavaScript/Guide/Regular_Expressions#special-capturing-parentheses (x) Kết hợp 'x' và ghi nhớ trận đấu, …

7 finite-automata  regular-expressions 

Định nghĩa của tôi nói Một cụm là một đồ thị có một cạnh kết nối mọi cặp đỉnh nhưng theo tôi hiểu, một cạnh chỉ kết nối hai đỉnh. GiốngA−BA−BA-B. Nếu chúng ta muốn kết nối ba đỉnh, chúng ta cần ít nhất hai cạnh. Ví dụ,A−B−CA−B−CA-B-C. Tôi không …

7 graphs  graph-theory  clique 

Trong trang Wikipedia về bài toán P so với NP, có một thuật toán "giải quyết" SUBSET-SUM trong trường hợp P = NP trong thời gian đa thức. (Ý tưởng của bạn là tìm một TM cung cấp chứng chỉ). Nhưng nó cho "có" trong thời gian đa thức và …

7 complexity-theory  np-complete  np  p-vs-np