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

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 

Chúng tôi "biết" rằng được đặt tên theo Steve Cook và N C được đặt tên theo Nick Pippenger. Nếu tôi không nhầm, Steve Cook đã đặt tên NC để vinh danh Nick Pippenger, và tôi đã nói rằng điều ngược lại cũng đúng. Tuy nhiên, tôi đã không thể …

33 cc.complexity-theory  ho.history-overview 

Một vài năm trước, có một số công việc của Joel Friedman liên quan đến giới hạn mạch thấp hơn đối với cohomology (xem tài liệu: http://arxiv.org/abs/cs/0512008 , http://arxiv.org/abs/cs/0604024 ). Liệu dòng suy nghĩ này đã mang lại bất kỳ hiểu biết mới nào về sự phức tạp của boolean, …

33 cc.complexity-theory  lower-bounds  circuit-complexity  boolean-functions 

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 

Chúng tôi biết rằng nếu bạn có máy PSPACE, nó đủ mạnh để đưa ra bằng chứng tương tác về bất kỳ cấp bậc đa thức nào. (Và nếu tôi nhớ đúng, tất cả những gì bạn cần là #P.) Nhưng giả sử bạn muốn đưa ra bằng chứng tương …

33 cc.complexity-theory  interactive-proofs 

Trong "Về tính quyết định so với thuyết không xác định và các vấn đề liên quan" (Proc. IEEE FOCS, trang 429 trừ438, 1983), Paul, Pippenger, Szemerédi và Trotter đã chứng minh rằng . NTIME(n)≠DTIME(n)NTIME(n)≠DTIME(n)\mathsf{NTIME}(n)\neq\mathsf{DTIME}(n) Điều này trả lời câu hỏi của tôi với k = 1. Có bất cứ …

33 cc.complexity-theory 

Tôi đã tham gia một lớp học về Khả năng tính toán và Logic. Tài liệu bao gồm một mối tương quan giữa các lớp phức tạp / tính toán (R, RE, co-RE, P, NP, Logspace, ...) và Logics (Tính toán dự đoán, logic thứ tự đầu tiên, ...). Mối …

33 cc.complexity-theory  lo.logic  computability 

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 

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 

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 

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 

Xác định LOGLOG là lớp ngôn ngữ có thể được tính trong không gian O (loglog n) bằng máy Turing xác định (với quyền truy cập hai chiều vào đầu vào). Tương tự định nghĩa NLOGLOG là lớp ngôn ngữ có thể được tính trong không gian O (log log …

32 cc.complexity-theory  reference-request  space-bounded 

Không thể viết một ngôn ngữ lập trình cho phép tất cả các máy dừng trên tất cả các đầu vào và không có ngôn ngữ nào khác. Tuy nhiên, dường như rất dễ để định nghĩa một ngôn ngữ lập trình như vậy cho bất kỳ lớp phức tạp …

32 cc.complexity-theory  computability  pl.programming-languages 

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 

Trong câu hỏi này, công thức 3CNF có nghĩa là công thức CNF trong đó mỗi mệnh đề liên quan đến chính xác ba biến khác nhau. Đối với một hằng số 0 < s <1, Gap-3SAT s là vấn đề lời hứa sau đây: Trường hợp của Gap-3SAT : …

32 cc.complexity-theory  sat  approximation-hardness