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

Liệu giữ?NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP} Rõ ràng , nhưng đối với tôi, là "xác định" khiến tôi tin rằng điều này là đúng.N P ∩ c o N PNPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP}NP∩coNPNP∩coNP\mathsf{NP\cap coNP} Có một bằng chứng đơn giản (hoặc có thể chỉ theo định nghĩa)?

12 cc.complexity-theory  complexity-classes  oracles 

Một vấn đề lớn trong TCS là vấn đề thể hiện vĩnh viễn như một yếu tố quyết định. Tôi đã đọc bài báo Xác định vĩnh viễn của Agrawal và trong một đoạn, ông khẳng định vấn đề ngược lại là dễ dàng. Dễ dàng thấy rằng định thức …

12 cc.complexity-theory  algebraic-complexity  permanent  determinant 

Một thuộc tính đồ thị được gọi là di truyền nếu nó đóng đối với việc xóa các đỉnh (nghĩa là tất cả các sơ đồ con cảm ứng đều kế thừa thuộc tính). Một thuộc tính đồ thị được gọi là phụ gia nếu nó được đóng đối với …

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

Giả sử P NP.≠≠\ne Định lý của Ladner nói rằng có các vấn đề trung gian NP (các vấn đề trong NP không thuộc P cũng như NP-Complete). Tôi đã tìm thấy một số tài liệu tham khảo che giấu trực tuyến gợi ý (tôi nghĩ) rằng có nhiều "cấp …

12 cc.complexity-theory  np  np-intermediate 

Ví dụ: Một vô hướng đồ thị với hai phân biệt đỉnh s ≠ t , và một số nguyên k ≥ 2 .GGGs≠ts≠ts\neq tk≥2k≥2k\geq 2 Câu hỏi: Có tồn tại một đường dẫn trong G , sao cho đường dẫn đó chạm vào hầu hết các đỉnh k ? …

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

Tôi đang cố gắng hiểu lớp phức tạp nào mà vấn đề sau thuộc về: Vấn đề gốc đa thức lũy thừa (EPRP) Hãy là một đa thức với DEG ( p ) ≥ 0 với các hệ số rút ra từ một trường hữu hạn G F ( q …

12 cc.complexity-theory  reference-request  comp-number-theory  np-intermediate 

Gần đây tôi đã bắt đầu đọc rất nhiều về độ phức tạp bằng chứng và đã thực sự thích những gì tôi đã đọc. Tôi thực sự muốn tìm hiểu thêm về điều này, nhưng tôi gặp khó khăn trong việc tìm kiếm một số tài liệu tốt cho …

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

Máy tự động trạng thái hữu hạn dư (RFSA, được định nghĩa trong [DLT02]) là các NFA có một số tính năng đẹp chung với DFA. Đặc biệt, luôn có một RFSA có kích thước tối thiểu chính tắc cho mọi ngôn ngữ thông thường và ngôn ngữ được mỗi …

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

Chứa ở giữa mỗi cấp của hệ thống phân cấp đa thức là các lớp phức tạp khác nhau, bao gồm , , và . Vì thiếu thuật ngữ tốt hơn, tôi sẽ đề cập đến những thứ này và bất kỳ loại nào khác như các lớp trung gian …

12 cc.complexity-theory  polynomial-hierarchy 

Câu hỏi này được thúc đẩy bởi bài đăng này, Bạn có thể xác định tổng của hai hoán vị trong thời gian đa thức? và mối quan tâm của tôi đối với các tính chất tính toán của hoán vị. Chuỗi khác biệt của hoán vị của các số …

12 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

Chúng ta có biết rằng hệ thống phân cấp không sụp đổ ( cho tất cả ) không?TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd Mục Zoo choTC0TC0\mathsf{TC^0} chỉ đề cập đến sự tách biệt giữa độ sâu 2 và 3. Ngoài ra có một tài liệu tham khảo tiêu chuẩn cho thực tế rằng …

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

Đưa ra một trò chơi tổng bằng không thông tin một phần xác định chỉ có nhiều trạng thái, với kết quả có thể là [thua, hòa, thắng] với các giá trị tương ứng [-1,0, + 1], độ phức tạp của xấp xỉ giá trị của nó là bao nhiêu …

12 cc.complexity-theory  gt.game-theory 

Phân tích trơn tru đã được áp dụng nhiều lần để hiểu thời gian chạy của các thuật toán chính xác cho nhiều vấn đề như lập trình tuyến tính và phương tiện k. Có những kết quả khá chung trong lĩnh vực này, ví dụ Heiko Röglin và Berthold …

12 cc.complexity-theory  approximation-algorithms  approximation-hardness  smoothed-analysis 

Mối quan hệ giữa P L SPLS\mathsf{PLS} và Một P XMộtPX\mathsf{APX} gì? Nói cách khác, các vấn đề thừa nhận tìm kiếm cục bộ thời gian đa thức có thể xấp xỉ không? Các vấn đề tối ưu hóa gần đúng có nghĩa là một thuật toán tìm kiếm cục …

12 cc.complexity-theory  approximation-algorithms 

Sudoku là một câu đố nổi tiếng được hoàn thành NP. Nhị phân Sudoku là một biến thể chỉ cho phép các số và . Luật như sau.000111 Mỗi hàng và mỗi cột phải chứa một số không và số bằng nhau. Mỗi hàng và mỗi cột là duy nhất. …

12 cc.complexity-theory  np-hardness  puzzles