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

Có ai biết về kết quả hoàn thành NP cho bài toán DOMINATING SET trong các biểu đồ, được giới hạn trong lớp biểu đồ lưỡng cực hai mặt phẳng bậc 3 không? Tôi biết đó là NP-hoàn chỉnh cho lớp đồ thị phẳng bậc 3 tối đa (xem sách …

18 cc.complexity-theory  graph-theory 

Parity-P là tập hợp các ngôn ngữ được công nhận bởi máy Turing không xác định, chỉ có thể phân biệt giữa số chẵn hoặc số lẻ của các đường dẫn "chấp nhận" (chứ không phải là số đường dẫn chấp nhận bằng 0 hoặc không bằng 0). Do đó, …

18 cc.complexity-theory  complexity-classes  np 

Tôi quan tâm đến vấn đề sau: Cho một tập hợp X và các tập con X_1, ..., X_n của X, tìm màu của các phần tử của X với k màu sao cho các phần tử trong mỗi X_i đều có màu khác nhau. Cụ thể hơn, tôi đang …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

Xác định độ phức tạp Gaussian của ma trận là số lượng tối thiểu của các thao tác hàng và cột cơ bản cần có để đưa ma trận thành dạng tam giác trên. Đây là một đại lượng trong khoảng từ đến (thông qua việc tách biệt Gaussian). Khái …

18 cc.complexity-theory  lower-bounds  matrices 

Nó được biết đến là máy tính lượng tử mạnh hơn nhiều so với các đối tác cổ điển về độ phức tạp của truy vấn . Có các mô hình khác (tự nhiên hoặc nhân tạo) hoàn toàn giữa lượng tử và cổ điển về độ phức tạp của …

18 cc.complexity-theory  quantum-computing  query-complexity 

Tôi vừa đọc câu hỏi " Có phải nhân tố số nguyên là một vấn đề hoàn chỉnh NP không? " Vì vậy tôi quyết định dành một chút danh tiếng của mình :-) hỏi một câu hỏi khác có :QQQP(Q is trivial)≈1P(Q is trivial)≈1P(\text{Q is trivial}) \approx 1 Nếu …

18 cc.complexity-theory  oracles  factoring 

Một số vấn đề phức tạp lớn, tính toán mở phát sinh từ các ngôn ngữ lập trình, đặc biệt là phân tích và biên dịch chương trình là gì? Tôi đang tìm kiếm các vấn đề trên các dòng "độ phức tạp thời gian của suy luận kiểu Hindley-Milner" …

17 cc.complexity-theory  pl.programming-languages  big-list  open-problem 

Có thể chuyển đổi một CNF thành một CNF sao choCC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) Hàm có thể được tính trong thời gian đa thức từ một số tham số ngẫu nhiên bí mật .ΨΨ\Psirrr Ψ(C)Ψ(C)\Psi(\mathcal C) có giải pháp khi và chỉ khi có giải pháp.CC\mathcal C Mọi giải pháp của …

17 cc.complexity-theory  cr.crypto-security  one-way-function  cryptojacking 

Một mạch Boolean không xác định có, ngoài các yếu tố đầu bình thường , một tập hợp các nguyên liệu đầu vào "không xác định" y = ( y 1 , ... , y m ) . Một mạch không xác định C chấp nhận đầu vào x nếu …

17 cc.complexity-theory  circuit-complexity  nondeterminism 

Lý lịch Được biết, có tồn tại một oracle ví dụ đó, .P S P A C E A ≠ P H AAAAPSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A Thậm chí người ta còn biết rằng sự tách biệt giữ tương đối với một lời sấm truyền ngẫu nhiên. Một cách không chính thức, …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

Người ta biết rằng nhiều vấn đề hoàn thành NP thể hiện quá trình chuyển pha. Tôi quan tâm ở đây trong quá trình chuyển pha liên quan đến ngăn chặn trong ngôn ngữ, hơn là độ cứng của đầu vào, liên quan đến một thuật toán. Để làm cho …

17 cc.complexity-theory  phase-transition 

Cho nhóm đối xứng và hai nhóm con và , có giữ không?SnSnS_nG,H≤SnG,H≤SnG, H\leq S_nπ∈Snπ∈Sn\pi\in S_nGπ∩H=∅Gπ∩H=∅G\pi\cap H=\emptyset Theo như tôi biết, vấn đề này được gọi là vấn đề giao nhau. Tôi đang tự hỏi những gì phức tạp? Cụ thể, vấn đề này được biết là trong coAM? Hơn …

17 cc.complexity-theory  graph-isomorphism  gr.group-theory 

Được biết, kích thước tối thiểu của -circuits tính toán hàm chẵn lẻ chính xác bằng 3 ( n - 1 ) . Bằng chứng ràng buộc thấp hơn được dựa trên phương pháp loại bỏ cổng.U2U2U_23(n−1)3(n−1)3(n-1) Gần đây, tôi nhận thấy rằng phương pháp loại bỏ cổng cũng hoạt …

17 cc.complexity-theory  reference-request  circuit-complexity 

Bài báo "Thuật toán phụ cho 3SUM" của Ilya Baran, Erik D. Demaine, Mihai Patrascu có độ phức tạp sau đây cho 3SUM vấn đề: cung cấp một danh sách LLL của nnn số nguyên nếu có x,y,z∈Lx,y,z∈Lx,y,z \in L mà x+y=z.x+y=z.x+y=z. w−w−w-O(n2/max{wlogw,logn(loglogn)2})O(n2/max{wlog⁡w,log⁡n(log⁡log⁡n)2})O(n^2/ \max\{w \log w, \log n (\log \log …

17 cc.complexity-theory  ds.algorithms 

Theo đề nghị của Josh Grochow, tôi chuyển đổi nhận xét của mình từ câu hỏi trước sang câu hỏi mới. Chúng ta có bằng chứng gì cho ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} Ở đây là lớp ngôn ngữ có thể nhận biết được bằng các máy Turing không xác định thời …

17 cc.complexity-theory  complexity-classes  conditional-results  unique-solution