Khoa học máy tính lý thuyết

3

Có một lượng tử tương đương với định lý phân cấp thời gian không?

Định lý yêu thích của tôi trong lý thuyết phức tạp là định lý phân cấp thời gian. Tuy nhiên, điều này đã được thực hiện vào năm 1965. Tôi muốn biết sau đó nếu có bất cứ điều gì tương tự cho Máy tính lượng tử. Ngoài ra, nếu …

19 cc.complexity-theory quantum-computing

2

JSON có phải là ngôn ngữ thông thường không?

Tôi đã tự hỏi nếu thông số JSON xác định một ngôn ngữ thông thường. Có vẻ như đủ đơn giản, nhưng tôi không chắc làm thế nào để chứng minh điều đó. Lý do tôi hỏi, là vì tôi đã tự hỏi liệu người ta có thể sử dụng …

19 fl.formal-languages regular-expressions regular-language

2

Độ phức tạp không gian của tính toán Eigenvalues là gì?

Tôi đang tìm một bài khảo sát hoặc một cuốn sách bao gồm các kết quả về độ phức tạp không gian của các phép toán đại số tuyến tính phổ biến như xếp hạng ma trận, tính toán giá trị, v.v. Tôi nhấn mạnh phần "độ phức tạp không …

19 linear-algebra space-complexity

3

Làm thế nào để nói về lý thuyết

Tôi nhận ra đây có thể là một câu hỏi gây tranh cãi, nhưng đây dường như là nơi thích hợp để hỏi. Hãy chuyển hướng cho tôi nếu không. Bối cảnh là tôi là một "học viên" (nghiên cứu sinh, tôi không học lý thuyết CS) nhưng tôi có …

18 soft-question advice-request

1

Lý thuyết phức tạp chính thức được xác minh

Có dự án nào đang diễn ra để chính thức xác minh các định lý và bằng chứng về lý thuyết phức tạp bằng cách sử dụng một trợ lý chứng minh như Coq không? Có bất kỳ ranh giới để làm điều này?

18 cc.complexity-theory complexity proof-assistants

1

Thuật toán có thời gian chạy phụ thuộc vào P so với NP

Có một ví dụ rõ ràng về thuật toán có thuộc tính sao cho nếu P≠ NPP≠NPP\neq NP thì thuật toán này không chạy trong thời gian đa thức và nếu P= NPP=NPP=NP thì nó chạy trong thời gian đa thức?

18 ds.algorithms np p-vs-np

2

Là một bằng chứng độ cứng NP của một vấn đề NP-hard được coi là một đóng góp?

Tôi đang giải quyết một vấn đề được cho là NP-hard ở nơi khác, nói trong bài báo [XYZ]. Độ cứng NP được cung cấp trong [XYZ] rất phức tạp và sử dụng các kỹ thuật tiên tiến. Sau một số nghiên cứu và làm việc, tôi đã thành công …

18 research-practice writing

2

Có bất kỳ vấn đề NP hoàn toàn không có heuristic?

Có NP hoàn thành bất kỳ vấn đề với không có tập con vô hạn của trường như rằng các thành viên trong Φ thể được quyết định trong thời gian đa thức, và cho tất cả x ∈ Φ , x có thể được giải quyết trong thời gian …

18 cc.complexity-theory np-complete heuristics

2

Quyết định xem một ngôn ngữ nhạy cảm ngữ cảnh đơn nhất có thường xuyên không

Đó là một kết quả nổi tiếng mà câu hỏi Một ngữ pháp không ngữ cảnh tạo ra một ngôn ngữ thông thường? là không thể giải quyết được Tuy nhiên, nó trở nên có thể quyết định trên một bảng chữ cái đơn nhất, đơn giản vì trong trường …

18 fl.formal-languages decidability

2

Chứng minh rằng giới hạn trên của mạch đối với

Trong mô tả vấn đề chính thức của Clay cho P so với NP, có tuyên bố rằng sẽ tuân theo việc cho thấy rằng "mọi ngôn ngữ trong E [lớp ngôn ngữ có thể nhận biết theo thời gian theo cấp số nhân với máy Turing xác định] có …

18 cc.complexity-theory circuit-complexity

1

Thuật toán lợi thế của băng thông trên treewidth

Cây thông đóng vai trò quan trọng trong các thuật toán của FPT, một phần vì nhiều vấn đề được FPT tham số hóa bởi treewidth. Một khái niệm liên quan, hạn chế hơn, đó là về băng thông. Nếu một đồ thị có độ rộng đường dẫn , thì …

18 parameterized-complexity treewidth graph-minor

2

Độ phức tạp của sự phục hồi của ma trận kề từ hình vuông của nó

Tôi quan tâm đến vấn đề sau: Cho một ma trận , có một đồ thị vô hướng trên đỉnh có ma trận kề không bình phương là ma trận đó không?nn × nn×nn\times nnnn Là sự phức tạp tính toán của vấn đề này được biết đến? Nhận xét: …

18 cc.complexity-theory graph-theory

4

Hỗn loạn và câu hỏi

Tôi quan tâm đến việc tìm hiểu các kết nối giữa "hỗn loạn" hoặc rộng hơn là các hệ thống động lực và câu hỏi . Đây là một ví dụ về loại văn học tôi đang tìm kiếm:P= NPP= =NPP{=}NP Ercsey-Ravasz, Mária và Zoltán Toroczkai. "Tối ưu hóa độ …

18 cc.complexity-theory p-vs-np

2

Những phỏng đoán lâu dài sau đó được chứng minh một cách tầm thường bằng một hàm ý

Tôi muốn biết nếu đã có những phỏng đoán từ lâu đã không được chứng minh trong TCS, mà sau đó đã được chứng minh bằng một hàm ý từ một định lý khác, điều đó có thể dễ dàng chứng minh hơn.

18 reference-request soft-question big-list

2

Đối với một orory R ngẫu nhiên, BPP có bằng tập hợp các ngôn ngữ tính toán trong P ^ R không?

Vâng, tiêu đề khá nhiều nói lên tất cả. Câu hỏi thú vị ở trên đã được bình luận viên Jay hỏi trên blog của tôi (xem tại đây và đây ). Tôi đoán cả hai câu trả lời là có và đó là một bằng chứng tương đối đơn …

18 computability oracles random-oracles