[論文レビュー] Independence and matching numbers of some token graphs

Hernán de Alba, Walter Carballosa+2 more|arXiv (Cornell University)|Jun 21, 2016

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

ひとこと要約

本稿では、基本図形 G の頂点の k 部分集合からなる図形（トークン図形）Fₖ(G) の独立数とマッチング数の研究を行っている。ここで、2つの部分集合が隣接する条件は、それらの対称差が G に含まれる辺であると定義される。G が完全マッチングまたはほぼ完全マッチングを持つ場合、マッチング数のタイトな下界を確立し、サイクルとジョンソン図形の 2 トークン図形の正確な独立数を決定した。具体的には、α(F₂(Cₚ)) = ⌊p⌊p/2⌋/2⌋ を示した。

ABSTRACT

Let $G$ be a graph of order $n$ and let $k\in\{1,\ldots,n-1\}$. The $k$-token graph $F_k(G)$ of $G$, is the graph whose vertices are the $k$-subsets of $V(G)$, where two vertices are adjacent in $F_k(G)$ whenever their symmetric difference is an edge of $G$. We study the independence and matching numbers of $F_k(G)$. We present a tight lower bound for the matching number of $F_k(G)$ for the case in which $G$ has either a perfect matching or an almost perfect matching. Also, we estimate the independence number for bipartite $k$-token graphs, and determine the exact value for some graphs.

研究の動機と目的

• 特定の図形、特にサイクルと完全図形の k トークン図形 Fₖ(G) の独立数 α(Fₖ(G)) を特定すること。
• 基本図形 G が完全マッチングまたはほぼ完全マッチングを持つ場合、マッチング数 ν(Fₖ(G)) のタイトな下界を確立すること。
• 二部図形とジョンソン図形の k トークン図形の独立数の推定と正確な値の計算。
• ジョンソン図形の独立数に関する未解決問題を解き、以前に誤って提示された公式を是正すること。

提案手法

• 著者らは、k トークン図形 Fₖ(G) を、V(G) の k 部分集合を頂点とするグラフとして定義し、2 つの部分集合がその対称差が G に含まれる辺である場合に隣接すると定義する。
• 特にサイクル図形 Cₚ とパス図形 Pₙ に注目し、層状の部分集合 Lᵢ を用いて独立数の境界を導出するため、トークン図形の構造的解析を用いる。
• 重要な技術的アプローチとして、F₂(Cₚ) の頂点集合を層 Lᵢ に分割し、非隣接層の適切な集合の和が独立集合を形成することを証明する。
• ジョンソン図形に関する既知の結果を応用し、再帰的不等式を用いて α(Fₖ(G)) を境界づける。ここで、双対性 Fₖ(G) ≅ Fₙ₋ₖ(G) を活用する。
• F₂(Cₚ) の独立数の証明は、p の偶奇および対称差の構造に基づく場合分けに依存する。
• 閉形式の式 α(F₂(Cₚ)) = ⌊p⌊p/2⌋/2⌋ を導出するために、組合せ的恒等式と床関数・天井関数を用いる。

実験結果

リサーチクエスチョン

• RQ1 サイクル Cₚ の 2 トークン図形 F₂(Cₚ) の独立数 α(F₂(Cₚ)) の正確な値は何か？
• RQ2 G が完全マッチングまたはほぼ完全マッチングを持つ場合、マッチング数 ν(Fₖ(G)) のタイトな下界を確立できるか？
• RQ3 サイクルおよび完全図形の k トークン図形の独立数は、ジョンソン図形のそれとどのように関係するか？
• RQ4 ジョンソン図形 J(n,k) の独立数は、α(J(n,k)) = min{ n/k ⋅ α(J(n−1,k−1)), n/(n−k) ⋅ α(J(n−1,k)) } で与えられるか？
• RQ5 ジョンソン図形について、公式 α(J(n,k)) = ⌊n⌊k/2⌋/2⌋ は成り立ち、A(7,4,3) = 7 などの既知の値とどのように比較されるか？

主な発見

• サイクル Cₚ の 2 トークン図形の独立数は、正確に α(F₂(Cₚ)) = ⌊p⌊p/2⌋/2⌋ であり、これはタイトであり、α(F₂(C₇)) = 12 といった既知の値とも一致する。
• 任意の完全マッチングまたはほぼ完全マッチングを持つグラフ G に対して、マッチング数 ν(Fₖ(G)) は、G の構造的性質に基づいたタイトな下界を満たす。
• ジョンソン図形 J(n,k) の独立数は、α(J(n,k)) ≤ min{ n/k ⋅ α(J(n−1,k−1)), n/(n−k) ⋅ α(J(n−1,k)) } で境界づけられ、一部の場合は等号が成立する。
• 本稿では、[22] で提示された α(J(n,k)) の公式が誤りであることを示し、α(J(7,3)) = 6 と算出されるが、正しくは 7 であると是正した。
• F₂(Cₚ) の独立数は、非隣接層 Lᵢ の和から構成される独立集合によって達成され、そのサイズは p の偶奇および t = ⌊p/2⌋ の値に依存する。
• Fₖ(Kₙ) の正確な独立数は、同型 Fₖ(Kₙ) ≅ J(n,k) を用いて α(J(n,k)) に等しいことが示され、既知の事例において境界がタイトであることが確認された。