大阪大学 情報科学研究科 情報工学 2021年8月実施 離散構造

Author

祭音Myyura

Description

正の整数全体の集合 における二項関係 (binary relation) を

により定める。任意の に対して、以下の式により定まる頂点集合 と辺集合 をもつ無向グラフを とする。

の要素数を と書く。以下の問いに答えよ。

(1) 二項関係 に関する以下の各小問に答えよ。

• (1-1) が対称的 (symmetric) であるかを判定せよ。その理由を述べよ。
• (1-2) が推移的 (transitive) であるかを判定せよ。その理由を述べよ。

(2) 無向グラフ に関する以下の各小問に答えよ。

• (2-1) が持つ辺の数 と連結成分 (connected component) を数をそれぞれ答えよ。
• (2-2) 無向グラフ の部分グラフ (subgraph) が完全グラフ (complete graph) であるとき、 を の完全部分グラフ (complete subgraph) と呼ぶ。 の完全部分グラフの中で頂点数が最も大きいものの頂点集合を求めよ。
• (2-3) 不等式 が より大きい任意の に対して成り立つことを証明せよ。

(3) 任意の に対して

とする。極限

が存在すると仮定する。以下の各小問に答えよ。

• (3-1) 不等式 が成り立つことを示せ。
• (3-2) 不等式 が成り立つことを示せ。

Kai

(1)

(1-1)

二項関係 が対称的であることは定義より自明（ と の より大きい公約数は勿論 と の公約数である）。

(1-2)

二項関係 が推移的ではない。

３つの整数 を考える。 かつ であるが、 とは言えない。

(2)

(2-1)

なので、、連結成分の数は であることがわかる。

(2-2)

（偶数の集合）

(2-3)

任意の偶数のペア に対して、少なくとも が と の公約数であるので、

(3)

(3-1)

(2-3) より

(3-2)

頂点数が の多重辺と自己ループを持たない完全無向グラフの辺の数は なので、