[论文解读] Characterization of Randomly k-Dimensional Graphs

Mohsen Jannesari, Behnaz Omoomi|arXiv (Cornell University)|Mar 18, 2011

Graph Labeling and Dimension Problems参考文献 3被引用 6

一句话总结

本文表征了随机k维图——即每个k个顶点的集合都是基的图——证明此类图恰好为完全图K_{k+1}与奇圈。作者证明当k ≥ 3时，仅K_{k+1}满足随机k维性质，解决了关于除完全图与奇圈外是否存在其他此类图的开放问题。

ABSTRACT

For an ordered set $W=\{w_1,w_2,...,w_k\}$ of vertices and a vertex $v$ in a connected graph $G$, the ordered $k$-vector $r(v|W):=(d(v,w_1),d(v,w_2),.,d(v,w_k))$ is called the (metric) representation of $v$ with respect to $W$, where $d(x,y)$ is the distance between the vertices $x$ and $y$. The set $W$ is called a resolving set for $G$ if distinct vertices of $G$ have distinct representations with respect to $W$. A minimum resolving set for $G$ is a basis of $G$ and its cardinality is the metric dimension of $G$. The resolving number of a connected graph $G$ is the minimum $k$, such that every $k$-set of vertices of $G$ is a resolving set. A connected graph $G$ is called randomly $k$-dimensional if each $k$-set of vertices of $G$ is a basis. In this paper, along with some properties of randomly $k$-dimensional graphs, we prove that a connected graph $G$ with at least two vertices is randomly $k$-dimensional if and only if $G$ is complete graph $K_{k+1}$ or an odd cycle.

研究动机与目标

• 解决Chartrand等人提出的开放问题，即关于除完全图与奇圈外是否存在随机k维图。
• 表征所有当k ≥ 3时为随机k维的连通图。
• 利用度量维数与可解集理论，建立图是随机k维的必要与充分条件。
• 证明当k ≥ 3时，唯一满足随机k维性质的图是K_{k+1}与奇圈，扩展了对k=2时结果的已有研究。

提出的方法

• 利用度量表示理论，将每个顶点分配一个到k元集W的距离k维向量。
• 应用可解集与基的概念，将随机k维图定义为每个k元集都是基的图。
• 采用结构图论，包括邻域分析、距离分划（Γ_i(v)）及边正则性论证。
• 通过反证法，假设存在除K_{k+1}或奇圈外的随机k维图。
• 在子证明中假设3-正则性，通过距离表示推导结构约束与矛盾。
• 利用已知的度量维数结果，如β(G) = 1 当且仅当 G = P_n，且 β(G) = n−1 当且仅当 G = K_n，以锚定分析。

实验结果

研究问题

• RQ1 当k ≥ 3时，是否存在除完全图与奇圈外的随机k维图？
• RQ2 图需满足何种结构性质才能成为随机k维图？
• RQ3 能否将随机k维图的表征从k=2推广至更高维度？
• RQ4 在这些图中，度量维数、可解数与基数之间有何关系？
• RQ5 在何种条件下，每个k个顶点的集合都会构成一个基？

主要发现

• 当k ≥ 3时，唯一的随机k维图是完全图K_{k+1}与奇圈。
• 该表征解决了开放问题，证明当k ≥ 3时，除K_{k+1}与奇圈外，不存在其他随机k维图。
• 本文证明，若G是随机3维图，则G = K_4，确立了k=3时的基例。
• 证明表明，在k ≥ 3的随机k维图中，每个顶点的邻域必须是独立集。
• 证明表明，任何试图构造一个3-正则、非完全图且为随机3维图的尝试，都会在距离表示中导致矛盾。
• 该结果将已知的随机2维图（奇圈）的表征推广至更高维度，揭示出严格的二分性：仅K_{k+1}与奇圈满足该性质。