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

Tôi quan tâm đến sự phức tạp của việc quyết định xem một đa giác không đơn giản nhất định có gần như đơn giản hay không, theo một trong hai giác quan chính thức khác nhau: đơn giản yếu hoặc không tự giao . Vì các thuật ngữ này …

22 ds.algorithms  cg.comp-geom  polygon 

Vertex Cover Problem có những ứng dụng nào trong thế giới thực? Những dự án công nghiệp hoặc nghiên cứu nào sử dụng phần mềm được triển khai thực sự dựa trên kết quả lý thuyết cho vấn đề Vertex Cover? Cụ thể, có bất kỳ kết quả lý thuyết …

22 ds.algorithms  graph-theory  graph-algorithms 

Tôi đang xem xét các lớp biểu đồ có thể được đặc trưng bởi các đồ thị con bị cấm. Nếu một lớp đồ thị có một tập hợp hữu hạn các đồ thị con bị cấm, thì có một thuật toán nhận dạng thời gian đa thức tầm thường …

22 cc.complexity-theory  graph-theory  np-hardness 

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 

Nếu một vấn đề là NP-hard (sử dụng giảm thời gian đa thức), thì điều đó có nghĩa rằng đó là P-hard (sử dụng không gian log hoặc giảm NC)? Có vẻ trực quan rằng nếu nó khó như bất kỳ vấn đề nào trong NP thì nó cũng khó …

22 cc.complexity-theory  np-hardness 

Những gì được biết về cấu trúc dữ liệu có thể duy trì một chuỗi các mục theo hai hoạt động sau đây? Đẩy (x): thêm x vào cuối chuỗi và trả về mã định danh cho vị trí của nó trong chuỗi Trích xuất (S): được cung cấp một …

22 ds.data-structures 

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 

Giả sử chúng ta được đưa ra một số đa giác đơn giản khác nhau trong mặt phẳng và hai điểm và bên ngoài mọi đa giác. Vấn đề đường đi ngắn nhất của Euclide là tính toán đường đi ngắn nhất của Euclide từ đến không giao nhau với …

22 ds.algorithms  cg.comp-geom  open-problem  computing-over-reals 

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 

Câu hỏi này là phần tiếp theo của câu hỏi về thuật toán DNA được hỏi bởi Aadita Mehra . Trong các bình luận ở đó, Joe Fitzsimmons nói, một phần: Bán kính của hệ thống phải chia tỷ lệ theo khối lượng để tránh điều này. Sức mạnh tính …

22 cc.complexity-theory  quantum-computing  ne.neural-evol  physics  natural-computing 

Tôi gặp khó khăn trong việc giảng dạy các khái niệm về chức năng tính toán. Tôi đã cố gắng phát triển ý tưởng tại sao các nhà nghiên cứu như Hilbert / Ackermann / Godel / Turing / Church / ... đã phát minh ra khái niệm 'khả năng …

22 soft-question  computability  turing-machines  teaching 

Trong độ phức tạp tính toán của quang học tuyến tính ( ECCC TR10-170 ), Scott Aaronson và Alex Arkhipov lập luận rằng nếu máy tính lượng tử có thể được mô phỏng hiệu quả bằng máy tính cổ điển thì hệ thống phân cấp đa thức sụp đổ xuống …

22 cc.complexity-theory  quantum-computing 

Bên cạnh độ phức tạp truyền thông (xác định) của mối quan hệ R , một biện pháp cơ bản khác cho lượng giao tiếp cần thiết là số phân vùng giao thức p p ( R ) . Mối quan hệ giữa hai biện pháp này được biết đến …

22 fl.formal-languages  lower-bounds  open-problem  regular-expressions  communication-complexity