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

สรุปสูตร ขั้นตอนวิธีทำที่สำคัญของทุกหัวข้อ และโจทย์ฝึก 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 complement 8 บิต?−128?64?32?16?8?4?2?1

เขียน −115 เป็นรูปแบบ two's complement 8 บิต อ่านรูปแบบนั้นเป็นเลขฐานสองแบบไม่มีเครื่องหมาย ค่าของมัน U ในเลขฐานสิบคือเท่าใด

N = −1158 bit
U =
2.ระบบเลขยาก
รหัส 4660 ตัว, b = ? บิต?2ᵇ⁻¹…?4?2?1

ระบบต้องให้รหัสฐานสองความยาวเท่ากันแก่สิ่งของ 4660 ชิ้น ชิ้นละหนึ่งรหัส ต้องใช้อย่างน้อยกี่บิต b

4660
b = bit
3.ตรรกศาสตร์ประพจน์และการพิสูจน์ปานกลาง
ซ้ำซ้อน (tautology)ขัดแย้ง (contradiction)contingency

p → (p ∧ q) เป็น tautology, contradiction หรือ contingency ให้คลิกคำตอบของคุณ

p → (p ∧ q)
  1. 1ซ้ำซ้อน (tautology)
  2. 2ขัดแย้ง (contradiction)
  3. 3contingency
4.ตรรกศาสตร์ประพจน์และการพิสูจน์ยาก
q¬rrq ∧ r

กำหนดสมมติฐาน q ∨ r; ¬q บทสรุปใดตามมาจากสมมติฐานเหล่านี้ ให้คลิกบทสรุปนั้น

q ∨ r¬q
  1. 1q
  2. 2¬r
  3. 3r
  4. 4q ∧ r
5.ตรรกะดิจิทัล: เกต แผนที่คาร์โนห์ และฟลิปฟล็อปปานกลาง
ABCD000111100001111000110302140507060120131150140819111110

ใช้แผนที่คาร์โนห์หารูปผลคูณของผลบวก (POS) ที่น้อยที่สุดของ F(A, B, C, D) = Σm(1, 4, 9, 10, 11, 15) มีกี่พจน์ผลบวก (ตัวประกอบ) N

F(A, B, C, D) = Σm(1, 4, 9, 10, 11, 15)
N =
6.ตรรกะดิจิทัล: เกต แผนที่คาร์โนห์ และฟลิปฟล็อปยาก
ABCD00011110000111101011130214150716X12X13X151141809011110

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

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

จงหาจำนวนเต็มบวกที่น้อยที่สุด x ที่ x ≡ 1 (mod 9) และ x ≡ 4 (mod 13)

x ≡ 1 (mod 9)x ≡ 4 (mod 13)
x =
8.ทฤษฎีจำนวนและเลขคณิตมอดูลาร์ยาก
mc = me​ mod n710m = cd​ mod n?(n, e) = (851, 23)d

กุญแจ RSA ใช้ p = 23, q = 37 และ e = 23 จงถอดรหัสข้อความเข้ารหัส c = 710: หาข้อความ m

p = 23q = 37e = 23c = 710
m =
9.อัลกอริทึมและความซับซ้อนปานกลาง

ความซับซ้อนเชิงเวลาของอัลกอริทึมการโปรแกรมพลวัตมาตรฐานสำหรับสายอักขระย่อยร่วมที่ยาวที่สุด (LCS) ของสายอักขระที่ยาว m และ n คือเท่าใด

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

ต้องแสดงสองสิ่งใดเพื่อพิสูจน์ว่าปัญหาการตัดสินใจ X เป็น NP-complete

  1. AX ไม่มีอัลกอริทึมพหุนาม และ X ตัดสินได้
  2. BX อยู่ใน NP และปัญหา NP-complete ที่ทราบลดรูปมาเป็น X ในเวลาพหุนาม
  3. CX ลดรูปไปเป็นปัญหาใน P และ X อยู่ใน NP
  4. DX อยู่ใน P และ X ลดรูปไปเป็น SAT
