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

Parity và giống như cặp song sinh không thể tách rời. Hoặc có vẻ như vậy trong 30 năm qua. Theo kết quả của Ryan, sẽ có sự quan tâm mới trong các lớp học nhỏ.AC0AC0AC^0 Furst Saxe Sipser đến Yao đến Hastad đều là những hạn chế ngẫu nhiên …

19 cc.complexity-theory  complexity-classes  lower-bounds  circuit-complexity 

Đây là một bản tóm tắt của một vấn đề học tập / kẻ cướp trực tuyến mà tôi đã làm việc vào mùa hè. Tôi chưa từng thấy một vấn đề như thế này trước đây và nó có vẻ khá thú vị. Nếu bạn biết về bất kỳ …

19 machine-learning  lg.learning  online-learning 

Tôi đã tìm kiếm thuật toán (phát trực tuyến ??) hiệu quả nhất cho tôi biết các phần tử xảy ra thường xuyên nhất trong luồng dữ liệu tại bất kỳ thời điểm nào. Bài đăng này: "Phân chia và chinh phục" thuật toán luồng dữ liệu khiến tôi quan …

19 ds.algorithms  online-algorithms  data-streams 

Đặt là đồ thị đơn giản trên n đỉnh ( n > 3 ) không có đỉnh bậc n - 1 . Giả sử rằng với hai đỉnh G bất kỳ , có một đỉnh duy nhất liền kề với cả hai đỉnh đó. Đây là một bài tập từ …

19 graph-theory  co.combinatorics  puzzles 

Xem xét , một hàm trả về 1 khi và chỉ khi n số không xuất hiện liên tiếp trong π . Bây giờ ai đó đã cho tôi một bằng chứng rằng f ( n ) có thể tính toán được:f(n)f(n)f(n)nnnππ\pif(n)f(n)f(n) Hoặc cho tất cả n, xuất hiện trong …

19 computability 

Hầu hết các triển khai hiện đại của các biểu thức chính quy, chẳng hạn như các biểu thức trong perl hoặc .NET, vượt xa định nghĩa khoa học máy tính cổ điển của REGEXes với các tính năng như lookahead và lookbehind. Các tính năng này có cho phép …

19 automata-theory  regular-expressions  fl.formal-languages 

Câu hỏi lý thuyết trò chơi gần đây này khiến tôi suy nghĩ (tất nhiên đây là một tiếp tuyến): Có thể tối ưu hóa hiệu quả một chiến lược cá nhân để chọn câu hỏi nghiên cứu để sử dụng lý thuyết trò chơi không? Để hướng tới việc …

19 soft-question  gt.game-theory 

Làm thế nào bạn sẽ thiết kế một hình ảnh để minh họa phỏng đoán trò chơi độc đáo? Đây là phần trình bày "Sự kiện hiện tại" về các trò chơi độc đáo tại Cuộc họp chung AMS tiếp theo và cho tập sách sẽ được sản xuất. Ví …

19 cc.complexity-theory  unique-games-conjecture 

"Tối ưu hóa lồi trực tuyến" của Zinkevich ( http://www.cs.cmu.edu/~maz/publications/ICML03.pdf ) khái quát các thuật toán học "tối thiểu hóa hối tiếc" từ cài đặt tuyến tính sang cài đặt lồi và "hối tiếc bên ngoài" tốt . Có một khái quát tương tự cho hối tiếc nội bộ? (Tôi …

19 lg.learning  online-learning 

Có bất kỳ khảo sát về các thuật toán cho nội suy điện toán? Điều gì về các bài viết trên chỉ một thuật toán? Trường hợp tôi đang ở quan tâm nhất là và , cộng với ràng buộc là các interpolant là càng nhỏ càng tốt. (Tôi biết …

19 reference-request  lo.logic  proof-complexity  feasible-interpolation 

Đã khóa . Câu hỏi này và câu trả lời của nó bị khóa vì câu hỏi không có chủ đề nhưng có ý nghĩa lịch sử. Nó hiện không chấp nhận câu trả lời hoặc tương tác mới. Những thuật toán được sử dụng thường xuyên nhất? Vui lòng …

19 ds.algorithms  big-list 

Trong phần "Giới thiệu về ngôn ngữ lập trình" của Anthony Aaby về ngữ nghĩa , ông đưa ra nhận xét sau: Phần lớn công việc trong ngữ nghĩa của các ngôn ngữ lập trình được thúc đẩy bởi các vấn đề gặp phải khi cố gắng xây dựng và …

19 imperative-programming  semantics  big-picture 

Vấn đề quyết định CNF-SAT có thể được mô tả như sau: Input: Một công thức boolean ở dạng chuẩn hội.ϕϕ\phi Câu hỏi: Có tồn tại một phép gán biến thỏa mãn không?ϕϕ\phi Tôi đang xem xét một số cách tiếp cận khác nhau để giải quyết CNF-SAT với máy …

19 time-complexity  sat  turing-machines  np  nondeterminism 

Tôi quan tâm đến vấn đề sau: các ma trận nguyên đã cho A1,A2,…,AkA1,A2,…,AkA_1,A_2, \ldots, A_k quyết định xem mọi sản phẩm vô hạn của các ma trận này cuối cùng có bằng ma trận không. Điều này có nghĩa chính xác như những gì bạn nghĩ: chúng ta sẽ …

19 linear-algebra  decidability 

Điều gì sẽ là một bằng chứng không chính thức / trực quan để 'đánh vào điểm chính' về tính đối ngẫu LP? Làm thế nào tốt nhất để chỉ ra rằng hàm mục tiêu tối thiểu hóa thực sự là tối thiểu với cách hiểu trực quan về ràng …

19 linear-programming  primal-dual