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

Như đã biết, các bài toán tối ưu hóa NP-hard có thể có nhiều tỷ lệ xấp xỉ khác nhau, từ tất cả các cách từ có PTAS đến không thể xấp xỉ trong bất kỳ yếu tố nào. Ở giữa, chúng ta có các hằng số khác nhau, , …

12 cc.complexity-theory  approximation-hardness 

Động vật học phức tạp của Greg Kuperberg nói rằng có một ngôn ngữ XXX sao cho BPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X - nói cách khác, BPPX⊈PNPXBPPX⊈PNPX\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X} - nhưng không đưa ra tham chiếu cho kết quả này. Tại sao điều này giữ? Hoặc một bằng chứng có thể …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation 

Những vấn đề tiêu chuẩn chúng ta có thể giảm từ để chứng minh là gì giới hạn thấp hơn?Ω ( nhật ký nn )Ω(nđăng nhập⁡n)\Omega(n\log n) Tất nhiên, các vấn đề nhà nước ngoài việc phân loại và phân biệt thành phần.

12 cc.complexity-theory  lower-bounds 

SAT duy nhất là vấn đề nổi tiếng: được đưa ra một công thức CNF , có đúng là F có chính xác một mô hình không?FFFFFF Tôi quan tâm đến vấn đề «Chính xác -SAT»: đưa ra công thức CNF F và số nguyên m > 1 , có …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

Cho một chuỗi gồm số, nó có thể được sắp xếp với so sánh O ( n ln n ) và hoán đổi / di chuyển O ( n ) không? Bất kỳ con trỏ đến các ấn phẩm về vấn đề đó hoặc counterarguments thấy một Ω ( n …

12 cc.complexity-theory  ds.algorithms 

là loại mạch có kích thước đa thức có độ sâu không đổi có cổng KHÔNG và cổng quạt và OR không giới hạn, trong đó đầu vào và cổng cũng có quạt không giới hạn.AC0AC0AC^0 Bây giờ hãy xem xét một lớp mới, gọi nó là giống như A …

12 cc.complexity-theory  circuit-complexity 

Tôi đang tìm kiếm logic phương thức, được tiên đề hóa bởi một tập hợp hữu hạn của độ sâu lồng nhau phương thức một, và vấn đề thỏa mãn / khả năng dẫn xuất của nó không có khả năng xảy ra trong PSPACE. Nếu không có giới hạn …

12 cc.complexity-theory  lo.logic  modal-logic 

Hãy xem xét vấn đề sau đây, Cho một tập hợp số dương trong đó là hằng số, chúng tôi muốn phân chia tập hợp thành tập con có kích thước sao cho tích của tổng của mỗi tập hợp con được tối đa hóa.n = k mn= =kmn = …

12 cc.complexity-theory  np-hardness  application-of-theory  polynomial-time 

Câu hỏi này tương tự như các vấn đề NP-hard trên cây : Có một số lượng lớn các vấn đề hoàn thành NP có thể dễ dàng xử lý trên các sơ đồ . Có bất kỳ vấn đề đã biết nào vẫn còn NP-đầy đủ khi bị hạn …

12 cc.complexity-theory  np-hardness  graph-algorithms 

Người ta biết rộng rãi rằng các công thức CNF có thể được phân vùng thô trong 2 lớp rộng: ngẫu nhiên so với cấu trúc. Các công thức CNF có cấu trúc, đối lập với các công thức CNF ngẫu nhiên, thể hiện một số thứ tự, hiển thị …

12 cc.complexity-theory  sat  randomness  symmetry 

Có 4 ràng buộc khác nhau mà chúng ta có thể có khi xác định K-SAT ngẫu nhiên. 1) Tổng số chữ trong một mệnh đề đã cho chính xác là K hoặc AT nhiều nhất K 2) Một chữ có thể được sử dụng có hoặc không có thay …

12 cc.complexity-theory  sat  randomness  phase-transition 

Razborov chứng minh rằng mỗi mạch đơn điệu mà tính chức năng phù hợp hoàn hảo cho đồ thị hai phía phải có ít nhất cửa (ông gọi nó là "logic vĩnh viễn"). Đã có một giới hạn thấp hơn tốt hơn cho cùng một vấn đề đã được chứng …

12 cc.complexity-theory  circuit-complexity  matching 

Tất nhiên, lập trình tuyến tính ngày nay được hiểu rất rõ. Chúng tôi có rất nhiều công việc đặc trưng cho cấu trúc của các giải pháp khả thi và cấu trúc của các giải pháp tối ưu. Chúng tôi có tính hai mặt mạnh mẽ, thuật toán đa …

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization 

Tôi đọc trong SP Jordan, D. Gosset, PJ Love " vấn đề -complete cho Hamilton stoquastic và ma trận MarkovQ MMộtQMMộtQMA " mà nó không chắc rằng .Q MMột ⊆ A MQMMột⊆MộtMQMA \subseteq AM Tôi đã ngạc nhiên về khẳng định này. Vậy mối quan hệ đúng đắn giữa và …

12 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs  qma 

Đặt G là đồ thị được kết nối. Độ phức tạp của việc đếm tất cả các sơ đồ con được kết nối nếu G thuộc các loại sau? G là chung. G là mặt phẳng. G là lưỡng cực. Tôi không quan tâm đến bất kỳ cấu trúc nào …

12 cc.complexity-theory  graph-theory  counting-complexity