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

Khi thiết kế một thuật toán cho một vấn đề mới, nếu sau một thời gian tôi không thể tìm thấy thuật toán đa thức, tôi có thể cố gắng chứng minh nó là NP-hard. Nếu tôi thành công, tôi đã giải thích lý do tại sao tôi không thể …

58 cc.complexity-theory  lower-bounds  conditional-results 

Trong mô tả phức tạp , Immerman có Hệ quả 7.23. Các điều kiện sau là tương đương: 1. P = NP. 2. Trên cấu trúc hữu hạn, có trật tự, FO (LFP) = SO. Điều này có thể được coi là "khuếch đại" P = NP thành một câu …

54 cc.complexity-theory  reference-request  complexity-classes  conditional-results  polynomial-hierarchy 

Chúng tôi biết rằng và rằng , trong đó . Chúng ta cũng biết rằng bởi vì cái sau có vấn đề hoàn toàn trong việc giảm nhiều không gian logarit trong khi cái trước thì không (do định lý phân cấp không gian). Để hiểu mối quan hệ giữa …

46 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

Theo tôi hiểu, chương trình lý thuyết phức tạp hình học cố gắng tách bằng cách chứng minh rằng hoán vị của ma trận có giá trị phức tạp khó tính hơn nhiều so với định thức.VP≠VNPVP≠VNPVP \neq VNP Câu hỏi tôi đã có sau khi lướt qua các giấy …

37 cc.complexity-theory  complexity-classes  algebraic-complexity  conditional-results  gct 

Sở thú phức tạp chỉ ra trong mục trên EXP rằng nếu L = P thì PSPACE = EXP. Vì NPSPACE = PSPACE của Savitch, theo như tôi có thể nói đối số đệm cơ bản mở rộng để hiển thị rằng Chúng ta cũng biết rằng L NL NC …

35 cc.complexity-theory  conditional-results 

Bao thanh toán không được biết là NP-đầy đủ. Câu hỏi này yêu cầu hậu quả của Bao thanh toán là NP-đầy đủ. Thật kỳ lạ, không ai hỏi về hậu quả của Bao thanh toán trong P (có thể vì một câu hỏi như vậy là tầm thường). Vì …

34 cc.complexity-theory  cr.crypto-security  conditional-results  factoring 

Là một người nghiệp dư TCS, tôi đang đọc một số tài liệu phổ biến, rất giới thiệu về điện toán lượng tử. Dưới đây là một vài thông tin cơ bản mà tôi đã học được cho đến nay: Máy tính lượng tử không được biết để giải quyết …

32 cc.complexity-theory  complexity-classes  quantum-computing  conditional-results  physics 

Năm 1995, Russell Impagliazzo đề xuất năm thế giới phức tạp: 1- Thuật toán: với tất cả các hậu quả đáng kinh ngạc.P= NPP=NPP=NP 2- Heuristica: Các vấn đề -complete rất khó trong trường hợp xấu nhất ( ) nhưng có thể giải quyết hiệu quả trong trường hợp trung …

32 cc.complexity-theory  conditional-results  average-case-complexity 

Hai trong số các giả định phổ biến để chứng minh độ cứng của kết quả gần đúng là và Phỏng đoán trò chơi duy nhất. Có bất kỳ độ cứng của kết quả xấp xỉ giả N P ≠ c o N P ? Tôi đang tìm kiếm một …

32 approximation-hardness  conditional-results 

Có những lời biện minh triết học thường được trích dẫn vì tin rằng P! = NP ngay cả khi không có bằng chứng. Các lớp phức tạp khác có bằng chứng cho thấy chúng là khác biệt, bởi vì nếu không, sẽ có những hậu quả "đáng ngạc nhiên" …

32 cc.complexity-theory  complexity-classes  gt.game-theory  conditional-results 

Một trong những điểm mấu chốt của thiết kế thuật toán là tìm ra thuật toán đa thức mạnh cho lập trình tuyến tính, tức là thuật toán có thời gian chạy bị giới hạn bởi đa thức về số lượng biến và ràng buộc và không phụ thuộc vào …

31 ds.algorithms  conditional-results  linear-programming  computing-over-reals  simplex 

Hậu quả khó chịu của NP = PSPACE là gì? Tôi ngạc nhiên vì tôi không tìm thấy bất cứ điều gì về điều này, vì các lớp học này là một trong những lớp nổi tiếng nhất. Cụ thể, nó có gây hậu quả gì cho tầng lớp thấp …

30 cc.complexity-theory  complexity-classes  conditional-results 

Chỉnh sửa : Như Ravi Boppana đã chỉ ra một cách chính xác trong câu trả lời của anh ấy và Scott Aaronson cũng đã thêm một ví dụ khác trong câu trả lời của anh ấy , câu trả lời cho câu hỏi này hóa ra là vâng vâng …

28 cc.complexity-theory  conditional-results  np  polynomial-hierarchy 

Dường như nhiều người tin rằng , một phần vì họ tin rằng bao thanh toán không thể giải quyết được nhiều thời gian. (Shiva Kintali đã liệt kê một vài vấn đề ứng cử viên khác ở đây ).P≠ NP∩ c o NPP≠NP∩coNPP \ne NP \cap coNP Mặt khác, …

27 cc.complexity-theory  np  conditional-results 

Parity-L là tập hợp các ngôn ngữ được công nhận bởi máy Turing không xác định, chỉ có thể phân biệt giữa số chẵn hoặc số lẻ của các đường dẫn "chấp nhận" (chứ không phải là số đường dẫn chấp nhận bằng 0 hoặc không bằng 0) và đó …

27 cc.complexity-theory  complexity-classes  conditional-results