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

Có điều gì trong tài liệu gần với vấn đề sau: Cho một đồ thị hai phía với cân bằng bipartition { U , W } , không có tồn tại một kết hợp hoàn hảo M trong G như vậy mà cho mỗi 2 cạnh u 1 w 1 …

11 matching 

Tôi sẽ rất quan tâm đến các tài liệu tham khảo về lý thuyết về các hàm dưới (từ cơ bản đến nâng cao). Cụ thể, tôi đang nghiên cứu các xấp xỉ cho các vấn đề tối ưu hóa cứng và tôi muốn phát triển nền tảng của mình …

11 ds.algorithms  reference-request  approximation-algorithms  optimization 

Một trong những hậu quả thiết thực nhất của sự tương ứng "Curry-Howard-Lambek" là cú pháp của nhiều lambda-calucli / logic có thể được sử dụng để thực hiện các công trình trong một thể loại có cấu trúc đầy đủ. Ví dụ, Hình học vi phân tổng hợp có …

11 reference-request  pl.programming-languages  type-theory  ct.category-theory  constructive-mathematics 

Hãy xem xét một đồ thị vô hướng được kết nối với trọng số cạnh không âm và hai đỉnh phân biệt . Dưới đây là một số vấn đề về đường dẫn là tất cả các dạng sau: tìm đường dẫn , sao cho một số chức năng của …

10 graph-theory  graph-algorithms  np-complete  polynomial-time 

Robin Gandy là một học sinh của Alan Turing . Gandy đã thực hiện một phân tích về Công cụ phân tích của Babbage (xem 'Gandy - Sự kết hợp của các ý tưởng vào năm 1936' được trích dẫn trong 'Herken, Rolf - The Turing Machine Universal Một cuộc …

10 turing-machines  universal-computation  charles-babbage 

Với đồ thị G1, G2 và G3, chúng tôi muốn thực hiện kiểm tra đẳng cấu F giữa G1 và G2 cũng như G1 và G3. Nếu G2 và G3 rất giống nhau sao cho G3 được hình thành bằng cách xóa một nút và chèn một nút khỏi G2 …

10 graph-theory  graph-algorithms  graph-isomorphism 

Vấn đề kết hợp hoàn hảo hai màu là quyết định xem biểu đồ có tô màu bằng hai màu sao cho mỗi nút có chính xác một hàng xóm cùng màu với chính nó hay không. Vấn đề đã được chứng minh là hoàn thành NP bởi Schaefer . …

10 cc.complexity-theory  np-hardness 

Chúng tôi biết theo chúng tôi không thể giải quyết -SUM trong thời gian dưới bất kỳ chức năng (thường là ).ETHETHETHKKKf(K)poly(nK)f(K)poly(nK)f(K)poly(nK)f(K)f(K)f(K)2O(K)2O(K)2^{O(K)} Có bất kỳ phỏng đoán nào ngăn cản sự phức tạp (điều này hoàn toàn phù hợp với khả năng vì chúng ta cần thời gian theo cấp …

10 cc.complexity-theory  subset-sum 

Tôi tự hỏi liệu ai đó có thể cho tôi trực giác đằng sau lý do tại sao tính tích cực nghiêm ngặt của các loại dữ liệu quy nạp đảm bảo chuẩn hóa mạnh mẽ. Để rõ ràng, tôi thấy làm thế nào có sự xuất hiện tiêu cực …

10 reference-request  pl.programming-languages  type-theory  type-systems  dependent-type 

Trong Sở thú phức tạp, nó nói [ 1 ] rằng, trong độ phức tạp mô tả, có thể được định nghĩa bằng ba loại công thức khác nhau, cũng là và cũng là .PPPFO ( L FP)FO(LFP)FO(LFP)FÔ ( nÔ ( 1 ))FO(nO(1))FO(n^{O(1)})SO ( HÔ R N)SO(HORN)SO(HORN) Tuy nhiên, có …

10 lo.logic  polynomial-time  descriptive-complexity 

Lớp NCiNCi\textrm{NC}^i là các hàm lớp được tính toán bởi các họ mạch có giới hạn quạt, kích thước nO(1)nO(1)n^{O(1)} và độ sâu O(logi(n))O(logi⁡(n))O(\log^i(n)) . Các NCNC\textrm{NC} -hierarchy là sự kết hợp của những lớp học. Có nghiên cứu nào về biến thể kích thước tuyến tính của hệ thống …

10 cc.complexity-theory  circuit-complexity 

Tôi hiện đang tìm kiếm một đề tài cho một luận án và gặp phải lĩnh vực lý thuyết thông tin thuật toán. Lĩnh vực này có vẻ rất thú vị đối với tôi, nhưng dường như mọi thứ là lĩnh vực đã được thực hiện trước nhiều năm. Vì …

10 cc.complexity-theory  it.information-theory 

Đây là một khái quát của câu hỏi trước đây của tôi . Hãy là một đa thức-cỗ máy thời gian xác định, có thể đặt câu hỏi với một số oracle . Ban đầu trống nhưng điều này có thể được thay đổi sau một trò chơi sẽ được …

10 cc.complexity-theory  complexity-classes  gt.game-theory 

Có ví dụ nào về trường hợp mô phỏng cổ điển của thuật toán lượng tử cho một vấn đề vượt trội hơn thuật toán cổ điển được biết đến trước đây cho vấn đề này không? "Xuất sắc hơn" không có nghĩa là lớp phức tạp khác nhau, nó …

10 cc.complexity-theory  quantum-computing  quantum-information 

Tôi đang ở trong một tình huống mà tôi cần phải chứng minh rằng việc đánh máy là có thể quyết định đối với một phép tính phụ thuộc mà tôi đang làm việc. Cho đến nay, tôi đã có thể chứng minh rằng hệ thống đang bình thường hóa …

10 reference-request  pl.programming-languages  type-theory  dependent-type  typed-lambda-calculus