Câu hỏi được gắn thẻ «reference-request»

Các Not All Equal -SAT vấn đề (NAE -SAT), cho một tập C điều khoản trên một tập X của các biến boolean như vậy mà mỗi khoản có chứa ít nhất k literals, hỏi liệu có tồn tại một nhiệm vụ thật của các biến như vậy mỗi mệnh …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

Trong bài báo "TÍNH TOÁN CỦA VẤN ĐỀ SATISFIABILITY" của Thomas J. Schaefer, tác giả đã đề cập rằng This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help …

22 cc.complexity-theory  reference-request  soft-question  reductions  proof-assistants 

Tôi đã làm việc để giới thiệu một số kết quả từ sự phức tạp tính toán vào sinh học lý thuyết, đặc biệt là tiến hóa & sinh thái học , với mục tiêu là thú vị / hữu ích cho các nhà sinh học. Một trong những khó …

22 cc.complexity-theory  reference-request  big-picture  application-of-theory  worst-case 

Có ai biết các tài liệu tham khảo đánh vần chính xác mối liên hệ giữa thuật toán hợp nhất và loại bỏ Gaussian không? Tôi đặc biệt quan tâm đến mối quan hệ giữa sự thay thế hình tam giác và sự phân rã LU. Wayne Snyder và Jean …

22 reference-request  lo.logic 

Ô ( n2)Ôi(n2)O(n^2) Tất cả các ngữ pháp rõ ràng có thể được phân tích cú pháp trong thời gian tuyến tính? Tôi khá chắc chắn rằng tôi đã đọc ở đâu đó rằng đây là trường hợp, nhưng nó không xuất hiện khi tìm kiếm trên internet. Câu hỏi …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

Một tenxơ là sự khái quát hóa các vectơ và ma trận lên các chiều cao hơn và thứ hạng của một tenxơ cũng khái quát hóa thứ hạng của một ma trận. Cụ thể, thứ hạng của một tensor là số lượng tối thiểu của bậc một tensors rằng …

22 ds.algorithms  reference-request  computability  tensor-rank 

Tôi đã tự hỏi những giấy tờ nào tôi nên đọc để hiểu câu hỏi này Một kết nối bất ngờ với các lĩnh vực khác của toán học như hình học đại số hoặc cohomology cao hơn. Có lẽ ngay cả một lĩnh vực toán học chưa được phát …

22 cc.complexity-theory  reference-request  gct  algebraic-topology 

Tôi tự hỏi liệu có bất kỳ lý do nào để tin rằng hoặc tin rằng không?NL=LNL=LNL=LNL≠LNL≠LNL\neq L Được biết, . Các tài liệu về derandomization của là khá thuyết phục rằng . Có ai biết về một số bài viết hoặc ý tưởng thuyết phục rằng không?NL⊂L2NL⊂L2NL \subset L^2RLRLRLRL=LRL=LRL=LNL≠LNL≠LNL\neq …

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

Tôi đang tìm kiếm một tài liệu tham khảo cho kết quả sau: Thêm hai số nguyên trong biểu diễn bao thanh toán cũng khó như bao thanh toán hai số nguyên trong biểu diễn nhị phân thông thường. (Tôi khá chắc chắn rằng nó ở ngoài đó bởi vì …

22 cc.complexity-theory  reference-request  time-complexity  factoring  encoding 

Câu hỏi này là về độ phức tạp thời gian của thuật toán dòng chảy tối đa Ford-Fulkerson khi sử dụng DFS để tìm đường dẫn tăng. Có một ví dụ nổi tiếng cho thấy rằng sử dụng DFS, người ta có thể cần một số lần lặp tuyến tính …

22 ds.algorithms  reference-request  max-flow 

Có vấn đề nào trong CS khi không có thuật toán hiệu quả nào được biết đến, mặc dù các định lý tồn tại chứng minh các thuật toán hiệu quả như vậy phải tồn tại? Những vấn đề này được gọi là gì? Tôi có thể tìm hiểu thêm …

22 ds.algorithms  reference-request  terminology 

Khi thiết kế các thuật toán gần đúng, đôi khi nó giải quyết một chương trình semidefinite theo sau là một bước làm tròn. Một ví dụ thường được sử dụng để minh họa điều này là Max-Cut. (Xem ví dụ: Thuật toán xấp xỉ của Vijay Vazirani.) Có các …

22 ds.algorithms  reference-request  approximation-algorithms  semidefinite-programming  csp 

Tôi chỉ nhận ra rằng tôi đã giả sử câu trả lời cho câu hỏi của mình là "có" nhưng tôi không có lý do chính đáng. Tôi tưởng tượng rằng có thể có một người thu gom rác chỉ giới thiệu chậm lại trường hợp xấu nhất . Có …

22 reference-request  ds.data-structures  pl.programming-languages  functional-programming 

Đặt là đồ thị. Đối với một đỉnh , xác định là (mở) khu phố của trong . Nghĩa là, . Xác định hai đỉnh trong là cặp song sinh nếu và có cùng tập hợp lân cận, nghĩa là, nếu .x ∈ V N ( x ) x G …

22 ds.algorithms  reference-request  graph-algorithms 

Các tài liệu tham khảo cơ bản là gì? Có cuộc khảo sát cấp cao nào về SGT và các ứng dụng của nó cho CS nói chung và học máy cụ thể hơn không?

22 reference-request  spectral-graph-theory