[論文レビュー] Shortest circuit covers of signed graphs

Jian Cheng, You Lu+2 more|arXiv (Cornell University)|Oct 19, 2015

Advanced Graph Theory Research参考文献 9被引用数 4

ひとこと要約

本稿は、符号付きグラフの最短回路被覆（SCC）の上界を改善し、$\text{SCC}(G) \leq |E| + 3|V| + z$ という新しい上界を導入する。ここで $z = \min\{\frac{2}{3}|E| + \frac{4}{3}\epsilon_N - 7, |V| + 2\epsilon_N - 8\}$ であり、偶数の負性を持つ2辺連結グラフに対してはさらなる改良がなされる。アプローチは構造的分解とスイッチング不変量、一般化されたバーベルを用いた符号付き回路被覆に基づく。

ABSTRACT

A shortest circuit cover ${\cal F}$ of a bridgeless graph $G$ is a family of circuits that covers every edge of $G$ and is of minimum total length. The total length of a shortest circuit cover ${\cal F}$ of $G$ is denoted by $SCC(G)$. For ordinary graphs (graphs without sign), the subject of shortest circuit cover is closely related to some mainstream areas, such as, Tutte's integer flow theory, circuit double cover conjecture, Fulkerson conjecture, and others. For signed graphs $G$, it is proved recently by Máčajová, Raspaud, Rollová and Škoviera that $SCC(G) \leq 11|E|$ if $G$ is s-bridgeless, and $SCC(G) \leq 9|E|$ if $G$ is $2$-edge-connected. In this paper this result is improved as follows, $$SCC(G) ~ \leq ~ |E| + 3|V| +z$$ where $z ~=~ \min \{ \frac{2}{3}|E|+\frac{4}{3}ε_N-7,~ |V| + 2ε_N -8\}$ and $ε_N$ is the negativeness of $G$. The above upper bound can be further reduced if $G$ is $2$-edge-connected with even negativeness.

研究の動機と目的

• s-ブリッジレスな符号付きグラフの最短回路被覆（SCC）の既存の上界を改善すること。
• 負性の概念と符号付き回路を組み込むことで、通常のグラフからの結果を符号付きグラフへ拡張すること。
• 偶数の負性を持つ2辺連結符号付きグラフに対して、一般化されたバーベルと回路被覆技術を用いて上界を精緻化すること。
• 符号付きグラフにおけるSCC長さ、辺数、頂点数、負性の間のより緊密な定量的関係を確立すること。

提案手法

• s-ブリッジレスな符号付きグラフ $G$ を、$G_1$（ブリッジレスな非符号付き）と $G_2$（$G_2 - E_N(G)$ が非巡回な符号付き）という2つの部分グラフに分解する。
• 頂点スイッチングに対して不変であるように、$\epsilon_N(G)$ の負性を最小化するためのスイッチング不変量を適用する。
• 一般化されたバーベルと符号付き回路被覆を用いて、$G_2$ を $\{1,2,3\}$-被覆または $\{2\}$-被覆として構成する。
• $G_1$ に対して、非符号付きグラフにおける既知の回路被覆結果（例：$\ell(\mathcal{F}_1) \leq \min\{\frac{5}{3}|E(G_1)|, |E(G_1)| + |V(G_1)| - 1\}$）を適用する。
• $\mathcal{F}_1$ と $\mathcal{F}_2'$ を合併することで、$G$ の符号付き回路被覆を構成し、合計長を最小化する。
• 上記の $|E|$、$|V|$、$\epsilon_N$ を含む不等式を用いて最終的な上界を導出する。$z$ は2つの式の最小値として定義され、上界の最適化が図られる。

実験結果

リサーチクエスチョン

• RQ1 s-ブリッジレスな符号付きグラフにおける $\text{SCC}(G)$ の最もタイトな上界は、$|E|$、$|V|$、$\epsilon_N$ の関数としてどのように表せるか？
• RQ2 符号付きグラフの2辺連結性と偶数の負性が、その最短回路被覆長に与える影響は何か？
• RQ3 符号付き回路被覆問題は、非符号付き回路被覆と構造的符号付き部分グラフ被覆の組み合わせに還元可能か？
• RQ4 スイッチング不変量と一般化されたバーベルを、符号付きグラフにおけるSCC上界の精緻化にどの程度活用できるか？
• RQ5 本稿の新しい上界は、従来の結果（s-ブリッジレスな場合 $\text{SCC}(G) \leq 11|E|$、2辺連結な場合 $\leq 9|E|$）と定量的に比較してどの程度優れているか？

主な発見

• 本稿は、新たな上界を確立した：$\text{SCC}(G) \leq |E| + 3|V| + z_1$、ここで $z_1 = \min\{\frac{2}{3}|E| + \frac{4}{3}\epsilon_N - 7, |V| + 2\epsilon_N - 8\}$ であり、従来の $11|E|$ の上界を改善している。
• 偶数の負性を持つ2辺連結符号付きグラフに対しては、上界がさらに緊縮され、$\text{SCC}(G) \leq |E| + 2|V| + z_2$ となる。ここで $z_2 = \min\{\frac{2}{3}|E| + \frac{1}{3}\epsilon_N - 4, |V| + \epsilon_N - 5\}$ である。
• 上記の上界は $\text{SCC}(G) \leq \frac{14}{3}|E| - \frac{5}{3}\epsilon_N - 4$ を意味し、通常のグラフにおける古典的予想 $\frac{21}{15}|E|$ よりもタイトである。
• 証明は、$G$ をブリッジレスな非符号付き部分グラフ $G_1$ と、非負の辺が非巡回である符号付き部分グラフ $G_2$ に分解することに依存している。
• 構成は、$\epsilon_N$ を最小化するためのスイッチング不変量を用い、一般化されたバーベルを用いてすべての負の辺とアンバランスな回路をカバーする。
• 被覆の合計長は、$G_1$ の回路被覆結果と $G_2$ の最小符号付き回路被覆を組み合わせることで境界づけられ、回路数と辺の重複度に基づいて明示的な長さ境界が導出される。