[논문 리뷰] Counting unlabelled toroidal graphs with no K33-subdivisions

Andrei Gagarin, Gilbert Labelle외 1명|ArXiv.org|2005. 09. 01.

Advanced Graph Theory Research참고 문헌 13인용 수 9

한 줄 요약

이 논문은 종량성 이론과 워크스의 색인 시리즈를 사용하여 $K_{3,3}$-분할을 포함하지 않는 토러스 및 프로젝티브 평면 그래프에 대한 새로운 비라벨링 수세기 프레임워크를 개발한다. 구조 정리들을 적용하여 2폴드 네트워크를 코어 그래프에 치환함으로써 이러한 그래프를 분해하고, 명시적인 생성 함수와 수세기 공식을 도출하여 최대 64개 정점까지의 비라벨링 비평면적 $K_{3,3}$-자유 그래프를 세는 데 가능하게 한다.

ABSTRACT

We provide a description of unlabelled enumeration techniques, with complete proofs, for graphs that can be canonically obtained by substituting 2-pole networks for the edges of core graphs. Using structure theorems for toroidal and projective-planar graphs containing no K33-subdivisions, we apply these techniques to obtain their unlabelled enumeration.

연구 동기 및 목표

• 토러스나 프로젝티브 평면에 매립 가능한 비평면적 $K_{3,3}$-자유 그래프에 대한 체계적인 비라벨링 수세기 방법을 개발하는 것.
• 특히 워크스의 색인 시리즈를 활용하여 자동형성과 간선 사이클 구조를 고려한 그래프 치환에 종량성 이론 기법을 확장하는 것.
• 2연결 $K_{3,3}$-자유 그래프에 대한 구조 정리를 적용하여 코어 그래프에 치환된 2폴드 네트워크로 분해하는 것.
• 최대 64개 정점까지의 비라벨링 토러스 및 프로젝티브 평면 그래프에 대한 명시적 생성 함수를 계산하는 것.
• 문제를 네트워크 시리즈와 코어 자동형성 유형 계산으로 환원함으로써 비라벨링 $K_{3,3}$-자유 그래프의 수세기 기초를 마련하는 것.

제안 방법

• 2폴드 네트워크가 포함된 클래스 $\mathcal{N}$의 그래프가 코어 그래프 클래스 $\mathcal{G}$의 간선에 치환되는 복합 연산자 $\mathcal{G} \uparrow \mathcal{N}$를 도입하여 복잡한 그래프를 구성한다.
• 자기동형성 데이터를 암호화하기 위해 $W_{\mathcal{G}}$로 표현되는 워크스 색인 시리즈를 정의하며, 코어 그래프에서의 자기동형성의 사이클 유형과 네트워크에서 유도된 와퍼 제품의 구조를 포함한다.
• 종량성 이론을 사용하여 비라벨링 수세기와 라벨링 쌍 $(G, \sigma)$의 지수 생성함수 간의 관계를 설정한다. 여기서 $\sigma$는 $G$의 자기동형성이다.
• 생성 함수의 재귀적 공식을 유도하여 $\mathcal{G} \uparrow \mathcal{N}$의 생성 함수를 $\mathcal{G}$의 워크스 시리즈와 $\mathcal{N}$의 양/음의 와퍼 시리즈에 따라 표현한다.
• 토러스 및 프로젝티브 평면 코어에 이 방법을 적용하여, 특히 무한한 '토러스 코어' 가족에 대해 경로와 순환의 매칭 다항식을 사용한다.
• 루트가 있는 실린더형 및 모비우스 와퍼 네트워크의 구조와 자동형성 사이클 유형 간의 연결 고리를 설정하여, 사이클 지수 분해를 통한 정확한 수세기 가능성을 확보한다.

실험 결과

연구 질문

• RQ1 비라벨링 수세기의 체계적 접근을 통해 $K_{3,3}$-자유 토러스 및 프로젝티브 평면 그래프를 라벨링 수세기 초월하여 어떻게 달성할 수 있는가?
• RQ2 자기동형성 사이클 유형과 간선 사이클의 루트화가 복잡한 그래프를 코어와 네트워크 구성요소로 분해하는 데 어떻게 기여하는가?
• RQ3 종량성 이론과 생성함수를 사용하여 2폴드 네트워크를 코어 그래프에 어떻게 형식화할 수 있는가?
• RQ4 특히 무한한 '토러스 코어' 가족에 대해 비라벨링 $K_{3,3}$-자유 토러스 그래프의 생성 함수는 어떤 구조를 가지는가?
• RQ5 비라벨링 비평면적 $K_{3,3}$-자유 그래프의 수세기 문제를 얼마나 네트워크 시리즈와 코어 자동형성 데이터 계산으로 환원할 수 있는가?

주요 결과

• 논문은 $\mathcal{G} \uparrow \mathcal{N}$ 치환 모델을 사용하여 비라벨링 $K_{3,3}$-자유 토러스 및 프로젝티브 평면 그래프에 대한 완전한 생성 함수 프레임워크를 수립한다.
• 워크스 시리즈의 $\mathcal{G}$와 $\mathcal{N}$의 양/음의 와퍼 시리즈에 따라 $\mathcal{G} \uparrow \mathcal{N}$의 워크스 색인 시리즈에 대한 닫힌 표현식을 유도하여 정확한 수세기를 가능하게 한다.
• 토러스 코어의 경우, 생성 함수는 경로와 순환의 매칭 다항식을 포함하며, 자동형성 하에서 실린더형 및 모비우스 와퍼의 구조를 모두 고려한다.
• 저자들은 최대 64개 정점까지의 비라벨링 토러스 코어와 토러스 코어의 수를 계산하여 작은 크기의 명시적 수치 데이터를 제공한다.
• 표 2와 3은 비라벨링 비평면적 2연결 $K_{3,3}$-자유 프로젝티브 평면 그래프(최대 9개 정점)와 토러스 그래프(최대 12개 정점)의 완전한 수세기를 제시한다.
• 이 방법은 비라벨링 수세기 문제를 네트워크 시리즈 계산으로 환원하며, 일반적으로는 열려 있으나 소규모 그래프의 경우 알고리즘적 생성을 통해 처리 가능하다.