정규 이분 그래프와 그 구조적 특성

초록

본 논문은 임의 차수를 갖는 라벨이 부착된 정규 이분 그래프를 표현하기 위한 새로운 기호 체계를 제시하고, 라벨이 있는 경우와 없는 경우의 그래프 열거 문제를 다룬다. 2‑정규 이분 그래프의 비동형 그래프를 모두 생성하는 알고리즘과 그 완전성을 증명했으며, m개의 대칭 순열 트리를 이용해 2m개의 정점으로 이루어진 r‑정규 이분 그래프를 시각화하고 자동동형군을 구한다. 또한 두 호환 순열에서 파티션을 생성하는 절차와 자동동형군과 순열 열거 사이의 관계를 이용해 특정 파티션에 대응하는 호환 순열의 개수를 구하는 식을 도출한다.

상세 분석

논문은 먼저 라벨이 부착된 정규 이분 그래프를 기술하기 위해 (U,V) 두 집합으로 구성된 bipartite 구조 위에 각 정점에 고유 식별자를 부여하는 새로운 표기법을 정의한다. 이 표기법은 기존의 인접 행렬이나 인접 리스트와 달리 차수 r과 정점 수 2m을 명시적으로 파라미터화함으로써, 동일 차수·정점 수를 갖는 그래프들의 동형 여부를 판단하기 위한 기준을 제공한다. 이어서 라벨이 있는 경우와 없는 경우의 열거 문제를 구분한다. 라벨이 있는 경우는 순열 공간의 전형적인 조합 문제로 전환되며, 라벨이 없는 경우는 동형 군에 의한 궤도 분할(orbit partition) 문제로 귀결된다. 특히 2‑정규(즉, 각 정점이 정확히 두 개의 이웃을 갖는) 이분 그래프에 대해, 저자는 모든 비동형 그래프를 생성하는 재귀적 백트래킹 알고리즘을 제시한다. 이 알고리즘은 그래프를 2‑사이클(길이 4의 짧은 사이클)들의 집합으로 분해하고, 사이클 간 연결 패턴을 순열 형태로 표현함으로써 탐색 공간을 크게 축소한다. 완전성 증명에서는 각 가능한 파티션(정점 집합을 사이클 길이별로 나눈 것)이 알고리즘에 의해 반드시 한 번씩 생성됨을 보이며, 중복 생성이 없음을 보증한다.

다음으로 저자는 m‑대칭 순열 트리(m‑Symmetric Permutation Tree, m‑SPT)를 도입한다. m‑SPT는 r‑정규 이분 그래프의 두 파티션 U와 V에 각각 r개의 순열을 할당하고, 이 순열들의 조합을 트리 구조로 시각화한다. 트리의 각 레벨은 하나의 정점 집합에 대한 순열 선택을 나타내며, 리프 노드는 전체 그래프의 완전한 라벨링을 의미한다. 이 구조를 이용하면 자동동형군(automorphism group)의 원소들을 트리의 대칭 변환으로 직접 식별할 수 있다. 특히 자동동형군은 순열 트리의 정규 부분군으로 표현되며, 군의 크기와 구조는 트리의 대칭성에 의해 결정된다.

또한 두 호환 순열(p,q) 사이에서 파티션을 생성하는 알고리즘을 제시한다. 여기서 “호환”이란 p와 q가 동일한 정점 집합을 동일한 사이클 구조로 매핑한다는 의미이며, 파티션은 사이클 길이별로 정점을 묶는 방식이다. 파티션을 기반으로 자동동형군과 순열 열거 문제를 연결함으로써, 특정 파티션 λ에 대해 λ‑compatible permutation의 총 개수를 구하는 식을 도출한다. 이 식은 파티션의 멀티셋 구성과 자동동형군의 고정점 수를 조합한 형태이며, 기존의 순열 열거 공식에 비해 정규 이분 그래프에 특화된 정밀도를 제공한다. 전체적으로 논문은 정규 이분 그래프의 구조적 특성을 순열 이론과 군론적 관점에서 통합적으로 분석함으로써, 그래프 열거와 자동동형군 계산이라는 두 핵심 문제를 동시에 해결할 수 있는 새로운 프레임워크를 제시한다.