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

Tôi quan tâm đến câu hỏi liệu NP có bằng coNP hay không. Tôi đánh giá cao một số lời khuyên về các ấn phẩm tốt để đọc về chủ đề này. Đối với hồ sơ, tôi biết rằng câu hỏi này có liên quan mật thiết đến câu hỏi …

11 cc.complexity-theory  reference-request  p-vs-np 

Đây có thể là một câu hỏi ngây thơ, nhưng ở đây đi. (Chỉnh sửa - nó không nhận được sự ủng hộ, nhưng cũng không có ai đưa ra câu trả lời; có lẽ câu hỏi khó hơn, tối nghĩa hoặc không rõ ràng hơn tôi nghĩ?) Định lý …

11 lo.logic  computability  church-turing-thesis 

Tôi thú vị trong hệ thống hướng dương và các ứng dụng của nó trong khoa học máy tính. Cho một vũ trụ và một tập hợp k tập hợp A i được gọi là hệ thống hoa hướng dương k nếu A i ∩ A j = Y cho …

11 co.combinatorics  set-theory 

Chúng ta hãy thư giãn tô màu một chút, nghĩa là chúng ta cho phép một số lượng nhỏ các đỉnh liền kề được gán cùng màu. Một thành phần đơn sắc được định nghĩa là một thành phần được kết nối trong biểu đồ con được tạo bởi tập …

11 cc.complexity-theory  graph-theory  graph-colouring  planar-graphs 

Tôi biết làm thế nào một số sự cố tiêu cực có thể là xấu: data False data Bad a = C (Bad a -> a) selfApp :: Bad a -> a selfApp (x@(C x')) = x' x yc :: (a -> a) -> a yc f = selfApp $ …

11 lo.logic  type-theory  soundness 

Những gì hiện được biết về tính gần đúng của vấn đề chi? Một tìm kiếm sơ bộ cho tôi biết rằng một xấp xỉ hệ số không đổi là tầm thường đối với các đồ thị đủ dày đặc và thuật toán -appro xấp xỉ đã bị loại trừ. …

11 cc.complexity-theory  approximation-hardness  topological-graph-theory 

Những loại định lý phân cấp có độ sâu mạch? Tuyên bố như g( n ) ∈ o ( f( n ) )g(n)∈o(f(n))g(n) \in o(f(n))f( n ) ∈ nÔ ( 1 )f(n)∈nO(1)f(n) \in n^{O(1)}SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))\mathsf{SizeDepth}(n^{O(1)}, g(n)) \subsetneq \mathsf{SizeDepth}(n^{O(1)}, f(n))

11 cc.complexity-theory  circuit-complexity  hierarchy-theorems  circuit-depth 

Định lý của Courcelle nói rằng mọi thuộc tính đồ thị có thể xác định theo logic bậc hai đơn trị có thể được quyết định theo thời gian tuyến tính trên đồ thị của treewidth giới hạn . Đây là một trong những định lý meta thuật toán nổi …

11 graph-theory  lo.logic  treewidth  planar-graphs  graph-minor 

Người ta tin rằng một số vấn đề tính toán như đẳng cấu đồ thị không thể hoàn thành NP vì nó không có đủ cấu trúc hoặc dự phòng để khó tính toán (NP-hard). Tôi quan tâm đến các khái niệm chính thức khác nhau về cấu trúc của …

11 cc.complexity-theory  graph-isomorphism 

Một màu của lưới m × nkkkm × nm×nm \times n là một hàm . Một hình chữ nhật bị phá vỡ trong C là một tuple ( i , i ' , j , j ' ) đáp ứng C ( i , j ) = C ( i …

11 co.combinatorics 

Có ứng dụng nào của Đại số trừu tượng cho lý thuyết ngôn ngữ lập trình không? Có bất cứ điều gì sẽ hữu ích trong thiết kế ngôn ngữ và thực hiện trình biên dịch?

11 pl.programming-languages 

Tôi đang cố gắng che một đa giác lõm đơn giản với một hình chữ nhật tối thiểu. Hình chữ nhật của tôi có thể có chiều dài bất kỳ, nhưng chúng có chiều rộng tối đa và đa giác sẽ không bao giờ có góc nhọn. Tôi nghĩ về …

11 co.combinatorics  cg.comp-geom 

Tôi đang tìm cách tạo ra các biểu đồ để biết được đỉnh đỉnh tối ưu. Không có giới hạn về số lượng nút hoặc cạnh, chỉ có điều là đồ thị được kết nối hoàn toàn. ý tưởng là tạo ra một biểu đồ không dễ tìm thấy nắp …

11 ds.algorithms  graph-theory  graph-algorithms 

Xem xét bộ giá trị (được biểu diễn dưới dạng mảng được sắp xếp không có trùng lặp và với kích thước đã biết (nghĩa là kích thước có thể đạt được trong O (1)). Các giá trị có thể được kiểm tra tính bằng trong thời gian O (1). …

11 ds.algorithms 

Điều này tương tự với SAT, ngoại trừ việc chúng ta biết phép gán của từng biến, nhưng không biết phép gán của bất kỳ toán tử boolean nào. Trong trường hợp đó, việc tìm sự gán của mỗi toán tử để biểu thức ước lượng cho một giá trị …

11 cc.complexity-theory  np-hardness