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

Thuật toán thử nghiệm phân phối cho thuộc tính phân phối P (chỉ là một tập hợp con của tất cả các phân phối trên [n]) được phép truy cập vào các mẫu theo một số phân phối D và được yêu cầu quyết định (whp) nếu hoặc ( ở …

13 cc.complexity-theory  machine-learning  query-complexity  property-testing 

Công thức xác định nhỏ nhất cho định thức có kích thước theo văn hóa dân gian (hoặc theo Ran Raz trong công thức Đa tuyến tính cho Giấy vĩnh viễn và Xác định là Kích thước siêu đa thức ).nO (nhật kýn )nO(log⁡n)n^{\mathcal O(\log n)} Bạn có bất kỳ …

13 cc.complexity-theory  reference-request  algebraic-complexity  determinant 

Lý thuyết tính toán trạng thái cụm được thiết lập tốt cho đến nay, cho thấy rằng bất kỳ mạch BQP nào cũng có thể được sửa đổi nên nó chỉ sử dụng các cổng lượng tử qubit duy nhất, có thể được kiểm soát theo cách cổ điển, cung …

13 quantum-computing 

Có một số kết quả giới hạn kích thước mạch nổi tiếng dựa trên các hạn chế ngẫu nhiên và Bổ đề chuyển đổi .A C0AC0\mathsf{AC^0} Chúng ta có thể phát triển kết quả Bổ đề chuyển đổi để chứng minh kích thước giới hạn dưới cho các mạch T …

13 cc.complexity-theory  circuit-complexity  lower-bounds  boolean-functions 

Để kỷ niệm sinh nhật lần thứ 100 của Alan Turing, tôi muốn xem một bộ phim tài liệu về cuộc đời anh. Tuy nhiên, có một số phim tài liệu để lựa chọn. Tài liệu nào về Alan Turing là sở thích của bạn? Vui lòng chỉ bao gồm …

13 reference-request  soft-question  big-list  ho.history-overview 

Loại bỏ Gaussian làm cho yếu tố quyết định tính toán thời gian đa thức ma trận. Việc giảm độ phức tạp trong tính toán định thức, hay nói cách khác là tổng các số mũ, là do sự hiện diện của các dấu hiệu tiêu cực thay thế (thiếu …

13 cc.complexity-theory  time-complexity  algebraic-complexity  gr.group-theory  determinant 

Trong bài báo chuyên đề Các thuật toán lý thuyết nhóm cho phép nhân ma trận , Cohn, Kleinberg, Szegedy và Umans đưa ra khái niệm về câu đố có thể giải được duy nhất (được định nghĩa dưới đây) và khả năng USP. Họ cho rằng Coppersmith và Winograd, …

13 ds.algorithms  co.combinatorics  algebraic-complexity  matrix-product 

Tôi có một câu hỏi liên quan đến đa thức bậc thấp và xác suất: Xác suất (hành vi giả định của) xác suất là một đa thức * ngẫu nhiên, , trên GF (2), với các biến bậc và n có .ppp≤d≤d\le dbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p) \triangleq |\Pr_{x\in\{0,1\}^n}(p(x)=0)-\Pr_{x\in\{0,1\}^n}(p(x)=1)| \gt \epsilon * Khi …

13 randomness  pr.probability  algebra  polynomials 

Tôi đã chỉ định cho học sinh của mình bài toán tìm tam giác phù hợp với tập hợp điểm trong R 2 , được dán nhãn ± 1 . (Một tam giác T là phù hợp với mẫu nhãn nếu T chứa tất cả các tích cực và không …

13 cg.comp-geom  machine-learning  lg.learning  convex-geometry 

Bất cứ ai cũng có thể liệt kê một số vấn đề nổi tiếng thỏa mãn các điều kiện sau: 1. has a generalization problem that is known to be NP-complete 2. has not been proved to be NP-complete nor has a known polynomial time solution.

13 cc.complexity-theory  np-hardness 

Hàm tập hợp là mô đun con đơn điệu nếu với tất cả A , B , f ( A ) + f ( B ) ≥ f ( A ∪ B ) + f ( A ∩ B ) .fffA , BMột,BA,Bf( A ) + f( B ) ≥ …

13 ds.algorithms  approximation-algorithms  submodularity 

Có ai đã chính thức hóa mối quan hệ giữa các kỹ thuật phân tích cú pháp giảm ca và các phần tiếp theo được phân tách chưa? Khi xây dựng một phân tích cú pháp từ dưới lên (ví dụ, phân tích cú pháp LR), chúng ta hãy ngữ …

13 pl.programming-languages  parsing 

Tôi có một vấn đề đại số liên quan đến vectơ trong trường GF (2). Hãy là (0,1) -vectors của chiều n , và m = n O ( 1 ) . Tìm một thuật toán thời gian đa thức đó tìm thấy một (0,1) -vector u của kích thước …

13 ds.algorithms  linear-algebra 

Có bằng chứng nào cho thấy việc mô phỏng máy Turing trên máy Turing không biết gì không thể được thực hiện trong ít hơn trong đó là số bước mà máy Turing sử dụng ? Hay đây chỉ là một giới hạn trên?O ( m logm )Ôi(mđăng nhập⁡m)\mathcal{O}\left(m\log m\right)mmm …

13 cc.complexity-theory  turing-machines 

Tôi muốn biết về lịch sử của hai thuật ngữ này: " hiệu quả ", " khả thi ". Ai đã sử dụng chúng về tính toán / thuật toán lần đầu tiên? (theo nghĩa hiện đại của các thuật ngữ này, tức là thế kỷ 20). Làm thế nào …

13 cc.complexity-theory  ds.algorithms  ho.history-overview