[论文解读] The niche graphs of doubly partial orders

Suh-Ryung Kim, Jung Yeun Lee+3 more|arXiv (Cornell University)|May 25, 2009

Advanced Graph Theory Research参考文献 13被引用 12

一句话总结

本文研究了双重偏序的生态位图，通过构造包含长度 $ n \geq 4 $ 的诱导圈的实例，证明此类图不一定是区间图。此外，进一步证明若生态位图为无三角图，则其必为区间图，从而提供了这些图是区间图的条件的部分刻画。

ABSTRACT

The competition graph of a doubly partial order is known to be an interval graph. The competition-common enemy graph of a doubly partial order is also known to be an interval graph unless it contains a cycle of length 4 as an induced subgraph. In this paper, we show that the niche graph of a doubly partial order is not necessarily an interval graph. In fact, we prove that, for each integer n at least 4, there exists a doubly partial order whose niche graph contains an induced subgraph isomorphic to a cycle of length n. We also show that if the niche graph of a doubly partial order is triangle-free, then it is an interval graph.

研究动机与目标

• 确定双重偏序的生态位图是否必为区间图，鉴于此类偏序的竞争图与CCE图已被证明为区间图。
• 研究双重偏序中生态位图的结构性质，尤其关注圈与无三角性。
• 刻画双重偏序的生态位图为区间图的条件。
• 探索是否存在双重偏序，其生态位图包含长度 $ n \geq 4 $ 的诱导圈，从而挑战生态位图为区间图的假设。

提出的方法

• 通过在 $ \mathbb{R}^2 $ 中使用基于坐标的偏序关系，构造出其生态位图包含长度 $ n \geq 4 $ 的诱导圈的双重偏序的显式实例。
• 使用由 $ x \prec y $ 当且仅当 $ x_1 < y_1 $ 且 $ x_2 < y_2 $ 定义的偏序 $ \prec $，以及用于坐标支配关系的符号 $ \searrow $。
• 应用引理6分析生态位图中的邻接关系，表明若两个顶点相邻且有共同邻居，则其坐标顺序必须满足 $ x \searrow y \searrow z $。
• 证明在无三角生态位图中，任一顶点的度数不可能超过2，意味着每个连通分量均为路径。
• 结合定理1（通过弦性与无极小三元组刻画区间图）与路径结构，得出无三角生态位图为区间图。
• 使用反证法确定邻接关系及共同猎物/捕食者存在时的必要坐标顺序（如 $ x_2 \geq y_2 \geq z_2 $）。

实验结果

研究问题

• RQ1 双重偏序的生态位图是否必为区间图？
• RQ2 双重偏序的生态位图是否可包含长度 $ n \geq 4 $ 的诱导圈？
• RQ3 在何种条件下，双重偏序的生态位图为区间图？
• RQ4 是否存在一个双重偏序，其生态位图不是区间图但不包含长度 $ \geq 4 $ 的诱导圈？
• RQ5 何种结构性质（如无三角性）可保证生态位图为区间图？

主要发现

• 对每个 $ n \geq 4 $，均存在一个双重偏序，其生态位图包含与 $ C_n $ 同构的诱导子图，证明生态位图不一定是区间图。
• 若双重偏序的生态位图为无三角图，则其为森林，且每个连通分量均为路径。
• 无三角生态位图为区间图，因其为最大度数不超过2的森林，且满足弦性与无极小三元组条件。
• 证明依赖于表明在无三角生态位图中，任一顶点的度数不能为3或更高，从而限制图的结构为路径。
• 双重偏序的基于坐标的结构强制相邻顶点之间存在特定支配关系（$ \searrow $），这对排除三角形与高阶顶点至关重要。
• 该结果表明，生态位图为区间图的唯一障碍是三角形的存在，暗示无三角性是关键的充分条件。