[論文レビュー] 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 $）を強制し、これが三角形や高次元の頂点の排除に不可欠である。
• この結果は、ニッチグラフが区間グラフでない唯一の障害は三角形の存在であることを示唆しており、三角形を含まないことこそが重要な十分条件であると考えられる。