本論文では、構造化された分解という概念を導入する。これは、グラフ理論(木幅、層状木幅、共木幅、グラフ分解幅を含む)、幾何学的群論(特にバス-セール理論)、および力学系(ハイブリッド力学系など)からの概念を一般化するカテゴリ論的なデータ構造である。さらに、構造化された分解により、これらの組合せ不変量を新しい設定で一般化することができる。例えば、十分な余積を持つ任意のカテゴリでは、アルゴリズム的に有用な構造的合成性を記述する。この理論の応用として、SUB-P COMPOSITION問題のアルゴリズムメタ定理を証明する。具体的には、グラフのカテゴリに適用すると、最大二部部分グラフ、最大平面部分グラフ、最長パスなどのNP困難問題に対して合成的なアルゴリズムが得られる。
To Another Language
from source content
arxiv.org
Key Insights Distilled From
by Benjamin Mer... at arxiv.org 09-11-2024
https://arxiv.org/pdf/2207.06091.pdfDeeper Inquiries