11.โครงสร้างข้อมูลปานกลาง

ต้นไม้ทวิภาคมีราก 1 ลูกซ้าย 2 ลูกขวา 3 โหนด 2 มีลูก 4 (ซ้าย) และ 5 (ขวา) การท่องแบบ postorder คืออะไร

  1. A4 5 2 3 1
  2. B1 2 4 5 3
  3. C4 2 5 1 3
  4. D5 4 3 2 1
12.โครงสร้างข้อมูลยาก

เหตุใดเซิร์ฟเวอร์จึงเลือกฟังก์ชันแฮชแบบสุ่มจากตระกูลสากล (universal family)

  1. Aเพื่อรับประกันว่าไม่มีคีย์สองตัวชนกันเลย ไม่ว่าผู้โจมตีจะส่งคีย์ใดมา
  2. Bเพื่อทำให้ตารางแฮชเรียงลำดับ
  3. Cเพื่อตัดความจำเป็นในการปรับขนาดตาราง
  4. Dเพื่อทำให้ผู้โจมตีเลือกคีย์จำนวนมากที่ชนกันทั้งหมดได้ยากมาก
13.ทฤษฎีกราฟปานกลาง

ต้นไม้มี 2 จุดยอดดีกรี 3, 4 จุดยอดดีกรี 4, 4 จุดยอดดีกรี 2 และจุดยอดอื่นทั้งหมดเป็นใบ (ดีกรี 1) มีกี่ใบ L

2 × deg 34 × deg 44 × deg 2
L =
14.ทฤษฎีกราฟยาก
18141294113ABCDE

ขั้นตอนวิธีของครัสคัลสร้างต้นไม้ทอดข้ามค่าน้อยที่สุด ให้คลิกเส้นเชื่อมที่เพิ่มเป็นเส้นหมายเลข 3 เส้นที่ถูกข้ามไม่นับ

k = 3
  1. 1เส้นเชื่อม AB
  2. 2เส้นเชื่อม AC
  3. 3เส้นเชื่อม BC
  4. 4เส้นเชื่อม BD
  5. 5เส้นเชื่อม CE
  6. 6เส้นเชื่อม DE
  7. 7เส้นเชื่อม BE
15.ฐานข้อมูลและ SQLปานกลาง

GRANT SELECT ON employees TO alice ทำอะไร?

  1. Aอนุญาตให้ผู้ใช้ alice อ่านตาราง employees
  2. Bคัดลอกตาราง employees ให้ alice
  3. Cอนุญาตให้ alice แก้ไขและลบแถวในตาราง employees
  4. Dทำให้ alice เป็นเจ้าของฐานข้อมูล
16.ฐานข้อมูลและ SQLยาก

เหตุใด SELECT dept, name, COUNT(*) FROM emp GROUP BY dept จึงไม่ถูกต้องใน SQL มาตรฐาน?

  1. Adept ต้องอยู่ในฟังก์ชันรวมค่า
  2. BCOUNT(*) ใช้ร่วมกับ GROUP BY ไม่ได้
  3. CGROUP BY ต้องระบุทุกคอลัมน์ของตาราง
  4. Dname ไม่ได้ถูกจัดกลุ่มหรือรวมค่า จึงไม่มีค่าเดียวต่อกลุ่ม
17.เครือข่ายคอมพิวเตอร์ปานกลาง

พรีฟิกซ์เดียวใดสรุปรวมทั้ง 192.168.0.0/24 และ 192.168.1.0/24 ได้?

  1. A192.168.0.0/22
  2. B192.168.1.0/23
  3. C192.168.0.0/23
  4. D192.168.0.0/25
18.เครือข่ายคอมพิวเตอร์ยาก

