경로와 사이클 결합 그래프의 홀수 그레이스풀 라벨링 알고리즘

1. 서론에서는 그래프 라벨링의 역사적 배경을 소개하고, 특히 Rosa가 제안한 graceful labeling과 그 변형인 odd‑graceful labeling의 정의를 제시한다. Gnanajothi(1991)의 결과를 인용해 경로 Pₙ은 언제나 odd‑graceful이며, 사이클 Cₘ은 m이 짝수일 때만 odd‑graceful임을 상기한다. 2. 관련 연구 파트에서는 Gallian의 동적 서베이, Kathiresan, Eldergill, Sekar, Moussa 등 다수의 선행 연구를 정리한다. 특히, 여러 경로를 식별하거나, 스파이더 그래프, 사다리 그래프 등 복합 구조에 대한 odd‑graceful 라벨링 결과를 언급하며, 현재 연구가 “사이클과 경로의 합집합”이라는 새로운 조합에 초점을 맞추고 있음을 강조한다. 3. 기본 정의 섹션에서는 그래프 G=(V,E), 정점 수 n, 간선 수 q, 그리고 odd‑graceful 라벨링 f:V→{0,1,…,2q−1} (일대일)와 간선 라벨 w(uv)=|f(u)−f(v)|가 {1,3,…,2q−1}을 정확히 한 번씩 포함한다는 정의를 명확히 한다. 또한, 그래프 합집합 G₁∪G₂의 정점·간선 집합 정의를 재확인한다. 4. 핵심 라벨링 결과는 네 개의 정리(정리 1~4)와 일반화 정리(정리 5)로 구성된다. - 정리 1: C₄∪Pₙ (n≥2) 은 odd‑graceful. 라벨링은 사이클 정점에 짝수 라벨(0,2,4,6), 경로 정점에 연속적인 홀수 라벨(1,3,5,…)을 부여한다. - 정리 2: C₆∪Pₙ 은 odd‑graceful. 사이클에 0,2,4,6,8,10을 할당하고, 경로에 1,3,5,… 혹은 13,9,… 등 두 가지 패턴을 사용해 충돌을 방지한다. - 정리 3: C₈∪Pₙ 은 odd‑graceful (n≥7). 사이클 라벨은 0~14의 짝수, 경로 라벨은 1~13의 홀수이며, 특정 인덱스에서 라벨 순서를 뒤집어 전체 라벨 집합을 완성한다. - 정리 4: C₁₀∪Pₙ 은 odd‑graceful (n≥2). 사이클 라벨을 0~18의 짝수, 경로 라벨을 1~17의 홀수로 배치한다. - 정리 5: 일반적인 Cₘ∪Pₙ (m 짝수) 에 대해, m=2k 로 두고 k가 짝수인지 홀수인지에 따라 라벨링 공식을 제시한다. 짝수 k 경우 사이클 라벨을 0,2,…,2m−2 로, 경로 라벨을 2k+1,2k+3,… 로 증가시킨다. 홀수 k 경우 경로 라벨을 2k−1,2k−3,… 로 감소시켜 사이클 라벨과 겹치지 않게 만든다. 이때 전체 간선 수 q=m+n−1이며, 모든 간선 라벨이 {1,3,…,2q−1}을 정확히 한 번씩 만든다. 5. 알고리즘 섹션에서는 두 단계 순차 알고리즘을 제시한다. - 첫 번째 패스: 사이클 Cₘ의 정점을 순서대로 방문하면서 “ACTIVE” 정점(가장 작은 홀수 라벨)과 “DOUBLE‑JUMP” 간선을 초기화한다. 이후 짝수 인덱스와 홀수 인덱스에 따라 라벨을 2·i−2 혹은 2·i−1 형태로 부여한다. - 두 번째 패스: 경로 Pₙ을 시작 정점부터 순차적으로 라벨링한다. 첫 간선은 “DOUBLE‑JUMP” 간선과 중복되지 않도록 조정하고, 이후 각 정점에 대해 이전 정점 라벨과 차이값을 이용해 새로운 라벨을 계산한다. 알고리즘은 각 정점·간선을 한 번씩 처리하므로 시간 복잡도는 O(m+n), 공간 복잡도는 O(m+n)이다. 6. 증명 부분에서는 (1) 정점 라벨이 서로 다름을 보이기 위해 사이클 라벨 집합과 경로 라벨 집합이 서로 교차하지 않음을 수학적으로 보여준다. (2) 모든 간선 라벨이 서로 다른 홀수임을 보이기 위해, 사이클 내부 간선 라벨은 감소하는 짝수 차이(2·i−1)로, 경로 내부 간선 라벨은 증가하는 짝수 차이(2·i−1)로 구성함을 증명한다. 또한, 사이클‑경로 연결 간선 라벨도 위 두 집합 사이에 존재하지 않는 값을 갖도록 설계한다. 7. 결론에서는 본 연구가 Cₘ∪Pₙ (m 짝수) 의 odd‑graceful 라벨링 존재성을 완전히 증명했으며, 구체적인 라벨링 공식과 구현 알고리즘을 제공함으로써 그래프 라벨링 분야에 실용적인 도구를 제시했다고 요약한다. 향후 연구 방향으로는 비짝수 m에 대한 가능성 탐색, 라벨링 최적화(예: 최소 라벨 범위), 그리고 실제 네트워크 설계에의 적용 사례를 제시할 것을 제안한다.