[논문 리뷰] A Proof Technique for Skewness of Graphs

Gek L. Chia, Chan L. Lee외 1명|arXiv (Cornell University)|2017. 09. 19.

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

한 줄 요약

이 논문은 일반화된 페터센 그래프 P(4k,k)의 비대칭성에 대해, 홀수 k ≥ 9일 때 μ(P(4k,k)) = k+2임을 증명하기 위해 새로운 가중치를 부여한 간선 기법을 제안한다. 전방위적인 가중치를 간선에 할당하고 평면 부분그래프에서 면의 가중치를 분석함으로써, 저자들은 [3]에서 제기된 오랜 동안 미해결이었던 추측을 올바르게 해결하였다. 이는 오일러 공식과 간선 가중치 부등식을 기반으로 한 새로운 증명 프레임워크를 사용한 결과이다.

ABSTRACT

The skewness of a graph G is the minimum number of edges in G whose removal results in a planar graph. By appropriately introducing a weight to each edge of a graph, we determine, among other thing, the skewness of the generalized Petersen graph P(4k, k) for odd k at least 9. This provides an answer to the conjecture raised in [3].

연구 동기 및 목표

• 홀수 k ≥ 5에 대해 μ(P(4k,k)) = k+2임을 증명하는 데 목적이 있으며, 이는 이전에 유사한 결과를 얻은 짝수 k의 경우를 확장하는 것이다.
• 비평면 그래프에서 비대칭성 분석을 위한 새로운 가중치 간선 방법을 개발하고 적용하는 것이다.
• Qs(k) 그래프 가족의 비대칭성에 대한 일반 공식을 수립하는 것으로, μ(Qs(k)) = ⌈(s−2)k/2⌉ + 1 (k ≥ 4)이다.
• 비대칭성 μ(P(4k,k)) = k+1일 수 없음을, 면 가중치와 정점 독립성 제약 조건을 이용한 모순을 통해 증명하는 것이다.
• 간선 가중치와 오일러 공식을 기반으로 한 통합된 증명 기법을 개발하여, 일반화된 페터센 그래프 및 관련 그래프에 적용 가능하도록 하는 것.

제안 방법

• 외부 사이클 간선 u_iu_{i+1}에 가중치 4, 뿌리 간선 u_iv_i에 가중치 k−3, 내부 사이클 간선 v_iv_{i+k}에 가중치 2k−2를 할당한다. 이는 P(4k,k)에서의 간선에 대한 것이다.
• P(4k,k)의 총 가중치 W(G) = 4k(3k−1)로 정의하고, t개 간선을 제거하여 얻은 평면 부분그래프 H에서 가중치 보존 원리를 적용한다.
• 오일러 공식을 적용하여 불등식 2(W(H)) ≥ (8k−8)(4k−t+2)를 유도함으로써 t에 대한 하한을 도출하며, 결과적으로 t ≥ k+1임을 도출한다.
• 면 유형 분석을 위해 간선 유형 u_iu_{i+1}, u_iv_i, v_iv_{i+k}에 대해 각각 4, 1, 2의 값을 갖는 개선된 가중치 함수 w'(e)를 도입한다.
• 면 유형 분류 (i)–(iv)를 사용하여, 등호가 성립할 경우에만 특정 사이클이 평면 부분그래프에 나타날 수 있음을 보인다.
• 등호가 성립할 경우, Q₃(k)에 동형인 부분그래프로 문제를 축소하며, μ(Q₃(k)) = (k+3)/2임을 알고 있기에, μ(P(4k,k)) = k+1일 경우 모순이 발생함을 도출한다.

실험 결과

연구 질문

• RQ1 홀수 k ≥ 9에 대해 일반화된 페터센 그래프 P(4k,k)의 비대칭성은 무엇인가?
• RQ2 비평면 그래프에서 비대칭성 범위를 증명하기 위해 새로운 가중치 간선 기법을 개발할 수 있는가?
• RQ3 홀수 k ≥ 5에 대해 μ(P(4k,k)) = k+2라는 추측은 참인가? 그리고 이는 이전 방법에 의존하지 않고 증명될 수 있는가?
• RQ4 비대칭성 μ(P(4k,k)) = k+1을 가정할 경우, P(4k,k)의 평면 부분그래프 H에서 발생하는 구조적 제약 조건은 무엇인가?
• RQ5 Qs(k)의 비대칭성은 P(4k,k)의 비대칭성과 어떤 관계가 있으며, Qs(k)는 일반화된 페터센 그래프의 비대칭성 증명을 위한 기초 구조로 사용될 수 있는가?

주요 결과

• 모든 홀수 k ≥ 9에 대해 P(4k,k)의 비대칭성은 정확히 k+2이며, 이는 [3]에서 제기된 추측을 확인한 것이다.
• Qs(k) 가족의 비대칭성은 k ≥ 4일 때 μ(Qs(k)) = ⌈(s−2)k/2⌉ + 1로 주어지며, 이는 이전에 s=3 및 s=4에 대해 얻은 결과를 일반화한 것이다.
• μ(P(4k,k)) = k+1일 경우, 평면 부분그래프 H는 오직 특정 면 유형 (i)–(iv)만을 포함할 수 있으며, R(P(4k,k))의 간선 집합은 외부 사이클의 독립된 간선들로만 구성되어야 한다.
• H에서 두 개의 서로소인 면 유형 (i)이 존재할 경우, 최소 2k−2개의 양호한 정점이 필요하며, 이는 외부 사이클에서 최소 k+1개의 연속된 악성 정점이 존재함을 의미한다.
• P(4k,k)에서 k−1개의 정점과 간선을 제거한 부분그래프는 Q₃(k)의 분할(subdivision)과 동일하며, μ(Q₃(k)) = (k+3)/2이므로 총 비대칭성은 k+1을 초과한다.
• 이 모순은 μ(P(4k,k)) ≥ k+2임을 증명하며, 이는 이미 알려진 상한과 함께 등호가 성립함을 의미한다: μ(P(4k,k)) = k+2.