跳到主要内容

広島大学 先進理工系科学研究科 情報科学プログラム 2020年8月実施 専門科目I 問題4

Author

samparker, 祭音Myyura

Description

任意の 2 辺を辺の端点以外で交差させることなく平面に描画できるようなグラフを平面的であるという。 頂点数 、辺数 の連結な平面的グラフ を平面描画したときの面の数 とすると となることが知られており、この等式はオイラーの公式と呼ばれている(ただし一番外側の領域も一つの面とみなす)。

(1) 図 1 に示すグラフ の平面描画を示し、その描画がオイラーの公式を満たしていることを説明せよ。

(2) 単純グラフ の補グラフ は、 と同じ頂点集合をもち、辺集合 を持つグラフである。グラフ の補グラフの平面描画を示せ。

(3) 平面性を維持したままでグラフに追加できる辺の数には限界がある。 オイラーの公式を利用して、頂点数 、辺数 の単純グラフ が平面的であるための必要条件が となることを示せ。

(4) 不等式 を利用して、頂点数 以上の任意の単純グラフ について、 の少なくとも一方は平面的ではないことを示せ。


A graph is said to be planar if it can be drawn on a plane so that no two edges intersect except at the end vertices of the edges. Let us consider the drawing of a planar graph on a plane. By letting be the number of faces (i.e., closed regions including exterior one) in the drawing of a connected planar graph with vertices and edges, it holds , which is called the Euler's formula in the graph theory.

(1) Give a planar drawing of graph shown in Figure 1, and show that the drawing fulfills the Euler's formula.

(2) Complement of simple graph , denoted as , is a graph with vertex set and edge set . Give a planar drawing of the complement of graph .

(3) There is an upper limit on the number of edges so that a simple graph is planar. Prove that any simple planar graph with vertices and edges satisfies .

(4) With inequality , prove that for any simple graph with at least 11 vertices, or is not planar.

図1グラフ Figure 1 Graph

Kai

(1)

number of vertices: , number of edges: , number of faces:

(2)

(3)

Suppose a connected graph with vertices and edges has a planar embedding with faces. Since every edge is traversed exactly twice by the face boundaries, the sum of the lengths of the face boundaries is exactly . Also, each face boundary is of length at least , so this sum is at least . This implies that

But by Euler’s formula, and substituting into the above gives

(4)

When , w.l.o.g. assume that is planar, then by (3) we have

Let denote the number of edges of . Since the number of edges of (i.e. the complete simple graph of nodes) is , we have

Hence is not planar.