차이 그래프의 새로운 사례와 라벨링 기법

초록

본 논문은 차이 그래프(autograph)의 정의를 바탕으로 별, 나비, 이성, 우산, 올리브 트리 등 여러 표준 그래프와 다양한 “스네이크” 형태 그래프에 대한 차이 라벨링을 제시한다. 또한 K₃에 대한 유일한 서명과 별 그래프의 모든 가능한 서명을 규정하는 보조정리를 도출하고, K₂,₄가 차이 그래프가 아님을 보이지만 증명이 길다는 점을 언급한다.

상세 분석

논문은 먼저 차이 그래프를 “정점 집합 V를 양의 정수 집합 S에 일대일 대응시키고, 두 정점 x, y가 인접이면 |f(x)−f(y)|∈S이며, 반대도 성립한다”는 정의로 정리한다. 이 정의는 기존 문헌에서 ‘autograph’라 불리던 개념과 동일하지만, 저자는 서명을 S 자체를 그래프의 구조적 특성과 연결시키는 새로운 관점을 제시한다.

핵심 이론적 도구는 Proposition 2.1으로, 차이 그래프에서 발생할 수 있는 두 종류의 인접 관계를 명시한다. 첫 번째는 동일한 라벨값 s와 2s가 인접하는 경우이며, 두 번째는 서로 다른 라벨 a, b에 대해 a와 a+b가 인접하는 경우이다. 이 명제는 이후 모든 라벨링 구성의 기반이 된다.

Corollary 3.1은 서명 S에 포함될 수 있는 원소들의 형태를 네 가지 경우(2a, a², a+b, |a−b|)로 제한하고, 최소·최대 라벨이 각각 a²·|a−b|와 2a·(a+b) 형태임을 증명한다. 특히 (iv)항은 최대 라벨을 가진 정점의 차수가 홀수인지 짝수인지를 서명 원소와의 관계로 판단하게 하여, 라벨링 가능성을 빠르게 검증할 수 있는 실용적인 기준을 제공한다.

Theorem 3.1에서는 K₃에 대해 서명 S={3a,2a,a}가 유일함을 보이며, 이는 Corollary 3.1의 조건을 만족하는 유일한 조합임을 논증한다. 여기서 a는 양의 정수이며, 라벨링은 (3a,2a,a) 순환 구조를 만든다.

Theorem 3.2는 별 그래프 Sₙ에 대한 완전한 서명 분류를 제시한다. n이 짝수일 때와 홀수일 때 각각 두 종류의 서명 형태를 제시하고, 각 경우에 대해 “두 원소 사이의 차이가 서명에 포함되지 않는다”는 추가 제약을 둔다. 이는 별 그래프가 갖는 높은 대칭성 때문에 가능한 모든 라벨링을 체계적으로 나열한 것으로, 기존 연구에서는 부분적으로만 다루어졌던 내용을 전면적으로 정리한 것이다.

이후 Theorem 3.3~3.10에서는 나비, 이성, 우산, 이중 삼각 스네이크, 불규칙 삼각 스네이크, Cₙ 스네이크, 교대 Cₙ 스네이크, 올리브 트리 등 다양한 그래프에 대해 구체적인 라벨링 함수를 제시한다. 각 라벨링은 주로 등차·등비 수열이나 곱셈 형태를 이용해 정의되며, 인접성 조건을 만족하도록 설계되었다. 특히 스네이크 계열에서는 경로의 각 변을 삼각형 혹은 Cₙ 사이클로 대체하면서도 차이 조건을 유지하는 비법이 상세히 설명된다.

마지막으로 Theorem 3.11은 K₂,₄가 차이 그래프가 아님을 주장한다. 저자는 “증명이 매우 길다”는 점을 강조하며, 상세 증명은 별도 문의를 통해 제공한다는 형태로 마무리한다. 이는 차이 그래프 클래스가 무한히 확장되지 않으며, 특정 완전 이분 그래프는 구조적 제약에 의해 배제된다는 중요한 통찰을 제공한다.

전체적으로 논문은 기존 차이 그래프 연구에 새로운 라벨링 패밀리를 추가하고, 서명에 대한 제약조건을 체계화함으로써 차이 그래프 판별 문제에 대한 이론적 기반을 강화한다. 다만 증명 과정이 일부 생략되거나 비형식적인 서술이 존재해 재현 가능성에 대한 검증이 필요하며, K₂,₄에 대한 상세 증명이 부재한 점은 향후 연구 과제로 남는다.