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

2

Các thuật toán lượng tử dựa trên các biến đổi khác với biến đổi Fourier

Trong tính toán lượng tử và thông tin lượng tử của Nielsen và Chuang, họ nói rằng nhiều thuật toán dựa trên các phép biến đổi Fourier lượng tử dựa vào thuộc tính Coset Invariance của các phép biến đổi Fourier và cho rằng các thuộc tính bất biến của …

19 quantum-computing quantum-information

1

Một phép tính Lambda cho các hàm khả nghịch (r-Turing computable)

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính lý thuyết. Di cư 5 năm trước . Tôi quan tâm đến khái niệm "sự hoàn thiện …

19 lambda-calculus

3

Độ sâu dự kiến của một cây được tạo ngẫu nhiên là gì?

Tôi đã nghĩ về vấn đề này từ lâu, nhưng không có ý tưởng nào về nó. Thuật toán tạo như sau. Chúng tôi giả sử có nnn nút rời rạc được đánh số từ 000 đến . Sau đó, với mỗi trong , chúng ta biến cha mẹ của …

19 pr.probability

2

Luận cứ cho / chống lại phỏng đoán của Kolmogorov về độ phức tạp của P

Theo tài khoản lịch sử (chưa được xác minh), Kolmogorov nghĩ rằng mọi ngôn ngữ trong đều có độ phức tạp mạch tuyến tính. (Xem câu hỏi trước đó của Kolmogorov phỏng đoán rằng có các mạch kích thước tuyến tính .) Lưu ý rằng nó ngụ ý .P P …

19 cc.complexity-theory circuit-complexity ho.history-overview

1

Đếm số lượng cây bao trùm nhanh

Gọi biểu thị số lượng cây bao trùm trong đồ thị có đỉnh. Có một thuật toán tính toán trong các phép toán số học . Thuật toán này là để tính toán , trong đó Q là Laplacian của G và J là ma trận chỉ gồm 1 's. …

19 graph-theory graph-algorithms counting-complexity spectral-graph-theory

1

Có một hình ảnh hình học cho tính toán lượng tử đáng tin cậy?

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp vật lý vì nó có thể được trả lời trên Trao đổi ngăn xếp khoa học máy tính lý thuyết. Di cư 6 năm trước . Trong tính toán lượng tử đáng tin cậy (AQC), người ta mã …

19 reference-request quantum-computing physics topology

2

Đồ họa nhỏ xíu

Trong khi suy nghĩ về sự phức tạp của kiểm tra đẳng cấu của đồ thị bất đối xứng (xem câu hỏi liên quan của tôi về cstheory), một câu hỏi bổ sung xuất hiện trong đầu tôi. Giả sử rằng chúng ta có một máy Turing thời gian đa …

19 graph-isomorphism

2

Thời gian chạy của thuật toán Grover

Độ phức tạp thời gian (không phải độ phức tạp truy vấn) của thuật toán Grover là gì? Đối với tôi có vẻ rõ ràng rằng đó là vì có các lần lặp và mỗi lần lặp lại yêu cầu sử dụng thao tác phản xạ lần lượt mất thời …

19 reference-request quantum-computing time-complexity

2

Độ phức tạp truyền thông xác định so với số phân vùng

Lý lịch: Hãy xem xét mô hình phức tạp giao tiếp hai bên thông thường trong đó Alice và Bob được cung cấp các chuỗi -bit và và phải tính toán một số hàm Boolean , trong đó .x y f ( x , y ) f : { 0 …

19 lower-bounds communication-complexity

4

Đại số trừu tượng cho các nhà khoa học máy tính lý thuyết

Tôi có một nền giáo dục toán học đại học hợp lý nhưng chưa bao giờ thoải mái 100% với đại số trừu tượng (toán học của các nhóm, vòng, trường, v.v.). Tôi nghĩ rằng đây là một phần vì tôi cần thấy các ứng dụng và bất kỳ thứ …

19 soft-question algebra teaching

1

Phỏng đoán về hai quầy automata

Tôi muốn chứng minh (hoặc bác bỏ) các phỏng đoán sau: Phỏng đoán : hai bộ đếm automata (2CA) không thể quyết định ngôn ngữ sau: L = { n |L={n∣L = \{ n \mid các biểu diễn nhị phân và nhị phân của có cả độ dài chẵn hoặc …

19 automata-theory

1

Bộ kết hợp cho các hàm đệ quy nguyên thủy

Điều nổi tiếng là các tổ hợp S và K là Turing Complete. Có tổ hợp nào đủ để mang lại (chỉ) các hàm đệ quy nguyên thủy không?

19 lo.logic computability

2

Là vấn đề tập hợp đỉnh phản hồi có thể giải quyết được trong thời gian đa thức cho đồ thị giới hạn 3 độ không?

Phản hồi Vertex Set là NP-hoàn chỉnh cho các biểu đồ chung. Nó được biết là hoàn thành NP cho đồ thị giới hạn độ 8 do giảm từ nắp đỉnh. Các bài viết trên Wikipedia nói rằng nó là poly-thời gian có thể giải quyết cho độ-3 đồ thị …

19 cc.complexity-theory graph-theory graph-algorithms np-hardness bounded-degree

3

Sự phức tạp của việc quyết định liệu một ma trận là hoàn toàn thường xuyên

Một ma trận được gọi là hoàn toàn đều đặn nếu tất cả các ma trận vuông của nó có thứ hạng đầy đủ. Ma trận như vậy đã được sử dụng để xây dựng các siêu tập trung. Sự phức tạp của việc quyết định liệu một ma trận …

19 cc.complexity-theory reference-request linear-algebra matrices

2

Các hệ số Fourier độc lập tuyến tính

Một tài sản cơ bản của không gian véc tơ là một không gian vector của chiều có thể được đặc trưng bởi hạn chế tuyến tính tuyến tính độc lập - có nghĩa là, có tồn tại vector độc lập tuyến tính mà là trực giao với V .V⊆Fn2V⊆F2nV …

19 co.combinatorics linear-algebra boolean-functions fourier-analysis