コンピュータサイエンス基礎:直前対策パック

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

新しい問題科目に戻る

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

1公式と解法

記数法

位取り
2 進数 2k、8 進数 8k、16 進数 16k
10 進数へ
Σ dk·bk
10 進数から
基数で割り、余りを下から上へ読む
16 進数 ↔ 2 進数
16 進数 1 桁 = 4 ビット
2 の補数
ビットを反転して 1 を足す

命題論理と証明

真理値表の行
2ⁿ
含意
p → q ≡ ¬p ∨ q ≡ ¬q → ¬p
含意の否定
¬(p → q) ≡ p ∧ ¬q
同値(双条件)
p ↔ q ≡ (p → q) ∧ (q → p)
ド・モルガンの法則
¬(p ∧ q) ≡ ¬p ∨ ¬q, ¬(p ∨ q) ≡ ¬p ∧ ¬q
分配法則
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r), p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
量化子の否定
¬∀x P(x) ≡ ∃x ¬P(x), ¬∃x P(x) ≡ ∀x ¬P(x)
肯定式(modus ponens)、否定式(modus tollens)
p → q, p ⊢ q; p → q, ¬q ⊢ ¬p

解き方

  1. 異なる変数の数を数えます:真理値表の行数は 2ⁿ で、最初の行はすべて 1 です。
  2. 部分式ごとに列を用意し、内側から順に列を埋めていきます。
  3. 各結合子の規則を適用します:→ が 0 になるのは 1 → 0 のときだけ、↔ は両辺が一致するとき 1 です。
  4. 同値の判定では最後の列を行ごとに比べます。論証の判定では、すべての前提が 1 である行だけを見ます。
  5. 量化された文を否定するには、¬ を内側へ移し、∀ と ∃ を入れ替え、内側の式を否定します。

デジタル論理:ゲート・カルノー図・フリップフロップ

基本ゲート
A·B, A + B, A′, (A·B)′, (A + B)′, A ⊕ B
ブールの規則
X + X′ = 1, X·X′ = 0, X + XY = X, XY + XY′ = X
ド・モルガンの法則
(X·Y)′ = X′ + Y′, (X + Y)′ = X′·Y′
カルノー図の並び順
00, 01, 11, 10 (Gray code)
2ᵏ 個のセルのグループ
k 個の変数が消える
4 対 1 マルチプレクサ
F = A′B′I0 + A′BI1 + AB′I2 + ABI3
フリップフロップ
D: Q⁺ = D, T: Q⁺ = T ⊕ Q, JK: Q⁺ = JQ′ + K′Q
カウンタ
n ビット:2ⁿ 状態; mod-N:2ⁿ ≥ N を満たす最小の n; fout = fclk/N
リップルカウンタ
fmax = 1/(n·tpd)
リングカウンタとジョンソンカウンタ
n 状態と 2n 状態

解き方

  1. 回路では、入力から出力へ向かってゲートを 1 つずつ進み、各配線に値を書き込むか、式を書いて真理値表を埋めましょう。
  2. 簡単化するには、1(とドントケアは X として)を、行と列がグレイコード 00, 01, 11, 10 のカルノー図に書き込みましょう。
  3. 1 を、1, 2, 4, 8, 16 個のセルからなる、できるだけ少なくできるだけ大きなグループで、端をまたぎながら覆いましょう。各グループは、一定のままの変数からなる 1 つの積項です。POS 形には 0 をグループ化します。
  4. フリップフロップとカウンタでは、各有効クロックエッジで入力を読み取り、エッジごとの状態を書き出し、n ビットのカウンタは 2ⁿ 個の状態で折り返すことを忘れないようにしましょう。

整数論と合同式

