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

Hãy xem xét vấn đề sau đây, Cho một tập hợp số dương trong đó là hằng số, chúng tôi muốn phân chia tập hợp thành tập con có kích thước sao cho tích của tổng của mỗi tập hợp con được tối đa hóa.n = k mn= =kmn = …

12 cc.complexity-theory  np-hardness  application-of-theory  polynomial-time 

Những gì được biết về vấn đề sau đây? Với một bộ sưu tập chức năng f : { 0 , 1 } n → { 0 , 1 } , hãy tìm một subcollection lớn nhất S ⊆ C chịu sự ràng buộc VC-Dimension ( S ) ≤ k …

12 reference-request  approximation-algorithms  cg.comp-geom  lg.learning  vc-dimension 

Giả sử chúng ta khám phá các nền văn minh ngoài hành tinh có thể gửi và nhận tin nhắn bằng kênh liên lạc kỹ thuật số giữa các vì sao. (Giả sử sử dụng sóng vô tuyến đã điều chế, xung laser, các ngôi sao định vị lại ở …

12 big-picture  communication-complexity 

Tôi muốn viết bằng chứng toán học bằng cách sử dụng một số trợ lý chứng minh. Tất cả mọi thứ sẽ được viết bằng logic thứ tự đầu tiên (với sự bình đẳng) và khấu trừ tự nhiên. Bối cảnh là lý thuyết tập hợp (ZF). Ví dụ, làm …

12 lo.logic  software  proof-assistants 

Câu hỏi này tương tự như các vấn đề NP-hard trên cây : Có một số lượng lớn các vấn đề hoàn thành NP có thể dễ dàng xử lý trên các sơ đồ . Có bất kỳ vấn đề đã biết nào vẫn còn NP-đầy đủ khi bị hạn …

12 cc.complexity-theory  np-hardness  graph-algorithms 

Người ta biết rộng rãi rằng các công thức CNF có thể được phân vùng thô trong 2 lớp rộng: ngẫu nhiên so với cấu trúc. Các công thức CNF có cấu trúc, đối lập với các công thức CNF ngẫu nhiên, thể hiện một số thứ tự, hiển thị …

12 cc.complexity-theory  sat  randomness  symmetry 

Có 4 ràng buộc khác nhau mà chúng ta có thể có khi xác định K-SAT ngẫu nhiên. 1) Tổng số chữ trong một mệnh đề đã cho chính xác là K hoặc AT nhiều nhất K 2) Một chữ có thể được sử dụng có hoặc không có thay …

12 cc.complexity-theory  sat  randomness  phase-transition 

Cái tiêu đề đã nói lên ý cần nói. Đây là Akinator và 20Q . Nguyên tắc của các trò chơi này là hỏi người dùng một số câu hỏi liên quan đến một số thực thể được chọn bởi người dùng. Và sau đó tìm hiểu thực thể này …

12 ds.algorithms 

Đây là một câu hỏi tiếp theo cho bài viết trước của Robin Kothari về kết quả độ cứng thời gian đa thức . Cụ thể, tôi quan tâm đến việc xem một số bằng chứng về độ cứng cho các vấn đề được cho là có giới hạn thấp …

12 graph-theory  cg.comp-geom  lower-bounds 

CMSOL đang đếm logic thứ tự đơn thứ hai, tức là logic của đồ thị trong đó miền là tập hợp các đỉnh và cạnh, có các biến vị ngữ cho sự điều chỉnh đỉnh-đỉnh và tỷ lệ đỉnh-đỉnh, có định lượng trên các cạnh, đỉnh, bộ cạnh và đỉnh …

12 ds.algorithms  reference-request  graph-algorithms  descriptive-complexity  cliquewidth 

Câu hỏi này được lấy cảm hứng từ một câu hỏi hiện có về việc một ngăn xếp có thể được mô phỏng bằng cách sử dụng hai hàng đợi trong thời gian được khấu hao cho mỗi hoạt động của ngăn xếp hay không. Câu trả lời dường như …

12 ds.algorithms  ds.data-structures  lower-bounds  time-complexity  sorting 

Razborov chứng minh rằng mỗi mạch đơn điệu mà tính chức năng phù hợp hoàn hảo cho đồ thị hai phía phải có ít nhất cửa (ông gọi nó là "logic vĩnh viễn"). Đã có một giới hạn thấp hơn tốt hơn cho cùng một vấn đề đã được chứng …

12 cc.complexity-theory  circuit-complexity  matching 

Điều này có lẽ khá đơn giản, nhưng hãy xem xét vấn đề tương ứng bài viết tiêu chuẩn: Cho và , tìm một chuỗi các chỉ số sao cho . Điều này, tất nhiên, không thể giải quyết được.beta 1 , ... , β N i 1 , ... …

12 computability  fl.formal-languages 

Tôi đã hỏi câu hỏi này vài tuần trước tại mathoverflow , nhưng tôi không nhận được câu trả lời. Ở đây, bằng 3D-lưới của sidelength kkk Ý tôi là đồ thị G=(V,E)G=(V,E)G=(V,E) với V={1,…,k}3V={1,…,k}3V= \{1,\ldots,k\}^3 và E={((a,b,c),(x,y,z))∣|a−x|+|b−y|+|c−z|=1}E={((a,b,c),(x,y,z))∣|a−x|+|b−y|+|c−z|=1}E=\{( (a,b,c) ,(x,y,z) ) \mid |a-x|+|b-y|+|c-z|=1 \} , tức là, các nút được …

12 reference-request  graph-theory  co.combinatorics  treewidth  integer-lattice 

Các tài liệu nghiên cứu quan trọng nhất về nền tảng của thuốc generic trong C # và .NET là gì?

12 pl.programming-languages