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

Có khá nhiều định lý, chủ yếu là trong lý thuyết đồ thị và tối ưu hóa tổ hợp, thường được gọi là đặc tính tốt. Họ thường đặt một tài sản trong , bằng cách hiển thị rằng một tài sản hoặc giữ hoặc nếu không có một trở …

8 cc.complexity-theory  graph-theory  co.combinatorics 

Hầu hết các tài nguyên liên quan đến các khái niệm phân loại trong lập trình mô tả các đơn nguyên, nhưng tôi chưa bao giờ thấy một mô tả phân loại của các máy biến áp đơn nguyên. Làm thế nào các máy biến áp đơn nguyên có thể …

8 type-theory  functional-programming  ct.category-theory  haskell  monad 

Các vấn đề tối đa satisfiability (Max-Sat) là vấn đề của việc tìm kiếm số lượng tối đa các điều khoản có thể được Satisified trong một trường hợp satisfiability Boolean. Vấn đề chính xác 1 trong 2 Sat yêu cầu, được đưa ra một tập các mệnh đề mỗi …

8 graph-algorithms  sat  max2sat 

Giả sử bạn có một số bộ số nguyên ( ) và bạn muốn tính toán giao điểm của một số trong số chúng ( có thể là một truy vấn, nhưng bạn muốn hỗ trợ nhiều truy vấn như vậy hoặc thậm chí có thể tất cả các truy …

8 cc.complexity-theory  ds.data-structures 

Tôi có một tập hợp tác nhân và một tập hợp nhiệm vụ và tôi cần chỉ định mỗi tác nhân cho chính xác một nhiệm vụ sao cho chi phí được giảm thiểu. Một số tác nhân không tương thích với một số nhiệm vụ.nnnnnn Tôi có một triển …

8 graph-algorithms  optimization  matching 

Tôi đã xem xét một logic phương thức với tiên đề (◊A∧◊B)→◊((A∧◊B)∨(A∧B)∨(A∧◊B))(◊A∧◊B)→◊((A∧◊B)∨(A∧B)∨(A∧◊B)) (\Diamond A \land \Diamond B) \to \Diamond((A \land \Diamond B) \vee (A \land B) \vee (A \land \Diamond B)) Roughly, điều này nói rằng mối quan hệ tiếp cận là tuyến tính. Có vẻ như bạn có thể …

8 lo.logic  pl.programming-languages  proof-theory 

Khi chúng tôi cố gắng xây dựng một thuật toán cho một vấn đề mới, phân chia và chinh phục (sử dụng đệ quy) là một trong những cách tiếp cận đầu tiên mà chúng tôi thử. Nhưng trong một số trường hợp, cách tiếp cận này dường như không …

8 cc.complexity-theory  recursion 

Cho một bảng dữ liệu chứa một số lượng lớn NNN hàng, với mỗi hàng chứa một số lượng lớn trường, với mỗi trường chứa một số lượng lớn bit cố định, có một số phương thức để xây dựng cấu trúc "chỉ mục" rằng các hoạt động sau đây …

8 ds.algorithms  ds.data-structures 

Khi phỏng đoán hoặc P ≠ N P được thiết lập (ví dụ bằng cách Toán học Viện Clay bởi S. Cook, thấy ở đây ) những gì hệ tiên đề toán học được giả?P=NPP=NP\mathbf{P} = \mathbf{NP}P≠NPP≠NP\mathbf{P} \neq \mathbf{NP} Để chứng minh hoặc bác bỏ những tuyên bố như vậy, …

8 cc.complexity-theory  model-theory 

Với một số đại số αα\alpha , tôi đang quan tâm đến việc tìm kiếm một xấp xỉ của ℜ ( e α )R(eα)\Re(e^\alpha) lên đến một độ chính xác nhất định, nơi ℜ ( )R()\Re() đề cập đến phần thực của số phức. Chính thức, tôi muốn tính một …

8 cc.complexity-theory  na.numerical-analysis  computing-over-reals 

Các ví dụ về các vấn đề được biết đến trong (resp. ) không được biết đến trong cũng như trong ?AMAM\mathsf{AM}MAMA\mathsf{MA}NPNP\mathsf{NP}BPPBPP\mathsf{BPP} Đối với , tôi biết hai ví dụ sau:AMAM\mathsf{AM} Đồ thị không đẳng cấu: Cho hai đồ thị có nhãn và , chúng có phải là đồ thị …

8 cc.complexity-theory  complexity-classes 

Sử dụng tương đồng liên tục, chúng ta có thể phân tích hình dạng (tôpô) của đám mây điểm bằng phương pháp ba bước sau: chuyển đổi điểm được đặt thành một phức hợp đơn giản (và có một vài cách khác nhau để thực hiện việc này) được tham …

8 cg.comp-geom  topology 

Nếu chứa một lớp các vấn đề thời gian siêu đa thức, nghĩa làNPNP\mathsf{NP} đối với một số chức năng , D T I M E ( t ) ⊆ N P ,t∈nω(1)t∈nω(1)t \in n^{\omega(1)}DTIME(t)⊆NPDTIME(t)⊆NP\mathsf{DTIME}(t) \subseteq \mathsf{NP} sau đó nếu sau kể từ thời điểm xác định thứ bậc lý …

8 cc.complexity-theory  time-complexity  nondeterminism 

Câu hỏi này đã được đăng trên CS.SE hai tuần trước , nhưng nó không nhận được câu trả lời thỏa mãn. Giả sử bạn có trò chơi sau: Có vô số bộ đếm , tất cả được khởi tạo thành 0.{c1,c2,…}{c1,c2,…}\{c_1,c_2,\ldots\} Trong mỗi bước, bạn chọn một bộ đếm …

8 ds.algorithms  board-games 

Chúng tôi có một chương trình semidefinite (SDP) có vùng khả thi chỉ chứa một số hữu hạn các ma trận xếp hạng- . Chúng ta có thể kết luận rằng khu vực khả thi của SDP này là đa diện không?111 Chúng tôi tin rằng điều này là đúng …

8 convex-optimization  semidefinite-programming  polytope