그래프의 전체 로만 결합 수

초록

본 논문은 그래프의 전체 로만 지배 함수(TRDF)를 기반으로 정의되는 전체 로만 결합 수 (b_{tR}(G))의 계산 복잡도와 다양한 그래프 클래스에 대한 정확한 값 및 상·하한을 제시한다. 결정 문제는 NP‑complete임을 보이며, 완전 그래프·완전 이분 그래프·바람개비·이중 바람개비·바퀴·상처 거미 등에서 정확한 값을 구한다. 또한 그래프의 차수, 지배 수, 최소 커버 수 등과의 관계식도 제시한다.

상세 분석

논문은 먼저 전체 로만 지배 함수(TRDF)를 정의한다. TRDF는 정점에 0, 1, 2 중 하나를 할당하되, 값이 0인 정점은 인접한 2값 정점에 의해 보호되고, 값이 1 또는 2인 정점들로 이루어진 부분그래프가 고립 정점을 갖지 않아야 한다. 이러한 함수의 가중치(1값 정점 수 + 2·2값 정점 수)의 최소값을 전체 로만 지배 수 (\gamma_{tR}(G))라 정의한다.

그 다음 전체 로만 결합 수 (b_{tR}(G))는 최소한의 간선 집합 (E’)를 삭제했을 때 (\gamma_{tR})가 증가하도록 하는 최소 크기이다. 만약 어떤 간선 집합을 제거해도 (\gamma_{tR})가 변하지 않으면 (b_{tR}(G)=\infty)로 정의한다.

복잡도 측면에서 저자는 3‑SAT 문제로부터 다항식 시간 변환을 구성하여, “(b_{tR}(G)\le k)?” 결정 문제가 NP‑hard임을 증명한다. 변환 과정에서는 변수마다 특정 구조의 서브그래프 (H_i)를, 절마다 하나의 정점 (c_j)와 그 정점이 해당 변수들의 서브그래프와 연결되는 형태를 만든다. 이 그래프에서 (\gamma_{tR}=4n+3) (여기서 (n)은 변수 수)와 (b_{tR}=1)이 동시에 성립하는 경우가 정확히 3‑SAT이 만족 가능한 경우와 일치함을 보인다. 따라서 전체 로만 결합 수 문제는 일반 그래프에서 계산이 어려운 문제임을 확립한다.

다음으로 여러 일반적인 그래프 클래스에 대해 상·하한을 제시한다. 핵심 결과는 다음과 같다.

1. 임의의 (b_{tR}(G))-집합 (B)에 대해 (\gamma_{tR}(G)+1\le \gamma_{tR}(G-B)\le \gamma_{tR}(G)+2)이며, 두 경계 모두 예시를 통해 날카롭다.
2. (\gamma_{tR}(G)=3\beta(G))인 경우 (b_{tR}(G)\ge \max{\delta(G),,b(G)})가 성립한다. 여기서 (\beta(G))는 최소 커버 수, (\delta(G))는 최소 차수, (b(G))는 전통적인 로만 결합 수이다.
3. (\gamma_{tR}(G)=\gamma_t(G))이면 (b_{tR}(G)=\infty)이며, 이는 그래프가 별, 건강/상처 거미, 경로·사이클, 완전 그래프의 코로나 등 특정 구조만을 포함할 때 발생한다.
4. (b_{tR}(G)=1)이 되는 충분·필요 조건을 제시하고, 이는 특정 두 정점이 전체 정점을 커버하도록 인접한 경우와 동치이다.

정확한 값 계산에서는 완전 그래프 (K_n)에 대해 (b_{tR}(K_n)=\lceil n/2\rceil), 완전 이분 그래프 (K_{p,q})에 대해 유사한 식을 얻는다. 바람개비 (B(t,d))와 이중 바람개비 (B(t,d,d’))는 언제든지 (b_{tR}=1)임을 보이며, 휠 그래프 (W_{n+1})도 마찬가지다. 상처 거미 (S(k,t))와 건강 거미 (S(0,t))에 대해서는 차수와 리프 수에 따라 무한 혹은 유한 값을 구한다.

마지막으로 그래프의 차수, 지름, girth(최소 사이클 길이)와 같은 전역 파라미터에 대한 상·하한을 제시한다. 예를 들어, 차수가 작을수록 (b_{tR})가 크게 될 가능성이 높으며, 큰 지름을 갖는 트리에서는 (b_{tR})가 최소 2 이상임을 보인다. 이러한 결과들은 전체 로만 결합 수가 그래프 구조와 얼마나 밀접하게 연관되는지를 명확히 보여준다.