[论文解读] Extremal problems on identifying codes in digraphs and Bondy's theorem on induced subsets

Florent Foucaud, Reza Naserasr+1 more|arXiv (Cornell University)|Oct 14, 2010

Cooperative Communication and Network Coding参考文献 10被引用 4

一句话总结

本文分类了仅将整个顶点集作为识别码的有限与无限有向图，确立了有向图中识别码的极值情形。通过将此问题与集合系的Bondy定理联系起来，本文刻画了识别码问题与该定理界界的极值构型。

ABSTRACT

An identifying code of a (di)graph $G$ is a dominating subset $C$ of the vertices of $G$ such that all distinct vertices of $G$ have distinct (in)neighbourhoods within $C$. In this paper, we classify all finite digraphs which only admit their whole vertex set in any identifying code. We also classify all such infinite oriented graphs. Furthermore, by relating this concept to a well known theorem of A.~Bondy on set systems we classify the extremal cases for this theorem.

研究动机与目标

• 刻画仅将全顶点集作为识别码的有限有向图，即不存在任何真子集作为识别码。
• 将此分类推广至无限有向图，识别出迫使全顶点集成为唯一识别码的结构特性。
• 将有向图中识别码的极值情形与集合系的Bondy定理及其诱导子集联系起来。
• 通过识别码理论的洞察，确定在Bondy定理界中达到等号的极值构型。

提出的方法

• 在有向图中定义识别码为支配集，其中每个顶点在识别码内的入邻域或出邻域唯一。
• 分析在何种结构约束下，任何顶点的真子集均无法通过其在识别码中的邻域区分所有顶点。
• 使用极值集合论技术，将顶点的邻域集建模为子集族。
• 应用Bondy关于诱导子集的定理，该定理界定了集合族中不同诱导子集的数量，以推导极值构型。
• 通过分析Bondy定理中等号成立的情形，刻画出唯一识别码为全顶点集的有向图。
• 建立极值识别码构型与Bondy定理所描述的极值集合系之间的对偶关系。

实验结果

研究问题

• RQ1 哪些有限有向图不存在真识别码，即仅全顶点集是识别码？
• RQ2 哪些结构特性刻画了仅允许全顶点集作为识别码的无限有向图？
• RQ3 有向图中识别码的极值情形如何对应于Bondy定理中诱导子集的极值情形？
• RQ4 识别码理论中的极值构型与Bondy定理形式化的极值集合论构型之间存在何种关系？
• RQ5 能否通过有向图中识别码的视角刻画Bondy定理中的极值界？

主要发现

• 所有仅将全顶点集作为识别码的有限有向图，均通过其结构特性（如任何真子集中均不存在可区分邻域）被完全刻画。
• 对于无限有向图，仅当每个顶点的入邻域结构在任何真子集中均无法保持时，才仅允许全顶点集作为识别码。
• 有向图中识别码的极值构型恰好对应于Bondy定理关于诱导子集所描述的极值集合系。
• 本文证明，Bondy定理中的等号情形——即诱导子集数量达到理论最大值——与唯一识别码为全顶点集的情形完全一致。
• 该刻画揭示了极值识别码与极值集合系之间深刻的对偶性，为Bondy定理提供了新的组合解释。
• 结果表明，识别码的极值有向图正是那些在任何真子集中，其入邻域族均无法区分所有顶点的图，从而迫使必须使用全集。