그래프 동형성 문제 해결을 위한 정점‑간선 변환 연구

초록

본 논문은 정점 그래프를 간선 그래프로 변환하는 일대일 대응을 제시하고, 이를 통해 그래프 동형성 판단과 그래프 열거를 사전 그리기 없이 효율적으로 수행할 수 있음을 주장한다. 변환 과정에서 발생하는 복잡도와 NP‑완전성의 본질을 이론적으로 분석하고, 문제 해결 가능성과 불가능성의 경계를 조명한다.

상세 분석

논문은 먼저 기존 그래프 이론에서 정점 그래프와 간선 그래프 사이의 전통적인 관계를 재정의한다. 저자는 모든 단순 무방향 그래프 G에 대해, 정점 집합 V(G)를 간선 집합 E(H)와, 간선 집합 E(G)를 정점 집합 V(H)로 매핑하는 변환 함수 φ를 정의한다. 이때 H는 ‘간선 그래프’라 불리며, φ가 전단사임을 보이기 위해 여러 보조 정리를 제시한다. 핵심은 φ가 그래프 동형성 보존성을 갖는다는 점이다. 즉, G₁ ≅ G₂이면 φ(G₁) ≅ φ(G₂)이며, 역도 성립한다는 주장이다. 이를 증명하기 위해 저자는 ‘정점‑간선 대응 행렬’이라는 새로운 행렬 표현을 도입하고, 행렬의 고유값·고유벡터 구조가 변환 전후에 동일함을 보인다. 그러나 이 증명 과정에서 몇 가지 미비점이 발견된다. 첫째, 변환이 다중 그래프나 자기루프가 포함된 경우에 대한 명시적 정의가 부족하다. 둘째, φ가 전단사임을 보이기 위해서는 그래프의 연결성, 차수 분포 등 추가적인 제약이 필요함에도 불구하고 논문은 이를 무시한다. 셋째, 행렬 기반 동형성 보존 증명은 실제로는 스펙트럼 동형성(spectral isomorphism)과 동치이며, 이는 일반적인 동형성 판단에 충분하지 않다. 스펙트럼이 동일하더라도 비동형인 그래프가 존재한다는 것이 알려진 바이다.

알고리즘적 측면에서 저자는 변환 후 간선 그래프에 대해 ‘간선 열거 알고리즘’을 적용하면, 원래 그래프의 모든 동형 복제본을 O(n²) 시간 내에 생성할 수 있다고 주장한다. 여기서 n은 원 그래프의 정점 수이다. 그러나 변환 과정 자체가 O(|V|·|E|)의 복잡도를 갖고, 변환 후에도 간선 그래프의 정점 수가 원 그래프의 간선 수와 동일해지므로, 최악의 경우 O(n³) 이상의 비용이 발생한다. 또한, 변환 후 그래프의 구조적 특성이 원 그래프와 크게 달라져, 기존의 동형성 검사 알고리즘(예: Weisfeiler‑Lehman 테스트)과의 호환성이 떨어진다.

NP‑완전성 논의에서는 저자가 변환을 통해 ‘동형성 문제’를 ‘간선 매칭 문제’로 환원하고, 이 과정에서 NP‑완전성의 발생 원인을 설명한다는 점은 흥미롭다. 하지만 실제로 그래프 동형성 문제는 현재까지도 NP‑완전으로 알려져 있지 않으며, 최근에는 Babai의 quasi‑polynomial 알고리즘이 발표된 바 있다. 논문은 이러한 최신 결과를 전혀 인용하지 않고, 기존의 복잡도 구분에만 의존한다는 점에서 시대에 뒤떨어진 감이 있다.

종합적으로 볼 때, 정점‑간선 변환이라는 아이디어 자체는 새로운 시각을 제공하지만, 제시된 정리와 알고리즘은 증명상의 구멍, 복잡도 과소평가, 최신 연구와의 불일치 등 여러 문제점을 안고 있다. 따라서 현재 형태로는 그래프 동형성 문제를 완전히 해결했다고 보기 어렵다.