記数法
- 位取り
- 2 進数 2k、8 進数 8k、16 進数 16k
- 10 進数へ
- Σ dk·bk
- 10 進数から
- 基数で割り、余りを下から上へ読む
- 16 進数 ↔ 2 進数
- 16 進数 1 桁 = 4 ビット
- 2 の補数
- ビットを反転して 1 を足す
公式集、全トピックの解法の要点、20 問の演習問題。完全な解答は巻末にあります。
8 ビットの 2 の補数で −69 を格納するようにビットを設定します。符号なしの数として読むと、このパターンの値 U はいくつですか?
ビットを 0101 1001 << 3 の 8 ビットの結果に設定します。結果の値 R は 10 進でいくつですか?
p ↔ r と論理的に同値な論理式はどれですか? クリックしてください。
否定を最も内側まで移したとき、¬∃x (P(x) → Q(x)) と同値な主張はどれですか? クリックしてください。
カルノー図を使って F(A, B, C, D) = Σm(3, 5, 6, 7, 8) の最小の積和形(SOP)を求めてください。リテラル L は合計でいくつ含まれますか(プライム付きの変数も 1 つのリテラルと数えます)?
d はドントケア条件を表します。F(A, B, C, D) = Σm(0, 1, 8, 10, 13) + d(2, 3) の最小の SOP 形を求めてください。リテラル L はいくつ含まれますか?
80 を法とする 19 の逆元を求めてください:0 < x < 80 かつ 19·x ≡ 1 (mod 80) を満たす数 x です。
73 は素数です。フェルマーの小定理を使って 1146891 mod 73 を求めてください。
クイックソートの最悪時間計算量は何ですか?
問題が NP 完全(NP-complete)であるのは、次のどの場合ですか?
インデックス 0 から始まる配列に格納された二分ヒープで、インデックス i のノードの親はどこにありますか。
ソート済み連結リストと比べたスキップリストの主な利点は何ですか。
木に 次数 3 の頂点が 4 個, 次数 4 の頂点が 4 個, 次数 5 の頂点が 4 個 があり、ほかのすべての頂点は葉(次数 1)です。葉は何枚Lありますか?
ダイクストラ法を A から実行します。ラウンド 4 で確定する(永続になる)頂点をクリックしてください。A 自身がラウンド 1 です。
コミットされた変更がシステムクラッシュ後も残ることを保証する ACID 特性はどれですか?
相関サブクエリ(correlated subquery)とは次のうちどれですか?
TLS は HTTPS にどのようなセキュリティ特性を提供しますか?
アドレス不足への対策として IPv6 に NAT が不要なのはなぜですか?
あるサブネットはマスク 255.255.240.0 を使っています。使えるホストアドレスはいくつ H ありますか?
あるホストのアドレスは 10.20.156.144/28 です。そのネットワークアドレスの第 4 オクテット x はいくつですか?
答え: U = 187
ビットの設定:各ビットは 2 のべき乗(128、64、…、1)の値をもちます。16 進の 1 桁はちょうど 4 ビットで、8 ビットの 2 の補数では、いちばん左のビットの値は −128 です。ビット演算は、各ビット位置を別々に扱います。
答え: R = 200
ビットの設定:各ビットは 2 のべき乗(128、64、…、1)の値をもちます。16 進の 1 桁はちょうど 4 ビットで、8 ビットの 2 の補数では、いちばん左のビットの値は −128 です。ビット演算は、各ビット位置を別々に扱います。
3 だけ左にシフトすると、すべてのビットが 3 桁左へ動きます。左端からはみ出したビットは失われ、右側には 0 が入ります。
答え: (p → r) ∧ (r → p)
論理的同値: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 つでもあれば、それは反例であり、その論証が妥当でないことを示します。
ほかの選択肢は、量化子がそのままになっているか、量化子の順序が変わっているか、内側の式の否定が間違っているかのどれかです。
答え: L = 13
カルノー図:セルはグレイコード(00, 01, 11, 10)の順に並んでいるので、端をまたぐものも含め、隣り合うセルはちょうど 1 つの変数だけが異なります。1 を、1, 2, 4, 8, 16 個のセルからなる長方形で、できるだけ大きく、できるだけ少ない数でグループ化し、すべての 1 を覆います。各グループは 1 つの積項で、グループの中で一定のままの変数からなります。2ᵏ 個のセルのグループでは k 個の変数が消えます。ドントケア(X)はグループを大きくするために使えますが、覆う必要はありません。代わりに 0 をグループ化すると、最小の POS 形が得られます。
各グループは 2ᵏ 個のセルからなる長方形です。端のセルは、反対側の端のセルと隣り合っています。
答え: L = 8
カルノー図:セルはグレイコード(00, 01, 11, 10)の順に並んでいるので、端をまたぐものも含め、隣り合うセルはちょうど 1 つの変数だけが異なります。1 を、1, 2, 4, 8, 16 個のセルからなる長方形で、できるだけ大きく、できるだけ少ない数でグループ化し、すべての 1 を覆います。各グループは 1 つの積項で、グループの中で一定のままの変数からなります。2ᵏ 個のセルのグループでは k 個の変数が消えます。ドントケア(X)はグループを大きくするために使えますが、覆う必要はありません。代わりに 0 をグループ化すると、最小の POS 形が得られます。
1 と X からつくれる最大のグループ。
答え: 19−1 mod 80 = 59
逆元と合同式: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·19 (mod 80) と書けます。
答え: 1146891 mod 73 = 68
冪剰余と 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 · O(n²)
ピボットの選択が常に悪い場合(例:すでにソート済みの入力で先頭要素をピボットにする)、分割が偏り O(n²) になります。平均の場合は O(n log n) です。
答え: A · NP に属し、すべての NP 問題が多項式時間でその問題に帰着できる
NP 完全問題は NP の中で最も難しい問題であり、そのうち一つでも多項式時間アルゴリズムがあれば、NP 全体に対して多項式時間アルゴリズムが得られます。
答え: D · インデックス ⌊(i − 1) / 2⌋
i の子は 2i + 1 と 2i + 2 にあるので、i の親は ⌊(i − 1) / 2⌋ です。1 から始まるインデックスでは ⌊i / 2⌋ になります。
答え: B · 複数レベルの前方ポインタにより期待値 O(log n) で探索できる
ランダムに決まるレベルによって探索で多くのノードを飛ばせるため、探索・挿入・削除の期待計算量は O(log n) になります。
答え: L = 26
オイラー、ハミルトン、木:連結グラフは、すべての頂点の次数が偶数のときオイラー閉路(すべての辺を 1 回ずつ通って始点に戻る)をもち、ちょうど 2 つの頂点の次数が奇数のとき、閉路でないオイラー路をもちます。その路は、一方の奇数次数の頂点から他方へ通ります。ハミルトン閉路はすべての頂点を 1 回ずつ訪れ、Kn には (n − 1)!/2 個あります。n 個の頂点をもつ木には n − 1 本の辺があり、m 本の辺をもつ連結グラフは、m − n + 1 本の辺を取り除いても全域木が残ります。
近道:次数 d ≥ 3 の頂点について L = 2 + Σ (d − 2) です。
答え: E
最短経路と全域木:ダイクストラ法は毎ラウンド 1 つの頂点を確定します:暫定距離が最小の未確定の頂点です。その距離は最終となり、各隣接頂点 v は d(v) = min(d(v), d(u) + w(u, v)) と更新されます。クラスカル法は、辺を軽い順に取り、閉路をつくる辺を飛ばして最小全域木をつくります。プリム法は、始点から 1 本の木を成長させ、その木から出る最も軽い辺を常に加えます。n 個の頂点の全域木には n − 1 本の辺があります。
答え: D · 永続性(Durability)
永続性とは、トランザクションがいったんコミットされると、その効果が保持されることを意味します。通常は安定記憶装置にログを書き込むことで実現します。
答え: D · 外側のクエリの列を参照し、外側の行ごとに評価されるサブクエリ
相関サブクエリは現在の外側の行に依存するため、論理的には行ごとに評価されます(オプティマイザが結合に書き換えることもあります)。
答え: B · 機密性、完全性、サーバー認証
TLS はトラフィックを暗号化し、改ざんを検出し、証明書によってサーバーを認証します(任意でクライアントも認証します)。
答え: C · 128 ビットのアドレス空間が十分に大きく、すべてのデバイスにグローバルアドレスを割り当てられるから
IPv6 には約 3.4 × 10³⁸ 個のアドレスがあるため、IPv4 で NAT が必要になったアドレス不足は解消されます。セキュリティは引き続きファイアウォールが担います。
答え: H = 4094
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).
答え: x = 144
IPv4 サブネット化:アドレスは 32 ビットです。プレフィックス /p は先頭の何ビットがネットワークを表すかを示し、残りの 32 − p ビットでホストを番号付けします。サブネットには 2³²⁻ᵖ 個のアドレスがありますが、最初(ネットワークアドレス)と最後(ブロードキャストアドレス)はホストに割り当てられないため、2³²⁻ᵖ − 2 台のホストが収まります。 例外:/31(ポイントツーポイントリンク、RFC 3021)は 2 つのアドレスを両方ともホストに使い、/32 は単一のアドレス(単一ホストまたはループバック)です。
ExamProblems · examproblems.com/courses/computer-science-fundamentals