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

Một số thuật toán của tiện ích hợp pháp đơn giản là quá phức tạp để thực hiện là gì? Hãy để tôi rõ ràng: Tôi không tìm kiếm các thuật toán như thuật toán nhân ma trận tối ưu tiệm cận hiện tại (Coppersmith-Winograd), rất hợp lý để thực …

67 ds.algorithms  ds.data-structures  big-list  implementation 

Tôi là một học viên phần mềm và tôi đang viết một cuộc khảo sát về các cấu trúc đại số cho nghiên cứu cá nhân và đang cố gắng đưa ra các ví dụ về cách các cấu trúc này được sử dụng trong khoa học máy tính lý …

67 reference-request  big-list  big-picture  algebra 

Các nhà toán học đôi khi lo lắng về Tiên đề lựa chọn (AC) và Tiên đề xác định (AD). Axiom of Choice : Với bất kỳ bộ sưu tập của bộ rỗng, có một hàm f rằng, cho một tập S trong C , trả về một thành viên …

67 cc.complexity-theory  lo.logic  pl.programming-languages  big-picture  set-theory 

Đến từ một nền tảng toán học hơn, tôi không bao giờ thực sự học cách viết mã. Tôi đang bắt đầu học tiến sĩ về TCS và nhiều người ngạc nhiên về việc tôi biết rất ít về lập trình (và về máy tính nói chung). Tôi có thể …

66 soft-question  big-list  advice-request  career 

Hiện tại, việc giải quyết vấn đề -complete hoặc P S P A C E -complete là không khả thi trong trường hợp chung cho các đầu vào lớn. Tuy nhiên, cả hai đều có thể giải được trong thời gian theo cấp số nhân và không gian đa thức.NPNPNPPSPACEPSPACEPSPACE …

66 cc.complexity-theory  np-hardness  big-picture 

Tôi quen thuộc với rất nhiều kết quả sử dụng định lý PCP (chủ yếu là các thuật toán gần đúng), nhưng tôi chưa bao giờ bắt gặp một lời giải thích rõ ràng về định lý PCP (nghĩa là ).NP=PCP(O(log(n)),O(1))NP=PCP(O(log⁡(n)),O(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) Những giấy tờ / sách tốt để …

64 cc.complexity-theory  reference-request  pcp 

Câu hỏi được hỏi là liệu câu hỏi sau đây có thể quyết định được không: Sự cố Cho một số nguyên và máy Turing M hứa sẽ ở trong P, thời gian chạy của M O ( n k ) có liên quan đến độ dài đầu vào n …

64 cc.complexity-theory  approximation-hardness 

Một câu hỏi gần đây của Huck Bennett hỏi liệu lớp PH có được chứa trong lớp PP hay không, đã nhận được câu trả lời hơi mâu thuẫn (tất cả đều đúng, có vẻ như vậy). Một mặt, một số kết quả tiên tri đã được đưa ra ngược …

63 cc.complexity-theory  counting-complexity  derandomization  relativization 

Cập nhật dưới đây Chúng ta đều biết tầm quan trọng của đánh giá ngang hàng. Đây là hình thức chính của kiểm soát chất lượng và phản hồi về nghiên cứu. Tuy nhiên, đối với một nhà nghiên cứu ở giai đoạn đầu (như tôi), đôi khi nó có …

62 soft-question  big-list  paper-review 

CHỈNH SỬA NGÀY 10/12/08: Tôi sẽ cố gắng sửa đổi câu hỏi để nó có thể thu hút nhiều người hơn để chia sẻ ý kiến ​​của họ. Chúng tôi CẦN đóng góp của bạn! Bài này được lấy cảm hứng từ một trong MO: Ví dụ về những niềm …

62 big-list  examples 

Tôi muốn viết một cuộc khảo sát về các ứng dụng của Topology trong Khoa học máy tính. Tôi có kế hoạch bao gồm lịch sử của các ý tưởng tô pô trong Khoa học Máy tính và cũng nêu bật một vài phát triển hiện tại. Sẽ rất hữu …

61 reference-request  ho.history-overview  topology  survey 

Câu hỏi của tôi hôm nay là (như thường lệ) một chút ngớ ngẩn; nhưng tôi sẽ yêu cầu bạn vui lòng xem xét nó. Tôi muốn biết về nguồn gốc và / hoặc động lực đằng sau khái niệm treewidth. Tôi chắc chắn hiểu rằng nó được sử dụng …

61 graph-theory  co.combinatorics  big-picture  ho.history-overview  treewidth 

Thông thường, khi chúng tôi tham gia các hội nghị của TCS, chúng tôi nhận thấy một số chi tiết nhỏ mà chúng tôi mong muốn các nhà tổ chức hội nghị sẽ quan tâm. Và khi chúng tôi tổ chức hội nghị, chúng tôi đã quên nó rồi. Do …

61 soft-question  big-list  research-practice  conferences 

Tôi đang tìm kiếm các ví dụ về các vấn đề được tham số hóa bởi một số , trong đó độ cứng của vấn đề là không đơn điệu trong . Hầu hết các sự cố (theo kinh nghiệm của tôi) có chuyển đổi một pha, ví dụ k …

60 cc.complexity-theory  np-hardness  big-list  phase-transition 

Chúng tôi trong TCS thường sử dụng các kết quả và ý tưởng mạnh mẽ từ toán học cổ điển (đại số, cấu trúc liên kết, phân tích, hình học, v.v.). Một số ví dụ về khi nó đã đi theo cách khác? Đây là một số điều tôi biết …

60 reference-request  big-list