Khoa học máy tính lý thuyết

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 

Tôi xin lỗi nếu câu hỏi này hơi mơ hồ, nhưng tôi tò mò làm thế nào các nhà nghiên cứu thành công có được "cảm giác" về kết quả trong TCS. Ví dụ, đại số tuyến tính có thể được hiểu theo hình học, hoặc theo cách hiểu của …

27 soft-question  intuition 

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 

Bạn có thể thường tìm thấy các phương pháp mặt phẳng cắt, lan truyền biến, nhánh và ràng buộc, học mệnh đề, quay lui thông minh hoặc thậm chí các phương pháp phỏng đoán của con người trong các bộ giải SAT. Tuy nhiên, trong nhiều thập kỷ, những người …

27 reference-request  big-list  sat  proof-complexity  lo.logic 

Gần đây tôi đã đọc về một số ý tưởng và lịch sử của công trình đột phá được thực hiện bởi các nhà logic học và toán học khác nhau về khả năng tính toán. Trong khi các khái niệm riêng lẻ khá rõ ràng đối với tôi, tôi …

27 lo.logic  computability  turing-machines 

Tôi đã suy nghĩ về vấn đề sau đây một thời gian và tôi đã không tìm thấy một giải pháp đa thức cho nó. Chỉ có nguồn gốc vũ phu. Tôi đã cố gắng giảm một vấn đề NP-Complete vào nó mà không thành công. Đây là vấn đề …

27 ds.algorithms  np-hardness  sorting 

Nhìn chung, các máy tính lượng tử sẽ có khả năng giải quyết các vấn đề hoàn thành NP một cách hiệu quả. Trong trường hợp cổ điển, một cách tiếp cận để giải quyết các vấn đề như vậy là sử dụng các thuật toán gần đúng. Đã có …

27 quantum-computing  approximation-algorithms 

Một số vấn đề NP-cứng mà là mũ trên đồ thị nói chung là subexponential trên đồ thị phẳng vì treewidth là tại hầu hết và chúng là cấp số nhân trong treewidth.4.9|V(G)|−−−−−−√4.9|V(G)|4.9 \sqrt{|V(G)|} Về cơ bản, tôi quan tâm nếu có các thuật toán phụ cho PLANAR SAT hoàn …

26 graph-theory  sat  reductions 

Đặ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 

Các biên tập viên thông thái khác tại Wikipedia đã từ chối yêu cầu của tôi để chuyển bài viết Wikipedia về thuật toán Rabinifer Karp sang thuật toán mà tôi nghĩ nên gọi là thuật toán Karp tựa Rabin, trên cơ sở tên Rabin của Karp được sử dụng …

26 ho.history-overview  string-matching 

Chúng tôi định nghĩa một ngôn ngữ cây thông thường như trong cuốn sách TATA : Đó là tập hợp các cây được chấp nhận bởi một máy tự động cây hữu hạn không xác định (Chương 1) hoặc, tương tự, tập hợp các cây được tạo bởi một ngữ …

26 co.combinatorics  fl.formal-languages  tree  regular-language 

Tôi đang quan tâm đến việc quan trọng 3-satisfiability (3-SAT) mật độ . Nó phỏng đoán rằng đó α tồn tại: nếu số lượng được tạo ngẫu nhiên các khoản 3-SAT là ( α + ε ) n hoặc hơn, họ gần như chắc chắn không thể thoả mãn. (Đây …

26 pr.probability  random-k-sat 

Có vẻ như George Gonthier và các cộng tác viên của ông đã hoàn thành việc chính thức hóa Định lý Odd Order . Trong nghiên cứu trước đây về Định lý Bốn màu, Gonthier đã phát minh ra một loạt các thuật toán mới (chủ yếu là các biến …

26 lo.logic  proof-assistants