การบล็อกหัวแถว (head-of-line blocking) ใน HTTP/2 บน TCP เกิดขึ้นเพราะ:

  1. AHTTP/2 ใช้ UDP
  2. Bแต่ละคำขอต้องใช้การเชื่อมต่อ TCP ใหม่ของตนเอง คำขอที่ตามมาจึงต้องรอในคิว
  3. Cเซิร์ฟเวอร์รองรับคำขอแบบขนานไม่ได้
  4. Dเซกเมนต์ TCP ที่สูญหายทำให้ทุกสตรีมที่มัลติเพล็กซ์ล่าช้าจนกว่าจะส่งซ้ำ
19.การแบ่งซับเน็ต IPv4ปานกลาง
255.255.255.25211111111111111111111111111111100บิตเครือข่ายบิตโฮสต์

ซับเน็ตหนึ่งใช้มาสก์ 255.255.255.252 มีที่อยู่โฮสต์ที่ใช้ได้กี่ที่อยู่ H

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

เครือข่าย 192.168.223.0/24 ถูกแบ่งด้วย VLSM สำหรับ LAN เหล่านี้: A: 34 โฮสต์, B: 55 โฮสต์, C: 9 โฮสต์, D: 24 โฮสต์ ซับเน็ตถูกจัดสรรจาก .0 ขึ้นไป โดย LAN ที่มีโฮสต์มากที่สุดมาก่อน แต่ละ LAN ได้ซับเน็ตที่เล็กที่สุดที่พอดี ออกเท็ตที่สี่ x ของที่อยู่เครือข่ายของ LAN D คือเท่าใด

A: 34B: 55C: 9D: 24
x =

3สารละลาย

1.ระบบเลข

คำตอบ: U = 141

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

กลับบิตแล้วบวกหนึ่ง

115 = 0111 0011
ที่กลับบิตแล้ว: 1000 1100
+1 → 1000 1101

อ่านเป็นแบบไม่มีเครื่องหมาย

1000 1101₂ = 256 − 115 = 141

คำตอบ

U = 141
2.ระบบเลข

คำตอบ: b = 13 bit

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

กำลังของสอง

212 = 4096 < 4660
213 = 8192 ≥ 4660

คำตอบ

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

คำตอบ: contingency

ความสมมูลเชิงตรรกะ: สูตรสองสูตรสมมูลกัน (≡) เมื่อมีค่าเท่ากันทุกแถวของตารางค่าความจริง ซ้ำซ้อน (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)

ตารางค่าความจริงทีละแถว

p = 1, q = 1: p ∧ q = 1, p → (p ∧ q) = 1
p = 1, q = 0: p ∧ q = 0, p → (p ∧ q) = 0
p = 0, q = 1: p ∧ q = 0, p → (p ∧ q) = 1
p = 0, q = 0: p ∧ q = 0, p → (p ∧ q) = 1

จัดประเภท

p → (p ∧ q): 1, 0, 1, 1
1 ใน 3 จาก 4 แถว 0 ในแถวอื่น: ประพจน์ที่ไม่แน่นอน (contingency)

คำตอบ

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

คำตอบ: r

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

แถวที่สมมติฐานทั้งหมดเป็นจริง

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

สรุป

r (ซิลโลจิซึมแบบเลือก)

คำตอบ

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

คำตอบ: N = 4

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

ABCD000111100001111000110302140507060120131150140819111110

จัดกลุ่ม 0

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

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

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

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

คำตอบ

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

คำตอบ: N = 4

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

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

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

C′D′, BD′, BC′, AD′, A′C′, AB, A′B′D
ABCD00011110000111101011130214150716X12X13X151141809011110

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

F = BD′ + AD′ + A′C′ + A′B′D
N = 4

คำตอบ

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

คำตอบ: x = 82

ตัวผกผันและความสอดคล้อง: 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)

ความสอดคล้องข้อแรก

x = 1 + 9k

ความสอดคล้องข้อที่สอง

1 + 9k ≡ 4 (mod 13) → 9k ≡ 3 (mod 13)
k ≡ 3·3 ≡ 9 (mod 13)

ผลลัพธ์

x = 1 + 9·9 = 82
x = 82
ตรวจสอบ: 82 mod 9 = 1, 82 mod 13 = 4

