広島大学 先進理工系科学研究科 情報科学プログラム 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
题目描述
若一个图能画在平面上,且任意两条边除公共端点外均不相交,则称该图是平面的。对一个有 个顶点、 条边的连通平面图,其平面嵌入的面数为 (最外部区域也算一个面)时,有欧拉公式
-
为图 1 中的图 给出一个平面画法,并说明该画法满足欧拉公式。
-
简单图 的补图 与 有相同顶点集,边集为
给出 的补图的平面画法。
-
利用欧拉公式证明:有 个顶点、 条边的简单图 若为平面图,则必有
-
利用该不等式证明:对任意顶点数不少于 的简单图 , 与 中至少一个不是平面图。
图 的具体结构见图 1。
考点
- 平面图:运用欧拉公式及面边界计数推导简单平面图的边数上界,并结合补图边数判断非平面性。
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.