정규 헬리 순환호 아크 그래프의 새로운 서브클래스와 효율적 인식 알고리즘

초록

본 논문은 정상(Normal)·헬리(Helly)·단위(Unit)·적절(Proper)·구간(Interval) 특성을 조합한 15개의 순환호 아크 그래프 서브클래스를 체계적으로 정의하고, 특히 정상·헬리(NHCA) 그래프와 그 하위 클래스(PHCA, UHCA, NHCA)의 금지 유도 부분그래프(FIS)와 다항시간 인식 알고리즘을 제시한다. 또한 이들 클래스와 직선·원형 방향 그래프(straight, round digraph) 사이의 관계를 밝힌다.

상세 분석

논문은 먼저 순환호 아크 모델(M = (C,A))에 대해 Helly, Normal, Proper, Unit, Interval 다섯 가지 핵심 속성을 정의하고, 각 속성의 조합으로 2⁵=32개의 이론적 클래스를 만들지만, 속성 간 함의 관계(예: Unit ⇒ Proper, Interval ⇒ Helly ∧ Normal) 때문에 실제로는 15개의 서로 다른 모델 클래스가 남는다. 이 중 Normal ∧ Helly 모델을 C라고 정의하고, 이를 만족하는 그래프를 NHCA 그래프라 부른다.

NHCA 그래프는 “모든 서로 교차하는 호 집합이 하나의 공통점(p)을 공유한다”는 Helly 성질과 “두 호가 전체 원을 덮지 않는다”는 Normal 성질을 동시에 만족한다. 이 두 조건은 서로 배타적이지 않으며, C 클래스는 “두 개 혹은 세 개의 호가 동시에 원을 덮는 경우가 없음”으로도 기술된다. 저자는 이 특징을 이용해 NHCA 그래프의 구조적 특성을 인터벌 그래프와 비교하고, 여러 기존 결과(예: Lin·Szwarcfiter 2006)의 일반화를 제시한다.

핵심 기여는 세 가지 서브클래스에 대한 금지 유도 부분그래프(FIS) 목록이다.

• PHCA (Proper ∧ Helly)와 UHCA (Unit ∧ Helly)는 각각 기존에 알려진 HCA 그래프의 FIS에 추가로 ‘정상성’ 위반을 나타내는 작은 패턴을 포함한다.
• NHCA 전체에 대해서는 완전한 FIS 목록 대신, NHCA가 아닌 그래프들의 구조적 특징(예: 두 개 혹은 세 개의 호가 원을 덮는 경우)만을 제시한다.

이러한 금지 패턴을 기반으로 저자는 O(n + m) 시간 복잡도의 인식 알고리즘을 설계한다. 알고리즘은 먼저 입력 그래프를 CA 모델로 변환한 뒤, 모델을 정규화(normalization)하고, Helly와 Normal 조건을 순차적으로 검사한다. 특히 Twin‑Consecutive 정렬과 클리크 포인트 검증을 통해 모델을 “정규·헬리” 형태로 변환할 수 있음을 보인다.

마지막으로 NHCA 그래프와 직선/원형 방향 그래프(straight, round digraph) 사이의 동형 관계를 탐구한다. 저자는 NHCA 그래프가 straight digraph의 기본 구조와 일대일 대응함을 증명하고, round digraph와는 특정 서브클래스(NHCA ∧ Unit 등)에서만 동형임을 보인다. 이는 방향 그래프 이론과 순환호 아크 그래프 이론을 연결하는 새로운 교량 역할을 한다.

전반적으로 논문은 NHCA와 그 하위 클래스들의 구조적 특성을 명확히 규정하고, 금지 그래프와 효율적 인식 절차를 제공함으로써 순환호 아크 그래프 연구에 중요한 이론적·실용적 기반을 마련한다.