知られている最も一般的な結果はGroheによるものです。2010年7月に要約が発表されました。
- Martin Grohe、固定小数点の定義可能性と未成年者が除外されたグラフの多項式時間、LICS 2010(PDF)
要するに、カウントを伴う固定小数点ロジックで表現可能なステートメントには、少なくとも1つの除外されたマイナーを持つグラフのクラスで多項式時間アルゴリズムがあります。(FP + Cは、固定小数点演算子と、定義可能な頂点セットのカーディナリティを提供する述語で拡張された1次論理です)。重要な考え方は、マイナーを除外すると、クラス内のグラフが固定小数点ロジックで定義可能なツリー状の分解を順序付けできるようになることです(カウントなし)。
したがって、FP + Cで定義できるが数えにくいプロパティを検討することで、質問に対する多数の回答を得ることができます。
編集:これが実際にあなたの質問に答えるかどうかはわかりませんが、あなたのアップデートについてはそうではありません。Groheの結果へのポインタとステートメントは正しいですが、削除されたテキストはあなたの質問に関連しているとは思いません。(これを指摘してくれたStephan Kreutzerに感謝します。)明確にする価値があるかもしれません。一般的には難しいが、マイナーな除外クラスでは簡単なカウント問題、または決定問題が必要ですか?