Core Concepts
任意の連結グラフGについて、その閉路交差数の下限を示した。具体的には、頂点数nとサイクロマチック数νを用いて、1/2(ν^2/(n-1)-ν)≤∩(G)という下限を証明した。さらに、より強い下限ˆln,m = (n-1)q/2 + qrを提案し、その正当性を実験的に検証した。
Abstract
本論文では、任意の連結グラフGにおける最小スパニングツリー閉路交差問題の下限について検討している。
まず、定義と補助定理を示した上で、以下の下限を証明した:
1/2(ν^2/(n-1)-ν)≤∩(G)
ここで、nはGの頂点数、νはサイクロマチック数である。
次に、実験結果に基づき、より強い下限を提案した:
(n-1)q/2 + qr ≤∩(G)
ここで、2ν = q(n-1) + rはνとn-1の整数除算である。
この新しい下限は、グラフに universal vertex が存在する場合に最適であることが示された。さらに、一般のグラフに対しても、この下限が最小の閉路交差数を与えることが実験的に確認された。
この結果は、任意の連結グラフに対する最初の一般的な知見であり、閉路交差行列の疎性を評価する上で有用である。また、高速線形ソルバーの適用可能性を判断する際にも役立つと考えられる。
Stats
1/2(ν^2/(n-1)-ν) ≤ ∩(G)
(n-1)q/2 + qr ≤ ∩(G)
ここで、2ν = q(n-1) + rはνとn-1の整数除算である。