[論文レビュー] Classes of critical graphs for tree-depth

Michael D. Barrus, John Sinkovic|arXiv (Cornell University)|Feb 18, 2015

Advanced Graph Theory Research参考文献 4被引用数 4

ひとこと要約

本稿は、木深さ k に対して同時に k-臨戦的かつ 1-一意である無限族のグラフを同定・特徴づけ、臨戦的グラフに関する主要な予想を支持する具体的な構成を提供している。完全グラフ $K_k$、サイクル $C_{2^{k-2}+1}$、パス $P_{2^{k-1}}$、およびクレストとパスを結合して得られる新しいグラフ族 $ackslash mathcal extasciTilde extasciitilde{Q}_{k,s}$ が、同時に k-臨戦的かつ 1-一意であることを証明しており、臨戦的グラフの帰納的構成の基盤を提供する。

ABSTRACT

A k-ranking of a graph G is a labeling of the vertices of G with values from {1,...,k} such that any path joining two vertices with the same label contains a vertex having a higher label. The tree-depth of G is the smallest value of k for which a k-ranking of G exists. The graph G is k-critical if it has tree-depth k and any proper minor of G has smaller tree-depth, and it is 1-unique if for every vertex v in G, there exists an optimal ranking of G in which v is the unique vertex with label 1. We present several classes of graphs that are both k-critical and 1-unique, providing examples that satisfy conjectures on critical graphs discussed in [M.D. Barrus and J. Sinkovic, Uniqueness and minimal obstructions for tree-depth, submitted].

研究の動機と目的

• 木深さ k に対して同時に k-臨戦的かつ 1-一意であるグラフのクラスを同定・特徴づけること。
• 臨戦的グラフの構造に関する予想を支持するため、このようなグラフの明示的構成を提供すること。
• これらのグラフが、最大次数の上限および頂点数制約といった主要な予想を満たしていることを検証すること。
• 1-一意性の性質を用いた、より大きな臨戦的グラフを帰納的に構成するための枠組みを確立すること。

提案手法

• パスの延長、サイクルの追加、クリークの接続を用いて、所望の木深さと臨戦的性質を達成するグラフ族を構築する。
• 星-クリーク変換を頂点に適用して 1-一意性をテストし、変換後に $\operatorname{td}(H) < \operatorname{td}(G)$ が成り立つ条件を用いる。
• k に関する帰納法を用いて、$ackslash mathcal extasciTilde extasciitilde{Q}_{k,s}$ に属するグラフが木深さが正確に k であり、頂点または辺の削除後も臨戦的であることを証明する。
• 部分グラフの disjoint 和および誘導部分グラフの木深さを制限するため、定理 2.6 を用いる。これにより、深さの上限が保存されることを保証する。
• 既知のパスの木深さの公式（$\lfloor \log_2 n \rfloor + 1$）およびサイクルの公式（$\lfloor \log_2(n-1) \rfloor + 2$）を用いて、基本ケースを検証する。
• 部分グラフの深さの上限を用いて、任意の頂点または辺の削除によって木深さが k より小さくなることから、k-臨戦的性質を確認する。

実験結果

リサーチクエスチョン

• RQ1 任意の $k \geq 1$ に対して、同時に k-臨戦的かつ 1-一意である無限族のグラフが存在するか？
• RQ2 すべての k-臨戦的グラフが 1-一意であるという予想を、明示的構成によって支持できるか？
• RQ3 $R_{k,t}$ および $ackslash mathcal extasciTilde extasciitilde{Q}_{k,s}$ が、それぞれのパrameter に対して k-臨戦的かつ 1-一意の条件を満たすか？
• RQ4 頂点および辺の削除に対して、グラフが k-臨戦的かつ 1-一意のまま保たれるための構造的性質は何か？
• RQ5 $\mathcal{Q}_{k,s}$ 族を用いて、所望の木深さを持つより大きな臨戦的グラフを帰納的に生成できるか？

主な発見

• すべての $k \geq 1$ に対して完全グラフ $K_k$ は k-臨戦的かつ 1-一意であり、最適ランク付けにおいて各頂点が一意にラベル 1 を持つ。
• すべての $k \geq 2$ に対してサイクル $C_{2^{k-2}+1}$ およびパス $P_{2^{k-1}}$ は k-臨戦的かつ 1-一意であり、既知の対数的公式を用いて木深さが検証されている。
• $R_{k,t}$ は、長さ $2^{k-2}+1+t$ のパスに弦を追加して得られるグラフ族であり、$k \geq 3$ および $0 \leq t \leq 2^{k-2}-2$ のとき k-臨戦的かつ 1-一意であり、$R_{k,0} = C_{2^{k-2}+1}$ である。
• $\mathcal{Q}_{k,s}$ は、$q$ 個のクリーク $H_i$ をサイズ $s$ の中心集合 $B_i$ に接続して構成される族であり、$k \geq 2$、$s < k$、$q \geq 1$ のとき k-臨戦的かつ 1-一意であり、$|B_i|$ は $s$ の分割をなす。
• $\mathcal{Q}_{k,s}$ に属するすべてのグラフにおいて、すべての頂点が 1-一意である。これは星-クリーク変換条件 $\operatorname{td}(H) < \operatorname{td}(G)$ が変換後に成り立つことから確認できる。
• $\mathcal{Q}_{k,s}$ に属するすべてのグラフは k-臨戦的である。任意の頂点または辺の削除によって、木深さが $k-1$ に低下するが、これは部分グラフの帰納的深さ上限を用いて証明されている。