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

3

Có bất kỳ triển khai đã biết nào cho các cấu trúc điện toán lượng tử không?

Tính toán lượng tử là một lĩnh vực nghiên cứu tích cực nhằm tận dụng lợi thế của vật lý lượng tử (ví dụ như sự vướng víu lượng tử) để nâng cao khả năng hiệu quả của máy tính (không làm thay đổi luận điểm Church-Turing ). Các thí …

17 reference-request quantum-computing

2

Vấn đề cắt miễn phí

Giả sử bạn được cung cấp một biểu đồ H. đơn giản, không có kết nối. Vấn đề cắt không có H được định nghĩa như sau: Cho một đồ thị G đơn giản, không bị chặn, có một vết cắt (phân vùng các đỉnh thành hai tập không rỗng, …

17 cc.complexity-theory reference-request graph-theory np-hardness

1

Có một mối quan hệ giữa đại số / tính toán quan hệ và lý thuyết thể loại?

Tôi nhận thức được ít nhất hai cách tiếp cận lý thuyết khác nhau để hiểu cơ sở dữ liệu quan hệ: đại số / phép tính quan hệ của Codd và lý thuyết thể loại. Có bất kỳ mối quan hệ giữa hai phương pháp này? Có phải chúng …

17 reference-request ct.category-theory db.databases relational-structures

2

Là giao điểm của matroid đồ họa trong P?

Được biết, giao điểm của ba matroid chung là NP-hard ( nguồn ), được thực hiện thông qua việc giảm từ chu kỳ Hamilton. Việc giảm sử dụng một matroid đồ họa và hai matroid kết nối. Một trường hợp đặc biệt của một vấn đề tôi đang giải quyết …

16 reference-request np-hardness reductions

2

Hầu như sắp xếp các số nguyên trong thời gian tuyến tính

Tôi quan tâm đến việc sắp xếp một mảng các giá trị nguyên dương theo thời gian tuyến tính (trong mô hình RAM với thước đo chi phí đồng nhất, nghĩa là các số nguyên có thể có kích thước logarit nhưng các hoạt động số học trên chúng được …

16 reference-request time-complexity sorting

2

Hiện trạng của lý thuyết thể loại và đơn nguyên trong nghiên cứu khoa học máy tính lý thuyết?

Bối cảnh . Tôi là một sinh viên cử nhân quan tâm đến nghiên cứu liên quan đến lý thuyết thể loại, đơn nguyên và Haskell, và tôi muốn tìm một chủ đề cho luận án cử nhân của mình trong lĩnh vực đó. Tôi đã nhìn vào tờ giấy …

16 reference-request pl.programming-languages big-picture ct.category-theory monad

2

Các ấn phẩm gần đây của TCS với các khía cạnh triết học

Nhiều ấn phẩm khoa học máy tính từ những năm 1950 và 1960 chứa đựng những suy đoán triết học hấp dẫn về bản chất của tâm trí và ý nghĩa của thông tin liên quan đến thế giới vật chất. Các ví dụ nổi tiếng là "Thử nghiệm Turing", …

16 reference-request soft-question philosophy

1

Tài liệu tham khảo cho thuật toán kiểm tra chu kỳ hỗn hợp đồ thị?

Biểu đồ hỗn hợp là một biểu đồ có thể có cả hai cạnh có hướng và không có hướng. Đồ thị vô hướng nằm bên dưới của nó có được bằng cách quên các hướng của các cạnh được định hướng và theo hướng khác, một hướng của đồ …

16 ds.algorithms reference-request graph-theory graph-algorithms directed-acyclic-graph

2

Độ phức tạp thời gian của việc đếm các tam giác trong đồ thị phẳng

Đếm các hình tam giác trong đồ thị chung có thể được thực hiện một cách tầm thường trong thời gian và tôi nghĩ rằng làm nhanh hơn nhiều là khó (tham khảo hoan nghênh). Còn đồ thị phẳng thì sao? Quy trình đơn giản sau đây cho thấy rằng …

16 reference-request graph-algorithms planar-graphs

1

Những hàm Boolean đơn điệu nào có thể biểu diễn dưới dạng ngưỡng trên tổng?

Tôi sẽ giới thiệu vấn đề của tôi với một ví dụ. Giả sử bạn đang thiết kế một bài kiểm tra, bao gồm một bộ câu hỏi độc lập nhất định (rằng các thí sinh có thể nhận được đúng hoặc sai). Bạn muốn quyết định điểm số để …

16 reference-request boolean-functions

1

Sự phức tạp của việc đếm các đường dẫn đơn giản trong biểu đồ có hướng

Đặt là một sơ đồ (không nhất thiết phải là DAG) và cho . Sự phức tạp của đếm số lượng là những gì đơn giản đường dẫn trong . GGGs,t∈V(G)s,t∈V(G)s,t \in V(G) s−ts−ts-tGGG Tôi hy vọng vấn đề sẽ là # nhưng chưa thể xác định được một tham …

16 ds.algorithms reference-request counting-complexity

2

Về tình trạng khả năng học hỏi bên trong

Tôi đang cố gắng hiểu sự phức tạp của các chức năng có thể biểu thị thông qua các cổng ngưỡng và điều này dẫn tôi đến . Đặc biệt, tôi quan tâm đến những gì hiện đang biết về việc học bên trong T CTC0TC0\mathsf{TC}^0 , vì tôi không …

16 cc.complexity-theory reference-request cr.crypto-security lg.learning boolean-functions

2

Một tài liệu tham khảo tốt cho các toán tử lớp phức tạp?

Tôi quan tâm nếu có tồn tại bất kỳ bài viết hay khảo sát tốt nào mà tôi có thể tham khảo khi tôi viết về các toán tử lớp phức tạp : các toán tử biến đổi các lớp phức tạp bằng cách thực hiện những việc như thêm …

16 reference-request complexity-classes

2

Độ phức tạp của việc đếm số lượng các cạnh của đồ thị

Một bìa cạnh là một tập hợp con các cạnh của đồ thị sao cho mọi đỉnh của đồ thị đều liền kề với ít nhất một cạnh của bìa. Hai bài báo sau đây nói rằng đếm bìa là #P -complete : Một FPTAS đơn giản để đếm các …

16 reference-request graph-algorithms counting-complexity proofs

2

Phương trình diophantine tuyến tính trong số nguyên không âm

Chỉ có rất ít thông tin tôi có thể tìm thấy về bài toán NP hoàn chỉnh giải phương trình diophantine tuyến tính trong các số nguyên không âm. Điều đó có nghĩa là, có một giải pháp trong cho phương trình , trong đó tất cả các hằng số …

16 cc.complexity-theory reference-request np-hardness counting-complexity

Câu hỏi được gắn thẻ «reference-request»