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

5

Các vấn đề đồ thị cứng có thể giải quyết được

Trước kết quả gần đây của Arora, Barak và Steurer, Thuật toán phụ cho các trò chơi độc đáo và các vấn đề liên quan , tôi quan tâm đến các vấn đề đồ thị có thuật toán thời gian phụ nhưng được cho là không thể giải quyết được …

25 cc.complexity-theory  reference-request 

---

1

Một vấn đề phân vùng cạnh trên đồ thị khối

Sự phức tạp của vấn đề sau đây đã được nghiên cứu? Input : a khối (hoặc -regular) đồ thị G = ( V , E ) , một trên ràng buộc tự nhiên t333G = ( V, E)G= =(V,E)G=(V,E)ttt Câu hỏi : có phân vùng vào | E | …

25 graph-theory  np-hardness  co.combinatorics 

---

2

Xấp xỉ thứ hạng dấu hiệu của ma trận

Thứ hạng dấu hiệu của ma trận A có + 1, -1 mục nhập là thứ hạng ít nhất (trên thực tế) của ma trận B có cùng mẫu dấu với A (nghĩa là cho tất cả i , j ). Khái niệm này rất quan trọng trong sự phức …

25 lg.learning  open-problem  communication-complexity  matrices 

---

4

Bằng chứng, Rào cản và P vs NP

Người ta biết rằng bất kỳ bằng chứng nào giải quyết câu hỏi P vs NP đều phải vượt qua quá trình tương đối hóa , bằng chứng tự nhiên và các rào cản đối kháng . Sơ đồ sau phân vùng "không gian bằng chứng" thành các vùng khác …

25 cc.complexity-theory  proofs  barriers  p-vs-np 

---

5

Xác minh các giải pháp độc đáo của SAT

Hãy xem xét vấn đề sau: đưa ra một công thức CNF và một bài tập thỏa mãn công thức này, có một bài tập thỏa mãn nào khác cho công thức này không? Sự phức tạp của vấn đề này là gì? (Nó chắc chắn là trong NP, nhưng …

25 cc.complexity-theory  np-hardness  sat  unique-solution 

---

4

Giao điểm DFA trong không gian phụ?

Giao điểm của hai DFA (tối thiểu) với n trạng thái có thể được tính bằng thời gian và không gian O (n 2 ). Điều này là tối ưu nói chung, vì DFA kết quả (tối thiểu) có thể có n 2 trạng thái. Tuy nhiên, nếu DFA tối …

25 automata-theory  dfa 

---

4

Có bằng chứng cụ thể nào cho P = RP?

RP là loại vấn đề có thể quyết định bởi một máy Turing không xác định chấm dứt trong thời gian đa thức, nhưng điều đó cũng được cho phép là lỗi một phía. P là loại vấn đề thông thường có thể quyết định bằng máy Turing xác định …

25 cc.complexity-theory  derandomization  conditional-results  randomized-algorithms 

---

2

Sở thú phức tạp cho các ngôn ngữ đơn phương

Tất nhiên, một số kết quả phức tạp có thể sụp đổ đối với các ngôn ngữ đơn nhất nhưng tôi tự hỏi liệu có một cuộc khảo sát nào đó tóm tắt các kết quả đã biết trong trường hợp này: một loại sở thú phức tạp cho các …

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

---

5

Vấn đề kết nối lật tối thiểu

Tôi đã hình thành vấn đề sau đây trong khi chơi với GPS của mình. Đây là: Đặt là đồ thị có hướng sao cho nếu thì , nghĩa là, là một hướng của đồ thị vô hướng nằm bên dưới. Hãy xem xét các hoạt động sau:e = ( …

25 ds.algorithms  graph-algorithms 

---

4

Tại sao chúng ta cần ngữ nghĩa chính thức cho logic vị ngữ?

Hãy xem xét câu hỏi này. Tôi sẽ không chọn một câu trả lời hay nhất vì tất cả chúng đều góp phần vào sự hiểu biết của tôi về chủ đề này. Tôi không chắc chúng ta có lợi ích gì khi chính thức xác định ngữ nghĩa của …

25 lo.logic  semantics 

---

1

Từ chối bằng chứng: Đánh giá nghiệp dư của các bài báo CoRR đầy tham vọng

Tôi đoán rằng tôi đã đọc quá nhiều bài báo CoRR đầy tham vọng . Vấn đề là những bài báo đó không được xem xét ngang hàng, nhưng thường nghe có vẻ thú vị và vượt qua kiểm tra tính hợp lý cơ bản. Hoặc có thể họ không, …

24 soft-question  graph-isomorphism  paper-review  ppad 

---

2

Có thể quyết định để xác định nếu một hình dạng nhất định có thể xếp mặt phẳng?

Tôi biết rằng không thể xác định được liệu một bộ gạch có thể xếp máy bay hay không, kết quả của việc Berger sử dụng gạch Wang . Câu hỏi của tôi là liệu nó cũng được biết đến là undecidable để xác định xem một single cho gạch …

24 reference-request  co.combinatorics  decidability  undecidability 

---

2

Tại sao Agda và Coq không đồng ý về tính tích cực nghiêm ngặt?

Tôi đã vấp phải một sự bất đồng khó hiểu giữa Agda và Coq rõ ràng không liên quan đến sự khác biệt được biết đến nhiều nhất giữa các lý thuyết loại của họ (ví dụ, (im) dự đoán, đệ quy cảm ứng, v.v.). Cụ thể, định nghĩa sau …

24 type-theory  coq 

---

2

Ý nghĩa của việc chứng minh abc phỏng đoán cho lý thuyết cs

Điều gì có ý nghĩa một bằng chứng về phỏng đoán abc có cho tcs? http://quomodocumque.wordpress.com/2012/09/03/mochizuki-on-abc/

24 big-picture  nt.number-theory 

---

1

Điều gì đang

Điều này có liên quan đến câu hỏi Kích thước thành viên chứng kiến ​​cho mọi ngôn ngữ NP đã được biết đến chưa? Một số vấn đề (-complete) tự nhiên có các nhân chứng độ dài tuyến tính: một phép gán thỏa mãn cho S A T , một …

24 cc.complexity-theory  complexity-classes  np 

---