그래프의 정규성 분할 수

초록

본 논문은 단순 무방향 그래프 G의 정규수(regular number)를 정의하고, 여러 그래프 계열에 대해 정확한 값을 구한다. 정규수는 G의 모든 간선을 최소 개수의 부분집합으로 나누어 각 부분집합이 유도하는 서브그래프가 정규(모든 정점의 차수가 동일)하도록 하는 최소 개수이다. 저자들은 완전 그래프, 완전 이분 그래프, 트리, 사이클 등에서 정규수를 계산하고, 기존 연구(Kulli·Janakiram·Iyer, 2001)에서 제시된 하·상한이 실제로 등호를 만족하는 경우를 제시한다. 또한 정규수와 엣지 색칠수, 차수 분할 등 기존 그래프 이론 파라미터와의 관계를 탐구하며, 일반적인 상한·하한을 제시한다.

상세 분석

정규수 r(G)는 “정규 분할”이라는 새로운 관점을 통해 그래프의 구조적 복잡성을 측정한다. 정의에 따르면, 각 파트는 자체적으로 정규 그래프이므로 파트 내부에서는 차수가 일정하고, 파트 간에는 차이가 허용된다. 이는 기존의 엣지 색칠수(χ′(G))와 유사하지만, 색칠수는 인접 간선이 서로 다른 색을 가져야 하는 제약을 갖는 반면, 정규수는 파트 내부의 정규성만을 요구한다는 점에서 더 유연하다. 따라서 χ′(G) ≥ r(G) 가 항상 성립한다.

저자들은 먼저 완전 그래프 K_n에 대해 r(K_n)=⌈n/2⌉임을 증명한다. 이는 K_n의 모든 정점 차수가 n‑1이므로, 하나의 정규 서브그래프는 완전 1‑정규(즉, 매칭) 혹은 (n‑1)‑정규(전체 그래프)만 가능하고, 매칭을 이용한 분할이 최소 개수를 제공한다는 논리이다. 완전 이분 그래프 K_{m,n}에 대해서는 r(K_{m,n})=min{m,n}임을 보이며, 이는 각 파트가 완전 1‑정규(완전 매칭) 혹은 완전 정규(전체 이분 그래프)로 구성될 수 있음을 이용한다.

트리 T에 대해서는 모든 서브그래프가 정규가 되려면 차수가 0 또는 2인 경우만 허용되므로, r(T) = ⌈ℓ/2⌉ (ℓ는 리프의 수) 라는 식을 얻는다. 이는 리프를 매칭으로 짝지어 제거하는 과정을 반복하면 최소 파트 수가 리프 수의 절반이 됨을 의미한다. 사이클 C_n에 대해서는 n이 짝수이면 r(C_n)=1 (전체 사이클이 2‑정규), 홀수이면 r(C_n)=2 (한 변을 제외한 나머지를 2‑정규, 남은 변은 1‑정규) 로 계산된다.

일반적인 상한으로는 Δ(G) (최대 차수) 보다 작거나 같은 값이 제시되며, 특히 Δ(G) 가 짝수이면 r(G) ≤ Δ(G)/2 가 성립한다. 하한 측면에서는 최소 차수 δ(G) 와 매칭 수 ν(G) 를 이용해 r(G) ≥ max{⌈|E(G)|/Δ(G)⌉, ν(G)} 와 같은 부등식이 도출된다.

흥미롭게도 Kulli·Janakiram·Iyer(2001)에서 제시한 몇몇 하·상한이 본 논문에서 다룬 특정 그래프 계열에 대해 등호를 만족한다는 것이 확인된다. 예를 들어, 완전 그래프에 대한 상한 r(K_n) ≤ ⌈n/2⌉ 가 실제로 정확함을 보였으며, 트리의 경우 하한 r(T) ≥ ⌈ℓ/2⌉ 가 등호가 된다. 이러한 결과는 정규수 개념이 기존 파라미터와 얼마나 밀접하게 연결되는지를 보여준다.

마지막으로 저자들은 정규수 계산이 일반 그래프에 대해 NP‑hard일 가능성을 언급하고, 근사 알고리즘이나 특수 그래프 클래스에 대한 효율적 알고리즘 개발의 필요성을 제시한다. 전체적으로 본 논문은 정규수라는 새로운 그래프 파라미터의 기본 성질을 체계적으로 정리하고, 여러 전형적인 그래프에서 정확한 값을 제공함으로써 향후 연구의 토대를 마련한다.