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

Đã đóng cửa. Câu hỏi này không đúng chủ đề . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Cập nhật câu hỏi để nó thuộc chủ đề cho Trao đổi ngăn xếp khoa học máy tính lý thuyết. Đóng cửa 3 năm …

9 lo.logic  computability  pl.programming-languages 

Đặt là một bảng chữ cái, tức là một tập hữu hạn không trống. Chuỗi là bất kỳ chuỗi phần tử (ký tự) hữu hạn nào từ . Ví dụ: là bảng chữ cái nhị phân và là một chuỗi cho bảng chữ cái này.ΣΣ\SigmaΣΣ\Sigma{0,1}{0,1} \{0, 1\}011001100110 Thông thường, miễn …

9 big-list  encoding  examples 

IP (2pfa) và AM (2pfa) là các lớp ngôn ngữ được nhận biết có lỗi giới hạn bởi các phiên bản đồng xu riêng và công khai, tương ứng, của các hệ thống bằng chứng tương tác với các trình xác minh là tự động hữu hạn xác suất có …

9 cc.complexity-theory  interactive-proofs 

Tôi đặc biệt có nghĩa là các họ ngôn ngữ thừa nhận các chuỗi dài tùy ý - không liên kết trên n bit hoặc danh sách quyết định hoặc bất kỳ ngôn ngữ "đơn giản" nào khác có trong {0,1} ^ n. Tôi đang hỏi về các ngôn ngữ …

9 automata-theory  machine-learning  lg.learning 

Tôi (từ từ) viết một bài đánh giá về Sổ tay thuật toán hóa học hóa học cho SIGACT News. Một chương thảo luận về việc triển khai phần mềm hiện tại và các tìm kiếm cơ sở dữ liệu (và các ứng dụng khác) dường như không tận dụng …

9 reference-request 

Câu hỏi như sau. Nói chung khi một có thời hạn như , chúng ta có thể loại bỏ các forall bằng cách áp dụng thuật ngữ này để một kiểu, như ví dụ ( Λ X . t ) [ T ] → t [ X : = T …

9 type-theory  polymorphism  type-inference 

Chúng tôi biết và yêu thích một loạt các lớp khái niệm giải pháp lồng nhau: PN: Cân bằng Nash thuần túy MN: Cân bằng Nash hỗn hợp CE: Cân bằng tương quan CCE: Cân bằng tương quan khóa học. PN⊂MN⊂CE⊂CCEPN⊂MN⊂CE⊂CCEPN \subset MN \subset CE \subset CCEPOA(S)=maxs∈SCOST(s)OPTPOA(S)=maxs∈SCOST(s)OPTPOA(S) = \max_{s \in …

9 gt.game-theory 

Vì vậy, tôi có một vấn đề tôi gặp phải liên quan đến việc phân cụm dữ liệu trực tiếp, liên tục. Vì tôi có một bộ dữ liệu ngày càng phát triển, tôi không chắc đâu là cách tốt nhất để chạy phân cụm hiệu quả và hiệu quả. …

9 ds.algorithms  clustering  online-algorithms  data-streams 

Có bất kỳ kết quả đã biết nào cho thấy sự tồn tại (hoặc không tồn tại) của đồ thị hữu hạn với các thuộc tính tính toán cụ thể ngụ ý các kết quả phức tạp nhất định (như P = NP) không? Đây là một kết quả hoàn …

9 cc.complexity-theory 

Đây là một vấn đề hàng xóm gần nhất. Số thực cho (rất lớn n !), Cộng với mục tiêu thực p , tìm một tôi và một j mà SUM là gần gũi nhất với p . Chúng tôi cho phép hợp lý trước khi chế biến / lập …

9 ds.algorithms  cg.comp-geom  ds.data-structures 

Tôi đã tự hỏi nếu nhiệm vụ tìm kiếm 3 màu phẳng được biết là phức tạp hay thấp hơn? Cảm giác này giống như là một hệ quả trực quan dựa trên các kết quả phân tách phẳng, nhưng trong wikipedia , nó chỉ đề cập đến các tập …

9 cc.complexity-theory  graph-algorithms  planar-graphs  graph-colouring 

Đây quả bởi Tavenas, Koiran và những người khác chứng minh rằng mọi đa thức tính bằng một mạch kích thước Sss được tính bằng độ sâu-4 mạch đồng nhất kích thước Sd√sds^{\sqrt{d}} . Có bất kỳ kết quả tương tự cho các mạch Boolean hay chúng ta có biết …

9 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

Bối cảnh : Có một số bài nghiên cứu về ý nghĩa của các đường cong thời gian đóng (CTC) đối với độ phức tạp lượng tử. Năm 2008, Aaronson và Watrous đã xuất bản bài báo nổi tiếng của họ về chủ đề này cho thấy rằng một số …

9 cc.complexity-theory  quantum-computing  big-picture 

Tôi đang tìm cách viết một cuộc khảo sát về phương pháp biểu diễn tính năng động của tính toán dựa trên trạng thái trong khuôn khổ của các khối than. Cho đến nay tôi đã tìm được các bài báo về các biểu diễn đại số của DFA, NFA, …

9 automata-theory  turing-machines  algebra  automated-theorem-proving 

Chúng ta có thể chứng minh một định lý tham số miễn phí về các hàm như ? Nó được cho là nói rằng f lấy một danh sách và luôn trả về một hoán vị của nó.f:∀A.[A]⊸[A]f:∀A.[A]⊸[A]f : \forall A . [A] ⊸ [A]fff Một ví dụ khác: chứng …

9 linear-logic  parametricity