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

Trong chương 10 của HAC (10.4.2) , chúng ta thấy giao thức nhận dạng Feige-Fiat-Shamir nổi tiếng dựa trên bằng chứng không có kiến ​​thức bằng cách sử dụng khó khăn (giả định) của việc trích xuất căn bậc hai modulo một hỗn hợp khó có thể xác định được. …

12 cr.crypto-security  proofs  zero-knowledge 

Thông thường entropy Shannon được sử dụng để chứng minh kết quả mã hóa kênh. Ngay cả đối với các kết quả tách kênh nguồn, entropy shannon cũng được sử dụng. Với sự tương đương giữa các khái niệm thông tin của Shannon (toàn cầu) và Kolmogorov (địa phương), đã …

12 it.information-theory  kolmogorov-complexity  shannon-entropy 

Tôi đang tìm kiếm một tài liệu tham khảo (không phải là bằng chứng, mà tôi có thể làm) cho phần mở rộng sau đây của Chernoff. Cho X1,..,XnX1,..,XnX_1,..,X_n là các biến ngẫu nhiên Boolean, không nhất thiết phải độc lập . Thay vào đó, đảm bảo rằng Pr(Xi=1|C)<pPr(Xi=1|C)<pPr(X_i=1|C)(1+\lambda)np\right) Cảm …

12 reference-request  pr.probability  chernoff-bound 

Phiên bản nhanh Có những mô hình decoherence cho đi bộ lượng tử trên dòng như vậy mà chúng ta có thể điều chỉnh đi bộ đến lây lan như đối với bất kỳ 1 / 2 ≤ k ≤ 1 ?Θ(tk)Θ(tk)\Theta(t^k)1/2≤k≤11/2≤k≤11/2 \leq k \leq 1 Động lực Các bước …

12 quantum-computing  random-walks  quantum-walk 

Đặt là công thức 2CNF và là số nguyên không âm. Nó được chứng minh trong này giấy rằng vấn đề của việc quyết định xem ai có thể xóa nhiều nhất là khoản để thực hiện φ satisfable, được cố định tham số dể làm, nơi k là tham …

12 parameterized-complexity  csp  fixed-parameter-tractable 

Cho một chuỗi gồm số, nó có thể được sắp xếp với so sánh O ( n ln n ) và hoán đổi / di chuyển O ( n ) không? Bất kỳ con trỏ đến các ấn phẩm về vấn đề đó hoặc counterarguments thấy một Ω ( n …

12 cc.complexity-theory  ds.algorithms 

là loại mạch có kích thước đa thức có độ sâu không đổi có cổng KHÔNG và cổng quạt và OR không giới hạn, trong đó đầu vào và cổng cũng có quạt không giới hạn.AC0AC0AC^0 Bây giờ hãy xem xét một lớp mới, gọi nó là giống như A …

12 cc.complexity-theory  circuit-complexity 

Nếu là một đồ thị với mức độ tối đa 3 và là trẻ vị thành niên của , sau đó là trẻ vị thành niên topo của .GGGHHHGGGHHH Wikipedia trích dẫn kết quả này từ "Lý thuyết đồ thị" của Diestel. Nó được liệt kê là Dự luật 1.7.4 …

12 reference-request  graph-theory  co.combinatorics  graph-minor 

Chúng ta có thể nghĩ về độ phức tạp Kolmogorov của một chuỗi xxx là độ dài của chương trình ngắn nhất PPPvà đầu vào yyy sao cho x=P(y)x=P(y)x = P(y) . Thông thường các chương trình này được rút ra từ một số bộ hoàn chỉnh Turing (như PPP …

12 reference-request  computability  kolmogorov-complexity 

Tôi đang tìm kiếm logic phương thức, được tiên đề hóa bởi một tập hợp hữu hạn của độ sâu lồng nhau phương thức một, và vấn đề thỏa mãn / khả năng dẫn xuất của nó không có khả năng xảy ra trong PSPACE. Nếu không có giới hạn …

12 cc.complexity-theory  lo.logic  modal-logic 

Có một cuộc khảo sát (từ giấy, chương sách, hướng dẫn, liên kết, ...) về ngữ nghĩa của các tính năng ngôn ngữ lập trình khác nhau? Ban đầu tôi bị choáng ngợp bởi các tính năng của D ở đây http://www.digitalmars.com/d/2.0/comparison.html Tôi muốn xem những gì tôi có thể …

12 reference-request  pl.programming-languages  survey 

Trong thuật toán mã hóa nhỏ : Các bội số khác nhau của hằng số ma thuật được sử dụng để ngăn chặn các cuộc tấn công đơn giản dựa trên tính đối xứng của các viên đạn. Hằng số ma thuật, 2654435769 hoặc 9E3779B9 16 được chọn là , …

12 cr.crypto-security 

Tôi đang tìm kiếm một tài liệu tham khảo tốt cho các con đường ngắn nhất tắc nghẽn. Cụ thể, với các đỉnh s và t trong một đồ thị vô hướng có trọng số cạnh, bạn muốn đường đi ngắn nhất từ ​​s đến t, trong đó độ dài …

12 ds.algorithms  reference-request  graph-algorithms 

Có một số khái niệm cạnh tranh của một "đồ thị thưa thớt". Ví dụ, một biểu đồ có thể nhúng bề mặt có thể được coi là thưa thớt. Hoặc một biểu đồ với mật độ cạnh giới hạn. Hoặc một biểu đồ với chu vi cao. Một đồ …

12 ds.algorithms  graph-theory  graph-algorithms  big-picture 

x1,…,xnx1,…,xnx_1, \ldots, x_nR2R2\mathbb{R}^22∥xi−xj∥2‖xi−xj‖2\|x_i - x_j\|^22323\frac 2 32323\frac 2 3 Ví dụ tồi tệ nhất mà tôi có thể tìm thấy là 3 điểm trên một tam giác đều, đạt được . Lưu ý rằng việc phân chia ngẫu nhiên sẽ tạo ra , nhưng dường như rõ ràng bằng trực …

12 ds.algorithms  graph-algorithms  application-of-theory  max-cut  clustering