Khoa học máy tính

Thuật toán giả đa thức cho chúng ta biết gì về vấn đề mà nó giải quyết? Tôi không thấy thời gian chạy cải thiện như thế nào nếu thuật toán theo cấp số nhân về độ dài đầu vào và đa thức trong giá trị đầu vào; vậy làm …

7 algorithms  complexity-theory  np-complete  pseudo-polynomial 

Vấn đề dừng được định nghĩa là: HTM={⟨M,w⟩∣M halts on input w}HTM={⟨M,w⟩∣M halts on input w}H_{TM} = \{ \langle M, w \rangle \mid \text{\(M\) halts on input \(w\)}\} Tôi không chắc nó có nghĩa gì. LàHTMHTMH_{TM} một bộ sưu tập Máy Turing sao cho tất cả chúng chấp nhận / …

7 computability  turing-machines 

Gần đây tôi đã làm việc với các mảng hậu tố và tôi không thể tìm thấy một thuật toán hiệu quả để xây dựng một mảng hậu tố dễ hiểu. Tôi đã thấy trong nhiều trang web có thuật toán , nhưng tôi không thể hiểu nó, vì nhiều …

7 algorithms  data-structures  strings 

Nó được biết rằng cho f(n)≥lognf(n)≥log⁡nf(n) \geq \log n, NSPACE(f(n))=coNSPACE(f(n))NSPACE(f(n))=coNSPACE(f(n))\mathsf{NSPACE}(f(n)) = \mathsf{coNSPACE}(f(n)). Nếu thì sao? Có phải họ cũng bằng nhau?f(n)&lt;lognf(n)&lt;log⁡nf(n)<\log n

7 complexity-theory  space-complexity 

Tôi muốn biết sự phức tạp của vấn đề NAE-HORN-SAT (không phải tất cả đều bằng nhau). Chúng tôi biết rằng HORNSAT là , nhưng mặt khác, NAE-SAT là . Tôi muốn biết những gì chúng ta có thể nói về vấn đề NAE-HORN-SAT. Hãy để tôi xác định vấn …

7 complexity-theory  np-complete  satisfiability 

Với một số đồ thị không có hướng, không có trọng số, được kết nối và có khả năng song song , một mạch Euler có thể được xây dựng nếu mỗi đỉnh trong có một mức độ chẵn.GGGGGG Trong các biểu đồ có hai hoặc nhiều đỉnh có mức …

7 graph-theory 

Thành thật mà nói tôi rất khó chịu với các tài liệu ngay bây giờ. Có một số điều tôi có thể hiểu, nhưng nhiều điều tôi vẫn chưa làm được. Nhiệm vụ đầu tiên của tôi là hỏi tôi trong một câu hỏi (mà tôi biết cách làm) để …

7 terminology  turing-machines 

Đi qua một số hướng dẫn đại diện kiến ​​thức về độ phân giải tại thời điểm này, và tôi đã xem qua slide 05.KR, no77 . Ở đó có đề cập rằng "thủ tục cũng hoàn tất". Tôi nghĩ rằng tính đầy đủ này không có nghĩa là nếu …

7 logic  first-order-logic 

Chức năng hải ly bận rộn tiêu chuẩn thu hút sự chú ý đến số lượng cuối cùng của các biểu tượng khác không trên băng. Thay vào đó, chúng ta có thể nhìn vào số lượng lớn nhất các biểu tượng khác không xuất hiện trên băng ở bất …

7 computability  turing-machines 

Bất cứ ai cũng biết nếu có một thuật toán để viết trực tiếp ngữ pháp không ngữ cảnh tạo ra một biểu thức chính quy cho trước?

7 formal-grammars  regular-expressions  context-free 

Nếu chúng ta giới hạn một máy turing để nó không được phép viết biểu tượng mà nó đọc thì nó có làm giảm sức mạnh của nó không? Ví dụ: (State,A,State,Z,DIRECTION)(State,A,State,Z,DIRECTION)( State, A, State, Z, DIRECTION) AAA không thể là biểu tượng giống như ZZZ.

7 computability  turing-machines  machine-models 

Tôi tự hỏi nếu có một ví dụ đơn giản của bộ và mà là Turing-được giảm đến nhưng không nhiều-to-one được giảm đến .AAABBBAAABBBBBB

7 turing-machines  reductions 

Là một bài kiểm tra về các thuật toán và độ phức tạp, tôi hiện đang giải các bài tập cũ. Một khái niệm tôi đã phải vật lộn khi lần đầu tiên bắt gặp nó là khái niệm phân tích khấu hao. Phân tích khấu hao là gì và …

7 algorithm-analysis  proof-techniques  amortized-analysis 

L1L1L_1 là một ngôn ngữ có thể liệt kê đệ quy trên một số bảng chữ cái . Một thuật toán hiệu quả liệt kê những lời của nó như . là một ngôn ngữ khác trên là Hãy xem xét các xác nhận sau.ΣΣ\Sigmaw1,w2, . . .w1,w2,...w_1, w_2, ... …

7 formal-languages  computability 

Tiêu đề của câu hỏi thể hiện những gì tôi đang tìm kiếm - điều này là để giúp tôi hiểu rõ hơn các điều kiện tiên quyết cho Định lý phân cấp thời gian không xác định Chẳng hạn, cuốn sách Arora-Barak giải thích định lý bằng cách sử …

7 complexity-theory  time-complexity  asymptotics  landau-notation