พื้นฐานวิทยาการคอมพิวเตอร์: ชุดสรุปเร่งรัด

สรุปสูตร ขั้นตอนวิธีทำที่สำคัญของทุกหัวข้อ และโจทย์ฝึก 20 ข้อ พร้อมเฉลยละเอียดไว้ท้ายเล่ม

โจทย์ใหม่กลับไปที่รายวิชา

ในหน้าต่างพิมพ์ ให้เลือก “บันทึกเป็น PDF” เพื่อเก็บสำเนาไว้ในอุปกรณ์ของคุณ

1สูตรและวิธีทำ

ระบบเลข

ค่าประจำตำแหน่ง
ฐานสอง 2k, ฐานแปด 8k, ฐานสิบหก 16k
เป็นเลขฐานสิบ
Σ dk·bk
จากเลขฐานสิบ
หารด้วยฐาน อ่านเศษจากล่างขึ้นบน
ฐานสิบหก ↔ ฐานสอง
เลขฐานสิบหกหนึ่งหลัก = 4 บิต
two’s complement
กลับบิตแล้วบวก 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)
โมดัสโพเนนส์ โมดัสโทลเลนส์
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ⁿ สถานะ; มอด N: n ที่น้อยที่สุดที่ 2ⁿ ≥ N; fout = fclk/N
ตัวนับริปเปิล
fmax = 1/(n·tpd)
ตัวนับริงและตัวนับจอห์นสัน
n และ 2n สถานะ

วิธีการ

  1. สำหรับวงจร ให้ทำจากอินพุตไปถึงเอาต์พุตทีละเกตและเขียนค่าบนทุกเส้น หรือเขียนนิพจน์ของมันแล้วเติมตารางค่าความจริง
  2. สำหรับการทำให้ง่าย ให้ใส่ 1 (และค่าไม่สนใจเป็น X) ลงในแผนที่คาร์โนห์ที่มีแถวและคอลัมน์เรียงตามรหัสเกรย์: 00, 01, 11, 10
  3. ครอบคลุม 1 ด้วยกลุ่ม 1, 2, 4, 8 หรือ 16 เซลล์ให้น้อยที่สุดและใหญ่ที่สุดเท่าที่เป็นไปได้ โดยพันข้ามขอบ แต่ละกลุ่มคือหนึ่งพจน์ผลคูณที่ประกอบด้วยตัวแปรที่คงที่ จัดกลุ่ม 0 สำหรับรูป POS
  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. สำหรับ ห.ร.ม. ให้หารซ้ำด้วยขั้นตอนวิธีของยูคลิด เศษที่ไม่เป็นศูนย์ตัวสุดท้ายคือ ห.ร.ม.
  3. สำหรับตัวผกผัน ให้ทำขั้นตอนวิธีแบบขยาย และเก็บสัมประสิทธิ์ของ a ถ้าเป็นลบให้บวก n
  4. แก้ a·x ≡ b โดยคูณด้วย a⁻¹ รวมสองความสอดคล้องโดยเขียน x = r₁ + m₁k
  5. สำหรับเลขยกกำลัง ให้เขียนเลขชี้กำลังเป็นเลขฐานสองแล้วยกกำลังสองซ้ำ ใน 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. สำหรับโจทย์ออยเลอร์ ให้ตรวจว่ากราฟเชื่อมโยงกัน และนับจุดยอดที่มีดีกรีคี่
  3. สำหรับต้นไม้ ให้ใช้ว่ามี n − 1 เส้นเชื่อม และเล็มมาการจับมือ
  4. สำหรับไดก์สตรา ให้เก็บตารางระยะทางชั่วคราว และยืนยันจุดยอดที่ยังไม่ยืนยันซึ่งมีค่าน้อยที่สุดในแต่ละรอบ
  5. สำหรับต้นไม้ทอดข้ามค่าน้อยที่สุด ให้เรียงเส้นเชื่อมตามน้ำหนักและข้ามทุกเส้นที่ทำให้เกิดวัฏจักร (ครัสคัล) หรือขยายต้นไม้ต้นเดียวจากจุดยอดเริ่มต้น (พริม)

การแบ่งซับเน็ต IPv4

