Khoa học máy tính

Tôi đang đấu tranh để hiểu mối quan hệ giữa NP-Trung cấp và NP-Complete. Tôi biết rằng nếu P! = NP dựa trên Định lý của Ladner thì tồn tại một lớp ngôn ngữ trong NP nhưng không có trong P hoặc trong NP-Complete. Mọi vấn đề trong NP đều …

17 np-complete  reductions  factoring 

Làm thế nào để bạn kiểm tra xem hai thuật toán (giả sử sắp xếp Hợp nhất và sắp xếp Naïve) trả về cùng một kết quả cho bất kỳ đầu vào nào, khi tập hợp tất cả các đầu vào là vô hạn? Cập nhật: Cảm ơn bạn Ben …

17 computability  formal-methods  software-engineering  software-verification 

Những hoạt động cần phải được thực hiện để làm bất kỳ tính toán tương tự tùy ý ? Phép cộng, phép trừ, phép nhân và phép chia có đủ không? Ngoài ra, có ai biết chính xác những vấn đề có thể dễ dàng sử dụng tính toán tương …

17 computability  computation-models  turing-completeness 

Theo Wikipedia , đối với mọi ngôn ngữ thông thường tồn tại các hằng số và đa thức sao cho với mọi số của các từ có độ dài trong thỏa mãn phương trìnhLLLλ1,…,λkλ1,…,λk\lambda_1,\ldots,\lambda_kp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x)nnnsL(n)sL(n)s_L(n)nnnLLL sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkn\qquad \displaystyle s_L(n)=p_1(n)\lambda_1^n+\dots+p_k(n)\lambda_k^n . Ngôn ngữ là thông thường ( khớp với nó). iff n là …

17 formal-languages  regular-languages  combinatorics  word-combinatorics 

Tôi đã nghe phương châm tương tác mạnh hơn thuật toán từ Peter Wegner . Cơ sở của ý tưởng là Máy Turing (cổ điển) không thể xử lý tương tác, nghĩa là giao tiếp (đầu vào / đầu ra) với thế giới / môi trường bên ngoài. Làm thế …

17 computability  computation-models 

Tôi muốn biết nếu vấn đề sau đây là quyết định và làm thế nào để tìm hiểu. Mọi vấn đề tôi thấy tôi có thể nói "có" hoặc "không" với nó, vì vậy hầu hết các vấn đề và thuật toán có thể quyết định được ngoại trừ một …

17 algorithms  computability  graph-theory  undecidability 

Trong thực tế tôi hiểu rằng bất kỳ đệ quy nào cũng có thể được viết dưới dạng một vòng lặp (và ngược lại (?)) Và nếu chúng ta đo bằng các máy tính thực tế, chúng ta thấy rằng các vòng lặp nhanh hơn đệ quy cho cùng một …

17 time-complexity  recursion  loops 

Tôi đang tự mình tìm hiểu Định lý tự động / Trình giải quyết SMT / Trợ lý chứng minh và đăng một loạt câu hỏi về quy trình, bắt đầu từ đây . Tôi tiếp tục đọc về Thuật toán hợp nhất . Nó là gì và tại sao …

17 logic  proof-assistants  automated-theorem-proving  smt-solvers  unification 

Tôi đã hỏi câu hỏi này trên StackOverflow , nhưng tôi nghĩ đây là một nơi thích hợp hơn. Đây là một vấn đề từ Giới thiệu về khóa học thuật toán : Bạn có một mảng với số nguyên dương (mảng không cần phải được sắp xếp hoặc các …

16 algorithms  optimization  dynamic-programming  arrays 

Thuật toán sắp xếp nhanh có thể được chia thành các bước sau Xác định trục. Phân vùng danh sách liên kết dựa trên trục. Chia danh sách liên kết đệ quy thành 2 phần. Bây giờ, nếu tôi luôn chọn phần tử cuối cùng làm trục, thì việc xác …

16 algorithms  algorithm-analysis  sorting  quicksort 

Đây là một câu hỏi mềm. Tôi không biết nhiều về mật mã hoặc lịch sử của nó, nhưng có vẻ như một cách sử dụng phổ biến cho RSA là thực hiện trao đổi khóa bằng cách mã hóa khóa đối xứng để gửi tin nhắn dài hơn (ví …

16 cryptography  history 

Ngôn ngữ đã cho và , chúng ta hãy nói rằng họ nối là rõ ràng nếu cho tất cả các từ , có chính xác là một phân hủy với và , và mơ hồ khác. (Tôi không biết có thuật ngữ nào được thiết lập cho tài sản …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

Rõ ràng, các cuộc tấn công ReDos khai thác các đặc điểm của một số biểu thức chính quy (nếu không hữu ích) ... về cơ bản gây ra sự bùng nổ các đường dẫn có thể thông qua biểu đồ được xác định bởi NFA. Có thể tránh những …

16 regular-expressions  parsers 

Vấn đề cho dù hai thiết bị tự động đẩy xuống nhận ra cùng một ngôn ngữ là không thể giải quyết được. Vấn đề liệu một thiết bị tự động đẩy xuống có nhận ra ngôn ngữ trống hay không là có thể quyết định được, do đó cũng …

16 computability  undecidability  pushdown-automata 

Không có giải pháp phân tích chung cho vấn đề cơ thể n có thể tạo ra chức năng phân tích có thể được sử dụng để đưa ra trạng thái của hệ thống cơ thể n tại thời điểm tùy ý t với độ chính xác chính xác. Tuy …

16 computability  turing-machines  undecidability  computation-models