クールセルの定理：論文を探す

クールセルの定理の証明に関する簡単で紹介的な論文を探しています。ツリー幅に関するパラメータ化された複雑さとの関係にも興味があります。

私はこの分野の初心者です。

助言がありますか？

Rolf Niedermeierの本「Invitation to Fixed Parameter Algorithms」には、やさしい紹介があります。Daniel Marxのホームページには、MSOLでの問題のモデリングの短い例を含むスライドがかなりたくさんあります。関連するスライドのセットはこちらです。その他のリンクについては、CSTheoryの関連質問を参照してください。

モデルチェックの問題などが詳細に説明されているため、Courcelleの定理は、Flum and Groheの本（ツリー幅の章を参照）で（Niedermeierの本と比較して）よりよく説明されているものの1つです。同じ著者とフリックによって、Courcelleの定理の一般化もあります：tree-decompositionsによるクエリ評価。clique-widthおよびshrub-depthの同様のメタ定理も確認できます。

また、Courcelleの以前の論文のいくつかの簡単な概要については、こちらをご覧ください。