방향 그래프 사이클 순위와 정규 언어 별 높이의 새로운 연결 고리

초록

본 논문은 방향 그래프의 구조적 복잡도 지표인 사이클 순위와 정규 언어 이론의 핵심 개념인 별 높이 사이의 깊은 연관성을 밝힌다. 사이클 순위 계산이 최대 아웃디그리 2인 희소 그래프에서도 NP‑완전임을 증명하고, O((log n)³⁄²) 근사 알고리즘과 O*(1.9129ⁿ) 시간·공간 복잡도를 갖는 정확 알고리즘을 제시한다. 또한, 이 결과를 bideterministic 정규 언어의 별 높이 문제에 적용해 해당 문제 역시 NP‑완전이며, 동일한 근사·지수 시간 알고리즘을 제공한다.

상세 분석

논문은 먼저 사이클 순위(cycle rank)의 정의를 재검토한다. 사이클 순위는 그래프가 비순환이면 0, 강하게 연결된 경우에는 정점 하나를 제거한 뒤 최소 순위를 재귀적으로 구하는 방식으로 정의되며, 강하게 연결되지 않은 경우에는 각 강연결 성분의 최대 순위를 취한다. 이 정의는 기존의 directed elimination tree(또는 forest)와 동치임을 보이며, 사이클 순위가 해당 트리의 최소 높이와 일치함을 증명한다.

다음으로 저자는 사이클 순위와 다른 방향 그래프 복잡도 측정값, 특히 weak separator number와 directed pathwidth 사이의 관계를 수학적으로 연결한다. Lemma 4와 Corollary 5를 통해 사이클 순위는 weak separator number k에 대해 O(k·log(n/k)) 이하임을 보이고, Lemma 8을 이용해 directed pathwidth ≤ 사이클 순위임을 보여준다. 이로써 사이클 순위는 weak separator number와 directed pathwidth 사이의 “로그‑계수” 다리 역할을 함을 확인한다.

복잡도 측면에서는 CYCLE RANK 결정 문제가 NP‑complete임을 새롭게 증명한다. 특히 그래프가 강하게 연결되어 있거나 최대 아웃디그리 2인 경우에도 NP‑hard임을 보여, 이전에 알려진 무방향 대칭 그래프 결과를 일반화한다.

알고리즘적 기여는 두 가지이다. 첫째, O((log n)³⁄²) 근사 알고리즘은 그래프를 반복적으로 weak separator 로 분할하고, 각 부분에 대해 재귀적으로 사이클 순위를 추정함으로써 얻는다. 근사 비율은 로그‑제곱근 형태로, 기존의 다항식 근사보다 강력하다. 둘째, 정확 알고리즘은 동적 프로그래밍 기반의 지수 시간 방법으로, 특히 최대 아웃디그리 2인 경우에 O*(1.9129ⁿ) 의 시간·공간 복잡도를 달성한다. 이는 기존의 O*(2ⁿ) 알고리즘을 개선한 것으로, 그래프 구조를 이용해 상태 공간을 크게 축소한다.

정규 언어 측면에서는 bideterministic 자동화와 별 높이(star height) 문제를 연결한다. 별 높이는 정규 표현식에서 별 연산()의 중첩 깊이 최소값이며, Eggan의 초기 질문에서 시작해 Hashiguchi가 결정 가능성을 보였지만 실용적인 알고리즘은 부재했다. 저자는 bideterministic 언어가 해당 자동화의 전이 그래프와 일대일 대응함을 이용해, 앞서 제시한 사이클 순위 알고리즘을 그대로 별 높이 계산에 적용한다. 결과적으로 bideterministic 언어의 별 높이 문제도 NP‑complete이며, 동일한 O((log n)³⁄²) 근사와 O(1.9129ⁿ) 정확 알고리즘을 제공한다.

전체적으로 논문은 그래프 이론과 형식 언어 이론 사이의 교차점을 체계적으로 탐구하고, 복잡도 이론에 새로운 경계를 제시한다. 특히 사이클 순위와 별 높이 사이의 동형 관계를 이용해 두 분야의 난제들을 동시에 해결한 점이 학술적·실용적 의의가 크다.