โฮสต์ต่อซับเน็ต
2(32 − prefix) − 2 (/31: 2, /32: 1)
ขนาดบล็อก
256 − (mask octet)
ที่อยู่เครือข่าย
IP AND มาสก์
ที่อยู่บรอดคาสต์
IP OR (NOT mask): บิตโฮสต์ทั้งหมดเป็น 1
ซับเน็ตจาก n บิตที่ยืม
2n

2โจทย์ฝึก

1.ระบบเลขปานกลาง
ค่าประจำตำแหน่งใน two's complement1−12806403201618040211

รูปแบบ 8 บิต 1000 1001 เก็บจำนวนเต็มมีเครื่องหมายแบบ two's complement ค่าของมัน N ในเลขฐานสิบคือเท่าใด

1000 10018 bit
N =
2.ระบบเลขยาก
คลิกบิตเพื่อตั้งค่า012806403201608040201

ตั้งบิตให้เป็นผลลัพธ์ 8 บิตของ 0111 1110 OR 0100 0010 ค่าของผลลัพธ์ R เป็นเท่าใดในเลขฐานสิบ

0111 1110OR0100 0010
R =
3.ตรรกศาสตร์ประพจน์และการพิสูจน์ปานกลาง
(p ∧ q) ∨ (p ∧ r)(p ∨ q) ∧ rp ∧ (q ∨ r)(p ∨ q) ∧ (p ∨ r)

สูตรใดสมมูลเชิงตรรกะกับ p ∨ (q ∧ r) ให้คลิกสูตรนั้น

p ∨ (q ∧ r)
  1. 1(p ∧ q) ∨ (p ∧ r)
  2. 2(p ∨ q) ∧ r
  3. 3p ∧ (q ∨ r)
  4. 4(p ∨ q) ∧ (p ∨ r)
4.ตรรกศาสตร์ประพจน์และการพิสูจน์ยาก
∀x (¬P(x) ∧ ¬Q(x))∀x (¬P(x) ∨ ¬Q(x))∃x (¬P(x) ∧ ¬Q(x))∃x (¬P(x) ∨ ¬Q(x))

ประโยคใดสมมูลกับ ¬∀x (P(x) ∨ Q(x)) เมื่อย้ายนิเสธเข้าด้านในสุด ให้คลิกประโยคนั้น

¬∀x (P(x) ∨ Q(x))
  1. 1∀x (¬P(x) ∧ ¬Q(x))
  2. 2∀x (¬P(x) ∨ ¬Q(x))
  3. 3∃x (¬P(x) ∧ ¬Q(x))
  4. 4∃x (¬P(x) ∨ ¬Q(x))
5.ตรรกะดิจิทัล: เกต แผนที่คาร์โนห์ และฟลิปฟล็อปปานกลาง
ABCD000111100001111000010302040517160120131150141809011010

ใช้แผนที่คาร์โนห์หารูปผลบวกของผลคูณ (SOP) ที่น้อยที่สุดของ F(A, B, C, D) = Σm(6, 7, 8, 15) มีลิเทอรัลรวมกี่ตัว L (ตัวแปรที่มีไพรม์นับเป็นหนึ่งลิเทอรัล)

F(A, B, C, D) = Σm(6, 7, 8, 15)
L =
6.ตรรกะดิจิทัล: เกต แผนที่คาร์โนห์ และฟลิปฟล็อปยาก
ABCD000111100001111010X103021405X7161121131151140809X11110

จงหารูป SOP ที่น้อยที่สุดของ F(A, B, C, D) = Σm(0, 4, 6, 10, 12, 13, 14, 15) + d(1, 7, 11) โดย d แทนเงื่อนไขไม่สนใจ มีกี่พจน์ผลคูณ N

F(A, B, C, D) = Σm(0, 4, 6, 10, 12, 13, 14, 15) + d(1, 7, 11)
N =
7.ทฤษฎีจำนวนและเลขคณิตมอดูลาร์ปานกลาง

จงหาฟังก์ชันโทเทียนต์ของออยเลอร์ φ(98) ซึ่งเป็นจำนวนของจำนวนเต็มตั้งแต่ 1 ถึง 98 ที่เป็นจำนวนเฉพาะสัมพัทธ์กับ 98

