[论文解读] 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\}$，并对具有偶negativeness的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）的现有上界。
• 通过引入negativeness概念与签名圈的概念，将普通图的结果推广至签名图。
• 利用广义夹钳与圈覆盖技术，对具有偶negativeness的2-边连通签名图进一步优化上界。
• 建立SCC长度、边数、顶点数与negativeness之间更紧密的定量关系。

提出的方法

• 将s-桥无签名图 $G$ 分解为两个子图：$G_1$（桥无无符号图）与 $G_2$（其非负边构成的图 $G_2 - E_N(G)$ 为无环图）。
• 应用切换不变性以最小化negativeness $\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$ 定义为两个表达式的最小值，以实现上界的最优优化。

实验结果

研究问题

• RQ1 在s-桥无签名图中，$\text{SCC}(G)$ 的最紧致上界（以 $|E|$、$|V|$ 与 $\epsilon_N$ 表示）是什么？
• RQ2 签名图的2-边连通性与偶negativeness如何影响其最短圈覆盖的长度？
• 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|$ 上界。
• 对于具有偶negativeness的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$ 的最小签名圈覆盖实现有界，明确推导出基于圈数与边重叠的长度上界。