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

Norbert Blum gần đây đã đăng một bằng chứng dài 38 trang rằng . Nó có đúng không?P≠NPP≠NPP \ne NP Ngoài ra về chủ đề: nơi nào khác (trên internet) là tính chính xác của nó đang được thảo luận? Lưu ý: trọng tâm của văn bản câu hỏi này …

232 cc.complexity-theory  np-hardness  complexity-classes 

Bao thanh toán và đẳng cấu đồ thị là những vấn đề trong NP không được biết đến trong P cũng không phải là NP-Complete. Một số vấn đề tự nhiên khác (đủ khác nhau) chia sẻ tài sản này là gì? Các ví dụ nhân tạo đến trực tiếp …

128 cc.complexity-theory  np-hardness  big-list  np-intermediate 

Tôi hiện đang là sinh viên đại học, chắc chắn sẽ tốt nghiệp trong năm nay. Sau khi tốt nghiệp, tôi đang cân nhắc làm việc với thạc sĩ / tiến sĩ TCS. Tôi đã bắt đầu tự hỏi những lĩnh vực toán học nào được coi là hữu ích …

79 cc.complexity-theory  soft-question  advice-request 

Các nhà toán học đôi khi lo lắng về Tiên đề lựa chọn (AC) và Tiên đề xác định (AD). Axiom of Choice : Với bất kỳ bộ sưu tập của bộ rỗng, có một hàm f rằng, cho một tập S trong C , trả về một thành viên …

67 cc.complexity-theory  lo.logic  pl.programming-languages  big-picture  set-theory 

Hiện tại, việc giải quyết vấn đề -complete hoặc P S P A C E -complete là không khả thi trong trường hợp chung cho các đầu vào lớn. Tuy nhiên, cả hai đều có thể giải được trong thời gian theo cấp số nhân và không gian đa thức.NPNPNPPSPACEPSPACEPSPACE …

66 cc.complexity-theory  np-hardness  big-picture 

Tôi quen thuộc với rất nhiều kết quả sử dụng định lý PCP (chủ yếu là các thuật toán gần đúng), nhưng tôi chưa bao giờ bắt gặp một lời giải thích rõ ràng về định lý PCP (nghĩa là ).NP=PCP(O(log(n)),O(1))NP=PCP(O(log⁡(n)),O(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) Những giấy tờ / sách tốt để …

64 cc.complexity-theory  reference-request  pcp 

Câu hỏi được hỏi là liệu câu hỏi sau đây có thể quyết định được không: Sự cố Cho một số nguyên và máy Turing M hứa sẽ ở trong P, thời gian chạy của M O ( n k ) có liên quan đến độ dài đầu vào n …

64 cc.complexity-theory  approximation-hardness 

Một câu hỏi gần đây của Huck Bennett hỏi liệu lớp PH có được chứa trong lớp PP hay không, đã nhận được câu trả lời hơi mâu thuẫn (tất cả đều đúng, có vẻ như vậy). Một mặt, một số kết quả tiên tri đã được đưa ra ngược …

63 cc.complexity-theory  counting-complexity  derandomization  relativization 

Tôi đang tìm kiếm các ví dụ về các vấn đề được tham số hóa bởi một số , trong đó độ cứng của vấn đề là không đơn điệu trong . Hầu hết các sự cố (theo kinh nghiệm của tôi) có chuyển đổi một pha, ví dụ k …

60 cc.complexity-theory  np-hardness  big-list  phase-transition 

Câu hỏi này là điều mà tôi băn khoăn trong một thời gian. Khi mọi người mô tả vấn đề P so với NP, họ thường so sánh NP lớp với sự sáng tạo. Họ lưu ý rằng việc soạn một bản giao hưởng chất lượng Mozart (tương tự như …

59 cc.complexity-theory  complexity-classes  soft-question 

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 

Tôi đã đi qua thuật toán đa thức giải quyết 2SAT. Tôi đã nhận thấy rằng 2SAT nằm trong P trong đó tất cả (hoặc nhiều người khác) trong các trường hợp SAT là NP-Complete. Điều gì làm cho vấn đề này khác nhau? Điều gì làm cho nó dễ …

55 cc.complexity-theory  np-hardness  big-picture  polynomial-time 

Có một số vấn đề đếm liên quan đến việc đếm nhiều thứ theo cấp số nhân (liên quan đến kích thước của đầu vào), và vẫn có các thuật toán xác định, chính xác thời gian đa thức đáng ngạc nhiên. Những ví dụ bao gồm: Đếm các kết …

54 cc.complexity-theory  counting-complexity  big-picture 

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 

Đây là câu hỏi đầu tiên của tôi trên trang web này. Tôi đang tham gia một khóa học thạc sĩ về lý thuyết tính toán. Làm thế nào bạn giải thích vấn đề P = NP cho một đứa trẻ 10 tuổi và tại sao nó lại có phần …

54 cc.complexity-theory  soft-question  teaching  p-vs-np