n = 98 = 2·72
φ(98) =
8.ทฤษฎีจำนวนและเลขคณิตมอดูลาร์ยาก

41 เป็นจำนวนเฉพาะ ใช้ทฤษฎีบทเล็กของแฟร์มาเพื่อหา 2684269 mod 41

p = 41k = 84269
2684269 mod 41 =
9.อัลกอริทึมและความซับซ้อนปานกลาง

ความซับซ้อนเชิงเวลาของการคำนวณจำนวนฟีโบนักชีตัวที่ n ด้วยตารางแบบล่างขึ้นบนคือเท่าใด

  1. AO(n)
  2. BO(log n)
  3. CO(2ⁿ)
  4. DO(n²)
10.อัลกอริทึมและความซับซ้อนยาก

22n อยู่ใน O(2ⁿ) หรือไม่

  1. Aใช่ เพราะตัวคูณคงที่ในเลขชี้กำลังถูกละไว้เสมอใน Big O
  2. Bใช่ เพราะทั้งสองเป็นเอกซ์โพเนนเชียล
  3. Cไม่ เพราะ 22n = 4ⁿ และ 4ⁿ / 2ⁿ = 2ⁿ เติบโตไม่มีขอบเขต
  4. Dไม่ เพราะ 22n เติบโตช้ากว่า 2ⁿ
11.โครงสร้างข้อมูลปานกลาง

ต้นไม้ AVL และต้นไม้แดง–ดำ (red-black) รับประกัน

  1. Aไม่มีโหนดใดมีลูกสองตัว
  2. Bความสูง O(log n) ผ่านการปรับสมดุลใหม่
  3. Cการค้นหาในเวลาคงที่ทุกกรณี
  4. Dคีย์ถูกเก็บตามลำดับการแทรก
12.โครงสร้างข้อมูลยาก

การลบโหนดที่มีลูกสองตัวจาก binary search tree มักทำโดย

  1. Aสลับกับราก
  2. Bแทนที่ด้วย in-order successor (หรือ predecessor) แล้วลบโหนดนั้น
  3. Cสร้างต้นไม้ย่อยที่อยู่ใต้โหนดนั้นขึ้นใหม่ทั้งหมดแล้วแทรกคีย์ทุกตัวที่เคยมีอยู่ลงไปใหม่
  4. Dลบต้นไม้ย่อยทั้งหมด
13.ทฤษฎีกราฟปานกลาง

กราฟเชื่อมโยงมี 14 จุดยอดและ 17 เส้นเชื่อม ต้องเอาเส้นเชื่อมออกกี่เส้น k เพื่อให้เหลือต้นไม้ทอดข้าม

|V| = 14|E| = 17
k =
14.ทฤษฎีกราฟยาก
ABCDE

มีวอล์กความยาว 3 จาก B ไป A กี่วอล์ก วอล์กอาจซ้ำจุดยอดและเส้นเชื่อมได้ เรียกจำนวนนี้ว่า N

M = เมทริกซ์ประชิดL = 3
N =
15.ฐานข้อมูลและ SQLปานกลาง

ROLLBACK TO SAVEPOINT s1 ทำอะไร?

  1. Aยกเลิกทั้งทรานแซกชันตั้งแต่ต้น
  2. Bลบจุดบันทึกและตารางทั้งหมดที่เปลี่ยนตั้งแต่นั้น
  3. Cจบทรานแซกชันและ commit ทั้งหมด
  4. Dยกเลิกการเปลี่ยนแปลงหลังจุดบันทึก s1 โดยคงทรานแซกชันไว้
16.ฐานข้อมูลและ SQLยาก

ดัชนีครอบคลุม (covering index) สำหรับคิวรีคืออะไร?

  1. Aดัชนีที่สร้างใหม่ทุกคืน
  2. Bดัชนีที่ครอบคลุมทุกคอลัมน์ของทุกตาราง
  3. Cดัชนีบนคีย์หลักเท่านั้น
  4. Dดัชนีที่มีทุกคอลัมน์ที่คิวรีต้องการ จึงไม่ต้องอ่านตัวตาราง
