[논문 리뷰] Regular Bipartite Graphs And Their Properties

Vivek S. Nittoor|arXiv (Cornell University)|2012. 12. 31.

Error Correcting Code Techniques참고 문헌 8인용 수 3

한 줄 요약

이 논문은 레이블이 부여된 비이소모르픽 r-정규 이분할 그래프를 체계적으로 열거하기 위해 새로운 대칭 순열 트리(SPT(m)) 추상화를 도입한다. 특히 2-정규 사례에 초점을 맞추고 있으며, 2m개의 정점을 가진 비이소모르픽 2-정규 이분할 그래프를 모두 생성하는 완전한 알고리즘을 제시하고, 분할 기반 열거를 통해 호환 가능한 순열과 자기동형군에 대한 공식을 유도하며, 이러한 그래프의 최대 둘레가 2m임을 증명한다.

ABSTRACT

We introduce a new notation for representing labeled regular bipartite graphs of arbitrary degree. Several enumeration problems for labeled and unlabeled regular bipartite graphs have been introduced. A general algorithm for enumerating all non-isomorphic 2-regular bipartite graphs for a specified number of vertices has been described and a mathematical proof has been provided for its completeness. An abstraction of m Symmetric Permutation Tree in order to visualize a labeled r-Regular Bipartite Graph with 2m vertices and enumerate its automorphism group has been introduced. An algorithm to generate the partition associated with two compatible permutations has been introduced. The relationship between Automorphism Group and permutation enumeration problem has been used to derive formulae for the number of compatible permutations corresponding to a specified partition.

연구 동기 및 목표

• 2m개의 정점을 가진 비이소모르픽 2-정규 이분할 그래프를 체계적으로 완전히 열거하기 위한 일반 알고리즘을 개발하는 것.
• 레이블이 부여된 r-정규 이분할 그래프의 시각화 및 열거 도구로 대칭 순열 트리(SPT(m))를 도입하는 것.
• 정규 이분할 그래프의 자기동형군과 순열 열거 간의 수학적 프레임워크를 구축하는 것.
• 주어진 정점 사이클 분할에 대응하는 호환 가능한 순열의 수를 유도하는 공식을 도출하는 것.
• 2-정규 이분할 그래프의 최대 가능한 둘레가 2m임을 규명하는 것.

제안 방법

• m개의 원소의 순열을 모두 표현하고 열거하기 위해 m개의 원소를 기반으로 한 대칭 순열 트리(SPT(m))를 도입하여 그래프 열거의 기초를 마련한다.
• 절차 P를 통한 재귀적 백트래킹을 이용해 m!개의 순열을 체계적으로 생성하며, 잎 노드와 순열 간의 일대일 대응을 증명함으로써 완전성을 확보한다.
• 이분접합 행렬 표현을 사용하여 레이블이 부여된 r-정규 이분할 그래프를 모델링하며, 각 행과 열의 합이 r이 되도록 한다.
• 이분접합 행렬의 행과 열의 순열을 통해 그래프 간 이소모르피즘을 정의하여 비이소모르픽 그래프를 걸러내는 데 활용한다.
• 사이클 분할 β ∈ P₂(m)에 기반하여 호환 가능한 순열의 공식을 도출하며, 순열의 구조와 그래프의 자기동형군 간의 연결 고리를 설정한다.
• 알려진 사이클 정리를 적용하여 2-정규 그래프의 사이클 길이를 분할의 구성요소와 연결하며, 각 구성요소 qᵢ에 대해 사이클 길이 2qᵢ를 갖는다.

실험 결과

연구 질문

• RQ1 2m개의 정점을 가진 비이소모르픽 2-정규 이분할 그래프의 완전한 집합은 무엇이며, 어떻게 체계적으로 열거할 수 있는가?
• RQ2 레이블이 부여된 r-정규 이분할 그래프의 자기동형군은 순열 구조를 통해 어떻게 열거하고 특성화할 수 있는가?
• RQ3 정규 이분할 그래프에서 호환 가능한 순열과 사이클 분할 간의 관계는 무엇인가?
• RQ4 2m개의 정점을 가진 2-정규 이분할 그래프의 최대 가능한 둘레는 무엇인가?
• RQ5 임의의 r과 m에 대해 비이소모르픽 r-정규 이분할 그래프를 모두 열거할 수 있는 일반 알고리즘을 구성할 수 있는가?

주요 결과

• ESPT(m) 알고리즘은 m개의 원소의 m!개 순열을 정확히 열거하며, 잎 노드와 순열 간의 일대일 대응을 통해 증명된다.
• 2m개의 정점을 가진 2-정규 이분할 그래프에서 도달 가능한 최대 둘레는 2m이며, 이는 그래프가 길이 2m의 단일 사이클일 때 달성된다.
• 분할 β ∈ P₂(m)에 이sov모르픽인 2-정규 이분할 그래프 Ψ(β)의 사이클 길이는 정확히 {2qᵢ}이며, 여기서 qᵢ는 분할 β의 구성요소이다.
• 주어진 분할 β에 대응하는 호환 가능한 순열의 수는 자기동형군과 순열 열거 간의 관계를 통해 도출된다.
• 대칭 순열 트리 SPT(m)는 레이블이 부여된 r-정규 이분할 그래ph와 그 대칭성의 완전하고 체계적인 시각화 및 열거 프레임워크를 제공한다.
• 논문은 특히 r = 2와 r = 3일 경우 최대 둘레를 갖는 r-정규 이분할 그래프를 탐색하기 위한 기초 프레임워크를 구축한다.