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

Nó là nổi tiếng mà tài sản Giáo Hội-Rosser giữ cho -reduction trong chỉ đơn giản là đánh máy giải tích lambda. Điều này ngụ ý rằng các tính toán phù hợp, theo nghĩa là không phải tất cả các phương trình liên quan đến λ -terms là derivable: ví …

13 type-theory  lambda-calculus  dependent-type 

Theo bài báo này , thảo luận về một phần mở rộng không xác định của Giả thuyết Thời gian theo hàm mũ mạnh mẽ (SETH), "[[]] Williams gần đây đã đưa ra các giả thuyết liên quan về độ phức tạp của Merlin-Arthur của k-TAUT là sai". Tuy nhiên, …

13 sat  proofs  nondeterminism 

Khi chúng tôi muốn chứng minh rằng một là -complete, sau đó cách tiếp cận giữa các ý kiến để triển lãm trong một thời gian đa thức tính toán giảm nhiều-một trong những nổi tiếng vấn đề -complete để . Trong bối cảnh này, chúng tôi không cần ràng …

13 cc.complexity-theory  reductions  np-complete 

Tôi quan tâm đến việc hiểu cấu trúc của lớp đồ thị sao cho không có sơ đồ con cảm ứng đỉnh trên bốn đỉnh là một kết hợp hoàn hảo. Được quy định khác nhau cho bốn đỉnh a , b , c , d trong G nếu a …

13 graph-theory 

P / poly là lớp các vấn đề quyết định có thể giải quyết được bởi một họ các mạch Boolean có kích thước đa thức. Ngoài ra, nó có thể được định nghĩa là một máy Turing đa thời gian nhận chuỗi tư vấn có kích thước đa thức …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 

Hãy xem xét vấn đề mà chúng ta được đưa ra làm đầu vào một đồ thị chu kỳ có hướngG=(V,E)G=(V,E)G = (V, E), a labeling function λλ\lambda from VVV to some set LLL with a total order &lt;L&lt;L<_L (e.g., the integers), and where we are asked to compute the …

13 cc.complexity-theory  np-hardness  sorting  directed-acyclic-graph  order-theory 

Có bất cứ điều gì được biết về - -cut nhỏ thứ hai trong mạng lưu lượng không? Hay nói chung hơn về vấn đề này:sssttt Đầu vào: Một mạng và một số , tất cả đều ở dạng nhị phân. Output: Một thứ nhỏ nhất - cắt.NNNkkkkkksssttt Một thứ …

13 cc.complexity-theory  optimization  max-flow-min-cut  flow-problems 

Vì tôi quan tâm đến các trình phân tích cú pháp (chủ yếu là các ngữ pháp biểu thức của trình phân tích cú pháp), tôi tự hỏi liệu có một số công việc đưa ra cách xử lý phân tích phân tích. Bất kỳ tài liệu tham khảo về …

13 reference-request  functional-programming  ct.category-theory  parsing 

Tôi đã đọc về Lý thuyết loại trực giác (ITT) và nó thực sự có ý nghĩa. Nhưng điều tôi đang đấu tranh để hiểu là "tại sao" nó được tạo ra ngay từ đầu? Logic trực giác (IL) và đơn giản gõ -calculus (STLC) và lý thuyết loại nói …

13 lo.logic  soft-question  type-theory  big-picture  ho.history-overview 

Tôi đã đọc một chút về phương pháp tổng bình phương (SOS) từ khảo sát của Barak &amp; Steurer và các bài giảng của Barak . Trong cả hai trường hợp, họ quét các vấn đề về độ chính xác số dưới tấm thảm. Theo hiểu biết của tôi về …

13 optimization  sum-of-squares 

Trong khi viết một bài đăng nhỏ về sự phức tạp của các trò chơi điện tử Nibbler và Snake ; Tôi thấy rằng cả hai đều có thể được mô hình hóa như các vấn đề cấu hình lại trên đồ thị phẳng; và dường như các vấn đề …

13 cc.complexity-theory  reference-request  np-hardness  planar-graphs 

Tôi đang đọc bài trình bày chính thức về lý thuyết loại Martin-Löfs (phụ lục của cuốn sách HoTT ). Các tác giả giới thiệu một hệ thống phân cấp các vũ trụ, sau đó và cả -types cũng như các số tự nhiên (tự cảm thông qua và ). …

13 type-theory 

Cho một nhóm GGG hoán vị trên [n]={1,⋯,n}[n]={1,⋯,n}[n]=\{1, \cdots, n\} và hai vectơ trong đó là một bảng chữ cái hữu hạn không hoàn toàn phù hợp ở đây, câu hỏi là liệu có tồn tại một số sao cho trong đó có nghĩa là áp dụng hoán vị trên …

13 cc.complexity-theory  graph-isomorphism  permutations 

Tôi đang đọc bài báo "Fast Paxos" của Leslie Lamport và bị mắc kẹt với các bằng chứng chính xác của cả Paxos cổ điển và Paxos nhanh. Để thống nhất, giá trị vvv được chọn bởi điều phối viên trong giai đoạn2a2một2a ở vòng sẽ thỏa mãniTôii CP(v,i):CP(v,Tôi):CP(v,i): Đối …

13 ds.algorithms  dc.distributed-comp  proofs 

Các -hierarchy là một hệ thống các lớp phức tạp về độ phức tạp tham số, xem Zoo phức tạp cho các định nghĩa. Một định nghĩa thay thế định nghĩa bằng cách sử dụng định nghĩa Fagin có trọng số cho thức của logic thứ nhất, xem sách giáo …

13 cc.complexity-theory  parameterized-complexity