If the given graph G has small treewidth, Courcelle's theorem can be applied directly to this problem.
Если данный граф G имеет малую древесную ширину, теорема Курселя может быть применена к этой проблеме непосредственно.