다중 그래프

다중 그래프. 회색의 원은 꼭짓점을, 푸른 선은 고리를, 붉은 선은 중복되는 변을, 검은 선은 중복되지 않는 변을 나타낸다.

그래프 이론에서 다중 그래프(多重graph, 틀:Llang)는 두 꼭짓점 사이에 여러 변이 허용되는, 그래프의 일반화이다.

정의

기초적 정의

다중 그래프 $G=(V,E,\partial )$는 다음과 같은 순서쌍이다.

• $V$는 집합이다. 이를 꼭짓점의 집합이라고 하며, 그 원소를 꼭짓점(틀:Llang)이라고 한다.
• $E$는 집합이다. 이를 변의 집합이라고 하며, 그 원소를 변(틀:Llang)이라고 한다.
• $\partial :E\to S^2(V)$는 함수이다. 여기서 $S^2(V)=\{\{u,v\}:u,v\in V\}$이다. 만약 $\partial e=\{u,v\}$라면, $u$와 $v$를 $e$의 끝점(틀:Llang)이라고 한다. 양 끝점이 같은 변을 고리(틀:Llang)라고 한다. 다중 그래프 $G$의 꼭짓점의 집합은 $V(G)$, 변의 집합은 $E(G)$로 쓴다.

다중 그래프 $G$와 $H$ 사이의 사상 $(f,g)$은 다음 조건을 만족시키는 함수

$f:V(G)\to V(H)$

$g:E(G)\to E(G)$

의 순서쌍이다.

• 임의의 변 $e\in E(G)$에 대하여, $\partial e=\{u,v\}$라면 $\partial g(e)=\{f(u),f(v)\}$이다. 즉, 다음 그림이 가환한다.

  $\begin{array}{ccc}E(G)& \stackrel{S^2(g)}{\to }& E(H)\\ \partial \downarrow & & \downarrow \partial \\ S^2(V(G))& \underset{S^2(f)}{\overset{}{\to }}& S^2(V(H))\end{array}$

꼭짓점 $v\in V(G)$의 차수(틀:Llang) $\mathrm{deg}v$는 다음과 같다.

$\mathrm{deg}v=\left|\{e\in E(G):v\in \partial e\wedge |\partial e|=2\}\right|+2\left|\{e\in E(G):\{v\}=\partial e\}\right|$

즉, 고리들은 차수에서 두 배로 센다.

다중 그래프의 경우 그래프에 대한 대부분의 용어들이 적용되지만, 다른 경우도 있다. 예를 들어, 다중 그래프에서 변을 축약(틀:Llang)시키면, 중복되는 변들을 하나로 합치지 않으며, 고리 또한 남겨둔다.

범주론적 정의

쉼표 범주를 통한 정의

다중 그래프의 범주 $\mathrm{Multigraph}$는 다음과 같은 쉼표 범주이다.

$\mathrm{Multigraph}=\mathrm{Set}\downarrow S^2$

여기서 자기 함자 $S^2:\mathrm{Set}\to \mathrm{Set}$는

$S^2(V)=\{\{u,v\}:u,v\in V\}$

$S^2(f:V\to V^{\prime }):\{u,v\}\mapsto \{f(u),f(v)\}$

이다.

그 밖에도 다양한 개념을 이렇게 정의할 수 있다.

$F:\mathrm{Set}\to \mathrm{Set}$	$\mathrm{Set}\downarrow F$
$F(V)=\{(u,v):u,v\in V\}$	다중 그래프의 범주
$F(V)=V\times V$	화살집의 범주
멱집합 함자 $F(V)=𝒫(V)$	다중 초그래프의 범주
$F(V)=𝒫(V)\times 𝒫(V)$	유향 다중 초그래프의 범주

준층을 통한 정의

다중 그래프의 범주 $\mathrm{Multigraph}$는 다음과 같은 준층 범주이다.

$\mathrm{Multigraph}=\mathrm{Psh}(𝒞,\mathrm{Set})$

여기서 $𝒞$는 작은 범주

$\begin{array}{ccc}V& \stackrel{s}{\to }& E\\ t\downarrow & \swarrow u\\ E\end{array}$

이다.

관련 개념

(단순) 그래프는 고리가 없고, 두 꼭짓점 사이에 최대 하나의 변이 존재하는 다중 그래프이다. 반대로, 주어진 다중 그래프에서 변의 중복수를 잊고, 고리를 삭제한다면 그래프를 얻는다.

화살집은 변이 방향을 갖춘 다중 그래프이다. 즉, 유향 그래프와 다중 그래프의 공통적인 일반화이다.

같이 보기

• 그래프 이론

참고 문헌

• 틀:서적 인용

외부 링크

• 틀:Eom
• 틀:매스월드