[논문 리뷰] Determination of the prime bound of a graph

Abderrahim Boussaïri, Pierre Ille|arXiv (Cornell University)|2013. 01. 07.

Graph Labeling and Dimension Problems참고 문헌 3인용 수 3

한 줄 요약

이 논문은 그래프의 최대 모듈로 클리크와 안정수를 분석하여, 비소수 그래프를 소수 그래프로 확장하는 데 필요한 정점의 최소 수인 소수 경계를 결정한다. 이 경계에 대한 정확한 공식을 도출하며, 이 공식은 해당 최댓값이 2의 거듭제곱인지 여부에 따라 달라지며, 소수 확장 크기의 상한에 대한 추측을 해결한다.

ABSTRACT

Given a graph $G$, a subset $M$ of $V(G)$ is a module of $G$ if for each $v\in V(G)\setminus M$, $v$ is adjacent to all the elements of $M$ or to none of them. For instance, $V(G)$, $\emptyset$ and $\{v\}$ ($v\in V(G)$) are modules of $G$ called trivial. Given a graph $G$, $ω_M(G)$ (respectively $α_M(G)$) denotes the largest integer $m$ such that there is a module $M$ of $G$ which is a clique (respectively a stable) set in $G$ with $|M|=m$. A graph $G$ is prime if $|V(G)|\geq 4$ and if all its modules are trivial. The prime bound of $G$ is the smallest integer $p(G)$ such that there is a prime graph $H$ with $V(H)\supseteq V(G)$, $H[V(G)]=G$ and $|V(H)\setminus V(G)|=p(G)$. We establish the following. For every graph $G$ such that $\max(α_M(G),ω_M(G))\geq 2$ and $\log_2(\max(α_M(G),ω_M(G)))$ is not an integer, $p(G)=\lceil\log_2(\max(α_M(G),ω_M(G))) ceil$. Then, we prove that for every graph $G$ such that $\max(α_M(G),ω_M(G))=2^k$ where $k\geq 1$, $p(G)=k$ or $k+1$. Moreover $p(G)=k+1$ if and only if $G$ or its complement admits $2^k$ isolated vertices. Lastly, we show that $p(G)=1$ for every non prime graph $G$ such that $|V(G)|\geq 4$ and $α_M(G)=ω_M(G)=1$.

연구 동기 및 목표

• 비소수 그래프를 소수 그래프로 확장하는 데 필요한 정점의 최소 수인 소수 경계를 결정하기.
• 브리그널의 소수 확장 크기 상한에 대한 추측을 모듈로 클리크 수와 안정수를 사용하여 보완하기.
• 모듈로 안정수와 클리크 수의 최댓값에 기반하여 소수 경계를 특성화하기.
• 소수 경계가 모듈로 매개변수의 상한 함수로 엄격하게 유계임을 보여 추측을 해결하기.

제안 방법

• 모듈로 클리크 수 ωₘ(G)와 모듈로 안정수 αₘ(G)의 개념을 도입하여, 모듈러인 최대 클리크와 안정 집합을 측정한다.
• 귀납법과 재귀적 구성 기법을 사용하여 소수 확장을 구축하며, 확장된 그래프에 비자명한 모듈러가 생기지 않도록 보장한다.
• 단일 정점 a를 추가하는 1-확장 기법을 적용하여 기존 모듈러에 대한 인접 관계를 신중히 제어함으로써 비자명한 모듈러를 파괴한다.
• 모듈러를 분류하기 위한 레이블링 체계 λ_G(N)를 활용하여, 소수 부분그래프만 확장되도록 보장하고, 소수성 유지한다.
• 최소 비소수 부분그래프의 구조를 분석하고 정점 집합을 모듈러로 분할하여 확장 행동을 제어한다.
• max(αₘ(G), ωₘ(G))가 2의 거듭제곱이 아니면 소수 경계 p(G)는 정확히 ⌈log₂(max(αₘ(G), ωₘ(G)))⌉임을 증명하며, 이 값이 2ᵏ일 경우 p(G)는 k 또는 k+1이며, G 또는 그 여집합에 2ᵏ개의 고립 정점이 있을 때에만 p(G) = k+1임을 보인다.

실험 결과

연구 질문

• RQ1 주어진 그래프의 최대 모듈로 클리크 또는 안정 집합을 바탕으로 비소수 그래프를 소수 그래프로 확장하기 위해 필요한 정점의 최소 수는 무엇인가?
• RQ2 소수 경계는 모듈로 안정수와 클리크 수의 최댓값에 어떻게 의존하는가?
• RQ3 max(αₘ(G), ωₘ(G)) = 2ᵏ인 그래프에서 소수 경계가 정확히 k이고 언제는 k+1인지?
• RQ4 모듈로 비자명한 모듈러가 단일 정점과 전체 집합 외에는 없는 모든 비소수 그래프에서 소수 경계는 항상 1인가?
• RQ5 브리그널의 소수 확장 크기 상한에 대한 추측은 올바른가? 그리고 모듈로 매개변수를 사용하여 이를 더욱 강화할 수 있는가?

주요 결과

• 모든 그래프 G에 대해 max(αₘ(G), ωₘ(G)) ≥ 2 이고 log₂(max(αₘ(G), ωₘ(G))) 가 정수가 아닐 경우, 소수 경계는 정확히 ⌈log₂(max(αₘ(G), ωₘ(G)))⌉이다.
• max(αₘ(G), ωₘ(G)) = 2ᵏ (k ≥ 1)일 경우, 소수 경계는 k 또는 k+1이며, p(G) = k+1이 되는 것은 G 또는 그 여집합이 2ᵏ개의 고립 정점을 가질 때에만 성립한다.
• 모든 비소수 그래프 G에 대해 |V(G)| ≥ 4 이고 αₘ(G) = ωₘ(G) = 1일 경우, 소수 경계는 정확히 1이다.
• 모든 그래프에 대해 max(αₘ(G), ωₘ(G)) ≥ 2 이면, ⌈log₂(max(αₘ(G), ωₘ(G)))⌉ ≤ p(G) ≤ ⌈log₂(max(αₘ(G), ωₘ(G)) + 1)⌉ 이 성립한다.
• 단일 정점을 추가하여 소수 확장을 구성함으로써 모든 비자명한 모듈러가 파괴되고, 결과로 얻어진 그래프는 소수이다.
• 논문은 브리그널의 추측을 긍정적으로 확인하며, max(α(G), ω(G)) 기반 상한이 모듈로 매개변수를 사용하여 개선될 수 있음을 보였다.