[논문 리뷰] Independence and matching numbers of some token graphs

Hernán de Alba, Walter Carballosa외 2명|arXiv (Cornell University)|2016. 06. 21.

Advanced Graph Theory Research참고 문헌 22인용 수 6

한 줄 요약

이 논문은 기저 그래프 G의 정점의 k부분집합으로 구성된 토큰 그래프의 독립수와 매칭수를 조사한다. 여기서 인접 관계는 대칭차가 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))를 결정하는 것.
• 기저 그래프 G가 완전 매칭 또는 거의 완전 매칭을 갖는 경우 매칭수 ν(Fₖ(G))에 대한 날카로운 하한을 확립하는 것.
• 이분 토큰 그래프와 조너슨 그래프의 독립수를 추정하고 정확한 값을 계산하는 것.
• 조너슨 그래프의 독립수에 대한 열린 문제를 해결하고, 이전에 잘못된 공식을 수정하는 것.

제안 방법

• 저자들은 k-토큰 그래프 Fₖ(G)를 정점이 V(G)의 k부분집합인 그래프로 정의하며, 두 부분집합이 대칭차가 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ₚ))의 정확한 값은 무엇인가요?
• 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))와 같으며, 알려진 경우에 대해 이 경계는 날카로운 것으로 밝혀진다.