정점 하나 분해를 이용한 정사각형 마름모형 그래프 표현 생성 알고리즘

초록

본 논문은 비시리즈-패럴렐 그래프인 정사각형 마름모형(Square Rhomboid)의 대수적 표현을 효율적으로 생성하기 위한 새로운 알고리즘, 즉 One‑Vertex Decomposition Algorithm(OVDA)을 제안한다. 기존 알고리즘 대비 재귀 분해 구조를 단일 정점에 집중시켜 표현식의 길이를 감소시키고, 시간·공간 복잡도를 개선하였다. 알고리즘의 정확성과 최적성에 대한 증명을 제공하고, 실험을 통해 기존 방법보다 평균 15 %~30 % 정도 짧은 표현식을 얻음을 확인한다.

상세 분석

정사각형 마름모형은 두 개의 평행한 경로와 그 사이를 연결하는 교차 간선들로 구성된 비시리즈‑패럴렐 유향 그래프이며, 그 구조적 복잡성 때문에 일반적인 series‑parallel 분해 기법으로는 최소 대수식(최소 표현식)을 얻기 어렵다. 기존 연구에서는 다중 정점 분해(Multi‑Vertex Decomposition)와 레벨‑별 분해(Level‑Based Decomposition) 등을 활용했지만, 재귀 호출 횟수가 많아 표현식의 길이가 급격히 증가하고, 구현 복잡성도 높았다.

OVDA는 “하나의 중심 정점”을 선택해 그래프를 두 개의 서브그래프(왼쪽, 오른쪽)와 하나의 교차 경로로 분할한다. 핵심 아이디어는 다음과 같다.

정점 선택 기준: 그래프의 중앙에 위치한 정점 v를 선택하는데, 이는 입력·출력 정점 사이의 최단 경로 길이가 최소가 되도록 하는 정점이다. 이렇게 하면 서브그래프들의 크기가 균등하게 분할되어 재귀 깊이가 log n에 가까워진다.
분해 규칙: 원래 그래프 G를 G_L(v)·e(v)·G_R(v) 형태로 표현한다. 여기서 G_L(v)와 G_R(v)는 각각 v를 기준으로 왼쪽·오른쪽으로 나뉜 서브그래프이며, e(v)는 v를 통과하는 교차 간선들의 대수적 합이다.
재귀식: 표현식 E(G)는 E(G_L)·e(v)·E(G_R) 로 정의되며, 기본 케이스는 정점 수가 1 또는 2인 경우에 대해 직접적인 대수식(예: a·b 또는 a+b)으로 처리한다.
복잡도 분석: 각 단계에서 그래프를 거의 절반으로 나누므로, 재귀 깊이는 O(log n)이다. 각 단계에서 수행되는 연산은 서브그래프의 대수식 결합과 교차 간선 집합의 합산으로, 전체 시간 복잡도는 O(n log n)이며, 메모리 사용량도 O(n log n) 수준이다. 이는 기존 다중 정점 분해가 O(n²) 혹은 O(n³)에 머물렀던 것에 비해 현저히 개선된 결과이다.

알고리즘의 정확성은 그래프 분해가 원래 그래프의 모든 s‑t 경로를 정확히 보존한다는 사실을 기반으로 귀납적으로 증명한다. 또한, 표현식의 길이가 최적에 근접함을 보이기 위해, 그래프의 최소 경로 커버와 표현식 길이 사이의 하한을 도출하고, OVDA가 이 하한에 상수 배 이내임을 보였다.

실험에서는 n=10부터 500까지 다양한 크기의 정사각형 마름모형에 대해 기존 Multi‑Vertex Decomposition, Level‑Based Decomposition, 그리고 제안된 OVDA를 적용하였다. 결과는 평균적으로 OVDA가 15 %~30 % 짧은 대수식을 생성했으며, 특히 큰 그래프일수록 그 차이가 두드러졌다. 또한 실행 시간도 기존 방법 대비 2배 이상 빠르게 측정되었다.

이 논문은 비시리즈‑패럴렐 그래프의 대수적 표현을 다루는 연구에 새로운 분해 패러다임을 제시함으로써, 그래프 기반 회로 설계, 네트워크 신뢰도 분석, 그리고 병렬 연산 최적화 등 실용적인 분야에 적용 가능성을 열어준다.