計算問題の冗長性と構造

グラフ同型などの一部の計算問題は、計算が困難（NP-hard）になるほど十分な構造または冗長性を持たないため、NP完全にはなり得ないと広く考えられています。私は、計算問題の構造と冗長性の尺度についてのさまざまな形式的な概念に興味があります。

計算問題のそのような形式的な概念について知られている主要な結果は何ですか？このような概念の最近の調査は非常にいいでしょう。

編集：MathOverflowに投稿

$\mathsf{coAM}$$\mathsf{NP}$$\mathsf{NP}$

$\mathsf{NP}$

（一方で、グループ同型はGI よりもさらに構造化されているように見えますが、グループisoの数え上げから決定への減少は知られていません。おそらくこれはGIが一種の「ちょうど良い」レベルの構造であると言います。 NP完全であるが、決定からカウントへの削減を可能にするほど構造化されていない）