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

Được đưa vào làm đầu vào một số nguyên và một tập hợp gồm các phần tử của \ {1, ..., n \} , độ phức tạp của việc tìm một tập hợp T các phần tử của \ {1, ..., n \} sao cho T có cardinality tối thiểu …

14 cc.complexity-theory  ds.algorithms 

Tôi thường bị nhầm lẫn bởi mối quan hệ giữa chuyển đổi và tính mở rộng. Chỉnh sửa: Theo nhận xét, có vẻ như tôi cũng nhầm lẫn về mối quan hệ giữa tương đương mở rộng và tương đương quan sát. Nhưng ít nhất là trong Agda với sự …

14 pl.programming-languages  lambda-calculus 

Trong bài viết Phân tích ngẫu nhiên Primal-Dual của RANKING cho Kết hợp Bipartite trực tuyến , đồng thời chứng minh rằng thuật toán RANKING là , các tác giả cho thấy rằng kép là khả thi trong kỳ vọng (xem Bổ đề 3 trên trang 5). Câu hỏi của …

14 linear-programming  randomized-algorithms  online-algorithms  matching  primal-dual 

Một trò chơi phổ biến tại các bữa tiệc ngày lễ ở Bắc Mỹ là trao đổi quà tặng voi trắng . Tóm lại (bỏ qua các biến thể) nó hoạt động như sau: Có người và gói quà. Người chơi được ra lệnh tùy ý. Trong vòng , người …

14 gt.game-theory  mechanism-design 

Lớp phức tạp liên quan đến các thuật toán tìm kiếm toàn diện là gì? (nếu có một) Là NP hay PSPACE? Có các mô hình tính toán bị hạn chế nắm bắt lớp các thuật toán tìm kiếm toàn diện tương tự như các mô hình cho lập trình …

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

Tôi đang đọc "Sự kết hợp giữa ngôn ngữ thông thường và độ phức tạp mô tả " của Galina Jiraskova, 2009 về sự phức tạp trạng thái do sự kết hợp của hai ngôn ngữ thông thường (bởi Galina Jiraskova), nhưng tôi không thể hiểu ý nghĩa thực tế …

14 fl.formal-languages  automata-theory  regular-language 

Tôi nhớ lại đã thấy một nghiên cứu hoặc bài báo trước đây tuyên bố rằng hầu hết các tốc độ được thấy trong các chương trình máy tính trong vài thập kỷ qua là từ các thuật toán tốt hơn thay vì phần cứng nhanh hơn. Có ai biết …

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

Cả hai vấn đề GI và Hôn đều là vấn đề quyết định sự tương đương cấu trúc của các đối tượng toán học. Có bất kỳ kết quả thiết lập kết nối giữa chúng? Các kết nối tốt đẹp của vấn đề nút thắt với vật lý thống kê …

14 cc.complexity-theory  reference-request  graph-theory  graph-isomorphism  algebraic-topology 

Hãy xem xét không gian chiều và cho là một ràng buộc tuyến tính có dạng , trong đó , và .{ 0 , 1 } n c a 1 x 1 + a 2 x 2 + a 3 x 3 + . . . + Một n - …

14 reference-request  co.combinatorics  optimization  linear-programming  convex-optimization 

Tôi quan tâm đến đồ thị trên nnn đỉnh có thể được tạo ra thông qua quy trình sau. Bắt đầu với một đồ thị tùy ý trên các đỉnh . Dán nhãn tất cả các đỉnh trong là không sử dụng .k ≤ n GGGGk≤nk≤nk\le nGGG Tạo ra một …

14 ds.algorithms  graph-theory  treewidth 

Một ngôn ngữ chức năng có thể được xem như là một thể loại trong đó các đối tượng của nó là các loại và các hình thái chức năng giữa chúng. Làm thế nào để các lớp loại phù hợp trong mô hình này? Tôi giả sử chúng ta …

14 lo.logic  functional-programming  ct.category-theory  denotational-semantics  type-systems 

Kết quả 1: Định lý Linial-Mansour-Nisan nói rằng trọng số phạm vi của các hàm được tính toán bởi các mạch AC0AC0\mathsf{AC}^0 tập trung vào các tập con có kích thước nhỏ với xác suất cao. Kết quả 2: PARITYPARITY\mathsf{PARITY} có trọng lượng phạm vi tập trung vào hệ số …

14 cc.complexity-theory  circuit-complexity  boolean-functions  fourier-analysis 

Câu hỏi đầu tiên của tôi là liệu một đặc tính hệ thống bằng chứng tương tác được biết đến với tất cả các lớp phức tạp cổ điển. Tôi sẽ gọi P, NP, PSPACE, EXP, NEXP, EXPSPACE, đệ quy và đệ quy các hàm cổ điển (trong số các …

14 cc.complexity-theory  big-picture  interactive-proofs 

Tôi đang bắt đầu học tiến sĩ vào mùa thu này và tôi đang lên kế hoạch làm việc trong lý thuyết phức tạp cho luận án của mình. Tôi đang biên soạn một danh sách các bài báo quan trọng mà mọi nhà lý thuyết phức tạp nên biết. …

14 cc.complexity-theory  reference-request  big-list 

Chúng ta biết rằng nếu khoảng cách giữa các giá trị của chương trình số nguyên và giá trị kép của nó ("khoảng cách đối ngẫu") bằng 0, thì việc thư giãn lập trình tuyến tính của chương trình số nguyên và đối ngẫu của thư giãn, cả hai đều …

14 ds.algorithms  optimization  linear-programming  integrality-gap