Câu hỏi được gắn thẻ «complexity-classes»

(Tôi đã đăng câu hỏi này trên CS mười ngày trước, không có câu trả lời kể từ đó - vì vậy tôi đăng nó ở đây.) Bất kỳ công thức CNF nào cũng có thể được chuyển đổi trong thời gian đa thức thành công thức 3-CNF bằng cách …

8 cc.complexity-theory  complexity-classes  sat 

Để có thể giải thích vấn đề P vs NP cho những người không phải là nhà toán học, tôi muốn có một ví dụ sư phạm về việc khi nào Brute Force-search có thể tránh được. Vấn đề lý tưởng nên được hiểu ngay lập tức và mẹo không …

8 cc.complexity-theory  np-hardness  soft-question  complexity-classes  p-vs-np 

Tôi hy vọng câu hỏi này không quá ngây thơ cho trang web này. Trong toán học (cấu trúc liên kết, hình học, đại số) người ta thường phân biệt giữa hai đối tượng bằng cách đưa ra một bất biến đại số hoặc số, và chứng minh hai đối …

8 cc.complexity-theory  complexity-classes  algebra 

Có thể tìm cách giảm đếm từ #SAT xuống #HornSAT không? Tôi chưa tìm thấy câu hỏi này được đăng ở đây, vì vậy quyết định kiểm tra xem có ai có câu trả lời nào không. Hãy để tôi giải thích những gì tôi có nghĩa là bằng cách …

8 cc.complexity-theory  complexity-classes  sat  counting-complexity  reductions 

Được biết điều gì đó về các ngôn ngữ được công nhận bởi bộ đếm tự động đa đầu xác định hai chiều hoặc logspace TM với bộ đếm (mô hình tương đương)? Lớp này được gọi là Aux2DC trong bài viết của cố vấn của tôi . Hoặc về …

8 cc.complexity-theory  complexity-classes  fl.formal-languages  logspace  counter-automata 

Có một hàm giống như cửa bẫy có độ phức tạp mã hóa là thời gian đa thức và độ phức tạp đảo ngược (không có khóa bí mật) cũng là một hàm đa thức trong độ dài đầu vào với (giả sử và là vô điều kiện có thể …

8 cc.complexity-theory  complexity-classes  cr.crypto-security  one-way-function 

Như chúng ta đã biết Đồ thị đẳng hình trong NP nhưng nó không được biết là NP-Complete hoặc P-Complete. Tôi đã tự hỏi nếu có bất kỳ vấn đề nào được biết là trong PSPACE nhưng không được biết là PSPACE-Complete và không nằm trong PH?

8 cc.complexity-theory  complexity-classes 

vui lòng bạn có thể cung cấp tài liệu tham khảo hoặc đưa ra ví dụ cụ thể về các vấn đề hoàn chỉnh PSPACE có thể giải quyết được trong thời gian giả đa thức? Ghi chú bổ sung: Định nghĩa về thời gian giả đa thức: http://en.wikipedia.org/wiki/Pseudo-polynomial_time Trả …

8 cc.complexity-theory  complexity-classes 

Đây là một câu hỏi hơi phù phiếm xuất hiện trong đầu tôi sau khi đọc các câu trả lời khác nhau cho "Lớp phức tạp nhỏ nhất của nhà vua mà một mạch siêu tuyến bị ràng buộc là gì? ". Câu trả lời đề cập đến , và …

8 cc.complexity-theory  complexity-classes 

Được biết liệu SPACE (n) (lớp ngôn ngữ được nhận dạng bởi các TM xác định có không gian tuyến tính) có phải là tập hợp con của E (lớp ngôn ngữ được nhận dạng bởi các TM xác định trong thời gian 2 ^ O (n)) không?

8 cc.complexity-theory  complexity-classes 

Vấn đề # MONOTONE-2SAT được biết là # P-Complete. Điều này có nghĩa là #SAT có thể được giảm xuống. Câu hỏi của tôi là: đưa ra một ví dụ #SAT , đó là phép biến đổi chuyển đổi F thành ví dụ # MONOTONE-2SAT tương ứng của nó F …

8 cc.complexity-theory  ds.algorithms  complexity-classes  sat