[논문 리뷰] The decycling numbers of graphs

Sheng Bau, Lowell W. Beineke|ArXiv.org|2007. 03. 19.

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

한 줄 요약

이 논문은 그래프를 비순환적으로 만들기 위해 제거해야 하는 정점 집합의 크기인 디클라잉 수에 대한 종합적인 리뷰를 제공한다. 이는 하한과 상한, 초입방형, 격자, 뱀과 같은 특정 그래프에 대한 정확한 값, 그리고 구조적 특성화를 포함한다. 주요 기여는 문제의 NP-완전성, n-입방체에 대한 날카운 상한, 그래프 연결성 및 부호 이론과의 연결 고리이다.

ABSTRACT

For a graph $G$ and $S\subset V(G)$, if $G - S$ is acyclic, then $S$ is said to be a decycling set of $G$. The size of a smallest decycling set of $G$ is called the decycling number of $G$. The purpose of this paper is a comprehensive review of recent results and several open problems on this graph parameter. Results to be reviewed include recent work on decycling numbers of cubes, grids and snakes. A structural description of graphs with a fixed decycling number based on connectivity is also presented. Graphs with small decycling numbers are characterized.

연구 동기 및 목표

• 최근의 결과와 미해결 문제에 대해 그래프의 디클라잉 수에 대해 체계적으로 검토하는 것.
• 초입방체, 격자, 뱀과 같은 특정 그래프 가족에 대해 디클라잉 수의 정확한 값과 날카운 상한을 결정하는 것.
• 연결성과 구조적 성질을 이용해 고정된 디클라잉 수를 가진 그래프를 특성화하는 것.
• 특히 문제의 NP-완전성에 기인한 알고리즘적 및 계산적 과제를 탐색하는 것.
• 독립 수와 커버링 수와 같은 다른 그래프 매개변수와의 디클라잉 수 간의 관계 수립

제안 방법

• G−S가 비순환적이게 되는 디클라잉 집합 S의 정의를 사용하며, ∇(G)는 그러한 집합의 최소 크기이다.
• 연결 그래프에서 q개의 간선, p개의 정점, 최대 차수 Δ를 가질 경우, ∇(G) ≥ (q−p+1)/(Δ−1) 공식을 적용한다.
• θ(S) = σ(S) − |S| − ε(S) − ω(G−S) + 1을 사용하여 디클라잉 집합을 특성화하며, 임의의 디클라잉 집합에 대해 θ(S) = q−p+1임을 이용한다.
• 카르테시안 곱 G×H와 정점 식별 H∘fJ와 같은 그래프 연산을 사용하여 디클라잉 수가 알려진 그래프를 구성한다.
• 구조적 분해를 활용하며, ∇(G)=k인 그래프는 (k+1)-연결 방식으로 트리에 k-집합을 부착함으로써 얻을 수 있음을 나타낸다.
• 연결성과 트리 성분에 기반한 재귀적 및 귀납적 구성법을 사용하여 작은 디클라잉 수(예: ∇(G)=2 또는 3)를 가진 그래프를 구성한다.

실험 결과

연구 질문

• RQ1 n ≥ 9 인 n차원 초입방체(Qn)에 대해 정확한 디클라잉 수는 무엇인가?
• RQ2 순서 2n인 삼차 그래프 G 중에서 ∇(G) = ⌈(n+1)/2⌉를 만족하는 그래프는 무엇인가?
• RQ3 동일한 상한을 만족하는 삼차 평면 그래프는 무엇인가?
• RQ4 최대 외부 평면 그래프 또는 2차원 트리의 디클라잉 수를 빠르게 계산할 수 있는 알고리즘이 존재하는가?
• RQ5 특히 ∇(G)=k인 그래프에 대해 디클라잉 수와 그래프 연결성 간의 관계는 무엇인가?

주요 결과

• n ≤ 8인 경우, n-입방체의 디클라잉 수는 정확히 알려져 있다: ∇(Q1)=0, ∇(Q2)=1, ∇(Q3)=3, ∇(Q4)=6, ∇(Q5)=14, ∇(Q6)=28, ∇(Q7)=56, ∇(Q8)=112.
• Q9부터 Q13까지의 경우, 개선된 상한이 제시된다: ∇(Q9) ∈ [224, 312], ∇(Q10) ∈ [448, 606], ∇(Q11) ∈ [896, 1184], ∇(Q12) ∈ [1792, 2224], ∇(Q13) ∈ [3584, 4680].
• 페테르센 그래프의 디클라잉 수는 정확히 3이다.
• 완전 그래프의 경우 ∇(Kp) = p−2이며, r ≤ s인 완전 이분 그래프 Kr,s에 대해서는 ∇(Kr,s) = r−1이다.
• 세포 크기가 4인 뱀의 디클라잉 수는 정확히 ⌊n/3⌋이며, 다른 세포 크기에 대한 결과는 변환을 통해 유도된다.
• 순서 n인 최대 외부 평면 그래프에 대해, 디클라잉 수는 1 ≤ ∇(G) ≤ ⌊n/3⌋를 만족한다.