คำตอบ

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

คำตอบ: m = 641

เลขยกกำลังมอดูลาร์และ 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

เลขชี้กำลังส่วนตัว

n = 851, φ(n) = 792
d = 23−1 mod 792 = 551

ถอดรหัสด้วยการยกกำลังสองซ้ำ

551 = 512 + 32 + 4 + 2 + 1
7101 ≡ 710 (mod 851)
7102 ≡ 308 (mod 851)
7104 ≡ 403 (mod 851)
7108 ≡ 719 (mod 851)
71016 ≡ 404 (mod 851)
71032 ≡ 675 (mod 851)
71064 ≡ 340 (mod 851)
710128 ≡ 715 (mod 851)
710256 ≡ 625 (mod 851)
710512 ≡ 16 (mod 851)
710551 ≡ 710·308·403·675·16 ≡ 641 (mod 851)

ข้อความ

m = 641
ตรวจสอบ: 64123 mod 851 = 710

คำตอบ

m = 641
9.อัลกอริทึมและความซับซ้อน

คำตอบ: D · O(mn)

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

ตารางมี (m + 1)(n + 1) ช่อง และแต่ละช่องคำนวณใน O(1) จากช่องข้างเคียง

คำตอบ

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

คำตอบ: B · X อยู่ใน NP และปัญหา NP-complete ที่ทราบลดรูปมาเป็น X ในเวลาพหุนาม

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

การเป็นสมาชิกของ NP แสดงว่า X ไม่ยากกว่า NP ส่วนการลดรูปจากปัญหา NP-complete ที่ทราบแสดงว่า X ยากอย่างน้อยเท่าทั้ง NP

คำตอบ

B · X อยู่ใน NP และปัญหา NP-complete ที่ทราบลดรูปมาเป็น X ในเวลาพหุนาม
11.โครงสร้างข้อมูล

คำตอบ: A · 4 5 2 3 1

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

Postorder ประมวลผล 4 และ 5 ก่อน 2 แล้ว 3 และสุดท้ายราก 1

คำตอบ

A · 4 5 2 3 1
12.โครงสร้างข้อมูล

คำตอบ: D · เพื่อทำให้ผู้โจมตีเลือกคีย์จำนวนมากที่ชนกันทั้งหมดได้ยากมาก

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

ด้วยการแฮชสากล จำนวนการชนกันคาดหมายน้อยสำหรับเซตคีย์ใด ๆ เพราะผู้โจมตีไม่ทราบว่าเลือกฟังก์ชันใด

คำตอบ

D · เพื่อทำให้ผู้โจมตีเลือกคีย์จำนวนมากที่ชนกันทั้งหมดได้ยากมาก
13.ทฤษฎีกราฟ

คำตอบ: L = 12

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

เล็มมาการจับมือสำหรับต้นไม้

L + 30 = 2(L + 10) − 2
L = 12

คำตอบ

L = 12

ทางลัด: L = 2 + Σ (d − 2) ของจุดยอดที่มีดีกรี d ≥ 3

14.ทฤษฎีกราฟ

คำตอบ: เส้นเชื่อม BD

เส้นทางที่สั้นที่สุดและต้นไม้ทอดข้าม: ขั้นตอนวิธีของไดก์สตรายืนยันหนึ่งจุดยอดต่อรอบ: จุดยอดที่ยังไม่ยืนยันซึ่งมีระยะทางชั่วคราวน้อยที่สุด ระยะทางของมันเป็นค่าสุดท้ายแล้ว และเพื่อนบ้าน v ทุกจุดได้ d(v) = min(d(v), d(u) + w(u, v)) ขั้นตอนวิธีของครัสคัลสร้างต้นไม้ทอดข้ามค่าน้อยที่สุดโดยเลือกเส้นเชื่อมจากเบาไปหนักและข้ามเส้นที่ทำให้เกิดวัฏจักร ขั้นตอนวิธีของพริมขยายต้นไม้หนึ่งต้นจากจุดยอดเริ่มต้นโดยเพิ่มเส้นเชื่อมที่เบาที่สุดที่ออกจากต้นไม้เสมอ ต้นไม้ทอดข้ามที่มี n จุดยอดมี n − 1 เส้นเชื่อม

