정규 단순 경로 질의의 삼분법

초록

본 논문은 정규 언어 L에 대해 정규 단순 경로 질의(RSPQ)의 데이터 복잡도 분류를 제시한다. L이 특정 최대 fragment에 속하면 다항시간으로 평가 가능하고, 그 밖이면 NP‑완전이다. 더 나아가 RSPQ의 복잡도는 L에 따라 AC⁰, NL‑complete, NP‑complete 중 하나로 정확히 나뉜다. 또한 L의 표현 방식에 따라 “트랙터블성 판단” 문제의 복잡도가 달라짐을 보이며, 결과를 정점 라벨 그래프와 정점·간선 라벨 그래프에도 확장한다.

상세 분석

이 논문은 정규 경로 질의(RPQ)의 확장인 정규 단순 경로 질의(RSPQ)를 연구한다. RPQ는 그래프의 간선 라벨이 주어진 정규식과 일치하는 경로를 찾는 문제이며, 일반적인 RPQ는 NL‑complete 수준의 복잡도를 가진다. 그러나 “단순(simple)”이라는 제약, 즉 경로가 동일한 정점을 두 번 이상 방문하지 못하도록 하는 조건을 추가하면 문제의 난이도가 급격히 상승한다. 기존 연구에서는 aba·(aa)*와 같은 아주 단순한 정규식조차도 NP‑complete임을 보였지만, 어떤 정규식은 여전히 효율적으로 처리될 수 있는지에 대한 체계적인 분류는 부재했다.

저자들은 먼저 “maximal tractable fragment”라 불리는 정규 언어 집합을 정의한다. 이 fragment는 정규 표현식 수준에서 간단히 기술될 수 있는데, 핵심은 언어가 “단순 순환 구조(simple cycle structure)”를 갖는가 여부이다. 구체적으로, 언어 L이 아래 두 조건을 만족하면 tractable 하다고 본다. (1) L을 표현하는 최소 DFA의 강한 연결 성분이 하나의 사이클만을 포함하거나, 사이클이 없고 모든 전이가 일방향 트리 형태인 경우. (2) 사이클 내부의 라벨이 서로 교차하지 않아, 경로가 단순성을 유지하면서도 사이클을 여러 번 반복할 수 있는 경우. 이러한 구조적 제약은 정규식으로는 (a|b), a·b·a*·b* 등과 같이 “교차 없는 교차점”을 갖는 형태로 나타난다.

복잡도 분석에서는 데이터 복잡도(그래프 크기만을 변수로 하는 복잡도)와 표현 복잡도(정규식·NFA·DFA 크기) 두 축을 구분한다. 데이터 복잡도 측면에서, fragment에 속하는 L에 대해서는 AC⁰(극히 낮은 회로 복잡도)로 평가가 가능함을 보인다. 이는 그래프의 각 정점에 대해 로컬 검증만으로 단순 경로 존재 여부를 판단할 수 있음을 의미한다. 반면, fragment에 속하지만 사이클이 존재하는 경우는 NL‑complete가 된다. 여기서는 그래프 탐색 과정에서 비결정적 로그스페이스를 사용해 단순 경로를 찾는 것이 필요하지만, 여전히 다항시간 내에 해결 가능하다. fragment 밖의 언어는 일반적으로 NP‑complete이며, 이는 경로의 단순성 제약을 만족시키면서도 정규식 매칭을 동시에 만족시키는 조합 최적화 문제와 동등함을 증명한다.

또한 “언어 트랙터블성 판단” 문제를 다룬다. 입력으로 DFA, NFA, 혹은 정규식을 주고 해당 언어가 tractable fragment에 속하는지를 결정하는 문제이다. DFA가 주어졌을 때는 상태 전이 그래프의 구조만 검사하면 되므로 NL‑complete임을 보인다. 반면 NFA와 정규식은 ε‑전이와 비결정성으로 인해 PSPACE‑complete가 된다. 이는 정규식·NFA를 최소 DFA로 변환하는 과정이 지수적 비용을 요구하기 때문이며, 복잡도 이론에서 알려진 정규 언어 동등성 검사와 유사한 난이도를 갖는다.

마지막으로 결과를 정점 라벨 그래프와 정점·간선 라벨 그래프에도 확장한다. 정점 라벨 그래프에서는 경로 라벨이 정점 라벨의 시퀀스로 해석되며, 기존 증명들을 거의 그대로 적용할 수 있다. 정점·간선 라벨 그래프는 두 종류의 라벨을 동시에 고려해야 하지만, 라벨을 쌍으로 묶어 새로운 알파벳을 만든 뒤 동일한 논리를 적용함으로써 동일한 삼분법을 얻는다.

전체적으로 이 논문은 RSPQ 문제의 복잡도 지형을 완전하게 그려냈으며, 실무에서 어떤 정규식을 사용해야 효율적인 질의를 수행할 수 있는지에 대한 명확한 가이드라인을 제공한다. 특히, 데이터베이스 시스템이나 그래프 질의 엔진 설계 시 정규식 제한을 통해 NP‑hard 상황을 회피할 수 있다는 점은 큰 실용적 의미를 가진다.