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

Điều tôi đặc biệt thắc mắc là liệu có một điều kiện thú vị về tỷ lệ phần trăm bài tập thỏa mãn công thức 3SAT để đảm bảo rằng các vấn đề đó có thể xử lý được. Giả sử ví dụ lớp các bài toán 3SAT mà của …

12 cc.complexity-theory  ds.algorithms  sat  np 

Xem xét đầy đủ thông tin trò chơi kết hợp hai người chơi kết thúc sau một số lần di chuyển đa thức, và theo một cách khác, người chơi chọn từ một số lượng hữu hạn các bước di chuyển được phép. Câu hỏi thông thường là, thật khó …

11 cc.complexity-theory  np  board-games  pspace 

ETH tuyên bố rằng SAT không thể được giải quyết trong trường hợp xấu nhất trong thời gian phụ. Trường hợp trung bình thì sao? Có vấn đề tự nhiên nào trong NP được phỏng đoán là khó theo cấp số nhân trong trường hợp trung bình không? Lấy trường …

11 cc.complexity-theory  np  average-case-complexity 

Giả sử rằng NP = co-NP và đa thức giới hạn độ dài của bằng chứng về sự không thỏa mãn đối với trường hợp 3-CNF x . Sau đó, có bất kỳ kết quả nào về hình thức bất kỳ bằng chứng nào về sự không thỏa mãn đối …

11 cc.complexity-theory  lo.logic  np  proof-complexity 

Dưới đây là hai biến thể về định nghĩa của NP. Họ (gần như chắc chắn) định nghĩa các lớp phức tạp riêng biệt, nhưng câu hỏi của tôi là: có những ví dụ tự nhiên về các vấn đề phù hợp với các lớp này không? (Ngưỡng của tôi …

11 cc.complexity-theory  complexity-classes  np 

Nó cũng được biết rằng các lớp học nhất định của NP -problems Có sự phân đôi lý, trong đó đảm bảo rằng tất cả các nhiệm vụ trong lớp là một trong hai NP -complete hoặc là trong P . Kết quả được biết đến nhiều nhất là định …

10 cc.complexity-theory  np  descriptive-complexity 

Độ phức tạp chứng minh là một lĩnh vực cơ bản nhất của lý thuyết phức tạp tính toán. Một mục đích cuối cùng của lĩnh vực này là chứng minh , nghĩa là, bất kỳ người hoạt ngôn nào cũng không thể đưa ra bằng chứng về sự không …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

Có phải mọi ngôn ngữ không thể nhận dạng Turing đều có một tập hợp con hoàn chỉnh NP không? Câu hỏi có thể được coi là một phiên bản mạnh mẽ hơn của thực tế là mọi ngôn ngữ có thể nhận biết Turing vô hạn đều có một …

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

Câu hỏi này nảy sinh trong bối cảnh của mật mã học, nhưng dưới đây tôi sẽ trình bày nó dưới dạng lý thuyết phức tạp, vì mọi người ở đây đã quen thuộc hơn với cái sau. Câu hỏi này liên quan đến các vấn đề trong NP nhưng …

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity 

Giao điểm của hai ngôn ngữ trong NP không hoàn thành NP có thể hoàn thành NP không? Giao điểm của hai ngôn ngữ trong coNP không hoàn thành coNP có thể hoàn thành coNP không? Có thể giao điểm của hai ngôn ngữ một trong coNP nhưng không hoàn …

8 complexity-classes  np