記数法
- 位取り
- 2 進数 2k、8 進数 8k、16 進数 16k
- 10 進数へ
- Σ dk·bk
- 10 進数から
- 基数で割り、余りを下から上へ読む
- 16 進数 ↔ 2 進数
- 16 進数 1 桁 = 4 ビット
- 2 の補数
- ビットを反転して 1 を足す
公式集、全トピックの解法の要点、20 問の演習問題。完全な解答は巻末にあります。
−19 を 8 ビットの 2 の補数パターンで表しなさい。そのパターンを符号なし 2 進数として読むと、10 進数での値 U はいくつですか?
24 ビットの 2 の補数で表せる最小(最も負の)整数 N はいくつですか?
この論理式 (b ↔ a) ∧ (c ↔ (¬a ∨ ¬b)) は、真理値表の 8 行のうち何行で真になりますか? この数を N とします。
否定を最も内側まで移したとき、¬∃x F(x) と同値な主張はどれですか? クリックしてください。
カルノー図を使って F(A, B, C, D) = Σm(1, 3, 8, 9) の最小の積和形(SOP)を求めてください。積項 N はいくつありますか?
正エッジトリガの JK フリップフロップが Q = 0 から始まり、6 回の立ち上がりクロックエッジで図の入力を受け取ります。Q は何回N状態を変えますか?
オイラーのトーシェント関数 φ(1089)、つまり 1 から 1089 までの整数のうち 1089 と互いに素なものの個数を求めてください。
メッセージ m = 430 を RSA 公開鍵 (n, e) = (943, 3) で暗号化してください。暗号文 c を求めてください。
動的計画法(dynamic programming)が有効なのは、問題が次の性質を持つときです。
挿入ソートはソート済みの入力に対して O(n) で動作します。これは比較ソートの Ω(n log n) の下界と矛盾しますか?
二分最小ヒープの extract-min はどのように動作しますか。
ブルームフィルタは「この要素は集合に含まれるか」という問いにどのように答えますか。
この連結グラフには、オイラー閉路、閉路でないオイラー路、またはどちらもないのうち、どれがありますか? 答えをクリックしてください。
E を始点かつ終点とする、長さ 2 の閉じた歩道はいくつありますか? 歩道では頂点や辺を繰り返してもかまいません。その数を N とします。
並行するトランザクションが互いの未完了の変更を見ないことを意味する ACID 特性はどれですか?
テーブル b の列 y には値 1、2、NULL が入っています。SELECT * FROM a WHERE x NOT IN (SELECT y FROM b) は何を返しますか?
HTTP はステートレスです。Web サイトは通常どのようにして、複数の要求にわたってユーザーのログイン状態を保ちますか?
ある TCP コネクションのウィンドウは 64 KB、往復時間は 100 ms で、ウィンドウスケーリングはありません。最大スループットはおよそいくつですか?
ある部署では、1 つのサブネット内に 353 個のホストアドレスが必要です。十分な大きさとなる最長のプレフィックス長 p(最小のサブネット)はいくつですか?
あるルータは次のネットワークへの経路をもっています:10.74.32.0/24, 10.74.33.0/24, 10.74.34.0/24, 10.74.35.0/24。それらすべてをカバーする 1 つの集約経路の最長のプレフィックス長 p はいくつですか?
答え: U = 237
位取り記数法:各桁の値は、その数字に基数のべき乗を掛けたものです。2 進数では各桁の重みが 1、2、4、8、16、…、16 進数では 1、16、256、… で、A–F は 10–15 を表します。8 ビットの 2 の補数では、最上位ビットの重みが +128 ではなく −128 になり、こうして負の数を表します。
答え: N = −8.389 × 10⁶
位取り記数法:各桁の値は、その数字に基数のべき乗を掛けたものです。2 進数では各桁の重みが 1、2、4、8、16、…、16 進数では 1、16、256、… で、A–F は 10–15 を表します。8 ビットの 2 の補数では、最上位ビットの重みが +128 ではなく −128 になり、こうして負の数を表します。
答え: N = 2
真理値表:n 個の異なる変数をもつ論理式には、真理値のすべての組み合わせに対応する 2ⁿ 行があります(1 = 真、0 = 偽)。内側から順に進め、部分式ごとに列を用意します。¬a は値を反転させ、a ∧ b は両方が 1 のときだけ 1、a ∨ b は両方が 0 のときだけ 0、a → b は a = 1 かつ b = 0 のときだけ 0、a ↔ b は両辺が等しいとき 1 です。
答え: ∀x ¬F(x)
量化子と論証:¬∀x P(x) ≡ ∃x ¬P(x)、¬∃x P(x) ≡ ∀x ¬P(x)。否定を内側へ移し、通過する量化子をすべて入れ替え、内側の式は ¬(a → b) ≡ a ∧ ¬b のような命題論理の法則で否定します。論証は、すべての前提が 1 であるどの行でも結論が 1 のとき、妥当です。前提が真で結論が偽になる行が 1 つでもあれば、それは反例であり、その論証が妥当でないことを示します。
ほかの選択肢は、量化子がそのままになっているか、量化子の順序が変わっているか、内側の式の否定が間違っているかのどれかです。
答え: N = 2
カルノー図:セルはグレイコード(00, 01, 11, 10)の順に並んでいるので、端をまたぐものも含め、隣り合うセルはちょうど 1 つの変数だけが異なります。1 を、1, 2, 4, 8, 16 個のセルからなる長方形で、できるだけ大きく、できるだけ少ない数でグループ化し、すべての 1 を覆います。各グループは 1 つの積項で、グループの中で一定のままの変数からなります。2ᵏ 個のセルのグループでは k 個の変数が消えます。ドントケア(X)はグループを大きくするために使えますが、覆う必要はありません。代わりに 0 をグループ化すると、最小の POS 形が得られます。
各グループは 2ᵏ 個のセルからなる長方形です。端のセルは、反対側の端のセルと隣り合っています。
答え: N = 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 個あります。
JK フリップフロップ:00 は保持、01 はリセット(Q = 0)、10 はセット(Q = 1)、11 はトグルです。
答え: φ(1089) = 660
逆元と合同式: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)。
答え: c = 784
冪剰余と 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 で行います。
答え: A · 重複する部分問題と最適部分構造
重複する部分問題の結果を保存する(メモ化または表計算)ことで繰り返しの処理を避け、指数時間のアルゴリズムを多項式時間に変えられます。
答え: C · いいえ。下界はすべての入力にわたる最悪の場合に適用されるのであって、すべての入力に適用されるわけではない
この下界は、どの比較ソートもサイズ n のある入力に対して約 n log n 回の比較を必要とすることを述べています。特別な入力ではずっと速くなりえます。
答え: D · 最後の要素を根に移し、下へ移動させる(sift down)
最後の要素が根の穴を埋め、ヒープ性が成り立つまでより小さい子と交換されます。これには O(log n) かかります。
答え: C · 偽陽性はあり得るが、偽陰性はない
ある要素に対応するビットのどれかが 0 なら確実に存在せず、すべて 1 ならおそらく存在します。ブルームフィルタは精度と引き換えに非常に少ないメモリで済みます。
答え: どちらでもない
オイラー、ハミルトン、木:連結グラフは、すべての頂点の次数が偶数のときオイラー閉路(すべての辺を 1 回ずつ通って始点に戻る)をもち、ちょうど 2 つの頂点の次数が奇数のとき、閉路でないオイラー路をもちます。その路は、一方の奇数次数の頂点から他方へ通ります。ハミルトン閉路はすべての頂点を 1 回ずつ訪れ、Kn には (n − 1)!/2 個あります。n 個の頂点をもつ木には n − 1 本の辺があり、m 本の辺をもつ連結グラフは、m − n + 1 本の辺を取り除いても全域木が残ります。
答え: N = 3
次数:頂点の次数は、その頂点に接する辺の数です。どの辺にも端が 2 つあるので、次数の和は辺の数の 2 倍になります:Σ deg(v) = 2|E|(握手補題)。したがって、奇数次数の頂点の数は偶数です。Kn には n(n − 1)/2 本の辺があり、n 個の頂点をもつ k 正則グラフには nk/2 本、n 個の頂点をもつ木には n − 1 本の辺があります。
答え: B · 独立性(Isolation)
独立性は並行するトランザクションを互いに分離します。分離レベルによって、それをどれだけ厳密に適用するかが決まります。
答え: B · まったく行を返さない
NULL との比較は UNKNOWN なので、条件全体が TRUE になることはありません。NOT EXISTS を使うか NULL を除外すれば、この落とし穴を避けられます。
答え: B · セッション ID やトークンを入れた Cookie によって
サーバーはセッション ID やトークンを含む Cookie を設定し、ブラウザーは要求のたびにそれを返すため、サーバーはユーザーを識別できます。
答え: D · 約 5 Mbit/s
スループット ≤ ウィンドウ / RTT = 65,536 × 8 ビット / 0.1 s ≈ 5.2 Mbit/s です。リンクがどれほど速くても変わりません。
答え: p = 23
IPv4 サブネット化:アドレスは 32 ビットです。プレフィックス /p は先頭の何ビットがネットワークを表すかを示し、残りの 32 − p ビットでホストを番号付けします。サブネットには 2³²⁻ᵖ 個のアドレスがありますが、最初(ネットワークアドレス)と最後(ブロードキャストアドレス)はホストに割り当てられないため、2³²⁻ᵖ − 2 台のホストが収まります。 例外:/31(ポイントツーポイントリンク、RFC 3021)は 2 つのアドレスを両方ともホストに使い、/32 は単一のアドレス(単一ホストまたはループバック)です。
答え: p = 22
経路集約:集約経路 a.b.c.0/p は、最初の p ビットが一致するすべてのネットワークをカバーします。最初と最後のネットワークの異なるオクテットを 2 進数で書きます。共通する先頭のビット数に、それより前のオクテットのビット数を加えたものが最長の集約プレフィックスです。
集約経路:10.74.32.0/22
ExamProblems · examproblems.com/courses/computer-science-fundamentals