余りのある割り算
a = q·n + r, 0 ≤ r < n
ユークリッド
gcd(a, b) = gcd(b, a mod b)
最小公倍数
lcm(a, b) = a·b/gcd(a, b)
逆行列
a·a⁻¹ ≡ 1 (mod n), gcd(a, n) = 1
一次合同式
a·x ≡ b → x ≡ a⁻¹·b (mod n)
オイラーのトーシェント関数
φ(n) = n·∏(1 − 1/p), φ(pᵏ) = pᵏ − pᵏ⁻¹
フェルマー
aᵖ⁻¹ ≡ 1 (mod p)
RSA
n = pq, φ = (p − 1)(q − 1), d = e⁻¹ mod φ, c = mᵉ mod n, m = cᵈ mod n

解き方

  1. まずすべての数を n で割った余りに直します。余りは 0 から n − 1 の間です。
  2. 最大公約数は、ユークリッドの互除法で割り算を繰り返して求めます。最後の 0 でない余りが最大公約数です。
  3. 逆元は拡張ユークリッドの互除法で求め、a の係数を取ります。負なら n を足します。
  4. a·x ≡ b は a⁻¹ を掛けて解きます。2 つの合同式は x = r₁ + m₁k とおいて組み合わせます。
  5. べき乗では、指数を 2 進数で書いて平方を繰り返します。RSA では d = e⁻¹ mod φ(n)、φ(n) = (p − 1)(q − 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 本の木を成長させる方法(プリム法)を使います。

IPv4 サブネット化

サブネットあたりのホスト数
2(32 − prefix) − 2 (/31: 2, /32: 1)
ブロックサイズ
256 − (mask octet)
ネットワークアドレス
IP AND マスク
ブロードキャストアドレス
IP OR (NOT マスク):ホスト部のビットをすべて 1 にする
n ビット借りたときのサブネット数
2n

2演習問題

1.記数法ふつう
2 の補数での桁の重み1−12816413201608041211

8 ビットのパターン 1110 0011 は、符号付き整数を 2 の補数で表しています。10 進数での値 N はいくつですか?

1110 00118 bit
N =
2.記数法むずかしい
ビットをクリックして設定します012806403201608040201

ビットを 1100 0001 XOR 1001 0001 の 8 ビットの結果に設定します。結果の値 R は 10 進でいくつですか?

1100 0001XOR1001 0001
R =
3.命題論理と証明ふつう
abca ↔ b(a ↔ b) ∨ c(c ↔ ¬b) ∧ ((a ↔ b) ∨ c)111?110?101?100?011?010?001?000?

この論理式 (c ↔ ¬b) ∧ ((a ↔ b) ∨ c) は、真理値表の 8 行のうち何行で真になりますか? この数を N とします。

(c ↔ ¬b) ∧ ((a ↔ b) ∨ c)
N =
4.命題論理と証明むずかしい
qrr ∨ qr¬q11100100

前提 r ∨ q; r、結論 ¬q の論証は妥当ではありません。反例となる真理値表の行をクリックしてください。

r ∨ qr∴ ¬q
  1. 1q = 1, r = 1
  2. 2q = 1, r = 0
  3. 3q = 0, r = 1
  4. 4q = 0, r = 0
5.デジタル論理:ゲート・カルノー図・フリップフロップふつう
ABC00011110011001131204050716

カルノー図を使って F(A, B, C) = Σm(0, 2, 3, 6) の最小の和積形(POS)を求めてください。和項(因数)N はいくつありますか?

F(A, B, C) = Σm(0, 2, 3, 6)
N =
6.デジタル論理:ゲート・カルノー図・フリップフロップむずかしい
CLKJK1234567

正エッジトリガの JK フリップフロップが Q = 0 から始まり、図の入力を受け取ります。Q が 1 から 0 に戻る最初のクロックエッジをクリックしてください。

Q₀ = 0JK
  1. 1クロックエッジ 1
  2. 2クロックエッジ 2
  3. 3クロックエッジ 3
  4. 4クロックエッジ 4
  5. 5クロックエッジ 5
  6. 6クロックエッジ 6
  7. 7クロックエッジ 7
7.整数論と合同式ふつう

オイラーのトーシェント関数 φ(475)、つまり 1 から 475 までの整数のうち 475 と互いに素なものの個数を求めてください。

n = 475 = 52·19
φ(475) =
8.整数論と合同式むずかしい
mc = me​ mod n643m = cd​ mod n?(n, e) = (799, 17)d

ある RSA 鍵は p = 17、q = 47、e = 17 を使います。暗号文 c = 643 を復号して、メッセージ m を求めてください。

p = 17q = 47e = 17c = 643
m =
9.アルゴリズムと計算量ふつう

到達可能な基底部をもたない再帰関数について、正しい記述はどれですか?

  1. Aコンパイラが常にそれを、安全に終了するループに変換する
  2. BO(1) 時間で動作する
  3. C自動的に 0 を返す
  4. Dコールスタックがオーバーフローするまで自分自身を呼び続ける
10.アルゴリズムと計算量むずかしい

22n は O(2ⁿ) に属しますか?

  1. Aはい。Big O では指数の定数倍は常に無視されるから
  2. Bいいえ。22n は 2ⁿ よりゆっくり増加するから
  3. Cはい。どちらも指数的だから
  4. Dいいえ。22n = 4ⁿ であり、4ⁿ / 2ⁿ = 2ⁿ は限りなく大きくなるから
11.データ構造ふつう

キー 50, 30, 70, 20, 40 をこの順に空の二分探索木に挿入します。30 の左の子は何ですか。

  1. A70
  2. B40
  3. C20
  4. D50
12.データ構造むずかしい

二分ヒープにおける decrease-key(要素の位置が分かっている場合)の時間計算量はどれですか。

  1. AO(log n)
  2. BO(n)
  3. CO(n log n)
  4. DO(1)
13.グラフ理論ふつう
ABCDEFオイラー閉路オイラー路あり、閉路なしどちらでもない

この連結グラフには、オイラー閉路、閉路でないオイラー路、またはどちらもないのうち、どれがありますか? 答えをクリックしてください。

|V| = 6|E| = 7
  1. 1オイラー閉路
  2. 2オイラー路あり、閉路なし
  3. 3どちらでもない
14.グラフ理論むずかしい
632568310ABCDEF

ダイクストラ法を使って、重み付きグラフで A から F までの最短経路の長さd(F)を求めてください。

始点:A終点:F
d(F) =
15.データベースと SQLふつう

共通テーブル式(WITH name AS (...))は何を提供しますか?

  1. A新しいデータベースユーザー
  2. B列に対するインデックス
  3. C1 つの文の中で使える、名前付きの一時的な結果
  4. D削除されるまでディスクに保存され続ける恒久的なテーブル
16.データベースと SQLむずかしい

役に立つインデックスのない 2 つの大きなテーブルの等価結合で、オプティマイザがよく選ぶ結合アルゴリズムはどれですか?

  1. Aインデックス検索を伴うネステッドループ結合
  2. B交差結合
  3. Cハッシュ結合
  4. D主キーでのビットマップ結合
17.コンピュータネットワークふつう

HTTP メソッドの GET と POST の主な違いは何ですか?

  1. AGET はリソースを取得し、POST は要求のボディでデータを送信する
  2. BGET はリソースを削除し、POST はサーバーのデータベースからそれを読み取る
  3. CGET は UDP を、POST は TCP を使う
  4. DGET は暗号化されるが、POST はされない
18.コンピュータネットワークむずかしい

DNS クエリは通常 UDP を使います。DNS が代わりに TCP を使うのは通常どのような場合ですか?

  1. Aドメイン名が 10 文字より長い場合だけ
  2. BIP アドレスの逆引きの場合だけ
  3. CUDP には大きすぎる応答と、ゾーン転送の場合
  4. DWeb ブラウザーから送られるすべてのクエリの場合
19.IPv4 サブネット化ふつう
/24 → /2911111111111111111111111111111000ネットワーク部ホスト部

ネットワーク 192.168.46.0/24 を /29 のサブネットに分割し、最も小さいアドレスから 1、2、3、… と番号をつけます(サブネット 1 は .0 から始まる)。サブネット 3 のネットワークアドレスの第 4 オクテット x はいくつですか?

192.168.46.0/24/29サブネット 3 (サブネット 1 は .0 から始まる)
x =
20.IPv4 サブネット化むずかしい

ネットワーク 192.168.102.0/24 を、次の LAN 用に VLSM で分割します:A: 41 ホスト, B: 16 ホスト, C: 10 ホスト, D: 26 ホスト, E: 3 ホスト。サブネットは .0 から順に、ホスト数が最も多い LAN から、収まる最小のサブネットで割り当てます。LAN E のネットワークアドレスの第 4 オクテット x はいくつですか?

A: 41B: 16C: 10D: 26E: 3
x =

3溶液

1.記数法

答え: N = −29

位取り記数法:各桁の値は、その数字に基数のべき乗を掛けたものです。2 進数では各桁の重みが 1、2、4、8、16、…、16 進数では 1、16、256、… で、A–F は 10–15 を表します。8 ビットの 2 の補数では、最上位ビットの重みが +128 ではなく −128 になり、こうして負の数を表します。

重みを合計する

ほかのビットは通常の正の重みのままです。

−128 + 64 + 32 + 2 + 1 = −29

答え

N = −29
2.記数法

答え: R = 80

ビットの設定:各ビットは 2 のべき乗(128、64、…、1)の値をもちます。16 進の 1 桁はちょうど 4 ビットで、8 ビットの 2 の補数では、いちばん左のビットの値は −128 です。ビット演算は、各ビット位置を別々に扱います。

ビットごとに

XOR は、2 つのビットが異なるところで 1 になります。

1100 0001
XOR 1001 0001
= 0101 0000

結果の値

0101 0000₂ = 80

答え

R = 80
3.命題論理と証明

答え: N = 3

真理値表:n 個の異なる変数をもつ論理式には、真理値のすべての組み合わせに対応する 2ⁿ 行があります(1 = 真、0 = 偽)。内側から順に進め、部分式ごとに列を用意します。¬a は値を反転させ、a ∧ b は両方が 1 のときだけ 1、a ∨ b は両方が 0 のときだけ 0、a → b は a = 1 かつ b = 0 のときだけ 0、a ↔ b は両辺が等しいとき 1 です。

真理値表を行ごとに見る

a = 1, b = 1, c = 1: ¬b = 0, c ↔ ¬b = 0, a ↔ b = 1, (a ↔ b) ∨ c = 1, (c ↔ ¬b) ∧ ((a ↔ b) ∨ c) = 0
a = 1, b = 1, c = 0: ¬b = 0, c ↔ ¬b = 1, a ↔ b = 1, (a ↔ b) ∨ c = 1, (c ↔ ¬b) ∧ ((a ↔ b) ∨ c) = 1
a = 1, b = 0, c = 1: ¬b = 1, c ↔ ¬b = 1, a ↔ b = 0, (a ↔ b) ∨ c = 1, (c ↔ ¬b) ∧ ((a ↔ b) ∨ c) = 1
a = 1, b = 0, c = 0: ¬b = 1, c ↔ ¬b = 0, a ↔ b = 0, (a ↔ b) ∨ c = 0, (c ↔ ¬b) ∧ ((a ↔ b) ∨ c) = 0
a = 0, b = 1, c = 1: ¬b = 0, c ↔ ¬b = 0, a ↔ b = 0, (a ↔ b) ∨ c = 1, (c ↔ ¬b) ∧ ((a ↔ b) ∨ c) = 0
a = 0, b = 1, c = 0: ¬b = 0, c ↔ ¬b = 1, a ↔ b = 0, (a ↔ b) ∨ c = 0, (c ↔ ¬b) ∧ ((a ↔ b) ∨ c) = 0
a = 0, b = 0, c = 1: ¬b = 1, c ↔ ¬b = 1, a ↔ b = 1, (a ↔ b) ∨ c = 1, (c ↔ ¬b) ∧ ((a ↔ b) ∨ c) = 1
a = 0, b = 0, c = 0: ¬b = 1, c ↔ ¬b = 0, a ↔ b = 1, (a ↔ b) ∨ c = 1, (c ↔ ¬b) ∧ ((a ↔ b) ∨ c) = 0

値が 1 の行を数える

(c ↔ ¬b) ∧ ((a ↔ b) ∨ c): 0, 1, 1, 0, 0, 0, 1, 0
N = 3

答え

N = 3
4.命題論理と証明

答え: q = 1, r = 1

量化子と論証:¬∀x P(x) ≡ ∃x ¬P(x)、¬∃x P(x) ≡ ∀x ¬P(x)。否定を内側へ移し、通過する量化子をすべて入れ替え、内側の式は ¬(a → b) ≡ a ∧ ¬b のような命題論理の法則で否定します。論証は、すべての前提が 1 であるどの行でも結論が 1 のとき、妥当です。前提が真で結論が偽になる行が 1 つでもあれば、それは反例であり、その論証が妥当でないことを示します。

前提と結論を行ごとに見る

q = 1, r = 1: 1 1 | 0
q = 1, r = 0: 1 0 | 0
q = 0, r = 1: 1 1 | 1
q = 0, r = 0: 0 0 | 1

反例

q = 1, r = 1

答え

q = 1, r = 1

この形の論証は妥当な規則のように見えますが、1 行あれば妥当でないことを示せます。

5.デジタル論理:ゲート・カルノー図・フリップフロップ

答え: N = 3

カルノー図:セルはグレイコード(00, 01, 11, 10)の順に並んでいるので、端をまたぐものも含め、隣り合うセルはちょうど 1 つの変数だけが異なります。1 を、1, 2, 4, 8, 16 個のセルからなる長方形で、できるだけ大きく、できるだけ少ない数でグループ化し、すべての 1 を覆います。各グループは 1 つの積項で、グループの中で一定のままの変数からなります。2ᵏ 個のセルのグループでは k 個の変数が消えます。ドントケア(X)はグループを大きくするために使えますが、覆う必要はありません。代わりに 0 をグループ化すると、最小の POS 形が得られます。

ABC00011110011001131204050716

0 をグループ化する

各グループは 2ᵏ 個のセルからなる長方形です。端のセルは、反対側の端のセルと隣り合っています。

(B + C′)
(A′ + C′)
(A′ + B)

最小の POS 形

F = (B + C′)(A′ + C′)(A′ + B)
N = 3

答え

N = 3
6.デジタル論理:ゲート・カルノー図・フリップフロップ

答え: クロックエッジ 4

フリップフロップとカウンタ:フリップフロップは、有効なクロックエッジでだけ変化します。D は入力をコピーし(Q⁺ = D)、T は T = 1 のときトグルし、JK は 00 で保持、01 でリセット、10 でセット、11 でトグルします。n ビットの 2 進カウンタには 2ⁿ 個の状態があり、2ⁿ を法として数えます。mod-N カウンタは 0, 1, …, N − 1 と数えて 0 に戻り、2ⁿ ≥ N を満たす最小の n 個のフリップフロップが必要です。リップルカウンタの各段は周波数を半分にするので、mod-N カウンタの最後の出力は fclk/N で動作します。n 個のフリップフロップのジョンソンカウンタには 2n 個の状態があり、リングカウンタには n 個あります。

エッジごとの Q

JK フリップフロップ:00 は保持、01 はリセット(Q = 0)、10 はセット(Q = 1)、11 はトグルです。

1: J = 0, K = 0 → Q = 0
2: J = 1, K = 0 → Q = 1
3: J = 1, K = 0 → Q = 1
4: J = 0, K = 1 → Q = 0
5: J = 0, K = 0 → Q = 0
6: J = 0, K = 1 → Q = 0
7: J = 1, K = 1 → Q = 1

1 から 0 への最初の変化

クロックエッジ 4

答え

クロックエッジ 4
7.整数論と合同式

答え: φ(475) = 360

逆元と合同式:a が n を法として逆元をもつのは、gcd(a, n) = 1 のときに限ります。拡張ユークリッドの互除法で 1 = s·n + t·a と書くと、a⁻¹ ≡ t (mod n) です。gcd(a, n) = 1 のとき、合同式 a·x ≡ b (mod n) の解は x ≡ a⁻¹·b です。法が互いに素な 2 つの合同式 x ≡ r₁ (mod m₁) と x ≡ r₂ (mod m₂) には、m₁·m₂ を法として 1 つの解があります(中国の剰余定理)。オイラーの φ(n) は、1 から n までの数のうち n と互いに素なものの個数です:φ(n) = n·∏(1 − 1/p)。

素因数

475 = 52·19

トーシェント関数

φ(475) = φ(25)·φ(19) = 20·18 = 360

答え

φ(475) = 360
8.整数論と合同式

答え: m = 337

冪剰余と RSA:aᵏ mod n は反復二乗法で計算します:k を 2 進数で書き、二乗し、毎回簡約し、ビットが 1 の冪を掛けます。フェルマー:素数 p が a を割り切らないとき aᵖ⁻¹ ≡ 1 (mod p) なので、指数は p − 1 を法として簡約できます。RSA:素数 p と q を選び、n = p·q、φ(n) = (p − 1)(q − 1) とします。公開指数 e は φ(n) と互いに素で、秘密指数は d = e⁻¹ mod φ(n) です。暗号化は c = mᵉ mod n、復号は m = cᵈ mod n で行います。

秘密指数

n = 799, φ(n) = 736
d = 17−1 mod 736 = 433

反復二乗法で復号する

433 = 256 + 128 + 32 + 16 + 1
6431 ≡ 643 (mod 799)
6432 ≡ 366 (mod 799)
6434 ≡ 523 (mod 799)
6438 ≡ 271 (mod 799)
64316 ≡ 732 (mod 799)
64332 ≡ 494 (mod 799)
64364 ≡ 341 (mod 799)
643128 ≡ 426 (mod 799)
643256 ≡ 103 (mod 799)
643433 ≡ 643·732·494·426·103 ≡ 337 (mod 799)

メッセージ

m = 337
確認: 33717 mod 799 = 643

答え

m = 337
9.アルゴリズムと計算量

答え: D · コールスタックがオーバーフローするまで自分自身を呼び続ける

これが答えになる理由

基底部がないと再帰は決して止まりません。実際にはスタックフレーム用のメモリが尽き、プログラムがクラッシュします。

答え

D · コールスタックがオーバーフローするまで自分自身を呼び続ける
10.アルゴリズムと計算量

答え: D · いいえ。22n = 4ⁿ であり、4ⁿ / 2ⁿ = 2ⁿ は限りなく大きくなるから

これが答えになる理由

指数に定数を加えると定数倍になりますが、指数に定数を掛けると底と増加率が変わります。

答え

D · いいえ。22n = 4ⁿ であり、4ⁿ / 2ⁿ = 2ⁿ は限りなく大きくなるから
11.データ構造

答え: C · 20

これが答えになる理由

20 は 50 より小さく 30 より小さいので、30 の左の子になります。40 は 30 の右の子になります。

答え

C · 20
12.データ構造

答え: A · O(log n)

これが答えになる理由

キーを減らした後、要素は最大でヒープの高さ分だけ上へ移動します(sift up)。フィボナッチヒープでは償却 O(1) の decrease-key が実現できます。

答え

A · O(log n)
13.グラフ理論

答え: オイラー路あり、閉路なし

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

次数

deg(A) = 1, deg(B) = 2, deg(C) = 2, deg(D) = 3, deg(E) = 4, deg(F) = 2

奇数次数の頂点

A, D → 2
オイラー路あり、閉路なし

答え

オイラー路あり、閉路なし

オイラー路は、一方の奇数次数の頂点から始まり、他方で終わります。

14.グラフ理論

答え: d(F) = 14

最短経路と全域木:ダイクストラ法は毎ラウンド 1 つの頂点を確定します:暫定距離が最小の未確定の頂点です。その距離は最終となり、各隣接頂点 v は d(v) = min(d(v), d(u) + w(u, v)) と更新されます。クラスカル法は、辺を軽い順に取り、閉路をつくる辺を飛ばして最小全域木をつくります。プリム法は、始点から 1 本の木を成長させ、その木から出る最も軽い辺を常に加えます。n 個の頂点の全域木には n − 1 本の辺があります。

ダイクストラ法をラウンドごとに

各行:確定した頂点、その最終距離、距離が改善される隣接頂点。

A (0): C: 6
C (6): B: 9, E: 11
B (9): D: 11
D (11): F: 19
E (11): F: 14
F (14)

最短経路

A → C → E → F
d(F) = 14

答え

d(F) = 14
15.データベースと SQL

答え: C · 1 つの文の中で使える、名前付きの一時的な結果

これが答えになる理由

CTE はサブクエリに名前を付けるため、複雑なクエリが読みやすくなり、同じ文の中で何度も参照できます。

答え

C · 1 つの文の中で使える、名前付きの一時的な結果
16.データベースと SQL

答え: C · ハッシュ結合

これが答えになる理由

ハッシュ結合は一方の入力でハッシュ表を作り、もう一方の入力でそれを探索するため、インデックスのない大きな等価結合に適しています。

答え

C · ハッシュ結合
17.コンピュータネットワーク

答え: A · GET はリソースを取得し、POST は要求のボディでデータを送信する

これが答えになる理由

GET はリソースを求めるもので、サーバーの状態を変えるべきではありません。POST はフォームなどのデータをボディに入れて送り、サーバーに処理させます。

答え

A · GET はリソースを取得し、POST は要求のボディでデータを送信する
18.コンピュータネットワーク

答え: C · UDP には大きすぎる応答と、ゾーン転送の場合

これが答えになる理由

UDP の応答が切り詰められると、リゾルバーは TCP で再試行します。ネームサーバー間のゾーン転送も大量のデータを運ぶため TCP を使います。

答え

C · UDP には大きすぎる応答と、ゾーン転送の場合
19.IPv4 サブネット化

答え: x = 16

IPv4 subnetting: an address has 32 bits. The prefix /p says how many leading bits identify the network; the remaining 32 − p bits number the hosts. A subnet has 2³²⁻ᵖ addresses, but the first (network address) and last (broadcast address) cannot be given to hosts, so 2³²⁻ᵖ − 2 hosts fit. Exceptions: a /31 (point-to-point link, RFC 3021) uses both of its 2 addresses for hosts, and a /32 is one single address (a single host or a loopback).

ブロックサイズ

23 = 8

サブネット番号 3

ネットワーク: (3 − 1)·8 = 16
ブロードキャスト: 16 + 8 − 1 = 23

答え

x = 16
20.IPv4 サブネット化

答え: x = 144

VLSM:各 LAN には 2ʰ − 2 ≥ ホスト数 となる最小のサブネット、つまりプレフィックス 32 − h を割り当てます。大きいサブネットから割り当てると、各ブロックは自身のサイズの倍数にそろうので、ネットワークアドレスはブロックサイズを足し合わせて求まります。

LAN ごとのブロックサイズ

A: 41 ホスト → 26 = 64 (/26)
D: 26 ホスト → 25 = 32 (/27)
B: 16 ホスト → 25 = 32 (/27)
C: 10 ホスト → 24 = 16 (/28)
E: 3 ホスト → 23 = 8 (/29)

割り当て(大きい順)

A: .0 – .63
D: .64 – .95
B: .96 – .127
C: .128 – .143
E: .144 – .151

答え

x = 144

LAN E:192.168.102.144/29。

ExamProblems · examproblems.com/courses/computer-science-fundamentals