記数法
- 位取り
- 2 進数 2k、8 進数 8k、16 進数 16k
- 10 進数へ
- Σ dk·bk
- 10 進数から
- 基数で割り、余りを下から上へ読む
- 16 進数 ↔ 2 進数
- 16 進数 1 桁 = 4 ビット
- 2 の補数
- ビットを反転して 1 を足す
公式集、全トピックの解法の要点、20 問の演習問題。完全な解答は巻末にあります。
8 ビットのパターン 1000 0001 は、符号付き整数を 2 の補数で表しています。10 進数での値 N はいくつですか?
ビットを 1011 1110 AND 0010 1010 の 8 ビットの結果に設定します。結果の値 R は 10 進でいくつですか?
c ∧ (a ∨ b) と論理的に同値な論理式はどれですか? クリックしてください。
否定を最も内側まで移したとき、¬∀x (P(x) → Q(x)) と同値な主張はどれですか? クリックしてください。
カルノー図を使って F(A, B, C, D) = Σm(0, 1, 4, 5, 6, 8, 9, 10, 11, 13) の最小の和積形(POS)を求めてください。和項(因数)N はいくつありますか?
3 ビットのリップル(非同期)カウンタが、それぞれ 25 ns の伝搬遅延をもつフリップフロップでつくられています。すべての出力は、次のクロックエッジの前に確定していなければなりません。最大のクロック周波数 fmax を求めてください。
41 を法とする 12 の逆元を求めてください:0 < x < 41 かつ 12·x ≡ 1 (mod 41) を満たす数 x です。
反復二乗法を使って 31117 mod 38 を求めてください。
あるクイックソートは常に最初の要素をピボットに使います。どの入力で最悪の振る舞いを示しますか?
未ソートの配列から k 番目に小さい要素を選択することについて、正しい記述はどれですか?
リストの中ほどにあるノードへの参照をもっています。どのリストなら、それを O(1) で削除できますか。
n 個の数の配列に対するフェニック木(Binary Indexed Tree)が O(log n) でサポートする操作はどれですか。
連結グラフに 18 個の頂点と 27 本の辺があります。全域木にするには、辺を何本k取り除く必要がありますか?
E を始点かつ終点とする、長さ 3 の閉じた歩道はいくつありますか? 歩道では頂点や辺を繰り返してもかまいません。その数を N とします。
LEFT JOIN が返すのは次のうちどれですか?
WHERE YEAR(order_date) = 2025 を含むクエリが order_date のインデックスを使わないことがあるのはなぜですか?
ブラウザーが HTTP ステータスコード 404 を受け取りました。これはどういう意味ですか?
ある PC は自分のサブネット上のプリンターには届きますが、その外には何も届きません。IP アドレスとマスクは正しいです。最も可能性が高い故障はどれですか?
ネットワーク 172.29.0.0/16 を、プレフィックス /19 の等しいサブネットに分割します。サブネットはいくつ N ありますか?
あるホストのアドレスは 172.20.244.183/17 です。そのサブネットのブロードキャストアドレスの第 3 オクテット x はいくつですか?
答え: N = −127
位取り記数法:各桁の値は、その数字に基数のべき乗を掛けたものです。2 進数では各桁の重みが 1、2、4、8、16、…、16 進数では 1、16、256、… で、A–F は 10–15 を表します。8 ビットの 2 の補数では、最上位ビットの重みが +128 ではなく −128 になり、こうして負の数を表します。
ほかのビットは通常の正の重みのままです。
答え: R = 42
ビットの設定:各ビットは 2 のべき乗(128、64、…、1)の値をもちます。16 進の 1 桁はちょうど 4 ビットで、8 ビットの 2 の補数では、いちばん左のビットの値は −128 です。ビット演算は、各ビット位置を別々に扱います。
AND は、両方のビットが 1 のところだけ 1 になります。
答え: (c ∧ a) ∨ (c ∧ b)
論理的同値:2 つの論理式は、真理値表のすべての行で同じ値をとるとき同値(≡)です。恒真式(トートロジー)はすべての行で 1、矛盾(恒偽式)はすべての行で 0、どちらでもないものは充足可能な非恒真式です。役に立つ法則:ド・モルガンの法則 ¬(a ∧ b) ≡ ¬a ∨ ¬b と ¬(a ∨ b) ≡ ¬a ∧ ¬b、a → b ≡ ¬a ∨ b ≡ ¬b → ¬a(対偶)、¬(a → b) ≡ a ∧ ¬b、そして分配法則 a ∨ (b ∧ c) ≡ (a ∨ b) ∧ (a ∨ c)。
縦線の後ろの列は、表示されている順の選択肢です。
答え: ∃x (P(x) ∧ ¬Q(x))
量化子と論証:¬∀x P(x) ≡ ∃x ¬P(x)、¬∃x P(x) ≡ ∀x ¬P(x)。否定を内側へ移し、通過する量化子をすべて入れ替え、内側の式は ¬(a → b) ≡ a ∧ ¬b のような命題論理の法則で否定します。論証は、すべての前提が 1 であるどの行でも結論が 1 のとき、妥当です。前提が真で結論が偽になる行が 1 つでもあれば、それは反例であり、その論証が妥当でないことを示します。
ほかの選択肢は、量化子がそのままになっているか、量化子の順序が変わっているか、内側の式の否定が間違っているかのどれかです。
答え: N = 3
カルノー図:セルはグレイコード(00, 01, 11, 10)の順に並んでいるので、端をまたぐものも含め、隣り合うセルはちょうど 1 つの変数だけが異なります。1 を、1, 2, 4, 8, 16 個のセルからなる長方形で、できるだけ大きく、できるだけ少ない数でグループ化し、すべての 1 を覆います。各グループは 1 つの積項で、グループの中で一定のままの変数からなります。2ᵏ 個のセルのグループでは k 個の変数が消えます。ドントケア(X)はグループを大きくするために使えますが、覆う必要はありません。代わりに 0 をグループ化すると、最小の POS 形が得られます。
各グループは 2ᵏ 個のセルからなる長方形です。端のセルは、反対側の端のセルと隣り合っています。
答え: fmax = 13.33 MHz
フリップフロップとカウンタ:フリップフロップは、有効なクロックエッジでだけ変化します。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 個あります。
答え: 12−1 mod 41 = 24
逆元と合同式: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)。
各余り r は r ≡ t·12 (mod 41) と書けます。
答え: 31117 mod 38 = 37
冪剰余と 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 で行います。
答え: D · すでにソートされている配列
ソート済みの入力ではピボットが常に最小値になるので、一方は空、もう一方は n − 1 個の要素となり、O(n²) になります。
答え: C · クイックセレクトは期待 O(n) で動作し、中央値の中央値法は最悪 O(n) を保証する
ランダムなピボットでは、クイックセレクトの期待作業量は n + n/2 + n/4 + ... = O(n) です。ピボットを中央値の中央値として選ぶと、最悪の場合も線形になります。
答え: A · 双方向連結リスト
双方向連結リストのノードは前のノードを知っているので、prev と next を直接つなぎ直せます。単方向連結リストでは前のノードを探さなければなりません。
答え: A · 接頭辞和のクエリと単一要素の更新
フェニック木は各インデックスの下位ビットによって決まる範囲の部分和を格納するので、接頭辞和と一点更新のどちらも O(log n) で済みます。
答え: k = 10
オイラー、ハミルトン、木:連結グラフは、すべての頂点の次数が偶数のときオイラー閉路(すべての辺を 1 回ずつ通って始点に戻る)をもち、ちょうど 2 つの頂点の次数が奇数のとき、閉路でないオイラー路をもちます。その路は、一方の奇数次数の頂点から他方へ通ります。ハミルトン閉路はすべての頂点を 1 回ずつ訪れ、Kn には (n − 1)!/2 個あります。n 個の頂点をもつ木には n − 1 本の辺があり、m 本の辺をもつ連結グラフは、m − n + 1 本の辺を取り除いても全域木が残ります。
答え: N = 2
次数:頂点の次数は、その頂点に接する辺の数です。どの辺にも端が 2 つあるので、次数の和は辺の数の 2 倍になります:Σ deg(v) = 2|E|(握手補題)。したがって、奇数次数の頂点の数は偶数です。Kn には n(n − 1)/2 本の辺があり、n 個の頂点をもつ k 正則グラフには nk/2 本、n 個の頂点をもつ木には n − 1 本の辺があります。
答え: D · 左テーブルのすべての行と右テーブルの一致する行。一致しない部分は NULL になる
左外部結合は左テーブルのすべての行を残し、一致しない右側の列は NULL で埋められます。
答え: B · 列に関数を適用すると、単純なインデックス範囲検索ができなくなるから
この式は "sargable" ではありません。order_date >= '2025-01-01' AND order_date < '2026-01-01' とすれば、インデックス範囲スキャンが可能になります。
答え: D · 要求されたリソースが見つからなかった
404 Not Found は、サーバーにその URL のリソースがないことを意味します。200 は OK、401 は Unauthorized、500 は Internal Server Error です。
答え: B · デフォルトゲートウェイがない、または誤っている
ホストはサブネット外宛てのパケットをデフォルトゲートウェイに送ります。それが誤っているかないと、ローカルのトラフィックは機能しても、IP アドレスを指定しても外部には何も届きません。
答え: N = 8
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).
各 /19 サブネットには 213 − 2 = 8190 個の使えるホストがあります。
答え: 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).
ExamProblems · examproblems.com/courses/computer-science-fundamentals