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

Tôi đã đọc " Ngữ nghĩa với các ứng dụng " của Nielson và Nielson , và tôi thực sự thích chủ đề này. Tôi muốn có thêm một cuốn sách về ngữ nghĩa ngôn ngữ lập trình - nhưng tôi thực sự chỉ có thể có một cuốn sách. …

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

Một trong những điểm mấu chốt của thiết kế thuật toán là tìm ra thuật toán đa thức mạnh cho lập trình tuyến tính, tức là thuật toán có thời gian chạy bị giới hạn bởi đa thức về số lượng biến và ràng buộc và không phụ thuộc vào …

31 ds.algorithms  conditional-results  linear-programming  computing-over-reals  simplex 

Tôi nghĩ rằng tôi sẽ chia sẻ câu hỏi này vì nó có thể thú vị cho những người dùng khác ở đây. Giả sử rằng một chức năng mà là trong một lớp học thống nhất (như ) cũng là trong một lớp học không đồng dạng nhỏ (như …

31 cc.complexity-theory  circuit-complexity  uniformity 

Tôi đã (và vẫn còn) thực sự quan tâm đến câu trả lời cho câu hỏi này, bởi vì đây là một biến thể thú vị về sự phức tạp của các trò chơi chưa được giải quyết, vì vậy tôi đã đưa ra một khoản tiền thưởng. Tôi nghĩ …

31 cc.complexity-theory  gt.game-theory  interactive-proofs 

Trong bài đăng của khách này bởi Josh Grochow tại weblog phức tạp, ông báo cáo về một hội thảo gần đây dành cho GCT được tổ chức tại Princeton vào tháng Bảy. Một số người tham dự tranh luận rằng chúng ta nên sử dụng GCT để tấn công …

31 cc.complexity-theory  gct 

Số lượng màu xấp xỉ có vẻ dễ dàng trên các đồ thị loại trừ nhỏ sử dụng thuật toán của Jung / Shah. Các ví dụ khác về các vấn đề khó đối với các biểu đồ chung nhưng dễ dàng trên các biểu đồ loại trừ nhỏ là …

31 ds.algorithms  graph-theory  graph-minor 

Có một ví dụ thú vị về thuật toán ngẫu nhiên cho một vấn đề tìm kiếm luôn đưa ra cùng một câu trả lời (đúng), bất kể tính ngẫu nhiên bên trong của nó, nhưng khai thác tính ngẫu nhiên để thời gian chạy dự kiến ​​của nó tốt …

31 ds.algorithms  randomized-algorithms 

Quyết định nếu một công thức boolean định lượng như ∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), luôn luôn đánh giá đúng là một vấn đề hoàn chỉnh PSPACE cổ điển. Đây có thể được xem là một trò chơi giữa hai người chơi, với …

31 cc.complexity-theory  sat  gt.game-theory  pspace 

Richard J. Lipton đã được chọn là người chiến thắng Giải thưởng Knuth 2014 "Giới thiệu các ý tưởng và kỹ thuật mới". Bạn nghĩ gì về những ý tưởng và kỹ thuật mới mà Lipton đã phát triển? Chú thích. Câu hỏi này sẽ trở thành wiki cộng đồng, …

30 big-list 

Xác định - S U B E X P là lớp các ngôn ngữ L như rằng có một ngôn ngữ L ' ∈ ∩ ε > 0 T I M E ( 2 n ε ) và vô số n , L và L ' đồng ý trên tất …

30 cc.complexity-theory  sat  oracles 

Đối với vấn đề lưu lượng tối đa , dường như có một số thuật toán rất tinh vi, với ít nhất một thuật toán được phát triển gần đây như năm ngoái. Dòng Max của Orlin trong thời gian O (mn) hoặc tốt hơn cung cấp thuật toán chạy …

30 ds.algorithms  graph-algorithms  application-of-theory  max-flow 

Hậu quả khó chịu của NP = PSPACE là gì? Tôi ngạc nhiên vì tôi không tìm thấy bất cứ điều gì về điều này, vì các lớp học này là một trong những lớp nổi tiếng nhất. Cụ thể, nó có gây hậu quả gì cho tầng lớp thấp …

30 cc.complexity-theory  complexity-classes  conditional-results 

Trích dẫn Wikipedia , "[Trò chơi cuộc sống của Conway] có sức mạnh của một cỗ máy Turing phổ dụng: nghĩa là, mọi thứ có thể được tính toán bằng thuật toán đều có thể được tính toán trong Trò chơi cuộc sống của Conway." Những kết quả như vậy …

30 cc.complexity-theory  pr.probability  cellular-automata  fault-tolerance 

Không giới hạn ràng buộc liên kết một hàm với một lớp ngôn ngữ C được chấp nhận bởi các máy Turing xác định giới hạn tài nguyên, để tạo thành một lớp g - C mới . Lớp này bao gồm những ngôn ngữ được chấp nhận bởi một …

30 cc.complexity-theory  graph-theory  graph-isomorphism  nondeterminism 

Người ta biết rằng một bước đi ngẫu nhiên trong lưới hai chiều sẽ trở về điểm gốc với xác suất 1. Người ta cũng biết rằng bước đi ngẫu nhiên tương tự trong BA chiều có xác suất nhỏ hơn 1 lần trở về điểm gốc . Câu hỏi …

30 pr.probability  random-walks  markov-chains