[论文解读] A Note on the Sparing Number of Graphs

Sudev Naduvath, K. A. Germina|arXiv (Cornell University)|Feb 20, 2014

Graph Labeling and Dimension Problems参考文献 11被引用 13

一句话总结

本文建立了图的稀疏数与其最大二分图子图之间的直接关系，证明了稀疏数 φ(G) 等于使图变为二分图所需移除的边的最小数量。文章推导出 k-色图、奇圈以及复杂非二分图（如格罗茨施图、杜勒图和十二面体图）的稀疏数的显式公式，关键结果表明：格罗茨施图的 φ(G) = 5，杜勒图的 φ(G) = 4，十二面体图的 φ(G) = 6。

ABSTRACT

An integer additive set-indexer is defined as an injective function $f:V(G) ightarrow 2^{\mathbb{N}_0}$ such that the induced function $g_f:E(G) ightarrow 2^{\mathbb{N}_0}$ defined by $g_f (uv) = f(u)+ f(v)$ is also injective. An IASI $f$ is said to be a weak IASI if $|g_f(uv)|=max(|f(u)|,|f(v)|)$ for all $u,v\in V(G)$. A graph which admits a weak IASI may be called a weak IASI graph. The set-indexing number of an element of a graph $G$, a vertex or an edge, is the cardinality of its set-labels. The sparing number of a graph $G$ is the minimum number of edges with singleton set-labels, required for a graph $G$ to admit a weak IASI. In this paper, we study the sparing number of certain graphs and the relation of sparing number with some other parameters like matching number, chromatic number, covering number, independence number etc.

研究动机与目标

• 确定各种非二分图（包括复杂多面体图）的稀疏数 φ(G)。
• 建立稀疏数与最大二分图子图结构之间的理论联系。
• 探讨 φ(G) 与色数、匹配数和独立数等经典图参数之间的关系。
• 为特定图族提供基于边删除与圈分析的 φ(G) 计算构造方法。
• 通过图参数表征其结构约束，拓展对弱整数加法集合索引（弱 IASI）的理解。

提出的方法

• 基于定理 2.3 提出：稀疏数 φ(G) 等于使 G − E′ 成为二分图的最小边集 E′ 的大小。
• 应用定理 2.1 和定理 2.2 表明：任何非二分的弱 IASI 图必须至少含有一条单索引边，且 E′ 中的边必须为单索引边。
• 利用和集运算 g_f(uv) = f(u) + f(v) 定义弱 IASI 中的诱导边标记，确保单射性与集合索引数约束。
• 采用图着色与颜色类分析推导 k-色图的 φ(G)，证明其等于除两个最大颜色类外所有颜色类中顶点总数，如定理 2.5 所示。
• 通过迭代删除边以消除奇圈，构建最大二分图子图 H = G − E′，其中 E′ 为单索引边集合。
• 通过识别共享奇圈并每对公共奇圈移除一条边，验证特定图（格罗茨施图、杜勒图、十二面体图）的结果，以消除所有奇圈。

实验结果

研究问题

• RQ1 k-色图的稀疏数 φ(G) 是多少？它与各颜色类大小有何关系？
• RQ2 非二分图的稀疏数 φ(G) 与其最大二分图子图的大小有何关系？
• RQ3 格罗茨施图、杜勒图和十二面体图等著名非二分图的稀疏数是多少？
• RQ4 稀疏数能否仅从奇圈数量及其边交集确定？
• RQ5 在特定图族中，φ(G) 与色数、匹配数等经典图参数之间存在何种关系？

主要发现

• 图 G 的稀疏数 φ(G) 等于使图变为二分图所需移除的边的最小数量，即 φ(G) = |E′|，其中 G − E′ 为最大二分图子图。
• 对于 k-色图 G，稀疏数等于除两个最大颜色类外所有颜色类中顶点总数，如定理 2.5 所证明。
• 奇圈的稀疏数为 1，而二分图的稀疏数为 0，如定理 2.6 所确立。
• 格罗茨施图图的稀疏数为 φ(G) = 5，通过移除共享于多个奇圈中的五条边得以确认。
• 杜勒图图的稀疏数为 φ(G) = 4，通过移除多条奇圈共有的四条边推导得出。
• 十二面体图的稀疏数为 φ(G) = 6，通过消除六条位于奇 5-圈对之间的共享边实现。