다항식 그래프 확장으로 그래프 동형성 검사 효율화
본 논문은 두 그래프 G와 G′에 대해 경로 길이 α 별로 정점 쌍 사이의 경로 개수를 저장한 행렬 Nα를 다항식 시간에 순차적으로 구축하고, 이를 가중치가 부여된 확장 그래프로 변환한다. 확장 그래프의 동형성 여부는 원 그래프의 동형성과 동치이며, 확장 과정에서 얻은 “금지 행렬” F는 서로 호환되지 않는 정점 매핑을 사전에 차단한다. 실험 결과 F가 대부분의 그래프 클래스에서 각 정점당 하나의 후보만 남겨, 기존 GI 알고리즘의 탐색 공간을…
저자: Daniel Cosmin Porumbel
1. 서론 및 배경
그래프 동형성 문제(GI)는 현재까지 P와 NP‑complete 사이에 위치한 대표적인 NP‑문제로, 특정 그래프 클래스에 대해서는 다항식 시간 알고리즘이 존재하지만 일반적인 경우는 아직 해결되지 않았다. 기존 알고리즘은 주로 정점의 차수, 색칠, 고유값 등 간단한 구조적 특성을 이용해 후보 매핑을 제한하지만, 비연결 정점 쌍에 대한 충돌 검출이 어려워 탐색 공간이 급격히 늘어나는 단점이 있다. 저자는 이러한 한계를 극복하기 위해 그래프의 전체 경로 구조를 해시하는 “그래프 확장” 절차를 제안한다.
2. 기본 정의와 기호
- G(V,E), G′(V′,E′) : 입력 그래프와 그 동형 후보 그래프
- M, M′ : 각각의 인접 행렬
- Nα : |V|×|V| 행렬, Nα
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기