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

Những gì được biết về lớp ngôn ngữ được công nhận bởi automata hữu hạn có cùng trạng thái ban đầu và chấp nhận? Đây là một tập hợp con đúng của các ngôn ngữ thông thường (vì mọi ngôn ngữ như vậy đều chứa chuỗi trống), nhưng nó yếu …

13 fl.formal-languages  automata-theory  algebra  regular-language 

Tuần trước, tôi đã đọc lại bản thảo năm 1982 của Leslie Lamport về một hội nghị mà anh ấy đã đưa ra về các vấn đề đã giải quyết, các vấn đề chưa được giải quyết và các vấn đề không đồng thời . Bài báo có thể dễ …

13 reductions  dc.distributed-comp  concurrency 

Tôi đang tìm kiếm một cấu trúc dữ liệu sẽ duy trì một bảng số nguyên có kích thước và cho phép các hoạt động sau trong thời gian .tttnnnO(logn)O(log⁡n)O(\log n) increase(a,b)increase(a,b)\text{increase}(a,b) , làm tăng .t[a],t[a+1],…,t[b]t[a],t[a+1],…,t[b]t[a],t[a+1],\ldots,t[b] decrease(a,b)decrease(a,b)\text{decrease}(a,b) , làm giảm .t[a],t[a+1],…,t[b]t[a],t[a+1],…,t[b]t[a],t[a+1],\ldots,t[b] support()support()\text{support}() , trả về số chỉ số sao cho …

13 ds.data-structures  cg.comp-geom 

Bên ngoài học viện, việc sử dụng 'sức mạnh' của tôi là gì? Tôi có thể làm gì khác ngoài giảng dạy và xuất bản bài báo? Tôi có thể áp dụng quyền hạn của mình ở đâu? Để tranh luận: Hãy giả sử tôi có bằng tiến sĩ về …

13 soft-question  big-picture  career 

Động lực: Một đồng tác giả chỉnh sửa một bản thảo và tôi muốn xem một bản tóm tắt rõ ràng về các chỉnh sửa. Tất cả các công cụ giống như "diff" có xu hướng vô dụng nếu bạn vừa di chuyển văn bản xung quanh (ví dụ: tổ …

13 ds.algorithms  reference-request  parameterized-complexity  string-matching  edit-distance 

Vấn đề phân vùng là NP-đầy đủ yếu vì nó có thuật toán thời gian đa thức (giả đa thức) nếu số nguyên đầu vào bị giới hạn bởi một số đa thức. Tuy nhiên, 3-phân vùng là vấn đề hoàn toàn NP ngay cả khi số nguyên đầu vào …

13 cc.complexity-theory  np-hardness  partition-problem 

Nhớ lại rằng chiều rộng của một nghị quyết bác bỏ của một công thức CNF là số tối đa các chữ trong bất kỳ khoản xảy ra trong . Đối với mỗi , có các công thức không thỏa mãn trong 3-CNF st mỗi lần từ chối độ phân …

13 cc.complexity-theory  lo.logic  sat  proof-complexity 

Câu hỏi này là về các vấn đề lập trình bậc hai với các ràng buộc hộp (hộp-QP), nghĩa là các vấn đề tối ưu hóa của biểu mẫu thu nhỏ chủ đề cho x ∈ [ 0 , 1 ] n .f( x ) = xTA x + cTxf(x)=xTAx+cTxf(\mathbf{x}) …

13 ds.algorithms  optimization  exp-time-algorithms 

Dễ dàng thấy rằng nếu thì có tổng số các vấn đề tìm kiếm không thể giải quyết trong thời gian đa thức (tạo ra một vấn đề tìm kiếm tổng thể bằng cách có cả các nhân chứng cho tư cách thành viên và các nhân chứng cho việc …

13 cc.complexity-theory  reference-request  search-problem 

Tôi gặp trò chơi sau. Tôi sẽ di chuyển cái này theo yêu cầu. Một con bọ đang truy cập vào các vòng kết nối và một kẻ thù mong muốn tối đa hóa thời gian đi lại của anh ta. Kẻ thù đặt một vòng tròn trên mỗi lượt. …

13 gt.game-theory 

Chúng ta nói rằng một hàm f:N→Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} có thể xây dựng được theo thời gian , nếu tồn tại một máy Turing đa băng xác định mà trên tất cả các đầu vào có độ dài tạo ra tối đa các bước và cho mỗi tồn tại một số đầu …

13 cc.complexity-theory  time-complexity  terminology 

Dường như với tôi, các chuyên gia khai thác dữ liệu / học máy đã quen thuộc với P và NP, nhưng hiếm khi nói về một số lớp phức tạp tinh vi hơn (ví dụ NC, BPP hoặc IP) và ý nghĩa của chúng để phân tích dữ liệu …

13 cc.complexity-theory  reference-request  machine-learning 

Có cuốn sách nào gần đây về Thuật toán trực tuyến không? Tôi chỉ biết hai cuốn sách về chủ đề này. Tính toán trực tuyến và phân tích cạnh tranh của Allan Borodin và Ran El-Yaniv: Đây là một cuốn sách cổ điển nhưng cũ và không chứa nhiều …

13 reference-request  big-list  online-algorithms 

Trong [1], Mitchell Wand đã chứng minh rằng việc thêm fexprs vào phép tính lambda thuần túy làm tầm thường hóa lý thuyết tương đương theo ngữ cảnh, nghĩa là hai thuật ngữ tương đương với ngữ cảnh nếu chúng là -congruent. Khi khám phá các công việc liên quan, …

13 pl.programming-languages  lisp  scheme 

Có thể xây dựng một mục đích cơ học duy nhất (không hoàn thành Turing) của Microsoft Word không? Có thể thực hiện những thứ như vòng lặp, hàm bậc nhất, toàn bộ các kỹ thuật lập trình không? Có thể bánh răng và các bộ phận cơ khí khác …

13 computability  pl.programming-languages  machine-models  ar.hardware-architecture