본문 바로가기
  • Fearless
수학/이산수학(Graph Theory)

[이산수학] (5) Handshaking Lemma

by Albatross 2022. 4. 20.
반응형

G가 graph일 때, 모든 vertices에 대한 sigma sum of d(v)는 2*|E(G)|다. 이를 handshaking lemma라 부른다.

여기서 파생된 corollary: 홀수인 d(v)의 갯수는 짝수여야만한다.

 

예시1. 홀수인 degree of vertices가 4개다.

예시2. 홀수인 d(v)가 6개다.

 

corollary를 증명하기 위해서,

2|E(G)|는 mod2일때 remainder=0 or 1로 나뉜다. 

2|E(G)|의 mod2는 0이고 remainder = 0일때도 0, 

 

degree seq은 (0,1,2,2,2,2,2,3)과 같이 특정 그래프의 degree를 나열한 수열이다. 

 

예시

 

Handshaking Lemma의 cor에 의해 홀수 degree의 갯수는 짝수다. 

 

 

그래프의 degree는 무조건 |V(G)|-1 이하여야 한다.

 

 

(1,1,2,2,2)

특정 degree seq를 가지는 graph는 여러개일수 있다. 

 

degree seq가 주어졌을 때 |E(G)|를 찾는법,

handshaking lemma를 사용하면 sigma sum of degree = 2|E(G)|

 

DEL(G) = max d(v)

del(G) = min d(v)

 

G가 n개의 vertices를 가진 simple graph라면, |V(G)|=n이고, DEL(G) <= n-1다. 그 스스로는 빠지기 때문.

만약 d(v) = d(u) for all u,v in V(G)라면 G는 regular graph다. 똑같이, del(G) = DEL(G)라면 G는 regular graph다.

 

null graph는 E(G)가 공집합인 그래프다. 이 경우 모든 d(v)가 0으로 같기 때문에 regular graph다.

 

Kn은 complete graph다. Complete graph는 {v1, ..., vn}으로 구성된 Vertices set, E(G) = {vivj | i != j}를 가진다. 즉, 모든 vertices가 상호간에 연결된 완전한 그래프다. 

 

Kn의 특성은 다음과 같다.

1) Kn의 d(v) = n-1 

2) Kn은 regular graph (del(G) = DEL(G))

3) |E(Kn)| = n(n-1)/2 = nC2

 

handshaking lemma에 의해 2|E(Kn)| = sigma sum of degree = sigma sum of (n-1) = n(n-1)

 

prop. Kn의 |E(G)|는 모든 simple graph 중 가장 크다. 

 

1) d(v) = n-1 for all v in v(Kn)

2) Kn is regular graph

3) |E(Kn)| = nC2

4) degree seq of Kn is (n-1, n-1, ...) * n개 

 

K_m,n은 complete bipartite graph(이분그래프)다. K_m,n은 V(Km,n) = {u1, ... , um, v1, ... vn}이고 E(Km,n)={ui,vj| for all i,j}다. 

 

Complete bipartite graph의 특징은 다음과 같다.

1) Km,n은 ismorphic to Kn,m이다. 

2) d(ui) = n, d(vj) = m이다. 

3) degree seq of Km,n(m<=n)은 (n,n,n... (m개) , m,m...(n개))로 구성된다.

4) |E(Km,n)| = mn (pf. handshaking lemma)

 

Complete multipartite graph는 bi가 아닌 multi라는 점만 다르다.

반응형

'수학 > 이산수학(Graph Theory)' 카테고리의 다른 글

[이산수학] (7) Connection  (0) 2022.05.18
[이산수학] (6) Subgraphs  (0) 2022.04.20
[이산수학] (4) Fundamentals of Graph Thoery  (0) 2022.04.20
[이산수학] (3) Partition  (0) 2022.04.20
[이산수학] (2) Relations  (0) 2022.04.19