17.เครือข่ายคอมพิวเตอร์ปานกลาง

ช่วงหมายเลขพอร์ต TCP/UDP ใดสงวนไว้เป็นพอร์ต "ที่รู้จักกันดี" (well-known)?

  1. A1024–49151
  2. B49152–65535
  3. C0–65535
  4. D0–1023
18.เครือข่ายคอมพิวเตอร์ยาก

เหตุใดจึงมีการเพิ่มตัวเลือกการปรับสเกลหน้าต่าง (window scale) ของ TCP?

  1. AUDP ต้องมีวิธีควบคุมอัตราการส่งบนเส้นทางที่คับคั่ง
  2. Bฟิลด์หน้าต่าง 16 บิตจำกัดหน้าต่างไว้ที่ 65,535 ไบต์ ซึ่งเล็กเกินไปสำหรับเส้นทางไกลที่เร็ว
  3. Cฟิลด์หน้าต่าง 32 บิตใหญ่เกินไปและสิ้นเปลืองพื้นที่ส่วนหัวในทุกเซกเมนต์ TCP ที่ส่ง
  4. Dหากไม่มี TCP จะตรวจจับเซกเมนต์ที่สูญหายบนลิงก์ระยะไกลไม่ได้
19.การแบ่งซับเน็ต IPv4ปานกลาง
/24 → /2811111111111111111111111111110000บิตเครือข่ายบิตโฮสต์

เครือข่าย 192.168.10.0/24 ต้องแบ่งเป็นซับเน็ตขนาดเท่ากันอย่างน้อย 12 ซับเน็ต หากยืมบิตให้น้อยที่สุด แต่ละซับเน็ตมีโฮสต์ที่ใช้ได้กี่เครื่อง H

192.168.10.0/2412 subnets
H =
20.การแบ่งซับเน็ต IPv4ยาก
ออกเท็ตที่สาม = 71012816403201608141211เครือข่ายโฮสต์

โฮสต์มีที่อยู่ 172.20.71.93/18 ออกเท็ตที่สาม x ของที่อยู่เครือข่ายของมันคือเท่าใด

172.20.71.93/18
x =

3สารละลาย

1.ระบบเลข

คำตอบ: N = −119

ระบบเลขตามตำแหน่ง: แต่ละหลักมีค่าเท่ากับค่าของหลักนั้นคูณกำลังของฐาน ในเลขฐานสองแต่ละตำแหน่งมีค่า 1, 2, 4, 8, 16, …; ในเลขฐานสิบหก 1, 16, 256, … โดย A–F แทน 10–15 ในระบบ two's complement 8 บิต บิตซ้ายสุดมีค่า −128 แทนที่จะเป็น +128 ซึ่งเป็นวิธีเก็บจำนวนลบ

บวกค่าประจำตำแหน่ง

บิตอื่นยังคงมีค่าเป็นบวกตามปกติ

−128 + 8 + 1 = −119

คำตอบ

N = −119
2.ระบบเลข

คำตอบ: R = 126

การตั้งค่าบิต: แต่ละบิตมีค่าเป็นกำลังของสอง (128, 64, …, 1) เลขฐานสิบหกหนึ่งหลักคือสี่บิตพอดี และใน two's complement 8 บิต บิตซ้ายสุดมีค่า −128 การดำเนินการระดับบิตทำงานกับแต่ละตำแหน่งบิตแยกกัน

ทีละบิต

OR ให้ 1 เมื่ออย่างน้อยหนึ่งบิตเป็น 1

0111 1110
OR 0100 0010
= 0111 1110

ค่าของผลลัพธ์

0111 1110₂ = 126

คำตอบ

R = 126
3.ตรรกศาสตร์ประพจน์และการพิสูจน์

คำตอบ: (p ∨ q) ∧ (p ∨ r)

ความสมมูลเชิงตรรกะ: สูตรสองสูตรสมมูลกัน (≡) เมื่อมีค่าเท่ากันทุกแถวของตารางค่าความจริง ซ้ำซ้อน (tautology) เป็น 1 ทุกแถว ขัดแย้ง (contradiction) เป็น 0 ทุกแถว และ contingency ไม่ใช่ทั้งสองอย่าง กฎที่มีประโยชน์: กฎของเดอมอร์แกน ¬(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)

