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

11

Liệu năm 2017 của Norbert Blum có chứng minh rằng đúng không?

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 

---

8

Lớp phức tạp liên quan chặt chẽ nhất với những gì tâm trí con người có thể hoàn thành nhanh chóng?

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 

---

2

Người ta có thể khuếch đại P = NP ngoài P = PH không?

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 

---

4

Hậu quả của gì?

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 

---

4

Các ví dụ trong đó tính duy nhất của giải pháp giúp tìm kiếm dễ dàng hơn

Lớp phức tạp bao gồm các biểu tượng có thể được quyết định bởi một máy Turing không điều kiện thời gian đa thức có nhiều nhất một con đường tính toán chấp nhận. Đó là, giải pháp, nếu có, là duy nhất theo nghĩa này. Người ta cho rằng …

37 cc.complexity-theory  ds.algorithms  graph-algorithms  complexity-classes  unique-solution 

---

3

Liệu bao hàm ?

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 

---

7

Chúng ta biết gì về các chương trình có thể chứng minh chính xác?

Sự phức tạp ngày càng tăng của các chương trình máy tính và các máy tính có vị trí ngày càng quan trọng trong xã hội khiến tôi tự hỏi tại sao chúng ta vẫn không sử dụng chung các ngôn ngữ lập trình mà bạn phải đưa ra bằng …

37 reference-request  complexity-classes  computability  pl.programming-languages 

---

3

Giải thích các lớp P và NP thông qua lambda-compus

Trong phần giới thiệu và giải thích các lớp phức tạp P và NP thường được đưa ra thông qua máy Turing. Một trong những mô hình tính toán là phép tính lambda. Tôi hiểu rằng tất cả các mô hình tính toán đều tương đương (và nếu chúng tôi …

36 cc.complexity-theory  complexity-classes  turing-machines  lambda-calculus 

---

2

Các lớp phức tạp ngữ nghĩa và cú pháp

Trong cuốn sách "Độ phức tạp tính toán" của mình, Papadimitriou viết: RP trong một số ý nghĩa là một loại phức tạp mới và bất thường. Không phải bất kỳ máy Turing không điều kiện ràng buộc đa thức nào cũng có thể là cơ sở để xác định …

35 cc.complexity-theory  complexity-classes  big-picture 

---

5

Sức mạnh vô lý của sự không đồng đều

Theo quan điểm thông thường, có thể dễ dàng tin rằng việc thêm tính không xác định vào giúp mở rộng đáng kể sức mạnh của nó, tức là lớn hơn nhiều so với . Rốt cuộc, chủ nghĩa không xác định cho phép song song theo cấp số nhân, …

33 cc.complexity-theory  complexity-classes  big-picture 

---

3

độ phức tạp của ước số chung lớn nhất (gcd)

Xem xét bài toán đếm sau (hoặc bài toán quyết định liên quan): Cho hai số nguyên dương được mã hóa dưới dạng nhị phân, tính toán ước số chung lớn nhất của chúng (gcd). Lớp phức tạp nhỏ nhất mà vấn đề này được chứa trong là gì? Bạn …

33 cc.complexity-theory  reference-request  complexity-classes  nt.number-theory 

---

1

vs ?

Vấn đề trung tâm của lý thuyết phức tạp được cho là PPP vs NPNPNP . Tuy nhiên, vì Thiên nhiên là lượng tử, nên có vẻ tự nhiên hơn khi xem xét các lớp BQPBQPBQP (nghĩa là các vấn đề quyết định có thể giải quyết được bằng máy …

33 cc.complexity-theory  complexity-classes  quantum-computing 

---

8

Các vấn đề với khoảng cách phức tạp mở lớn

Câu hỏi này là về các vấn đề có khoảng cách phức tạp mở lớn giữa giới hạn dưới và giới hạn trên đã biết, nhưng không phải vì các vấn đề mở trên chính các lớp phức tạp. Để được chính xác hơn, chúng ta hãy nói một vấn …

32 cc.complexity-theory  complexity-classes  big-list 

---

3

Một hợp tuyển của các giả định phức tạp

Trong bài báo Giả thuyết ngẫu nhiên của Oracle là sai , các tác giả (Chang, Chor, Goldreich, Hartmanis, Håstad, Ranjan và Rohatgi) thảo luận về ý nghĩa của giả thuyết ngẫu nhiên . Họ lập luận rằng chúng ta biết rất ít về sự tách biệt giữa các lớp …

32 cc.complexity-theory  complexity-classes  big-list  complexity-assumptions 

---

2

Hậu quả của

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 

---