[论文解读] Circular-arc hypergraphs: Rigidity via Connectedness

Johannes Köbler, Sebastian Kuhnert+1 more|arXiv (Cornell University)|Dec 4, 2013

Advanced Graph Theory Research被引用 4

一句话总结

本文在严格连通性和紧密排序性质的条件下，建立了圆弧超图及其邻域超图在反转意义下具有唯一弧排序的条件。关键结果表明，对于无双胞胎、连通的真圆弧图，若其补图非二分图或连通，则其闭邻域超图具有唯一紧密弧排序，从而意味着其交集表示本质上唯一。

ABSTRACT

A circular-arc hypergraph $H$ is a hypergraph admitting an arc ordering, that is, a circular ordering of the vertex set $V(H)$ such that every hyperedge is an arc of consecutive vertices. An arc ordering is tight if, for any two hyperedges $A$ and $B$ such that $A$ is a nonempty subset of $B$ and $B$ is not equal to $V(H)$, the corresponding arcs share a common endpoint. We give sufficient conditions for $H$ to have, up to reversing, a unique arc ordering and a unique tight arc ordering. These conditions are stated in terms of connectedness properties of $H$. It is known that $G$ is a proper circular-arc graph exactly when its closed neighborhood hypergraph $N[G]$ admits a tight arc ordering. We explore connectedness properties of $N[G]$ and prove that, if $G$ is a connected, twin-free, proper circular-arc graph with non-bipartite complement, then $N[G]$ has, up to reversing, a unique arc ordering. If the complement of $G$ is bipartite and connected, then $N[G]$ has, up to reversing, two tight arc orderings. As a corollary, we notice that in both of the two cases $G$ has an essentially unique intersection representation. The last result also follows from the work by Deng, Hell, and Huang based on a theory of local tournaments.

研究动机与目标

• 刻画圆弧超图在反转意义下具有唯一弧排序的条件。
• 定义并分析紧密弧排序，作为具有端点共享约束的嵌套超边的更强形式排序。
• 建立真圆弧图的闭邻域超图具有唯一紧密弧排序的条件。
• 将弧排序的唯一性与图的补图结构联系起来，特别是其是否为二分图或连通图。
• 通过定向理论统一先前关于局部竞赛图和交集表示的研究成果。

提出的方法

• 引入严格重叠连通超图的概念，即超边严格重叠且在严格重叠关系下连通的超图。
• 将紧密弧排序定义为：对于每对嵌套超边 $ A \subset B $（其中 $ B \neq V $），在圆排列中共享一个公共端点。
• 证明无双胞胎、严格重叠连通的圆弧超图在反转意义下具有唯一弧排序。
• 利用图 $ G $ 的闭邻域超图 $ \mathcal{N}[G] $，通过紧密弧排序刻画真圆弧图。
• 将弧排序与定向联系起来：证明真弧表示诱导出一个环形定向，反之亦然。
• 利用罗伯茨的唯一性定理以及邓、贺和黄的研究成果，从弧表示的唯一性推导出环形定向的唯一性。

实验结果

研究问题

• RQ1 在何种条件下，圆弧超图在反转意义下具有唯一弧排序？
• RQ2 严格连通性和紧密性条件如何影响超图中弧排序的唯一性？
• RQ3 真圆弧图的何种结构特性可保证其交集表示的唯一性？
• RQ4 闭邻域超图 $ \mathcal{N}[G] $ 中弧排序的唯一性与图 $ G $ 的补图 $ \overline{G} $ 有何关联？
• RQ5 图的环形定向在多大程度上对应于唯一弧表示？这与图的补图有何关系？

主要发现

• 无双胞胎、严格重叠连通的圆弧超图在反转意义下具有唯一弧排序。
• 对于连通的、无双胞胎的真圆弧图 $ G $，若 $ \overline{G} $ 为非二分图或连通，则 $ \mathcal{N}[G] $ 在反转意义下具有唯一紧密弧排序。
• 若 $ \overline{G} $ 为二分图且连通，则 $ \mathcal{N}[G] $ 在反转意义下恰好具有两个紧密弧排序。
• 作为推论，此类图可通过真弧表示实现本质上唯一的交集表示。
• 在 $ \mathcal{N}[G] $ 中弧排序的唯一性对应于 $ G $ 中环形定向的唯一性，反转意义下成立。
• 结果与邓、贺和黄关于唯一环形定向的研究等价，但通过几何和超图理论方法推导，而非竞赛图理论。