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

Các bài toán -queens cổ điển hỏi, cho một số nguyên dương n , liệu có một mảng Q [ 1 .. n ] các số nguyên thỏa mãn các điều kiện sau:nnnnnnQ[1..n]Q[1..n]Q[1..n] cho tất cả i1≤Q[i]≤n1≤Q[i]≤n1\le Q[i] \le niii cho tất cả i ≠ jQ[i]≠Q[j]Q[i]≠Q[j]Q[i] \ne Q[j]i≠ji≠ji\ne j cho …

27 cc.complexity-theory  board-games 

Dường như nhiều người tin rằng , một phần vì họ tin rằng bao thanh toán không thể giải quyết được nhiều thời gian. (Shiva Kintali đã liệt kê một vài vấn đề ứng cử viên khác ở đây ).P≠ NP∩ c o NPP≠NP∩coNPP \ne NP \cap coNP Mặt khác, …

27 cc.complexity-theory  np  conditional-results 

Trong khi đọc bài viết "Đã đến lúc tuyên bố chiến thắng trong việc đếm độ phức tạp?" tại blog "Thư bị mất của Godel và P = NP" , họ đã đề cập đến sự phân đôi cho CSP. Sau một số liên kết sau, googling và wikipinating, tôi …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

Tôi muốn hỏi về một trường hợp đặc biệt của câu hỏi Quyết định nếu một mạch NC 0 đã cho tính toán một hoán vị bởi QiCheng đã không được trả lời. Mạch Boolean được gọi là mạch NC 0 k nếu mỗi cổng đầu ra về mặt cú …

27 cc.complexity-theory  open-problem  permutations  circuit-families 

Trong độ phức tạp tính toán, có một sự khác biệt quan trọng giữa tính toán đơn điệu và tính toán chung và một định lý nổi tiếng của Razborov khẳng định rằng 3-SAT và thậm chí MATCHING không phải là đa thức trong mô hình mạch Boolean đơn điệu. …

27 cc.complexity-theory  quantum-computing  circuit-complexity 

Độ phức tạp của việc quyết định xem một mạch có bit đầu vào và bit đầu ra có tính toán hoán vị của không? nói cách khác, liệu mọi chuỗi bit trong có phải là đầu ra của mạch cho một số đầu vào không? Có vẻ như một …

27 cc.complexity-theory  circuit-complexity  permutations 

Cho một bởi ma trận nhị phân (các mục nhập là hoặc ), vấn đề là xác định xem có tồn tại hai vectơ nhị phân sao cho (tất cả các hoạt động được thực hiện qua ). Vấn đề này có khó NP không?mmmnnnMMM000111v1≠ v2v1≠v2v_1 \ne v_2Mv1= Mv2Mv1=Mv2Mv_1 = …

27 cc.complexity-theory  np-hardness  linear-algebra 

Tôi là một nhà khoa học máy tính đang tham gia một khóa học về cấu trúc liên kết (một cấu trúc liên kết điểm tập trung nhiều hương vị với lý thuyết liên tục). Tôi đã trở nên quan tâm đến các vấn đề quyết định kiểm tra một …

27 cc.complexity-theory  big-list  topology 

Peter Shor đã chỉ ra rằng hai trong số các vấn đề trung gian NP quan trọng nhất, bao thanh toán và vấn đề nhật ký rời rạc, nằm trong BQP. Ngược lại, thuật toán lượng tử được biết đến nhiều nhất cho SAT (tìm kiếm của Grover) chỉ mang …

27 cc.complexity-theory  quantum-computing  np  np-intermediate 

"Khu vực dễ dàng" cho thỏa đáng là gì? Nói cách khác, điều kiện đủ để một số người giải SAT có thể tìm thấy một bài tập thỏa mãn, giả sử nó tồn tại. Một ví dụ là khi mỗi mệnh đề chia sẻ các biến với một số …

27 cc.complexity-theory  sat 

Trong mô hình hộp đen, vấn đề xác định đầu ra của máy BPP trên đầu vào là vấn đề đếm gần đúng của việc xác định với lỗi phụ gia 1/3 (giả sử).x E r M ( x , r )M(x,r)M(x,r)M(x,r)xxxErM(x,r)ErM(x,r)E_r M(x,r) Có một vấn đề tương tự cho …

27 cc.complexity-theory  quantum-computing  black-box 

Parity-L 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) và đó …

27 cc.complexity-theory  complexity-classes  conditional-results 

Tôi muốn biết nếu tính không đồng nhất giúp các chức năng tính toán trong thực tế. Thật dễ dàng để chỉ ra rằng có các hàm trong , lấy bất kỳ hàm không thể tính toán nào và xem xét ngôn ngữ { }, rõ ràng có các mạch …

27 cc.complexity-theory  uniformity 

Đây có thể là một câu hỏi cơ bản, nhưng tôi đã đọc và cố gắng tìm hiểu các bài báo về các chủ đề như tính toán cân bằng Nash và kiểm tra suy thoái tuyến tính và không chắc chắn về cách các số thực được chỉ định …

27 cc.complexity-theory  computability  na.numerical-analysis  computing-over-reals  computable-analysis 

Đặt M là ma trận số nguyên vuông và n là số nguyên dương. Tôi quan tâm đến sự phức tạp của vấn đề quyết định sau:MMnn Là mục trên cùng bên phải của M n tích cực?MnM^n Lưu ý rằng cách tiếp cận rõ ràng của bình phương lặp …

26 cc.complexity-theory  linear-algebra  matrices