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

Có một danh tiếng, rằng trong khoa học máy tính, chúng ta không có những cuốn sách khoa học phổ biến. Tất nhiên điều đó không thực sự đúng! (Theo tinh thần cùng của danh sách gì Books Should Mọi người đọc? , Gì giấy tờ tất cả mọi người …

24 big-list  books 

Tôi đang tìm một cuốn sách về các cấu trúc dữ liệu nâng cao vượt xa những gì được đề cập trong sách giáo khoa tiêu chuẩn như "Giới thiệu về thuật toán" của Cormen, Leiserson, Rivest và Stein. Một cuốn sách có thể được sử dụng để giảng dạy …

24 soft-question  ds.data-structures  survey  books 

EDIT (v2): Đã thêm một phần ở cuối về những gì tôi biết về vấn đề. EDIT (v3): Đã thêm thảo luận về mức độ ngưỡng ở cuối. Câu hỏi Câu hỏi này chủ yếu là một yêu cầu tham khảo. Tôi không biết nhiều về vấn đề này. Tôi …

24 cc.complexity-theory  reference-request  circuit-complexity  polynomials 

Đối với bất kỳ ngôn ngữ trên Σ * , xác định L 1 / 2 = { x ∈ Σ * : x y ∈ L , y ∈ Σ | x | } . Nói cách, L 1 / 2 bao gồm tất cả các x mà có …

24 fl.formal-languages  automata-theory 

Có nhiều ứng dụng phân tích thực trong khoa học máy tính lý thuyết, bao gồm kiểm tra tài sản, độ phức tạp trong giao tiếp, học PAC và nhiều lĩnh vực nghiên cứu khác. Tuy nhiên, tôi không thể nghĩ ra bất kỳ kết quả nào trong TCS dựa …

24 soft-question  big-picture 

Chỉnh sửa: Trước tiên tôi đã định dạng sai ràng buộc của mình (2), bây giờ nó đã được sửa. Tôi cũng đã thêm thông tin và ví dụ. Với một số đồng nghiệp, nghiên cứu một số câu hỏi thuật toán khác, chúng tôi có thể giảm vấn đề …

24 cc.complexity-theory  ds.algorithms  reference-request 

Trong câu trả lời của mình cho câu hỏi này , Stephane Gimenez đã chỉ cho tôi một thuật toán chuẩn hóa thời gian đa thức để chứng minh cho logic tuyến tính. Bằng chứng trong bài báo của Girard sử dụng lưới bằng chứng, đó là một khía cạnh …

24 lo.logic  soft-question  pl.programming-languages  linear-logic 

Nó được thiết lập tốt rằng tồn tại một ngưỡng nhiễu cho tính toán lượng tử, sao cho dưới ngưỡng này, tính toán có thể được mã hóa theo cách nó mang lại kết quả chính xác với xác suất bị ràng buộc (với hầu hết các chi phí tính …

24 quantum-computing  reference-request  fault-tolerance 

Với tập con S 1 , ... , S n của { 1 , ... , d } .nnnS1,…,SnS1,…,SnS_1,\ldots,S_n{1,…,d}{1,…,d}\{1,\ldots,d\} Kiểm tra xem có bộ với S i ⊊ S j không . (Nếu vậy, hãy tìm một ví dụ, nếu không, chỉ cần nói "không")Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j Giải pháp tầm …

24 ds.algorithms  reference-request 

Các loại và Ngôn ngữ lập trình tập trung khá nhiều vào phân nhóm, nhưng theo như tôi có thể nói, phân nhóm không có vẻ đặc biệt cơ bản. Liệu phân nhóm cung cấp cho bạn bất cứ điều gì nhiều hơn các loại phụ thuộc làm gì? Làm …

24 lo.logic  pl.programming-languages  type-theory 

Phỏng đoán tái thiết nói rằng các đồ thị (có ít nhất ba đỉnh) được xác định duy nhất bởi các sơ đồ con bị xóa đỉnh của chúng. Phỏng đoán này là năm thập kỷ. Tìm kiếm tài liệu liên quan, tôi thấy rằng các lớp biểu đồ sau …

24 reference-request  graph-theory  co.combinatorics  treewidth 

Tôi muốn làm một người giải SAT đầu tiên. Tôi biết cuộc thi SAT và hội nghị SAT, và chỉ có rất nhiều bài viết về chủ đề này. Tôi là một người bắt đầu, một người bắt đầu choáng ngợp. Tôi nên bắt đầu từ đâu? Cuối cùng, tôi …

24 ds.algorithms  reference-request  lo.logic  sat 

Trong "Yêu cầu tính toán lượng tử" , Bartlett và Sanders tóm tắt một số kết quả đã biết để tính toán lượng tử biến liên tục trong bảng sau: Câu hỏi của tôi là ba lần: Chín năm sau, tế bào cuối cùng có thể được điền vào? Nếu …

24 quantum-computing 

Đếm số lượng khớp hoàn hảo trong biểu đồ lưỡng cực có thể giảm ngay lập tức để tính toán vĩnh viễn. Do tìm thấy một kết hợp hoàn hảo trong đồ thị không có hai cực trong NP, nên tồn tại một số giảm từ đồ thị không lưỡng …

24 graph-theory  counting-complexity  reductions  permanent 

Một đồ thị H là một lõi nếu bất kỳ sự đồng hình từ H đến chính nó là một mệnh đề. Một sơ đồ con H của G là lõi của G nếu H là lõi và có sự đồng hình từ G đến H. http://en.wikipedia.org/wiki/Core_%28graph_theory%29 Cho một đồ …

24 ds.algorithms  graph-theory  graph-algorithms