비합류형 NLC 그래프 문법 추론을 위한 부분 그래프 압축

초록

본 논문은 그래프 G 안에서 서로 겹치지 않지만 인접할 수 있는 동일 구조의 부분 그래프 집합에 대해, 해당 부분들을 한 번에 생성하는 NLC 그래프 문법 규칙이 존재하는지를 판별하는 이론적 기준을 제시한다. 기존 연구가 비접촉(non‑touching) 조건에 의존했던 것을 확장하여, “비합류(non‑confluent)” 규칙을 허용함으로써 보다 일반적인 그래프 구조에 적용 가능한 문법 추론 방법을 제공한다.

상세 분석

NLC(Node‑Label‑Controlled) 그래프 문법은 각 노드 라벨에 따라 삽입될 서브그래프와 그 주변과의 연결 방식을 정의하는 규칙 집합으로, 그래프 생성 과정을 라벨 기반의 로컬 변환으로 모델링한다. 기존 문법 추론 연구는 주어진 그래프 G에서 서로 접촉하지 않는(disjoint and non‑touching) 동형 서브그래프 집합 S에 대해, 하나의 NLC 규칙이 S를 한 번에 생성할 수 있는지 여부를 판단하는 알고리즘을 제시하였다. 그러나 실제 네트워크, 화학 구조, 소프트웨어 모델 등에서는 서브그래프들이 경계에서 서로 맞닿아 있는 경우가 빈번하며, 이러한 상황을 “비합류”라 부른다.

본 논문은 먼저 비합류 상황을 형식화한다. 서브그래프 집합 S가 서로 겹치지는 않지만, 각 서브그래프의 외부 이웃 노드가 다른 서브그래프와 공유될 수 있음을 전제로, 각 서브그래프에 대한 삽입 라벨 L과 연결 관계 E를 정의한다. 핵심은 “임베딩 관계”(embedding relation)와 “충돌 관계”(conflict relation)를 정밀히 분석하여, 규칙 적용 시 발생할 수 있는 모순을 사전에 차단하는 조건을 도출하는 것이다.

논문은 다음과 같은 주요 정리를 제시한다. 첫째, 주어진 S와 라벨 L에 대해, 모든 서브그래프가 동일한 주변 연결 패턴을 공유한다면, 단일 NLC 규칙이 존재할 필요 충분조건은 각 서브그래프의 경계 노드 집합이 서로 교차하지 않는 경우와, 교차가 있더라도 그 교차 부분이 동일한 라벨과 동일한 연결 규칙을 만족해야 함을 보인다. 둘째, 충돌 관계를 그래프 이론적 용어인 “교차 그래프”(intersection graph)로 표현하여, 이 교차 그래프가 완전 이분 그래프(bipartite) 구조를 가질 때 비합류 규칙이 가능함을 증명한다. 셋째, 이러한 조건을 검증하는 알고리즘을 제시하고, 시간 복잡도는 O(|V(G)|·|S|) 수준으로, 기존 비접촉 기반 알고리즘과 동일하거나 약간 높은 수준이지만, 적용 범위가 크게 확대된다는 장점을 갖는다.

또한, 논문은 비합류 규칙이 “비결합성”(non‑confluence) 특성을 띠는 이유를 설명한다. 규칙 적용 순서에 따라 최종 그래프가 달라질 수 있는 경우가 존재하지만, 제시된 충돌·호환 조건을 만족하면 어느 순서로 적용하든 동일한 G를 복원한다는 강력한 보장을 제공한다. 이는 그래프 문법 추론에서 중요한 일관성 문제를 해결하는 데 기여한다.

실험 부분에서는 화학 분자 그래프와 소프트웨어 호출 그래프 두 가지 도메인을 대상으로, 비합류 규칙을 허용했을 때 추출된 문법의 압축률이 비접촉 규칙에 비해 평균 23% 향상됨을 보고한다. 특히, 분자 구조에서 공유 결합을 포함하는 고리형 서브그래프가 빈번히 나타나 비합류 규칙이 필수적이었다.

결론적으로, 이 연구는 NLC 그래프 문법 추론을 비합류 상황까지 일반화함으로써, 실제 복잡한 네트워크 구조를 보다 효율적으로 모델링하고 압축할 수 있는 이론적 토대를 제공한다. 향후 연구에서는 비합류 규칙을 다중 라벨 및 동적 삽입 상황에 확장하고, 추론 알고리즘의 최적화 및 실시간 적용 가능성을 탐색할 계획이다.