กฎ

∨ แจกแจงเหนือ ∧: a ∨ (b ∧ c) ≡ (a ∨ b) ∧ (a ∨ c)
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)

ตรวจสอบด้วยตารางค่าความจริง

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

คำตอบ

(p ∨ q) ∧ (p ∨ r)

คอลัมน์หลังเส้นคั่นคือตัวเลือกตามลำดับที่แสดง

4.ตรรกศาสตร์ประพจน์และการพิสูจน์

คำตอบ: ∃x (¬P(x) ∧ ¬Q(x))

ตัวบ่งปริมาณและการอ้างเหตุผล: ¬∀x P(x) ≡ ∃x ¬P(x) และ ¬∃x P(x) ≡ ∀x ¬P(x) ย้ายนิเสธเข้าด้านใน สลับทุกตัวบ่งปริมาณที่นิเสธผ่าน และใส่นิเสธให้สูตรด้านในด้วยกฎของประพจน์ เช่น ¬(a → b) ≡ a ∧ ¬b การอ้างเหตุผลสมเหตุสมผลเมื่อบทสรุปเป็น 1 ในทุกแถวที่สมมติฐานทั้งหมดเป็น 1 แถวเดียวที่สมมติฐานเป็นจริงแต่บทสรุปเป็นเท็จคือตัวอย่างค้านและแสดงว่าการอ้างเหตุผลนั้นไม่สมเหตุสมผล

ย้ายนิเสธเข้าด้านใน

¬∀x (P(x) ∨ Q(x)) ≡ ∃x (¬P(x) ∧ ¬Q(x))

คำตอบ

∃x (¬P(x) ∧ ¬Q(x))

ตัวเลือกอื่นอาจคงตัวบ่งปริมาณไว้ไม่เปลี่ยน เปลี่ยนลำดับของตัวบ่งปริมาณ หรือใส่นิเสธให้สูตรด้านในผิด

5.ตรรกะดิจิทัล: เกต แผนที่คาร์โนห์ และฟลิปฟล็อป

คำตอบ: L = 10

แผนที่คาร์โนห์: เซลล์เรียงตามรหัสเกรย์ (00, 01, 11, 10) ดังนั้นเซลล์ที่อยู่ติดกัน รวมถึงเซลล์ที่อยู่ตรงข้ามขอบ ต่างกันเพียงตัวแปรเดียว จัดกลุ่ม 1 เป็นสี่เหลี่ยมที่มี 1, 2, 4, 8 หรือ 16 เซลล์ ให้ใหญ่ที่สุดและมีจำนวนกลุ่มน้อยที่สุดจนครอบคลุมทุก 1 แต่ละกลุ่มคือหนึ่งพจน์ผลคูณ: ตัวแปรที่คงที่ภายในกลุ่ม กลุ่มที่มี 2ᵏ เซลล์สูญเสียตัวแปรไป k ตัว ค่าไม่สนใจ (X) ใช้เพื่อทำให้กลุ่มใหญ่ขึ้นได้ แต่ไม่จำเป็นต้องถูกครอบคลุม การจัดกลุ่ม 0 แทนจะได้รูป POS ที่น้อยที่สุด

ABCD000111100001111000010302040517160120131150141809011010

จัดกลุ่ม 1

ทุกกลุ่มเป็นสี่เหลี่ยมของ 2ᵏ เซลล์ เซลล์ที่ขอบเป็นเพื่อนบ้านของเซลล์ที่ขอบตรงข้าม

BCD
A′BC
AB′C′D′

รูป SOP ที่น้อยที่สุด

F = BCD + A′BC + AB′C′D′
L = 10

คำตอบ

L = 10
6.ตรรกะดิจิทัล: เกต แผนที่คาร์โนห์ และฟลิปฟล็อป

คำตอบ: N = 4

