本論文では、構造化された分解という概念を導入する。これは、グラフ理論(木幅、層状木幅、共木幅、グラフ分解幅を含む)、幾何学的群論(特にバス-セール理論)、および力学系(ハイブリッド力学系など)からの概念を一般化するカテゴリ論的なデータ構造である。さらに、構造化された分解により、これらの組合せ不変量を新しい設定で一般化することができる。例えば、十分な余積を持つ任意のカテゴリでは、アルゴリズム的に有用な構造的合成性を記述する。この理論の応用として、SUB-P COMPOSITION問題のアルゴリズムメタ定理を証明する。具体的には、グラフのカテゴリに適用すると、最大二部部分グラフ、最大平面部分グラフ、最長パスなどのNP困難問題に対して合成的なアルゴリズムが得られる。
На другой язык
из исходного контента
arxiv.org
Дополнительные вопросы