Tôi đang tìm kiếm một bài viết dễ dàng và giới thiệu về bằng chứng của Định lý của Courcelle . Tôi cũng quan tâm đến mối liên hệ của nó với sự phức tạp được tham số hóa liên quan đến treewidth .
Tôi chỉ là người mới bắt đầu trong lĩnh vực này.
Bất kỳ đề xuất?
Câu trả lời:
Có một phần giới thiệu nhẹ nhàng trong cuốn sách của Rolf Niedermeier, Lời mời đến các thuật toán tham số cố định . Daniel Marx cũng có khá nhiều slide có sẵn trên trang chủ của mình có chứa các ví dụ ngắn về mô hình hóa một vấn đề trong MSOL. Một bộ các slide có liên quan ở đây . Để biết thêm các liên kết, xem một câu hỏi liên quan trên CSTheory .
Định lý của Courcelle là một trong những điều được giải thích rõ hơn (so với cuốn sách của Niedermeier) trong cuốn sách của Flum và Grohe (xem chương treewidth), vì các vấn đề kiểm tra mô hình, v.v. Bởi cùng các tác giả và Frick cũng có một khái quát về Định lý của Courcelle: Đánh giá truy vấn thông qua phân tách cây . Bạn cũng có thể xem xét các định lý meta tương tự cho chiều rộng clique và chiều sâu cây bụi .
Cũng xem ở đây để biết tổng quan ngắn về một số bài viết trước đây của Courcelle.