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

Có vấn đề đồ thị tự nhiên , vẫn còn ngay cả khi nó bị giới hạn trong bất kỳ lớp biểu đồ có thể nhận biết theo thời gian đa thức nào không? Để tránh các trường hợp suy biến, chúng ta chỉ xem xét các lớp biểu đồ …

8 cc.complexity-theory  graph-theory  graph-algorithms  np-complete  graph-classes 

Thuật toán nhanh nhất được biết đến bao thanh toán đa thức với biến và tổng độ gì? Ở đây, n đang phát triển và d là cố định. Hầu hết các công việc dường như xem xét trường hợp khi d đang phát triển và n là cố định. …

8 cc.complexity-theory  algebra  factoring 

Hãy xem xét vấn đề sau: Đầu vào: (G1, G2) trong đó G1 và G2 là đồ thị vô hướng Câu hỏi: Kích thước của bộ G1 độc lập tối đa ít nhất có lớn bằng kích thước của bộ G2 độc lập tối đa không? Đây có vẻ là …

8 cc.complexity-theory 

Một cách để chứng minh NP coNP là chỉ ra rằng với mọi hệ thống chứng minh mệnh đề f có thể tính toán được trong thời gian đa thức, tồn tại một họ các tautology trong đó f yêu cầu độ dài chứng minh siêu đa thức (ghi lại …

8 cc.complexity-theory  proof-complexity 

Tôi đang tìm kiếm một tài liệu tham khảo về 'giảm' Turing giảm xuống nhiều giảm một. Tôi có một tuyên bố về hình thức sau đây (các tuyên bố đủ tương tự cũng sẽ thỏa mãn tôi): Định lý. Nếu , thì .A ≤ 2 f m B t …

8 cc.complexity-theory  reference-request  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 

Cho một đồ thị , số cạnh tối thiểu của mà chúng ta cần xóa để làm cho tam giác đồ thị là gì? Đối với con mắt chưa được huấn luyện của tôi, đây dường như là một vấn đề khó khăn.GGGGGG Là vấn đề này được biết là …

8 cc.complexity-theory  graph-algorithms  np-hardness 

Tôi quan tâm đến cách người ta chứng minh rằng một câu tương đối hóa. Tất nhiên, việc chứng minh rằng một câu không tương đối hóa là đơn giản, như đã thấy trong kết quả của Baker-Gill-Solovay; nhưng làm thế nào để chứng minh rằng một câu không tương …

8 cc.complexity-theory  reference-request  relativization 

Trong khi duyệt các bài đăng cũ của CStheory.se , tôi đã xem qua một bài đăng blog hấp dẫn về vấn đề tử vong ma trận . Trừ khi tôi giải thích sai vấn đề, nó nói rằng đã đưa ra một tập hợp hữu hạn 3 x 3 …

8 cc.complexity-theory  matrix-product 

Hãy xác định bài toán SAT : Cho F 3 , công thức 3-CNF thỏa đáng và F 2 , công thức 2-CNF ( F 3 và F 2 được xác định trên cùng một biến). Là F 3 ∧ F 2 satisfiable?(3,2)s(3,2)s(3,2)_sF3F3F_3F2F2F_2F3F3F_3F2F2F_2F3∧F2F3∧F2F_3 \wedge F_2 Sự phức tạp của vấn …

8 cc.complexity-theory  reference-request  np-hardness  sat 

Tôi biết rằng nói chung, sự thỏa mãn đa thức đa biến tương đương với 3-SAT; tuy nhiên, tôi tự hỏi liệu có bất kỳ kỹ thuật tốt trong trường hợp bậc hai, đặc biệt nếu có một giải pháp thời gian đa thức. Tôi đoán câu hỏi chung hơn …

8 cc.complexity-theory  polynomials  polynomial-time  quadratic 

Trong khi thảo luận về câu hỏi tôi đã hỏi ở đây , @NealYoung và tôi gặp phải một vấn đề khác, đó là đánh giá sự phức tạp của vấn đề dưới đây: Cho một đồ thị vô hướng được kết nối, tìm một tập hợp con có kích …

8 graph-theory  np-hardness  cc.complexity-theory 

Lý thuyết phức tạp dường như được xây dựng xung quanh các vấn đề quyết định hơn là các chức năng. Ai giới thiệu cái này đầu tiên và lý do cho sự lựa chọn này là gì? Ví dụ, giấy "Con đường, cây và hoa" của Edmonds thường được …

8 cc.complexity-theory  reference-request 

Điều này được thúc đẩy bởi câu hỏi trước đây của tôi, thuật toán xấp xỉ thời gian siêu đa thức cho MAX-3SAT . Đối với nhiều bài toán tối ưu, cho mỗi người chúng ta có inapproximability thấp hơn ràng buộc giả định một số phức tạp tin rộng …

8 cc.complexity-theory  approximation-algorithms 

Để 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