本論文では、三角形のない最大2-マッチングを効率的に見つける新しいアルゴリズムを提示する。
まず、三角形のない2-マッチングMに対して、Mを増大させる三角形のない増大路が常に存在することを示す。ただし、そのような増大路を効率的に見つける方法は知られていなかった。
本論文では、そのような増大路を「amenable」と呼ばれる特殊な増大路に制限することで、効率的に見つける方法を提案する。amenable増大路とは、含まれる三角形を特定の方法で通過するものである。
アルゴリズムの核心は、amenable増大路を見つけるために、グラフ上の一部の辺の組み合わせを動的に禁止する仕組みを導入することである。この仕組みを実現するために、辺を2つの半辺に分割するという新しい概念を用いる。
提案するアルゴリズムは、Hartvigsenのアルゴリズムに比べて大幅に単純化されており、正当性の証明も短い。
To Another Language
from source content
arxiv.org
Ключові висновки, отримані з
by Katarzyna Pa... о arxiv.org 04-19-2024
https://arxiv.org/pdf/2311.13590.pdfГлибші Запити