[논문 리뷰] Graph and Union of Graphs Compositions

W. Bajguz|ArXiv.org|2006. 01. 31.

Advanced Graph Theory Research참고 문헌 1인용 수 4

한 줄 요약

이 논문은 공유 정점 또는 간선을 통해 연결된 더 작은 그래프들로 이루어진 트리 구조의 그래프를 구성하기 위한 새로운 프레임워크를 제안한다. 이는 그래프 복합체의 반복 계산을 가능하게 하며, 특히 완전 그래프와 순환 그래프의 E-트리(간선 연결) 및 V-트리(정점 연결)에 대해 복합체의 수를 세는 재귀 관계를 수립한다. 이로 인해 벨 수와 2의 거듭제곱을 포함하는 닫힌 형식의 공식이 도출된다.

ABSTRACT

Knopfmacher et all [1] was introduced the graph compositions` notion. In this note we add to these a new construction of tree-like graphs where nodes are graphs themselves. The first examples of these tree-like compositions, a corresponding theorem and resulting conclusions are provided.

연구 동기 및 목표

• 개별 그래프를 초월하여 여러 그래프를 연결함으로써 형성된 복합 구조로 그래프 복합체 개념을 확장하기 위해.
• 공유 정점 또는 간선을 통해 하위 그래프를 반복적으로 첨부함으로써 형성된 그래프에서 복합체 수를 계산하는 재귀적 방법을 개발하기 위해.
• 완전 그래프 $K_n$과 순환 그래프 $C_n$으로 구성된 E-트리 및 V-트리에서 복합체 수에 대한 명시적 공식을 제공하기 위해.
• 합집합 및 수축 연산을 사용하여 계층적 그래프 구조로 기존의 그래프 복합체 결과를 일반화하기 위해.

제안 방법

• 정점 집합을 연결된 유도 부분그래프로 분할하는 방식으로 그래프 복합체를 정의한다.
• 그래프들이 한 정점을 식별함으로써 연결되는 V-트리와 한 간선을 식별함으로써 연결되는 E-트리를 재귀적 구성으로 도입한다.
• 서로소인 그래프가 최대 한 개의 공통 정점을 가질 경우 $C(G_1 \bigcup G_2) = C(G_1) \times C(G_2)$ 임을 보여주는 정리 1을 사용한다.
• 정확히 두 개의 공통 정점과 하나의 공통 간선을 공유하는 그래프에 대해 정리 2를 유도하여 $C(G \bigcup H) = C(G)C(H) + 2C(G/k)C(H/k) - C(G)C(H/k) - C(G/k)C(H)$ 를 제공한다.
• 간선 $k$의 정점들을 식별하는 수축 연산 $G/k$를 도입하여 E-트리에서 공유 간선의 행동을 모델링한다.
• 정리 3를 통해 E-트리에 대한 재귀 관계를 수립하며, $C(T_{r+1})$와 $C(T_{r+1}/k_{r+1})$를 $C(T_r)$, $C(T_r/k_r)$ 및 $B_n$과 같은 그래프 불변량을 이용해 표현한다.

실험 결과

연구 질문

• RQ1 공유 정점 또는 간선을 통해 더 작은 그래프들을 연결하여 형성된 그래프에서 복합체 수를 어떻게 재귀적으로 계산할 수 있는가?
• RQ2 완전 그래프 $K_n$의 E-트리에서 복합체 수를 지배하는 재귀 관계는 무엇인가?
• RQ3 유사한 재귀적 구성에서 순환 그래프 $C_n$의 복합체는 완전 그래프 $K_n$의 복합체와 어떻게 비교되는가?
• RQ4 공통 간선을 공유하는 복수의 복제본이 존재할 경우, 공유 간선의 구조가 E-트리에서 복합체 수에 어떤 영향을 미치는가?
• RQ5 벨 수와 재귀 관계를 사용하여 $K_n$과 $C_n$의 구조적 E-트리에서 복합체 수에 대한 닫힌 형식의 표현식을 유도할 수 있는가?

주요 결과

• V-트리의 $n$개의 그래프 $G_1, \text{...}, G_n$에 대해 복합체 수는 $C(T) = \bigotimes_{i=1}^n C(G_i)$ 로 주어지며, 이는 곱셈적 독립성을 보여준다.
• 세 개 이상의 복제본이 공통 간선을 공유하지 않는 $K_n$의 E-트리에 대해 $C(T_{r+1}) = (B_n - 2B_{n-1} + 2B_{n-2})C(T_r) + (B_{n-1}^2 - B_n B_{n-2})C(T_{r-1})$ 이며, 여기서 $B_n$은 $n$번째 벨 수이다.
• $K_n$의 모든 복제본이 공통 간선 $k$를 공유하는 E-트리에 대해 $C(T_{r+1}) = (B_n - B_{n-1})C(T_r) + (2B_{n-1} - B_n)B_{n-1}^r$ 로 주어지며, 이는 닫힌 형식의 재귀 관계를 제공한다.
• $C_n$의 E-트리에 대해 공식은 $C(T_{r+1}) = (2^{n-1} - n + 2)C(T_r) + ((n-4)2^{n-2} + 1)C(T_{r-1})$ 로 변형되며, 이는 $B_n$을 $2^n - n$으로 대체함으로써 도출된다.
• $C_4$의 E-트리인 래퍼 그래프 $L_n$에 대해 $C(L_{n+1}) = 6C(L_n) + C(L_{n-1})$ 이며, 이는 기존의 결과와 일치한다.
• $C_3$의 E-트리인 부서진 휠 그래프 $W_n^*$에 대해 $C(W_{n+1}^*) = 3C(W_n^*) - C(W_{n-1}^*)$ 이며, 이는 이전 연구와 일관된다.