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

公式集、全トピックの解法の要点、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 の補数での桁の重み0−12816403201618040211

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

0100 10018 bit
N =
2.記数法むずかしい
32 bit1 px256 px256 pxM = ? KiB

非圧縮の画像が 256 × 256 ピクセル、1 ピクセルあたり 32 ビットです。必要なメモリ M は何 KiB(1 KiB = 1024 バイト)ですか?

256 × 256 px32 bit/px1 KiB = 1024 B
M = KiB
3.命題論理と証明ふつう
pqr(¬r ∧ p) ∨ ¬q(q → (r ↔ p)) ↔ ((¬r ∧ p) ∨ ¬q)¬((q → (r ↔ p)) ↔ ((¬r ∧ p) ∨ ¬q))111?110?101?100?011?010?001?000?

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

¬((q → (r ↔ p)) ↔ ((¬r ∧ p) ∨ ¬q))
N =
4.命題論理と証明むずかしい
q¬q¬q ∧ pp

前提 q → p; ¬p が与えられています。そこから導かれる結論はどれですか? クリックしてください。

q → p¬p
  1. 1q
  2. 2¬q
  3. 3¬q ∧ p
  4. 4p
5.デジタル論理:ゲート・カルノー図・フリップフロップふつう
ABCD000111100001111010010302040517161120131150140819111110

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

F(A, B, C, D) = Σm(0, 6, 7, 9, 10, 11, 12, 15)
N =
6.デジタル論理:ゲート・カルノー図・フリップフロップむずかしい
DQ3​Q3​DQ2​Q2​DQ1​Q1​DQ0​Q0​CLKRING

4 ビットのリングカウンタ Q₃Q₂Q₁Q₀ は 1010 から始まります。クロックエッジごとにビットは 1 つ右へシフトし(Q₃ → Q₂ → Q₁ → Q₀)、Q₃ には Q₀ が入ります。8 クロックエッジのあとの状態 Q = Q₃Q₂Q₁Q₀ を 10 進数で答えてください。

Q₃Q₂Q₁Q₀ = 10108
Q =
7.整数論と合同式ふつう

41x ≡ 8 (mod 97) を解いてください。0 < x < 97 を満たす解 x を答えてください。

41x ≡ 8 (mod 97)
x =
8.整数論と合同式むずかしい
mc = me​ mod ncm = cd​ mod nm(n, e) = (943, 13)d = ?

ある RSA 鍵は、素数 p = 23 と q = 41、公開指数 e = 13 を使います。秘密指数 d(0 < d < φ(n))を求めてください。

p = 23q = 41e = 13
d =
9.アルゴリズムと計算量ふつう

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

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

P と NP に関する記述として正しいものはどれですか?

  1. ANP の問題は高速に検証できない
  2. BP ≠ NP であることが証明されている
  3. CNP は "not polynomial" を意味する
  4. DP に属するすべての問題は NP にも属する
11.データ構造ふつう

トライ(接頭辞木)が特に効率的なのはどのような用途ですか。

  1. Aオートコンプリートなどの接頭辞検索
  2. B行列の格納
  3. C最短経路の探索
  4. D数値のソート
12.データ構造むずかしい

get と put が O(1) の LRU(least recently used)キャッシュを実現できるデータ構造はどれですか。

  1. Aハッシュマップと双方向連結リストの組み合わせ
  2. B単一のソート済み配列
  3. C二分探索木のみ
  4. Dスタックのみ
13.グラフ理論ふつう
ABCDEFオイラー閉路オイラー路あり、閉路なしどちらでもない

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

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

B から A への長さ 2 の歩道はいくつありますか? 歩道では頂点や辺を繰り返してもかまいません。その数を N とします。

M = 隣接行列L = 2
N =
15.データベースと SQLふつう