ขั้นตอนวิธีของครัสคัล

1. BE (3)
2. CE (4)
3. BD (9)
4. AC (14)

เส้นเชื่อมหมายเลข 3

BD

คำตอบ

เส้นเชื่อม BD
15.ฐานข้อมูลและ SQL

คำตอบ: A · อนุญาตให้ผู้ใช้ alice อ่านตาราง employees

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

GRANT ให้สิทธิ์บนออบเจ็กต์ SELECT อนุญาตเฉพาะการอ่าน ส่วน INSERT, UPDATE และ DELETE เป็นสิทธิ์แยกกัน

คำตอบ

A · อนุญาตให้ผู้ใช้ alice อ่านตาราง employees
16.ฐานข้อมูลและ SQL

คำตอบ: D · name ไม่ได้ถูกจัดกลุ่มหรือรวมค่า จึงไม่มีค่าเดียวต่อกลุ่ม

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

ทุกคอลัมน์ในรายการ SELECT ต้องอยู่ใน GROUP BY หรืออยู่ในฟังก์ชันรวมค่า (หรือพึ่งพาเชิงฟังก์ชันกับคอลัมน์จัดกลุ่ม) มิฉะนั้นค่าไม่ชัดเจน

คำตอบ

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

คำตอบ: C · 192.168.0.0/23

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

0 และ 1 ใช้บิตเหมือนกันทั้งหมดในอ็อกเต็ตที่สามยกเว้นบิตสุดท้าย พรีฟิกซ์ที่สั้นลงหนึ่งบิต (/23) เริ่มที่ 192.168.0.0 จึงครอบคลุมทั้งสองพอดี

คำตอบ

C · 192.168.0.0/23
18.เครือข่ายคอมพิวเตอร์

คำตอบ: D · เซกเมนต์ TCP ที่สูญหายทำให้ทุกสตรีมที่มัลติเพล็กซ์ล่าช้าจนกว่าจะส่งซ้ำ

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

TCP ส่งไบต์ตามลำดับ การสูญหายครั้งเดียวจึงทำให้ทุกสตรีมในการเชื่อมต่อหยุดชะงัก QUIC (HTTP/3) จัดการสตรีมแยกกันบน UDP

คำตอบ

D · เซกเมนต์ TCP ที่สูญหายทำให้ทุกสตรีมที่มัลติเพล็กซ์ล่าช้าจนกว่าจะส่งซ้ำ
19.การแบ่งซับเน็ต IPv4

คำตอบ: H = 2

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

ความยาวพรีฟิกซ์

255.255.255.252 = /30

โฮสต์ที่ใช้ได้

22 − 2 = 2

คำตอบ

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

คำตอบ: x = 128

VLSM: แต่ละ LAN ได้ซับเน็ตที่เล็กที่สุดที่ 2ʰ − 2 ≥ จำนวนโฮสต์ของมัน คือพรีฟิกซ์ 32 − h การจัดสรรซับเน็ตที่ใหญ่ที่สุดก่อนทำให้ทุกบล็อกอยู่ในแนวพหุคูณของขนาดตัวเอง ที่อยู่เครือข่ายจึงได้จากการบวกขนาดบล็อก

ขนาดบล็อกของแต่ละ LAN

B: 55 โฮสต์ → 26 = 64 (/26)
A: 34 โฮสต์ → 26 = 64 (/26)
D: 24 โฮสต์ → 25 = 32 (/27)
C: 9 โฮสต์ → 24 = 16 (/28)

การจัดสรร จากใหญ่ที่สุดก่อน

B: .0 – .63
A: .64 – .127
D: .128 – .159
C: .160 – .175

คำตอบ

x = 128

LAN D: 192.168.223.128/27

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