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

Một số vấn đề không tầm thường mà chúng ta biết thuật toán hiện tại chúng ta có là một vấn đề tối ưu không có triệu chứng? (Đối với máy turing) Và điều này được chứng minh như thế nào?

15 cc.complexity-theory  ds.algorithms  complexity-classes 

Vấn đề bảo trì đơn hàng (hoặc "duy trì trật tự trong danh sách") là để hỗ trợ các hoạt động: singleton: tạo một danh sách với một mục, trả về một con trỏ tới nó insertAfter: đưa ra một con trỏ tới một mục, chèn một mục mới vào …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Khi đọc bài báo " Một lý thuyết áp dụng cho FPH ", bạn có thể bắt gặp đoạn văn sau: Xem xét các lý thuyết đặc trưng cho các lớp phức tạp tính toán, có ba cách tiếp cận khác nhau: trong một, các chức năng có thể được …

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

Một vấn đề P được cho là trong APX nếu tồn tại một số hằng số c> 0 sao cho thuật toán xấp xỉ thời gian đa thức tồn tại cho P với hệ số xấp xỉ 1 + c. APX chứa PTAS (được nhìn thấy bằng cách chọn bất …

15 cc.complexity-theory  complexity-classes  apx 

Trong nghiên cứu gần đây của chúng tôi, chúng tôi giải quyết một vấn đề tính toán phát sinh trong bối cảnh tổ hợp, dưới giả định rằng , trong đó ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP} là chuyển đổi E X P của ⊕⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} . Các chỉ báo về ⊕⊕P⊕P\mathsf{\oplus{}P} mà chúng …

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

Lớp BQP phức tạp tương ứng với các chương trình con lượng tử thời gian đa thức lấy các đầu vào cổ điển và tạo ra một đầu ra cổ điển xác suất. Lời khuyên lượng tử sửa đổi rằng bao gồm các bản sao của một số trạng thái …

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

Chúng tôi thường xem xét các lớp phức tạp nơi chúng tôi bị giới hạn trong dung lượng mà máy Turing của chúng tôi có thể sử dụng, ví dụ: hoặc . Dường như sớm trong lý thuyết phức tạp đã có nhiều thành công với các lớp này như …

15 cc.complexity-theory  complexity-classes  quantum-computing  space-bounded 

Có những vấn đề thú vị ở nhưng không được biết là ở N C 2 ? Trong bài báo 'Một nguyên tắc phân loại các vấn đề với thuật toán song song nhanh', Cook đề cập rằng MIS được biết là chỉ có trong N C 5 nhưng điều …

14 complexity-classes  dc.parallel-comp 

Tôi đang đọc phần phụ lục về giới hạn thấp hơn của ACC cho NEXP trong cuốn sách Tính phức tạp tính toán của Arora và Barak . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Một trong những bổ đề quan trọng là sự chuyển đổi từ A CC0MộtCC0ACC^{0} mạch để đa thức đa tuyến so …

14 cc.complexity-theory  co.combinatorics  complexity-classes  circuit-complexity  boolean-functions 

Trong thời gian dài nhất, tôi đã nghĩ rằng một vấn đề là NP-đầy đủ nếu cả hai (1) NP-hard và (2) nằm trong NP. Tuy nhiên, trong bài báo nổi tiếng "Phương pháp ellipsoid và hậu quả của nó trong tối ưu hóa tổ hợp" , các tác giả …

14 cc.complexity-theory  np-hardness  complexity-classes  terminology 

Câu hỏi này đã được Jan Pax đặt ra trong danh sách gửi thư của Tổ chức Toán học . Chắc chắn nhưng tôi nghi ngờ từ câu trả lời cho câu hỏi này mà nó không biết liệu ⊕ P ⊆ P P (nếu không, P P sẽ là …

14 cc.complexity-theory  complexity-classes 

Tôi biết rằng PNP[logn]PNP[log⁡n]\mathsf{P}^{\mathsf{NP}[\log n]} (logarit nhiều cuộc gọi đến nhà tiên tri NP) tương đương với PNP||PNP||\mathsf{P}^{\mathsf{NP}||}(số đa thức của các truy vấn song song với nhà tiên tri NP). Tôi đã tự hỏi thời tiết "chức năng" của các lớp này cũng tương đương, đó là, liệu FPNP[logn]=FPNP||FPNP[log⁡n]=FPNP|| …

14 cc.complexity-theory  complexity-classes 

1) Có thể giảm đáng kể từ vấn đề # P-Complete #A sang vấn đề đếm #B khi (phiên bản quyết định) A hoàn thành NP và B ở P không? Ví dụ: có thể có một mức giảm đáng kể từ #SAT xuống #B, khi B ở P không? …

14 cc.complexity-theory  complexity-classes  counting-complexity 

Đưa ra hai CNF, nếu chúng có cùng số lượng bài tập để biến chúng thành đúng, hãy trả lời "Có", nếu không thì trả lời "Không". Thật dễ dàng để thấy nó có trong , vì nếu chúng ta biết chính xác số lượng giải pháp cho hai CNF …

14 cc.complexity-theory  complexity-classes  counting-complexity 

P / poly là lớp các vấn đề quyết định có thể giải quyết được bởi một họ các mạch Boolean có kích thước đa thức. Ngoài ra, nó có thể được định nghĩa là một máy Turing đa thời gian nhận chuỗi tư vấn có kích thước đa thức …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone