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

2

# Vấn đề hoàn thành P có phiên bản quyết định trong P

1) Có thể giảm đáng kể từ vấn đề # P-Complete #A sang vấn đề đếm #B khi (phiên bản quyết định) A hoàn thành NP và B ở P không? Ví dụ: có thể có một mức giảm đáng kể từ #SAT xuống #B, khi B ở P không? …

14 cc.complexity-theory  complexity-classes  counting-complexity 

---

2

Biện minh cho phương pháp Hungary (Kuhn-Munkres)

Tôi đã viết một triển khai thuật toán Kuhn-Munkres cho bài toán khớp hoàn hảo lưỡng cực có trọng lượng tối thiểu dựa trên các ghi chú bài giảng tôi tìm thấy ở đây và trên web. Nó hoạt động thực sự tốt, thậm chí trên hàng ngàn đỉnh. Và …

14 ds.algorithms  graph-theory  linear-programming  simplex 

---

3

Sự phức tạp của việc kiểm tra xem hai CNF có cùng số lượng giải pháp không

Đưa ra hai CNF, nếu chúng có cùng số lượng bài tập để biến chúng thành đúng, hãy trả lời "Có", nếu không thì trả lời "Không". Thật dễ dàng để thấy nó có trong , vì nếu chúng ta biết chính xác số lượng giải pháp cho hai CNF …

14 cc.complexity-theory  complexity-classes  counting-complexity 

---

1

Tạo đồ thị với tự động hóa tầm thường

Tôi đang sửa đổi một số mô hình mật mã. Để thể hiện sự bất cập của nó, tôi đã nghĩ ra một giao thức được xây dựng dựa trên sự đẳng cấu của đồ thị. Thật là "phổ biến" (nhưng vẫn còn gây tranh cãi!) Khi giả sử sự …

14 graph-theory  cr.crypto-security  automorphism  graph-isomorphism  randomized-algorithms 

---

1

Làm cách nào để xác định hàm theo quy nạp trên hai đối số trong Coq?

Làm thế nào tôi có thể thuyết phục Coq rằng hàm đệ quy được đưa ra dưới đây chấm dứt? Hàm này có hai đối số quy nạp. Theo trực giác, đệ quy chấm dứt vì một trong hai đối số bị phân rã. Cụ thể, hàm lấy hai cây …

14 interactive-proofs  proof-assistants  coq 

---

1

Là giảm trong cùng vĩnh viễn trong-tính toán?

(Tôi đã hỏi điều này tại MathOverflow, nhưng không có câu trả lời nào ở đó.) Lý lịch Trong phép tính lambda chưa được đánh dấu, một thuật ngữ có thể chứa nhiều redexes và các lựa chọn khác nhau về việc giảm cái nào có thể tạo ra kết …

14 pl.programming-languages  lambda-calculus  proof-theory  normalization 

---

2

Phỏng đoán nổi bật và các vấn đề mở trong lý thuyết trò chơi (thuật toán)?

Những loại phỏng đoán và vấn đề mở lớn nào là quan trọng nhất trong lý thuyết trò chơi thuật toán (hay lý thuyết trò chơi nói chung vì nó liên quan đến CS)? Ví dụ, độ phân giải của NASH là hoàn thành PPAD, tôi nghĩ, sẽ là giải …

14 big-list  gt.game-theory 

---

3

Trộn băm kết hợp

Xem xét danh sách liên kết đơn lẻ trong một thiết lập chức năng hoàn toàn. Những lời ca ngợi của nó đã được hát từ đỉnh núi và sẽ tiếp tục được hát. Ở đây tôi sẽ giải quyết một trong số nhiều điểm mạnh của nó và câu …

14 ds.data-structures  cr.crypto-security  functional-programming  hash-function 

---

1

Đặc tính máy của

là lớp các vấn đề quyết định có thể giải quyết được bởi một họ cácmạch độ sâu O ( log i n ) với các cổng OR không giới hạn OR và giới hạn-fanin AND. Tiêu cực chỉ được phép ở cấp đầu vào. Được biết, S Một C …

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits 

---

1

Phát hiện quan hệ số nguyên cho Subset Sum hoặc NPP?

Có cách nào để mã hóa một thể hiện của Subset Sum hoặc Bài toán phân vùng số để giải pháp (nhỏ) cho một quan hệ số nguyên mang lại câu trả lời không? Nếu không chắc chắn, thì trong một số ý nghĩa xác suất? Tôi biết rằng LLL …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

---

2

Giới hạn dưới trên #SAT?

Vấn đề #SAT là vấn đề # P-đầy đủ. Đây là một vấn đề chức năng chứ không phải là một vấn đề quyết định. Nó hỏi, đưa ra một công thức boolean trong logic mệnh đề, có bao nhiêu bài tập thỏa mãn . Giới hạn dưới tốt nhất …

14 cc.complexity-theory  lower-bounds  sat  counting-complexity 

---

1

Các bài báo kinh điển từ khu vực lý thuyết đệ quy của lý thuyết phức tạp là gì?

Hai giấy tờ tôi sẽ bao gồm: D. Kozen, "Lập chỉ mục các lớp học phụ" , STOC, 1978. R. Ladner, "Về cấu trúc của thời gian đa thức" , JACM, 1975.

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

---

3

Có một lý thuyết tương tự phức tạp của định lý Rice trong lý thuyết tính toán không?

Định lý của Rice nói rằng mọi thuộc tính không cần thiết của tập hợp được công nhận bởi một số máy Turing là không thể xác định được. Tôi đang tìm kiếm định lý loại gạo phức tạp - lý thuyết cho chúng ta biết các tính chất không …

14 cc.complexity-theory  computability  np 

---

1

Đặc trưng các tương đương vô hình bằng các quy tắc viết lại hợp lưu

Để trả lời cho một câu hỏi khác, Phần mở rộng của lý thuyết beta về phép tính lambda , Evgenij đã đưa ra câu trả lời: beta + quy tắc {s = t | s và t được đóng các điều khoản không thể giải quyết} trong đó một …

14 pl.programming-languages  lambda-calculus  lo.logic 

---

4

Subrange of a Red and Black Tree

Trong khi cố gắng sửa một lỗi trong thư viện, tôi đã tìm kiếm các bài báo về việc tìm kiếm các phần phụ trên cây đỏ và đen mà không thành công. Tôi đang xem xét một giải pháp sử dụng khóa kéo và một cái gì đó tương …

14 ds.data-structures  tree 

---