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

Tôi có một vấn đề trong NEXP và cũng có thể được giải quyết bằng một TM luân phiên sử dụng thời gian theo cấp số nhân và chỉ một lần thay thế (bắt đầu ở trạng thái tồn tại).NPNP^{\text{NP}} Có bất cứ điều gì được biết về NEXP không? …

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

Tôi đang cố gắng tìm các vấn đề mà độ phức tạp không gian trường hợp trung bình đã được phân tích. Cụ thể hơn, tôi muốn biết liệu có bất kỳ vấn đề nào với độ phức tạp không gian đã được chứng minh là giới hạn siêu tuyến …

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

Nurikabe là một câu đố điền vào lưới dựa trên ràng buộc, tương tự như Minesweeper / Nonograms; các số được đặt trên một lưới chứa đầy các giá trị bật / tắt cho mỗi ô, với mỗi số chỉ ra một vùng được kết nối với các ô có …

11 cc.complexity-theory  np-hardness  puzzles 

Bảo mật SHA-1 đã được thảo luận do thuật toán tìm kiếm va chạm được công bố lần đầu tiên tại CRYPTO 2004 và sau đó đã được cải thiện. Wikipedia liệt kê một vài tài liệu tham khảo , tuy nhiên có vẻ như nghiên cứu mới nhất được …

11 cr.crypto-security  hash-function  cryptographic-attack 

Merlin, người có tài nguyên tính toán không giới hạn, muốn thuyết phục Arthur rằng m|∑p≤N, p primepkm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ prime}}p^k cho (N,m,k)(N,m,k)(N,m,k) với k=O(logN)k=O(log⁡N)k=O(\log N) và m=O(N).m=O(N).m=O(N). Việc tính tổng này theo cách đơn giản (lũy thừa mô đun và cộng) mất thời gian N(loglogN)2+o(1)N(log⁡log⁡N)2+o(1)N(\log\log N)^{2+o(1)} với …

11 cc.complexity-theory  ds.algorithms  time-complexity  interactive-proofs  nt.number-theory 

Trong bài viết hội thảo năm 1999 "Mô hình số liệu của PCF" , Martín Escardó đã chỉ ra rằng có thể đưa ra một cách giải thích đơn giản về PCF trong danh mục không gian siêu ma trận hoàn chỉnh và bản đồ không có bản đồ. Ông …

11 pl.programming-languages  denotational-semantics  metric-spaces 

Tôi là một sinh viên CS. Chúng tôi đã làm lý thuyết đồ thị trong một khóa học. Tôi thấy nó thú vị. Các ứng dụng thực sự của lý thuyết đồ thị trong lĩnh vực khoa học máy tính là gì? Ví dụ, tôi thấy rằng một số khái …

11 graph-theory  co.combinatorics  big-list  application-of-theory 

Câu hỏi này được thúc đẩy bởi một câu hỏi được hỏi trên stackoverflow . Giả sử bạn được cung cấp một cây gốc (nghĩa là có một gốc và các nút có con, v.v.) trên n nút (có nhãn 1 , 2 , Cuộc , n ).TTTnnn1 , 2 …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory 

Angluin và Laird ('88) học chính thức với dữ liệu bị hỏng ngẫu nhiên trong mô hình "PAC với tiếng ồn phân loại ngẫu nhiên" (hoặc PAC ồn ào). Mô hình này tương tự như học PAC , ngoại trừ nhãn của các ví dụ được cung cấp cho người …

11 lg.learning 

Có một lớp các thuật toán băm, cho dù là lý thuyết hay thực tế, sao cho một thuật toán trong lớp có thể được coi là 'phản xạ' theo một định nghĩa được đưa ra dưới đây: hash1 = algo1 ("văn bản đầu vào 1") hash1 = algo1 ("văn …

11 ds.algorithms  hash-function 

Những trở ngại để làm cho người giải SAT cạnh tranh với các thuật toán đồ thị chuyên dụng là gì? Nói cách khác, có khả thi khi mong đợi các bộ giải SAT có thể thay thế vai trò của người thiết kế thuật toán - tức là có …

11 ds.algorithms  graph-theory  sat 

\newcommand{\symp}{\Bumpeq} Mối quan hệ kết hợp ≎X≎X\symp_X trên tập XXX là mối quan hệ phản xạ và đối xứng. Một không gian kết hợp là một cặp (X,≎X)(X,≎X)(X, \symp_X) và một hình thái f:X→Yf:X→Yf : X \to Y giữa các không gian kết hợp là một mối quan hệ f⊆X×Yf⊆X×Yf …

11 pl.programming-languages  ct.category-theory  domain-theory  linear-logic 

Đặt là một đồ thị có hướng xoay vòng, sao cho mức độ của bất kỳ đỉnh nào là O ( log | V | ) . Đối với mỗi đỉnh của G, chúng ta có thể đếm số lượng đỉnh có thể tiếp cận, chỉ bằng cách chạy dfs …

11 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph 

Do 2 vấn đề hoàn thành NP theo định nghĩa có thể giảm lẫn nhau, do đó, có thể thu được giải pháp cho một trong số chúng bằng cách sử dụng hộp đen giải quyết vấn đề còn lại, tại sao chúng không có tỷ lệ gần đúng tương …

11 cc.complexity-theory  approximation-algorithms  reductions 

Tôi đang đọc một bài báo có tiêu đề Random Orials with (out) Khả năng lập trình . Đoạn cuối của phần 2.3 đọc: [Sử dụng phương pháp tiếp cận tiểu thuyết của chúng tôi] không cần phải áp dụng các kỹ thuật phân biệt đối xứng cổ điển (và …

11 cc.complexity-theory  derandomization  pr.probability  measure-theory