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

Blum, Micali và Feldman (BFM) đưa ra một mô hình (mật mã) mới, trong đó tất cả các bên (trung thực hoặc đối nghịch) có quyền truy cập vào một số chuỗi. Chuỗi được giả định được chọn theo một số phân phối (thường là phân phối đồng đều) bởi …

16 cr.crypto-security 

Nisan đã chứng minh trong "Psuedorandom Generators for Space-Bounded Computing", rằng tồn tại một trình tạo giả ngẫu nhiên "đánh lừa" các tính toán giới hạn không gian. Công trình này có đúng với mọi lời tiên tri (ít nhất là đối với các truy vấn không thích ứng) không?

16 cc.complexity-theory  space-bounded  derandomization 

Giả sử chúng ta được cung cấp một n bởi ma trận n, M, với các mục nguyên. Chúng ta có thể quyết định trong P cho dù có là một hoán vị như vậy mà cho tất cả các hoán vị π ≠ σ chúng tôi có Π M …

16 cc.complexity-theory  ds.algorithms  matrices  matching  permanent 

Tôi quan tâm đến hai câu hỏi liên quan đến ngôn ngữ nhạy cảm ngữ cảnh (CSL) và tính đầy đủ: Có một khái niệm về tính đầy đủ cho CSL không, và ngôn ngữ nào đã hoàn thành? Có CSL tự nhiên nào là NP-đầy đủ không? Đối với …

16 np-hardness  fl.formal-languages  space-bounded 

Như trong, khu vực của các bài báo trong Tạp chí ACM về Thuật toán thử nghiệm JEA . Đó là những công trình nền tảng? Các kết quả chính là gì? Chúng được đặc trưng như thế nào? Bất kỳ kết nối thú vị cho các lĩnh vực khác …

16 ds.algorithms  reference-request  experimental 

Các điểm -Cố vấn đề automorphism miễn phí yêu cầu một đồ thị automorphism mà di chuyển ít nhất nút. Vấn đề là -complete nếu với mọi > 0.k ( n ) N P k ( n ) = n c ckkkk ( n )k(n)k(n)NPNPNPk ( n ) = nck(n)=nck(n)=n^cccc …

16 cc.complexity-theory  graph-isomorphism  automorphism  symmetry 

Một lỗ hổng mà tôi luôn nhận thức được rằng tôi không thực sự hiểu là giữa độ phức tạp tính toán không đồng nhất và đồng nhất trong đó độ phức tạp mạch đại diện cho phiên bản không đồng nhất và máy Turing là những thứ đồng nhất. …

16 cc.complexity-theory  circuit-complexity 

Bối cảnh : Trong bài báo UGC gốc của Subhash Khot ( PDF ), ông đã chứng minh độ cứng của UG khi quyết định liệu một trường hợp CSP nhất định có ràng buộc tất cả các dạng Không bằng nhau (a, b, c) trên bảng chữ cái tạm …

16 cc.complexity-theory  approximation-hardness  unique-games-conjecture  csp 

Adman, FOCS'78 đã chỉ ra rằng bất kỳ mạch ngẫu nhiên nào cho các đầu vào có độ dài đều có thể bị tách rời không đồng nhất. Tuy nhiên, việc xây dựng nhân đôi hiệu quả mạch gốc lần, do đó mạch khử cực lớn hơn mạch ban đầu …

16 derandomization 

Bức tranh nổi tiếng về thế giới của Neil Immerman là như sau (bấm vào để phóng to): Lớp "Thực sự khả thi" của anh không bao gồm lớp nào khác; Câu hỏi của tôi là: Vấn đề AC 0 được coi là không thực tế là gì và tại …

16 cc.complexity-theory  circuit-complexity 

Lý thuyết beta-eta của lambda-compus là Post-perfect. Các quy tắc bổ sung có thể được thêm vào để mở rộng lý thuyết beta của phép tính lambda để có được các lý thuyết hợp lưu khác với lý thuyết beta-eta không? Bản thảo Câu hỏi này đã vi phạm quy …

16 lambda-calculus 

Trong [1], Turan cho thấy độ nhạy (được gọi là "độ phức tạp tới hạn" trong bài viết) của thuộc tính đồ thị lớn hơn trong đó là số đỉnh trong biểu đồ. Ông tiếp tục phỏng đoán rằng bất kỳ thuộc tính đồ thị không tầm thường nào cũng …

16 graph-theory  property-testing 

Đối với một ngôn ngữ L ⊆ ^ * , hãy xác định đồng âm cú pháp ≡ của L là đồng đẳng ít nhất trên Σ ^ * làm bão hòa L , tức là: u ≡ v ⇔ (x, y) [xuy ∈ L ↔ xvy ∈ L]. Bây …

16 automata-theory  fl.formal-languages 

Đây là phần tiếp theo của câu hỏi này trên math.stackexchange. Hãy để chúng tôi nói rằng một tập hợp không rỗng S ⊆ là tự hỗ trợ nếu với mỗi a ∈ S, tồn tại các phần tử riêng biệt b, c ∈ S sao cho a = b …

16 ds.algorithms  co.combinatorics 

người ta thường nói rằng khi sử dụng thuật toán MD5 để ký một số thông tin tùy ý, bí mật được chia sẻ phải ở cuối. Tại sao?

16 hash-function  cr.crypto-security