テーブルに col が NULL の行があります。WHERE col = NULL はどの行を返しますか?

  1. Aどのデータベースでもエラー
  2. BIS NULL の場合と同様に、col が NULL の行だけ
  3. C比較が不明(UNKNOWN)になるので、行を返さない
  4. Dテーブルのすべての行
16.データベースと SQLむずかしい

col のすべての値が NULL で、テーブルに 10 行ある場合、SELECT COUNT(col) FROM t の結果は何ですか?

  1. Aエラー
  2. BNULL
  3. C10
  4. D0
17.コンピュータネットワークふつう

信号が光ファイバーの中を約 2 × 10⁸ m/s で 2000 km 進みます。伝搬遅延はどれだけですか?

  1. A10 ms
  2. B0.1 ms
  3. C100 ms
  4. D1 ms
18.コンピュータネットワークむずかしい

TCP 上の HTTP/2 でヘッドオブラインブロッキング(head-of-line blocking)が起きる理由は何ですか?

  1. AHTTP/2 は UDP を使うから
  2. Bリクエストごとに新しい TCP コネクションが必要で、後のリクエストは待ち行列で待たされるから
  3. C失われた TCP セグメントが再送されるまで、多重化されたすべてのストリームが遅延するから
  4. Dサーバーが並列リクエストを処理できないから
19.IPv4 サブネット化ふつう
/24 → /2511111111111111111111111110000000ネットワーク部ホスト部

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

192.168.57.0/24/25サブネット 2 (サブネット 1 は .0 から始まる)
x =
20.IPv4 サブネット化むずかしい
最後のオクテット = 108012816413201618140201ネットワークホスト

あるホストのアドレスは 10.20.20.108/26 です。そのサブネットのブロードキャストアドレスの最後の数(第 4 オクテット)x はいくつですか?

10.20.20.108/26
x =

3溶液

1.記数法

答え: N = 73

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

重みを合計する

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

64 + 8 + 1 = 73

答え

N = 73
2.記数法

答え: M = 256 KiB

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

ビットとバイト

256·256·32 = 2097152 bit = 262144 B

KiB に換算する

262144/1024 = 256 KiB

答え

M = 256 KiB
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 です。

真理値表を行ごとに見る

p = 1, q = 1, r = 1: r ↔ p = 1, q → (r ↔ p) = 1, ¬r = 0, ¬r ∧ p = 0, ¬q = 0, (¬r ∧ p) ∨ ¬q = 0, (q → (r ↔ p)) ↔ ((¬r ∧ p) ∨ ¬q) = 0, ¬((q → (r ↔ p)) ↔ ((¬r ∧ p) ∨ ¬q)) = 1
p = 1, q = 1, r = 0: r ↔ p = 0, q → (r ↔ p) = 0, ¬r = 1, ¬r ∧ p = 1, ¬q = 0, (¬r ∧ p) ∨ ¬q = 1, (q → (r ↔ p)) ↔ ((¬r ∧ p) ∨ ¬q) = 0, ¬((q → (r ↔ p)) ↔ ((¬r ∧ p) ∨ ¬q)) = 1
p = 1, q = 0, r = 1: r ↔ p = 1, q → (r ↔ p) = 1, ¬r = 0, ¬r ∧ p = 0, ¬q = 1, (¬r ∧ p) ∨ ¬q = 1, (q → (r ↔ p)) ↔ ((¬r ∧ p) ∨ ¬q) = 1, ¬((q → (r ↔ p)) ↔ ((¬r ∧ p) ∨ ¬q)) = 0
p = 1, q = 0, r = 0: r ↔ p = 0, q → (r ↔ p) = 1, ¬r = 1, ¬r ∧ p = 1, ¬q = 1, (¬r ∧ p) ∨ ¬q = 1, (q → (r ↔ p)) ↔ ((¬r ∧ p) ∨ ¬q) = 1, ¬((q → (r ↔ p)) ↔ ((¬r ∧ p) ∨ ¬q)) = 0
p = 0, q = 1, r = 1: r ↔ p = 0, q → (r ↔ p) = 0, ¬r = 0, ¬r ∧ p = 0, ¬q = 0, (¬r ∧ p) ∨ ¬q = 0, (q → (r ↔ p)) ↔ ((¬r ∧ p) ∨ ¬q) = 1, ¬((q → (r ↔ p)) ↔ ((¬r ∧ p) ∨ ¬q)) = 0
p = 0, q = 1, r = 0: r ↔ p = 1, q → (r ↔ p) = 1, ¬r = 1, ¬r ∧ p = 0, ¬q = 0, (¬r ∧ p) ∨ ¬q = 0, (q → (r ↔ p)) ↔ ((¬r ∧ p) ∨ ¬q) = 0, ¬((q → (r ↔ p)) ↔ ((¬r ∧ p) ∨ ¬q)) = 1
p = 0, q = 0, r = 1: r ↔ p = 0, q → (r ↔ p) = 1, ¬r = 0, ¬r ∧ p = 0, ¬q = 1, (¬r ∧ p) ∨ ¬q = 1, (q → (r ↔ p)) ↔ ((¬r ∧ p) ∨ ¬q) = 1, ¬((q → (r ↔ p)) ↔ ((¬r ∧ p) ∨ ¬q)) = 0
p = 0, q = 0, r = 0: r ↔ p = 1, q → (r ↔ p) = 1, ¬r = 1, ¬r ∧ p = 0, ¬q = 1, (¬r ∧ p) ∨ ¬q = 1, (q → (r ↔ p)) ↔ ((¬r ∧ p) ∨ ¬q) = 1, ¬((q → (r ↔ p)) ↔ ((¬r ∧ p) ∨ ¬q)) = 0