แผนที่คาร์โนห์: เซลล์เรียงตามรหัสเกรย์ (00, 01, 11, 10) ดังนั้นเซลล์ที่อยู่ติดกัน รวมถึงเซลล์ที่อยู่ตรงข้ามขอบ ต่างกันเพียงตัวแปรเดียว จัดกลุ่ม 1 เป็นสี่เหลี่ยมที่มี 1, 2, 4, 8 หรือ 16 เซลล์ ให้ใหญ่ที่สุดและมีจำนวนกลุ่มน้อยที่สุดจนครอบคลุมทุก 1 แต่ละกลุ่มคือหนึ่งพจน์ผลคูณ: ตัวแปรที่คงที่ภายในกลุ่ม กลุ่มที่มี 2ᵏ เซลล์สูญเสียตัวแปรไป k ตัว ค่าไม่สนใจ (X) ใช้เพื่อทำให้กลุ่มใหญ่ขึ้นได้ แต่ไม่จำเป็นต้องถูกครอบคลุม การจัดกลุ่ม 0 แทนจะได้รูป POS ที่น้อยที่สุด

ไพรม์อิมพลิแคนต์

กลุ่มที่ใหญ่ที่สุดที่สร้างได้จาก 1 และ X

BD′, BC, AC, A′C′D′, AB, A′B′C′
ABCD000111100001111010X103021405X7161121131151140809X11110

การครอบคลุมที่น้อยที่สุด

F = BD′ + AC + A′C′D′ + AB
N = 4

คำตอบ

N = 4

มีการจัดกลุ่มอีกแบบที่มีขนาดเท่ากัน ซึ่งมีจำนวนพจน์และลิเทอรัลเท่ากัน

7.ทฤษฎีจำนวนและเลขคณิตมอดูลาร์

คำตอบ: φ(98) = 42

ตัวผกผันและความสอดคล้อง: a มีตัวผกผันมอดูโล n เมื่อ gcd(a, n) = 1 เท่านั้น ขั้นตอนวิธีของยูคลิดแบบขยายเขียน 1 = s·n + t·a แล้ว a⁻¹ ≡ t (mod n) ความสอดคล้อง a·x ≡ b (mod n) ที่ gcd(a, n) = 1 มีคำตอบ x ≡ a⁻¹·b ความสอดคล้องสองข้อ x ≡ r₁ (mod m₁) และ x ≡ r₂ (mod m₂) ที่มอดูลัสเป็นจำนวนเฉพาะสัมพัทธ์กันมีคำตอบเดียวมอดูโล m₁·m₂ (ทฤษฎีบทเศษเหลือของจีน) φ(n) ของออยเลอร์นับจำนวนตั้งแต่ 1 ถึง n ที่เป็นจำนวนเฉพาะสัมพัทธ์กับ n: φ(n) = n·∏(1 − 1/p)

ตัวประกอบเฉพาะ

98 = 2·72

โทเทียนต์

φ(98) = φ(2)·φ(49) = 1·42 = 42

คำตอบ

φ(98) = 42
8.ทฤษฎีจำนวนและเลขคณิตมอดูลาร์

คำตอบ: 2684269 mod 41 = 24

เลขยกกำลังมอดูลาร์และ RSA: คำนวณ aᵏ mod n ด้วยการยกกำลังสองซ้ำ: เขียน k เป็นเลขฐานสอง ยกกำลังสอง ลดค่าหลังทุกขั้นตอน และคูณเลขยกกำลังที่บิตเป็น 1 แฟร์มา: aᵖ⁻¹ ≡ 1 (mod p) สำหรับจำนวนเฉพาะ p ที่หาร a ไม่ลงตัว ดังนั้นลดเลขชี้กำลังมอดูโล 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

ลดเลขชี้กำลัง

84269 mod 40 = 29
2684269 ≡ 2629 (mod 41)

เลขยกกำลังขนาดเล็ก

2629 mod 41 = 24

คำตอบ

2684269 mod 41 = 24
9.อัลกอริทึมและความซับซ้อน

คำตอบ: A · O(n)

เหตุผลที่เป็นคำตอบนี้

การเติมตารางจาก 0 ถึง n ใช้การบวกหนึ่งครั้งต่อช่อง งานจึงเป็นเชิงเส้นแทนที่จะเป็นเอกซ์โพเนนเชียล

คำตอบ

A · O(n)
10.อัลกอริทึมและความซับซ้อน

