Câu hỏi được gắn thẻ «hard-instances»

Greibach nổi tiếng được xác định một ngôn ngữ , cái gọi là phiên bản không xác định của , chẳng hạn rằng bất kỳ CFL là một hình ảnh hình thái nghịch đảo của . Có tồn tại một tuyên bố tương tự với DCFL, có thể với một …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

Bài báo gần đây từ FOCS2013, Strong Backreen to Bounded Treecreen SAT của Gaspers và Szeider nói về mối liên hệ giữa treewidth của biểu đồ mệnh đề SAT và độ cứng của thể hiện. Đối với các trường hợp 3-SAT ngẫu nhiên, tức là các trường hợp 3-SAT được …

11 graph-algorithms  sat  treewidth  random-k-sat  hard-instances 

Tôi quan tâm đến các ví dụ rõ ràng về đồ thị ứng dụng thuật toán Goemans và Williamson để tính gần đúng mức cắt tối đa dẫn đến hệ số xấp xỉ 0,878. Thuật toán để tạo ra các trường hợp như vậy sẽ là hoàn hảo, các ví …

10 ds.algorithms  approximation-algorithms  max-cut  hard-instances 

Tôi quan tâm đến các trường hợp "khó" riêng lẻ của các vấn đề hoàn thành NP. Ryan Williams đã thảo luận về vấn đề SAT0 tại blog của Richard Lipton . SAT0 hỏi liệu một trường hợp SAT có giải pháp cụ thể bao gồm tất cả 0 không. …

10 cc.complexity-theory  sat  hard-instances