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

Có một vấn đề mở trong các ngôn ngữ chính thức được gọi là Vấn đề tách biệt; được nêu ngắn gọn là hai chuỗi có độ dài riêng biệt, độ lớn của DFA được yêu cầu để "tách" chúng, nghĩa là chấp nhận một chuỗi nhưng từ chối chuỗi …

10 fl.formal-languages  automata-theory 

Q . Sự phức tạp của việc tìm kiếm tế bào giới hạn thể tích lớn nhất trong sự sắp xếp của hyperplanes theo chiều d là gì?nnnddd Tôi cảm thấy tôi nên biết điều này ... Nhưng tôi không tìm thấy một tài liệu tham khảo dứt khoát. Có …

10 computational-geometry  high-dimensional-geometry  arrangements 

Có lẽ nguồn chính của các vấn đề về hiệu năng trong Haskell là khi một chương trình vô tình xây dựng một khối sâu không giới hạn - điều này gây ra cả rò rỉ bộ nhớ và khả năng tràn ngăn xếp khi đánh giá. Ví dụ cổ …

10 type-theory  functional-programming  program-verification 

Sau các câu hỏi tương đương liên quan đến NP-Complete (xem câu hỏi về trọng lượng và câu hỏi được định hướng ), tôi đã tự hỏi làm thế nào các vấn đề được tham số hóa bị ảnh hưởng bởi các thuộc tính này. Những vấn đề đồ thị …

10 cc.complexity-theory  graph-algorithms  parameterized-complexity  fixed-parameter-tractable 

Các vấn đề đã được, nói chung, được phân loại, nhờ Độ phức tạp tính toán. Nhưng, trong các phương trình vi phân, có thể phân loại các phương trình vi phân tùy thuộc vào cấu trúc tính toán của chúng? Ví dụ, nếu một phương trình không thuần nhất …

10 cc.complexity-theory  complexity-classes  computability  dynamic-algorithms 

Đó là một thực tế khá nổi tiếng rằng xuất phát mâu thuẫn từ sự bất bình đẳng (ví dụ: ) trong lý thuyết loại Martin-Loef đòi hỏi phải có vũ trụ.( 0 = 1 ) → ⊥(0=1)→⊥(0=1) \to \bot Bằng chứng cũng khá đơn giản - trong trường hợp …

10 reference-request  lo.logic  pl.programming-languages  type-theory  dependent-type 

Vấn đề đẳng cấu đồ thị là một trong những vấn đề tồn tại lâu nhất chống lại việc phân loại thành các vấn đề hoặc -complete. Chúng tôi có bằng chứng rằng nó không thể là -complete. Thứ nhất, đồ thị đẳng hình không thể là trừ khi hệ …

10 cc.complexity-theory  graph-isomorphism 

Để chứng minh tính chính xác, tôi đang tìm kiếm một khái niệm có thể sử dụng được về tính tương đương của chương trình cho các hệ thống loại thuần túy (PTS) của Barendregt; thiếu điều đó, cho đủ hệ thống loại cụ thể. Mục tiêu của tôi chỉ …

10 pl.programming-languages  type-theory  operational-semantics 

Tương tự, có một ngữ nghĩa biểu thị đã biết cho các ngôn ngữ lập trình hàm bậc cao xác suất? Cụ thể, có một mô hình miền của -calculus thuần túy được mở rộng bằng một hoạt động lựa chọn nhị phân ngẫu nhiên đối xứng.λλ\lambda Động lực Các …

10 pr.probability  lambda-calculus  ct.category-theory  denotational-semantics  domain-theory 

Độ phức tạp chứng minh là một lĩnh vực cơ bản nhất của lý thuyết phức tạp tính toán. Một mục đích cuối cùng của lĩnh vực này là chứng minh , nghĩa là, bất kỳ người hoạt ngôn nào cũng không thể đưa ra bằng chứng về sự không …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

Trong bài viết năm 1969 " Về độ phức tạp tính toán của các thuật toán " của Hartmanis và Stearns, các tác giả phỏng đoán rằng nếu một Turing Machine thời gian thực tính toán số thực , ví dụ, cơ sở 10, thì r là số hữu tỷ …

10 cc.complexity-theory  reference-request  examples 

Bối cảnh: Xử lý giao dịch đã là một chủ đề nghiên cứu truyền thống trong lý thuyết cơ sở dữ liệu. Ngày nay các giao dịch phân tán được phổ biến bởi các hệ thống lưu trữ phân tán quy mô lớn thường liên quan đến phân vùng dữ …

10 reference-request  big-list  dc.distributed-comp  db.databases 

Cách tiếp cận tiêu chuẩn về giảm thiểu Büchi-Automata (hoặc cả Müller-Automata) là gì? Chuyển giao kỹ thuật thông thường từ các từ hữu hạn, nghĩa là đặt hai trạng thái bằng nhau nếu các từ "hết" các trạng thái được chấp nhận là như nhau, sẽ không hoạt động. …

10 fl.formal-languages  automata-theory 

Cụ thể, ý tôi là gì khi thêm vào, chúng tôi xác định là bảng chữ cái { 0 , 1 , 2 , . . . , tôi } . Với ngôn ngữ bình thường Một và B theo một số bảng chữ cái Σ i , nhìn vào …

10 automata-theory 

Babai và Seress đã chứng minh rằng cho một nhóm và tạo bộ S của G , bất kỳ hoán vị trong G có thể được viết như một sản phẩm của máy phát điện và ngược của họ về chiều dài e ( 1 + o ( 1 ) …

10 gr.group-theory