Định lý của Courcelle: Tìm kiếm giấy tờ


8

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:



4

Đị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 cliquechiề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.

Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.