คำตอบ: C · ไม่ เพราะ 22n = 4ⁿ และ 4ⁿ / 2ⁿ = 2ⁿ เติบโตไม่มีขอบเขต

เหตุผลที่เป็นคำตอบนี้

ค่าคงที่ที่บวกเข้ากับเลขชี้กำลังให้ตัวคูณคงที่ แต่ค่าคงที่ที่คูณเลขชี้กำลังเปลี่ยนฐานและอัตราการเติบโต

คำตอบ

C · ไม่ เพราะ 22n = 4ⁿ และ 4ⁿ / 2ⁿ = 2ⁿ เติบโตไม่มีขอบเขต
11.โครงสร้างข้อมูล

คำตอบ: B · ความสูง O(log n) ผ่านการปรับสมดุลใหม่

เหตุผลที่เป็นคำตอบนี้

ต้นไม้ปรับสมดุลตัวเองรักษาความสูงเป็นลอการิทึม การค้นหา แทรก และลบจึงเป็น O(log n) ในกรณีเลวร้ายที่สุด

คำตอบ

B · ความสูง O(log n) ผ่านการปรับสมดุลใหม่
12.โครงสร้างข้อมูล

คำตอบ: B · แทนที่ด้วย in-order successor (หรือ predecessor) แล้วลบโหนดนั้น

เหตุผลที่เป็นคำตอบนี้

In-order successor มีลูกไม่เกินหนึ่งตัว จึงลบได้ง่ายหลังคัดลอกคีย์ไปยังโหนดที่ถูกลบ

คำตอบ

B · แทนที่ด้วย in-order successor (หรือ predecessor) แล้วลบโหนดนั้น
13.ทฤษฎีกราฟ

คำตอบ: k = 4

ออยเลอร์ แฮมิลตัน และต้นไม้: กราฟเชื่อมโยงมีวงจรออยเลอร์ (ผ่านทุกเส้นเชื่อมครั้งเดียวและกลับจุดเริ่มต้น) เมื่อทุกจุดยอดมีดีกรีคู่ และมีทางเดินออยเลอร์ที่ไม่ใช่วงจรเมื่อมีจุดยอดดีกรีคี่พอดีสองจุด ทางเดินนั้นไปจากจุดยอดคี่จุดหนึ่งถึงอีกจุดหนึ่ง วงจรแฮมิลตันผ่านทุกจุดยอดครั้งเดียว Kn มีวงจรแบบนี้ (n − 1)!/2 วงจร ต้นไม้ที่มี n จุดยอดมี n − 1 เส้นเชื่อม และกราฟเชื่อมโยงที่มี m เส้นเชื่อมจะเหลือต้นไม้ทอดข้ามหลังเอาเส้นเชื่อมออก m − n + 1 เส้น

เส้นเชื่อมของต้นไม้ทอดข้าม

14 − 1 = 13

เส้นเชื่อมที่ต้องเอาออก

k = 17 − 13 = 4

คำตอบ

k = 4
14.ทฤษฎีกราฟ

คำตอบ: N = 1

ดีกรี: ดีกรีของจุดยอดคือจำนวนเส้นเชื่อมที่มาบรรจบที่จุดนั้น เส้นเชื่อมแต่ละเส้นมีสองปลาย ดังนั้นผลบวกของดีกรีเท่ากับสองเท่าของจำนวนเส้นเชื่อม: Σ deg(v) = 2|E| (เล็มมาการจับมือ) ดังนั้นจำนวนจุดยอดที่มีดีกรีคี่เป็นจำนวนคู่ Kn มีเส้นเชื่อม n(n − 1)/2 เส้น กราฟปรกติดีกรี k ที่มี n จุดยอดมี nk/2 เส้น และต้นไม้ที่มี n จุดยอดมี n − 1 เส้นเชื่อม

เมทริกซ์ประชิด

A: 0 0 1 0 0
B: 0 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 + 3·0 + 1·1 + 1·0 + 2·0 = 1

คำตอบ

N = 1
15.ฐานข้อมูลและ SQL

คำตอบ: D · ยกเลิกการเปลี่ยนแปลงหลังจุดบันทึก s1 โดยคงทรานแซกชันไว้