値が 1 の行を数える

¬((q → (r ↔ p)) ↔ ((¬r ∧ p) ∨ ¬q)): 1, 1, 0, 0, 0, 1, 0, 0
N = 3

答え

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

答え: ¬q

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

すべての前提が真の行

p = 0, q = 0: q = 0, ¬q = 1, ¬q ∧ p = 0, p = 0

結論

¬q (否定式(modus tollens))

答え

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

答え: N = 6

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

ABCD000111100001111010010302040517161120131150140819111110

0 をグループ化する

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

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

最小の POS 形

F = (B′ + C + D′)(A + C + D′)(A + B + C′)(A + B′ + C)(A′ + B + C + D)(A′ + B′ + C′ + D)
N = 6

答え

N = 6

同じ大きさの別のグループ分けもあります。項の数もリテラルの数も同じです。

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

答え: Q = 10

フリップフロップとカウンタ:フリップフロップは、有効なクロックエッジでだけ変化します。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 個あります。

エッジごとの状態

1010 → 0101 → 1010 → 0101 → 1010 → 0101 → 1010 → 0101 → 1010

10 進値

1010₂ = 10

答え

Q = 10
7.整数論と合同式

答え: x = 83

逆元と合同式: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)。

41 の逆元

r = 97, t = 0
r = 41, q = 2, t = 1
r = 15, q = 2, t = −2
r = 11, q = 1, t = 5
r = 4, q = 2, t = −7
r = 3, q = 1, t = 19
r = 1, q = 3, t = −26
41−1 ≡ 71 (mod 97)

解く

x ≡ 71·8 = 568 ≡ 83 (mod 97)
確認: 41·83 = 3403 ≡ 8 (mod 97)

答え

x = 83
8.整数論と合同式

答え: d = 677

冪剰余と 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 = 23·41 = 943
φ(n) = 22·40 = 880

拡張ユークリッドの互除法

r = 880, t = 0
r = 13, q = 67, t = 1
r = 9, q = 1, t = −67
r = 4, q = 2, t = 68
r = 1, q = 4, t = −203

秘密指数

d = 677
確認: 13·677 = 8801 = 10·880 + 1

答え

d = 677
9.アルゴリズムと計算量

