카티시안 곱 그래프의 전역·쌍대 지배수에 관한 새로운 경계

초록

본 논문은 카티시안 곱 그래프에서 지배수, 전역 지배수, 그리고 쌍대 지배수 사이의 관계를 연구한다. Clark‑Suen의 이중 계수법을 변형하여, 각각의 지배수에 대해 상수 배율의 새로운 상한을 제시하고, 이를 n‑차원 카티시안 곱까지 일반화한다.

상세 분석

이 논문은 Vizing의 지배수 추측을 직접 증명하려는 시도는 아니지만, 그와 유사한 형태의 부등식을 다양한 지배 개념에 대해 확장한다는 점에서 의미가 크다. 기존의 Clark‑Suen 방법은 γ(G)·γ(H) ≤ 2·γ(G□H) 를 얻기 위해 γ‑집합을 한쪽 그래프에만 투사하였다. 저자들은 이 방식을 두 그래프 모두에 투사하는 이중 투사 기법으로 바꾸어, 각 부분집합이 G‑측 혹은 H‑측에서 어느 정도를 지배하는지를 행·열의 이진 행렬 형태로 기록한다. 행렬에 대한 두 가지 기본 명제(열에 1이 존재하거나 행에 0이 존재)를 이용해, 각 서브블록이 어느 한쪽 조건을 만족함을 보이고, 이를 통해 전체 블록 수와 지배집합 크기 사이의 관계를 정량화한다. 이 과정에서 전역 지배(γ_t)와 쌍대 지배(γ_pr)에도 동일한 논리를 적용할 수 있음을 보여준다. 특히 전역 지배의 경우, 행렬의 0‑열이 “해당 정점이 직접 포함되지 않음”을 의미하므로, 인접 정점이 반드시 존재함을 보장하는 추가 조건을 도입해 증명을 보강한다. 쌍대 지배에서는 완전 매칭이 존재해야 하므로, 각 블록이 짝을 이루는 구조를 유지하도록 행렬을 n‑차원으로 확장하고, j‑행렬 개념을 도입해 복합적인 매칭 조건을 만족시킨다. 결과적으로 다음과 같은 새로운 상한을 얻는다:

1. max{γ(G)·γ_t(H), γ_t(G)·γ(H)} ≤ 2·γ(G□H)
2. γ_t(G)·γ_t(H) ≤ 2·γ_t(G□H)
3. n·∑{i=1}^n γ_t(A_i) ≤ n·γ_t(□{i=1}^n A_i)
4. γ_pr(G)·γ_pr(H) ≤ 6·γ_pr(G□H)
5. n·∑{i=1}^n γ_pr(A_i) ≤ 2^{,n-1}(2^{,n}-1)·γ_pr(□{i=1}^n A_i)

특히 4번과 5번은 기존 연구에서 제시된 7·γ_pr(G□H)와 7·γ_pr(□)보다 더 강한 상수를 제공한다. 또한 n‑차원 일반화는 행렬의 차원을 늘려 동일한 논리를 적용함으로써, 다중 그래프 곱에서도 동일한 비율이 유지된다는 점을 증명한다. 이러한 결과는 Vizing 추측의 약한 형태를 다양한 지배 개념에 대해 일관되게 확장할 수 있음을 보여주며, 특히 전역·쌍대 지배수에 대한 상수 배율이 기존보다 개선된 점이 주목할 만하다. 증명 과정에서 사용된 행렬 명제와 j‑행렬 개념은 그래프 이론 외에도 다중 차원 배열이나 고차원 데이터 구조의 커버링 문제에도 응용 가능할 것으로 보인다.