곱 동형 사상 문제와 CQ 정의 가능성에 관한 연구

초록

본 논문은 곱 동형 사상 문제(PHP)의 NExpTime‑hard성을 새로운 방식으로 증명하고, 이 난이도가 단순한 방향 그래프와 제한된 도메인·한정된 차수(ar­ity)를 가진 구조에서도 유지됨을 보인다. 또한 이 결과를 활용해 쿼리(Conjunctive Query) 정의 가능성 문제, 즉 PP‑definability 문제의 복잡도 경계도 제시한다.

상세 분석

곱 동형 사상 문제는 입력으로 동일한 스키마를 공유하는 유한 구조 A₁,…,Aₙ와 목표 구조 B를 받아, 직접곱 A₁×…×Aₙ에서 B로의 동형 사상이 존재하는지를 묻는다. 기존에는 Willard의 결과를 인용해 NExpTime‑complete임을 알았지만, 그 증명은 무한히 큰 관계 차수를 이용하는 것이 핵심이었다. 본 논문은 두 가지 중요한 개선을 제공한다. 첫째, 차수를 제한하면서도 NExpTime‑hard성을 유지하는 새로운 감소를 제시한다. 이를 위해 저자는 지수적 타일링 문제를 변형해, 각 타일 위치를 하나의 구조에 인코딩하고, 타일 간 인접 제약을 관계로 표현한다. 차수는 2(즉, 이진 관계)로 고정하면서도, 도메인 크기를 2로 제한한다는 점에서 매우 강력한 제한조건이다. 둘째, 이러한 제한된 구조를 단순한 방향 그래프로 변환한다. 그래프의 정점은 원래 구조의 원소를 나타내고, 간선은 관계를 나타내며, 곱 구조의 동형 사상 존재 여부가 그래프 동형 사상 존재 여부와 동치가 된다. 따라서 PHP는 방향 그래프 수준에서도 NExpTime‑hard함을 보인다.

복잡도 측면에서 중요한 통찰은 “관계 차수와 도메인 크기의 제한이 동시에 적용될 때도, 입력의 수가 지수적으로 증가하면 문제의 난이도는 유지된다”는 점이다. 이는 기존에 차수 제한만 고려했을 때는 문제를 P‑time 혹은 NP‑hard 수준으로 낮출 수 있다고 생각했던 직관에 반한다. 또한, 저자는 관계 수에 대한 제한을 두지 않음으로써, 무한히 많은 이진 관계를 활용해 차수를 고정하는 기술을 구현한다. 이는 구조 이론에서 “관계 수는 복잡도에 큰 영향을 미치지 않는다”는 일반적인 믿음을 재검토하게 만든다.

마지막으로, 이 결과를 CQ‑definability 문제에 적용한다. CQ‑definability는 주어진 관계 R이 어떤 구조에서 합성 가능한 합동 쿼리(Conjunctive Query)로 정의될 수 있는지를 묻는 문제이다. 기존 연구는 이 문제의 복잡도가 데이터베이스 스키마와 쿼리의 형태에 따라 크게 달라진다고 보고했지만, 본 논문은 PHP의 NExpTime‑hard성을 이용해, 심지어 스키마가 단순한 이진 관계만 포함하고, 도메인 크기가 2인 경우에도 CQ‑definability가 NExpTime‑hard임을 증명한다. 이는 데이터베이스 이론에서 “간단한 스키마라도 쿼리 정의 가능성 검증은 본질적으로 어려울 수 있다”는 강력한 경고를 제공한다.

요약하면, 논문은 (1) 차수와 도메인 크기를 동시에 제한하면서도 PHP의 NExpTime‑hard성을 유지하는 새로운 감소를 제시하고, (2) 이를 방향 그래프 수준으로 축소함으로써 문제의 일반성을 강조하며, (3) 이러한 결과를 CQ‑definability 문제에 직접 적용해 복잡도 경계를 확장한다는 세 가지 핵심 기여를 한다.