答え: D · O(2ⁿ)

これが答えになる理由

呼び出しの数は段階ごとに 2 倍になり、段階は n 個あるので、ハノイの塔のように合計は約 2ⁿ になります。

答え

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

答え: D · P に属するすべての問題は NP にも属する

これが答えになる理由

P ⊆ NP です。問題を高速に解けるなら、解も高速に検証できます。P = NP かどうかは未解決です。

答え

D · P に属するすべての問題は NP にも属する
11.データ構造

答え: A · オートコンプリートなどの接頭辞検索

これが答えになる理由

トライは文字列を経路上の文字として格納するため、検索や接頭辞クエリはキーの長さに比例する時間で済みます。

答え

A · オートコンプリートなどの接頭辞検索
12.データ構造

答え: A · ハッシュマップと双方向連結リストの組み合わせ

これが答えになる理由

ハッシュマップでノードを O(1) で見つけ、双方向連結リストでアクセスした要素を先頭へ移動し、末尾から追い出す処理を O(1) で行います。

答え

A · ハッシュマップと双方向連結リストの組み合わせ
13.グラフ理論

答え: どちらでもない

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

次数

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

奇数次数の頂点

A, B, D, F → 4
どちらでもない

答え

どちらでもない
14.グラフ理論

答え: N = 1

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

隣接行列

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

共通の隣接頂点

(M²)BA = 1·0 + 0·1 + 1·1 + 1·0 + 1·0 = 1

答え

N = 1
15.データベースと SQL

答え: C · 比較が不明(UNKNOWN)になるので、行を返さない

これが答えになる理由

= を使った NULL とのどんな比較も UNKNOWN になり、WHERE は TRUE の行だけを残します。代わりに col IS NULL を使います。

答え

C · 比較が不明(UNKNOWN)になるので、行を返さない
16.データベースと SQL

答え: D · 0

これが答えになる理由

COUNT(col) は NULL でない値を数えるため 0 を返します。COUNT(*) なら 10 を返します。

答え

D · 0
17.コンピュータネットワーク

答え: A · 10 ms

これが答えになる理由

2 × 10⁶ m / 2 × 10⁸ m/s = 0.01 s = 10 ms。伝搬遅延は距離と媒体で決まり、パケットサイズには依存しません。

答え

A · 10 ms
18.コンピュータネットワーク

答え: C · 失われた TCP セグメントが再送されるまで、多重化されたすべてのストリームが遅延するから

これが答えになる理由

TCP はバイトを順序どおりに配送するため、1 つの損失でそのコネクション上のすべてのストリームが停滞します。QUIC(HTTP/3)は UDP 上でストリームを独立して処理します。

答え

C · 失われた TCP セグメントが再送されるまで、多重化されたすべてのストリームが遅延するから
19.IPv4 サブネット化

答え: x = 255

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).

ブロックサイズ

27 = 128

サブネット番号 2

ネットワーク: (2 − 1)·128 = 128
ブロードキャスト: 128 + 128 − 1 = 255

答え

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

答え: x = 127

IPv4 サブネット化:アドレスは 32 ビットです。プレフィックス /p は先頭の何ビットがネットワークを表すかを示し、残りの 32 − p ビットでホストを番号付けします。サブネットには 2³²⁻ᵖ 個のアドレスがありますが、最初(ネットワークアドレス)と最後(ブロードキャストアドレス)はホストに割り当てられないため、2³²⁻ᵖ − 2 台のホストが収まります。 例外:/31(ポイントツーポイントリンク、RFC 3021)は 2 つのアドレスを両方ともホストに使い、/32 は単一のアドレス(単一ホストまたはループバック)です。

ブロックサイズ

26 = 64

このホストのサブネット

ネットワーク: ⌊108/64⌋·64 = 64
ブロードキャスト: 64 + 64 − 1 = 127
使えるホスト: 65 … 126

答え

x = 127

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