データ構造とアルゴリズム：直前対策パック

公式集、全トピックの解法の要点、6 問の演習問題。完全な解答は巻末にあります。

新しい問題科目に戻る

印刷ウィンドウで「PDF として保存」を選ぶと、コピーを端末に保存できます。

1公式と解法

グラフ理論

握手補題
Σ deg(v) = 2|E|
完全グラフ
|E(Kn)| = n(n − 1)/2, |E(Km,n)| = m·n
正則グラフ
|E| = n·k/2
木と森
|E| = n − 1, |E| = n − c
木の葉
L = 2 + Σ (deg(v) − 2) over deg(v) ≥ 3
オイラー
閉路：すべての次数が偶数； 路：奇数次数がちょうど 2 つ
Kn のハミルトン閉路
(n − 1)!/2
ダイクストラ法の更新
d(v) = min(d(v), d(u) + w(u, v))
長さ L の歩道
(Mᴸ)ij

解き方

  1. 各頂点の次数を書き出します。次数の総和は辺の数の 2 倍になります。
  2. オイラーの問題では、グラフが連結であることを確かめ、奇数次数の頂点を数えます。
  3. 木では、辺が n − 1 本であることと握手補題を使います。
  4. ダイクストラ法では、暫定距離の表をつくり、毎回、未確定の頂点のうち最小のものを確定します。
  5. 最小全域木では、辺を重みの順に並べ、閉路をつくる辺を飛ばす方法（クラスカル法）か、始点から 1 本の木を成長させる方法（プリム法）を使います。

2演習問題

1.アルゴリズムと計算量ふつう

漸化式 T(n) = T(n − 1) + O(n) の解は何ですか？

  1. AO(n)
  2. BO(2ⁿ)
  3. CO(n log n)
  4. DO(n²)
2.アルゴリズムと計算量むずかしい

決定問題 X が NP 完全であることを証明するには、どの 2 つのことを示さなければなりませんか？

  1. AX が NP に属すること、および既知の NP 完全問題が多項式時間で X に帰着すること
  2. BX に多項式アルゴリズムがないこと、および X が決定可能であること
  3. CX が P に属すること、および X が SAT に帰着すること
  4. DX が P の問題に帰着すること、および X が NP に属すること
3.データ構造ふつう

循環バッファ（リングバッファ）は一般的に何を実装するために使われますか。

  1. A固定サイズのキュー
  2. B二分探索木
  3. Cグラフ探索
  4. Dハッシュ関数
4.データ構造むずかしい

標準的なブルームフィルタから、ビットをクリアするだけで要素を削除できないのはなぜですか。

  1. Aブルームフィルタのビットは作成後に変更できないから
  2. B削除すると偽陽性率が 100% に上がるから
  3. Cブルームフィルタは要素全体を格納しており、いったんハッシュ化されると再び見つけられないから
  4. Dそれらのビットは他の要素にも属している可能性があり、偽陰性を引き起こすから
5.グラフ理論ふつう

木に 次数 3 の頂点が 3 個 があり、ほかのすべての頂点は葉（次数 1）です。葉は何枚Lありますか？

3 × deg 3
L =
6.グラフ理論むずかしい
ABCDEF

B を始点かつ終点とする、長さ 2 の閉じた歩道はいくつありますか？ 歩道では頂点や辺を繰り返してもかまいません。その数を N とします。

M = 隣接行列L = 2
N =

3溶液

1.アルゴリズムと計算量

答え: D · O(n²)

これが答えになる理由

作業量の合計は約 n² / 2 で、これは選択ソートや、最悪のピボットを選んだクイックソートの漸化式です。

答え

D · O(n²)
2.アルゴリズムと計算量

答え: A · X が NP に属すること、および既知の NP 完全問題が多項式時間で X に帰着すること

これが答えになる理由

NP への所属は X が NP より難しくないことを示し、既知の NP 完全問題からの帰着は X が NP 全体と少なくとも同じくらい難しいことを示します。

答え

A · X が NP に属すること、および既知の NP 完全問題が多項式時間で X に帰着すること
3.データ構造

答え: A · 固定サイズのキュー

これが答えになる理由

リングバッファは回り込む head と tail のインデックスを使い、固定メモリで O(1) の enqueue と dequeue を実現します。

答え

A · 固定サイズのキュー
4.データ構造

答え: D · それらのビットは他の要素にも属している可能性があり、偽陰性を引き起こすから

これが答えになる理由

共有されたビットをクリアすると、別の要素が存在しないように見えてしまいます。カウンティング・ブルームフィルタは削除を可能にするために、ビットの代わりにカウンタを保持します。

答え

D · それらのビットは他の要素にも属している可能性があり、偽陰性を引き起こすから
5.グラフ理論

答え: L = 5

オイラー、ハミルトン、木：連結グラフは、すべての頂点の次数が偶数のときオイラー閉路（すべての辺を 1 回ずつ通って始点に戻る）をもち、ちょうど 2 つの頂点の次数が奇数のとき、閉路でないオイラー路をもちます。その路は、一方の奇数次数の頂点から他方へ通ります。ハミルトン閉路はすべての頂点を 1 回ずつ訪れ、Kn には (n − 1)!/2 個あります。n 個の頂点をもつ木には n − 1 本の辺があり、m 本の辺をもつ連結グラフは、m − n + 1 本の辺を取り除いても全域木が残ります。

木の握手補題

L + 9 = 2(L + 3) − 2
L = 5

答え

L = 5

近道：次数 d ≥ 3 の頂点について L = 2 + Σ (d − 2) です。

6.グラフ理論

答え: N = 4

次数：頂点の次数は、その頂点に接する辺の数です。どの辺にも端が 2 つあるので、次数の和は辺の数の 2 倍になります：Σ deg(v) = 2|E|（握手補題）。したがって、奇数次数の頂点の数は偶数です。Kn には n(n − 1)/2 本の辺があり、n 個の頂点をもつ k 正則グラフには nk/2 本、n 個の頂点をもつ木には n − 1 本の辺があります。

隣接行列

A: 0 1 1 0 0 0
B: 1 0 1 1 1 0
C: 1 1 0 0 0 0
D: 0 1 0 0 1 0
E: 0 1 0 1 0 1
F: 0 0 0 0 1 0

共通の隣接頂点

(M²)BB = 1·1 + 0·0 + 1·1 + 1·1 + 1·1 + 0·0 = 4

答え

N = 4

ExamProblems · examproblems.com/courses/data-structures-and-algorithms