เหตุผลที่เป็นคำตอบนี้

savepoint ทำเครื่องหมายจุดหนึ่งในทรานแซกชัน การ rollback ไปยังจุดนั้นยกเลิกงานหลังจากนั้น ขณะที่การเปลี่ยนแปลงก่อนหน้ายังค้างอยู่จนกว่าจะ COMMIT

คำตอบ

D · ยกเลิกการเปลี่ยนแปลงหลังจุดบันทึก s1 โดยคงทรานแซกชันไว้
16.ฐานข้อมูลและ SQL

คำตอบ: D · ดัชนีที่มีทุกคอลัมน์ที่คิวรีต้องการ จึงไม่ต้องอ่านตัวตาราง

เหตุผลที่เป็นคำตอบนี้

หากทุกคอลัมน์ที่อ้างถึงอยู่ในดัชนี DBMS สแกนเฉพาะดัชนีได้และข้ามการดึงแถวตาราง ซึ่งประหยัด I/O

คำตอบ

D · ดัชนีที่มีทุกคอลัมน์ที่คิวรีต้องการ จึงไม่ต้องอ่านตัวตาราง
17.เครือข่ายคอมพิวเตอร์

คำตอบ: D · 0–1023

เหตุผลที่เป็นคำตอบนี้

พอร์ต 0–1023 เป็นพอร์ตที่รู้จักกันดีสำหรับบริการมาตรฐาน 1024–49151 เป็นพอร์ตที่ลงทะเบียน และ 49152–65535 เป็นพอร์ตไดนามิกหรือส่วนตัว

คำตอบ

D · 0–1023
18.เครือข่ายคอมพิวเตอร์

คำตอบ: B · ฟิลด์หน้าต่าง 16 บิตจำกัดหน้าต่างไว้ที่ 65,535 ไบต์ ซึ่งเล็กเกินไปสำหรับเส้นทางไกลที่เร็ว

เหตุผลที่เป็นคำตอบนี้

ส่วนหัวเดิมรองรับข้อมูลที่ยังไม่ได้รับการตอบรับได้สูงสุด 65,535 ไบต์ การปรับสเกลหน้าต่างคูณค่านี้ด้วยกำลังของสองเพื่อให้เติมเส้นทางที่มีผลคูณแบนด์วิดท์–ความล่าช้าสูงได้

คำตอบ

B · ฟิลด์หน้าต่าง 16 บิตจำกัดหน้าต่างไว้ที่ 65,535 ไบต์ ซึ่งเล็กเกินไปสำหรับเส้นทางไกลที่เร็ว
19.การแบ่งซับเน็ต IPv4

คำตอบ: H = 14

การแบ่งซับเน็ต IPv4: ที่อยู่มี 32 บิต พรีฟิกซ์ /p บอกว่าบิตนำหน้ากี่บิตระบุเครือข่าย ส่วน 32 − p บิตที่เหลือใช้ระบุเลขโฮสต์ ซับเน็ตมี 2³²⁻ᵖ ที่อยู่ แต่ที่อยู่แรก (ที่อยู่เครือข่าย) และที่อยู่สุดท้าย (ที่อยู่บรอดคาสต์) ใช้เป็นโฮสต์ไม่ได้ จึงมีโฮสต์ได้ 2³²⁻ᵖ − 2 เครื่อง ข้อยกเว้น: /31 (ลิงก์แบบจุดต่อจุด, RFC 3021) ใช้ทั้ง 2 แอดเดรสสำหรับโฮสต์ และ /32 เป็นแอดเดรสเดียว (โฮสต์เดียวหรือลูปแบ็ก)

บิตที่ต้องยืม

24 = 16 ≥ 12 → b = 4, /28

โฮสต์ต่อซับเน็ต

24 − 2 = 14

คำตอบ

H = 14
20.การแบ่งซับเน็ต IPv4

คำตอบ: x = 64

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

ขนาดบล็อกในออกเท็ตที่สาม

26 = 64

ซับเน็ตของโฮสต์นี้

เครือข่าย: 172.20.64.0
บรอดคาสต์: 172.20.127.255

คำตอบ

x = 64

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