[論文レビュー] Some results on structure of all arc-locally (out) in-semicomplete digraphs

Lucas Ismaily Bezerra Freitas, Orlando Lee|arXiv (Cornell University)|Apr 22, 2021

Rings, Modules, and Algebras参考文献 9被引用数 4

ひとこと要約

この論文は、連結な弧局所的（出）in-半完全および弧局所的半完全有向グラフの構造を特徴づけ、それらの有向グラフがいずれかのdiperfectであるか、長さ5以上の奇数拡張サイクルであることを証明している。これらの結果は、強い弧局所的半完全有向グラフに関する先行研究を一般化し、禁止部分有向グラフと連結性に基づく構造的二分法を確立する。

ABSTRACT

Arc-locally semicomplete and arc-locally in-semicomplete digraphs were introduced by Bang-Jensen as a common generalization of both semicomplete and semicomplete bipartite digraphs in 1993. Later, Bang-Jensen (2004), Galeana-Sanchez and Goldfeder (2009) and Wang and Wang (2009) provided a characterization of strong arc-locally semicomplete digraphs. In 2009, Wang and Wang characterized strong arc-locally in-semicomplete digraphs. In 2012, Galeana-Sanchez and Goldfeder provided a characterization of all arc-locally semicomplete digraphs which generalizes some results by Bang-Jensen. In this paper, we characterize the structure of arbitrary connected arc-locally (out) in-semicomplete digraphs and arbitrary connected arc-locally semicomplete digraphs.

研究の動機と目的

• 強い場合に限らない、弧局所的半完全有向グラフの特徴づけを任意の連結有向グラフにまで拡張すること。
• トーナメントおよび半完全二部有向グラフを一般化する、連結な弧局所的（出）in-半完全有向グラフの構造的分類を解明すること。
• 構造的二分法を特定することで、弧局所的半完全有向グラフに関する以前の結果を統合・一般化すること。
• このような有向グラフがdiperfectであるか、長さ5以上の奇数拡張サイクルによって誘導されるものであることを示し、完全な構造的分類を提供すること。

提案手法

• 特定の$P_4$の向き付け、特に$H_1$、$H_2$、$H_3$、$H_4$を用いた禁止部分有向グラフ特徴づけにより、弧局所的in-半完全および半完全クラスを定義する。
• 強成分解析と頂点分割を用いて、クリークカットや特別な頂点集合といった構造的要素を同定する。
• $\mathcal{P}$-優位性および$\mathcal{P}$-合成の概念を用いて、有向グラフの拡張および階層的構造をモデル化する。
• 方向性双対性の活用：弧局所的半完全有向グラフの逆有向グラフもまた弧局所的半完全であるため、対称的な推論が可能になる。
• 拡張操作と部分有向グラフの包含関係を用いて、$E_m$、$\overrightarrow{C_2}$、$\mathcal{C}^*_3$、$TT_3$といった基本的構成要素から複雑な構造を構築・分類する。
• 背理法と構造的帰納法の適用：強い成分$Q$（長さ≥5の奇数拡張サイクル）の外部にある頂点が$Q$を支配する場合、弧局所的半完全性から隣接関係の矛盾が生じる。

実験結果

リサーチクエスチョン

• RQ1 連結な弧局所的in-半完全有向グラフの完全な構造的特徴づけは何か？
• RQ2 連結な弧局所的out-半完全有向グラフの完全な構造的特徴づけは何か？
• RQ3 強い場合を除く、連結な弧局所的半完全有向グラフの完全な構造的特徴づけは何か？
• RQ4 連結な弧局所的半完全有向グラフがdiperfectでないのはどのような条件下か？
• RQ5 長さ5以上の奇数拡張サイクルが、diperfectでない弧局所的半完全有向グラフの唯一の形式であるか？

主な発見

• 連結な弧局所的（出）in-半完全有向グラフは、diperfectであるか、特別な頂点分割を許容するか、またはクリークカットを持つ。
• 連結な弧局所的半完全有向グラフは、diperfectであるか、長さ5以上の奇数拡張サイクルである。
• 連結な弧局所的半完全有向グラフが、長さ5以上の奇数拡張サイクルを誘導する強い成分を含むならば、そのすべての頂点はその成分に含まれる。
• 弧局所的半完全有向グラフのクラスは、すべての半完全有向グラフおよび半完全二部有向グラフを含み、強い場合に関する先行結果を拡張する。
• 弧局所的半完全有向グラフの逆有向グラフもまた弧局所的半完全であるため、構造的解析において方向性双対性が可能になる。
• 特徴づけはタイトである：diperfect有向グラフおよび長さ5以上の奇数拡張サイクル以外の構造的形態は存在しない。