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

1

Độ phức tạp tính toán của phép nhân ma trận

Tôi đang tìm kiếm thông tin về độ phức tạp tính toán của phép nhân ma trận của ma trận hình chữ nhật. Wikipedia nói rằng độ phức tạp của phép nhân với B ∈ R n × p là (phép nhân sách giáo khoa).Một ∈ Rm × nMột∈Rm×nA \in …

14 cc.complexity-theory time-complexity linear-algebra matrix-product

1

Độ phức tạp truy vấn tốt nhất của thuật toán học tập Goldreich-Levin / Kushilevitz-Mansour

Độ phức tạp truy vấn được biết đến nhiều nhất của thuật toán học Goldreich-Levin là gì? Bài giảng từ blog của Luca Trevisan , Bổ đề 3, nêu nó là . Đây có phải là nổi tiếng nhất về sự phụ thuộc vào n ? Tôi sẽ đặc biệt …

14 cc.complexity-theory reference-request lg.learning fourier-analysis

1

Điều kiện đủ cho sự đều đặn của ngôn ngữ không ngữ cảnh

Sẽ rất tốt nếu thu thập một danh sách các điều kiện ngụ ý rằng ngôn ngữ không ngữ cảnh L là thông thường, nghĩa là các điều kiện có dạng: "nếu một CFG / PDA nhất định có thuộc tính P, thì ngôn ngữ của nó là thông thường" …

14 reference-request fl.formal-languages regular-language context-free survey

2

Vấn đề gần nhất của người Viking đối với phỏng đoán Collatz đã được giải quyết thành công là gì?

Tôi quan tâm đến vấn đề "gần nhất" (và "phức tạp nhất") đối với phỏng đoán Collatz đã được giải quyết thành công (mà Erdos nổi tiếng nói rằng "toán học chưa chín muồi cho những vấn đề như vậy"). Nó đã được chứng minh rằng một lớp các vấn …

14 reference-request open-problem nt.number-theory halting-problem computability

2

Sự phức tạp của tối ưu hóa trên nhóm đơn nhất

Độ phức tạp tính toán của việc tối ưu hóa các chức năng khác nhau so với nhóm đơn nhất gì?Bạn( n )Bạn(n)\mathcal{U}(n) Một nhiệm vụ điển hình, phát sinh thường xuyên trong lý thuyết thông tin lượng tử, sẽ là tối đa hóa một số lượng loại (hoặc đa …

14 cc.complexity-theory reference-request optimization quantum-information

2

Phương pháp sửa lỗi tốt nhất trong phân phối khóa lượng tử

Theo như tôi có thể nói, hầu như tất cả các triển khai QKD đều sử dụng thuật toán CASCADE của Brassard và Salvail để sửa lỗi. Đây có thực sự là phương pháp sửa lỗi được biết đến nhiều nhất trong một chuỗi các qubit ngẫu nhiên được chia …

14 cr.crypto-security quantum-computing quantum-information

1

Cần một tổng quan tốt cho các thuật toán cấu trúc dữ liệu ngắn gọn

(đã hỏi trên trang web chính , nhưng cũng hỏi ở đây để được bảo hiểm tốt hơn, xin lỗi) Vì tôi biết về Cấu trúc dữ liệu ngắn gọn, tôi rất cần một cái nhìn tổng quan tốt về hầu hết các phát triển gần đây trong lĩnh vực …

14 reference-request ds.data-structures advice-request space-time-tradeoff

3

P có chứa các ngôn ngữ có sự tồn tại độc lập với PA hoặc ZFC không? (Wiki cộng đồng TCS)

Trả lời: không biết. Các câu hỏi được hỏi là tự nhiên, cởi mở và có vẻ khó khăn; câu hỏi bây giờ là một wiki cộng đồng. Tổng quat Câu hỏi tìm cách phân chia các ngôn ngữ thuộc lớp phức tạp - cùng với các máy Turing quyết …

14 cc.complexity-theory polynomial-time undecidability independence

1

Lịch sử ban đầu của kết quả nhất định về sự đánh đổi không-thời gian?

Tôi quan tâm đến lịch sử ban đầu của các kết quả được công bố về sự đánh đổi không gian thời gian cho mục đích chung. Cụ thể, tôi muốn biết ai là người đầu tiên mô tả loại thuật toán sau để đánh giá một tính toán có …

14 cc.complexity-theory ho.history-overview space-time-tradeoff

1

Về sự phức tạp của Tối thiểu hóa băng thông

Vấn đề băng thông đồ thị được định nghĩa như sau. Cho đồ thị , bố cục của là ánh xạ một-một của các đỉnh của lên các số nguyên . Các băng thông của được định nghĩa làG = ( V, E)G=(V,E)G=(V,E) fffGGGGGG{ 1 , Khoan , | V| …

14 cc.complexity-theory

2

Một câu hỏi cho bằng chứng đầy đủ # P về sự vĩnh viễn từ Ben-Dor / Halevi

Trong bài báo của Ben-Dor / Halevi [1], người ta đưa ra một bằng chứng khác cho thấy vĩnh viễn là -complete. Trong phần sau của bài báo, họ cho thấy chuỗi giảm IntPerm α NoNegPerm α 2PowersPerm α 0/1-Perm trong khi giá trị vĩnh viễn được bảo tồn dọc …

14 cc.complexity-theory counting-complexity permanent

1

Giảm không gian log từ mạch Parity-L sang CNOT?

Câu hỏi. Trong bài báo của họ Cải tiến mô phỏng các mạch ổn định , Aaronson và Gottesman tuyên bố rằng mô phỏng mạch CNOT là ⊕L -complete (dưới mức giảm logspace). Rõ ràng là nó được chứa trong ⊕L ; làm thế nào để giữ kết quả độ …

14 cc.complexity-theory counting-complexity linear-algebra logspace

1

Thuật toán chính xác cho vấn đề ghi nhãn cạnh trong DAG

Tôi đang thực hiện một số phần hệ thống trong đó yêu cầu một số trợ giúp. Do đó, tôi đóng khung nó như là một vấn đề đồ thị để làm cho nó độc lập với miền. Vấn đề: Chúng ta được đưa ra đồ thị chu kỳ có …

14 ds.algorithms reference-request co.combinatorics graph-algorithms directed-acyclic-graph

1

Trận đấu hoàn hảo trong một bàn cờ?

Hãy xem xét vấn đề tìm kiếm số hiệp sĩ tối đa có thể được đặt trên bàn cờ mà không có hai trong số họ tấn công lẫn nhau. Câu trả lời là 32: không quá khó để tìm thấy một kết hợp hoàn hảo (biểu đồ được tạo …

14 co.combinatorics matching

4

Ném quả bóng vào thùng, ước tính xác suất thấp hơn

Đây không phải là một bài tập về nhà, mặc dù nó trông như thế. Bất kỳ tài liệu tham khảo đều được chào đón. :-) Kịch bản: Có quả bóng khác nhau và thùng khác nhau (được dán từ 1 đến , từ trái sang phải). Mỗi quả bóng …

14 reference-request co.combinatorics pr.probability