원자 임베딩으로 푸는 클러스터 평면성 및 두께 가능성 문제

초록

이 논문은 그래프와 2‑차원 복합체의 임베딩 문제를 하나의 일반화된 프레임워크인 원자 임베딩(Atomic Embeddability)으로 정의하고, 이를 다항 시간 알고리즘으로 해결한다. 결과적으로 1995년 제시된 클러스터 평면성(c‑planarity) 문제와 2‑차원 복합체의 두께 가능성(thickenability) 문제 모두 다항 시간 내에 판정할 수 있음을 보인다. 또한, 클러스터가 토러스 형태인 경우는 NP‑완전임을 증명한다.

상세 분석

논문은 먼저 기존의 두 문제, 즉 클러스터 평면성(c‑planarity)과 2‑차원 복합체의 두께 가능성(thickenability)을 “원자 임베딩”이라는 통합 모델로 재정의한다. 여기서 입력은 두 개의 루프가 없는 다중그래프 G와 H와, 정점·간선을 원자(점)와 파이프(선)로 매핑하는 단순 사상 ϕ:G→H이다. H의 각 원자는 구면에 구멍을 뚫어 만든 “두께” 표면 S(ν)으로 해석되고, 파이프는 구멍 사이를 뒤집어 연결하는 방식으로 3차원 매니폴드가 구성된다. 원자 임베딩이란 G의 정점을 해당 원자 구의 내부에, 간선을 파이프를 관통하는 호로 배치하는 것을 의미한다. 핵심은 각 원자 ν에 대해 정의되는 로컬 그래프 G_ϕ(ν)의 평면 임베딩이 존재하고, 파이프에 대응하는 가상 정점들의 회전 순서가 서로 반대(또는 동일)해야 전체 임베딩이 가능하다는 “회전 호환성” 조건이다.

알고리즘은 먼저 입력을 “정규 형태”로 변환한다. 이후 로컬 그래프의 최대 차수를 Δ라 두고, Δ≥4인 경우 두 가지 기본 연산을 적용한다. 첫 번째는 ‘Stretch(v,·)’ 연산으로, 고차원 정점을 두 개의 저차원 정점으로 분할하면서 파이프와 연결된 가상 정점의 구조를 유지한다. 이 연산은 가상 정점에 적용될 경우 H의 종족(genus)을 1씩 증가시키지만, 이는 원자 임베딩이 본질적으로 평면 문제이면서도 표면 위에서 다루어지는 새로운 관점을 제공한다. 두 번째는 ‘Contract(·)’ 연산으로, 파이프 자체를 축소해 그래프 구조를 단순화한다. 이러한 연산을 반복 적용하면 모든 로컬 그래프의 차수가 3 이하가 되며, 이때는 기존의 선형 시간 평면성 검사와 동일한 방식으로 임베딩 가능 여부를 판단할 수 있다.

특히, 논문은 Carmesin의 두께 가능성 검사 기법을 차용하면서도, 이를 그래프‑표면 관점으로 재구성해 “stretch” 연산을 정의한다. 이는 기존에 c‑planarity가 표면의 종족을 0으로 고정했기 때문에 적용이 어려웠던 점을 극복한다. 결과적으로 원자 임베딩 알고리즘은 c‑planarity를 다항 시간에 해결하고, 동시에 두께 가능성 문제와 다항 시간 상호 변환이 가능함을 보인다.

마지막으로, 원자 임베딩을 토러스형 원자(즉, 구면 대신 토러스에 핸들을 붙인 표면)로 확장하면 문제는 NP‑완전이 된다. 이는 가상 정점의 회전 호환성 검사가 곧 서피스 그래프 색칠 문제와 동등해짐을 이용한 복잡도 증명이며, 원자 임베딩이 일반적인 경우는 효율적으로 풀 수 있지만, 표면의 위상적 복잡도가 증가하면 근본적으로 어려워진다는 중요한 통찰을 제공한다.