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

Q & A cho các nhà khoa học và nhà nghiên cứu máy tính lý thuyết trong các lĩnh vực liên quan

2
Hậu quả của gì?
Shiva Kintali vừa công bố một (cool!) Cho kết quả rằng phép đẳng cấu đồ thị cho các biểu đồ treewidth bị chặn chiều rộng là -Hard≥4≥4\geq 4⊕L⊕L\oplus L . Một cách không chính thức, câu hỏi của tôi là "Khó đến mức nào?" Chúng tôi biết rằng không đồng …
3
Các vấn đề trong
Nghiên cứu về biểu diễn Succinc của đồ thị được Galperin và Wigderson khởi xướng trong một bài báo từ năm 1983, trong đó họ chứng minh rằng đối với nhiều vấn đề đơn giản như tìm tam giác trong biểu đồ, phiên bản cô đọng tương ứng trong . …
6
Người ta có thể trở lại với một công việc nghiên cứu TCS sau một chuyến tham quan đến một công việc không nghiên cứu ngành công nghiệp?
Tôi đã nghe từ một số nhà nghiên cứu cao cấp về khoa học máy tính lý thuyết rằng làm việc trong một công việc không nghiên cứu, thậm chí chỉ trong một vài năm, sẽ giết chết sự nghiệp của bạn như một nhà nghiên cứu TCS. Tuy nhiên, …
4
Thiếu bài viết Wikipedia
Những chủ đề TCS còn thiếu trên Wikipedia mà bạn muốn có một bài viết về? Chúng có thể là những thiếu sót rõ ràng hoặc chỉ là những chủ đề bạn nghĩ thực sự nên có một bài viết. Xin vui lòng một chủ đề cho mỗi câu trả …
2
Bộ độc lập tối đa / tối đa
Có điều gì đó được biết về lớp biểu đồ với thuộc tính mà tất cả các tập độc lập tối đa có cùng số lượng và do đó là IS tối đa không? Ví dụ: lấy một tập hợp các điểm trong mặt phẳng và xem xét biểu đồ …
5
Lỗi lâu dài trong khoa học máy tính
Đây là câu hỏi đầu tiên của tôi về ngăn xếp cstheory, vì vậy đừng quá thô lỗ nếu tôi vi phạm nghi thức nào đó) Như chúng ta đã biết, trong toán học, ngay cả các nhà toán học nổi tiếng, siêu sao và thiên tài cũng đang mắc …
4
Có một mô hình tính toán không hoàn chỉnh Turing nào mà vấn đề tạm dừng là không thể giải quyết được không?
Tôi không thể nghĩ về bất kỳ mô hình như vậy, có thể một số hình thức tính toán lambda gõ? một số tự động tế bào tiểu học? Điều này gần như sẽ bác bỏ "Nguyên tắc tương đương tính toán" của Wolfram: Hầu như tất cả các quy …
4
Làm thế nào để tìm các chu kỳ, cùng với nhau, liên quan đến số lượng cạnh không chia sẻ lớn nhất trong đồ thị có hướng?
Tôi không phải là một nhà lý luận khoa học máy tính, nhưng nghĩ rằng vấn đề thế giới thực này thuộc về nơi này. Vấn đề Công ty tôi có một số đơn vị trên toàn quốc. Chúng tôi cung cấp cho nhân viên khả năng làm việc trên …
2
Sự phức tạp của việc phân biệt quang phổ Fourier thật với quang phổ giả là gì?
Một máy PHPHPH được cấp quyền truy cập vào một hàm Boolean ngẫu nhiên f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f:\{0,1\}^n \to \{ -1,1 \} và hai phổ Fourier ggg và hhh . Phổ Fourier của hàm fff được định nghĩa là F:{0,1}n→RF:{0,1}n→RF:\{0,1\}^n \to R : F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=\sum_{x\in\{0,1\}^n} (-1)^\left( s\cdot x \mod\ 2 \right) f(x) …
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.