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

สรุปสูตร ขั้นตอนวิธีทำที่สำคัญของทุกหัวข้อ และโจทย์ฝึก 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 บิต0−12806403201608040201

ตั้งบิตให้เก็บ −21 ใน two's complement 8 บิต อ่านเป็นจำนวนไม่มีเครื่องหมาย ค่าของรูปแบบ U เป็นเท่าใด

N = −218 bit
U =
2.ระบบเลขยาก
24 bit1 px640 px480 pxM = ? KiB

ภาพที่ไม่บีบอัดมีขนาด 640 × 480 พิกเซล และมี 24 บิตต่อพิกเซล ใช้หน่วยความจำ M เท่าใด ในหน่วย KiB (1 KiB = 1024 ไบต์)

640 × 480 px24 bit/px1 KiB = 1024 B
M = KiB
3.ตรรกศาสตร์ประพจน์และการพิสูจน์ปานกลาง
¬r ∧ q¬r → ¬qr ∧ ¬qr → ¬q

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

¬(r → q)
  1. 1¬r ∧ q
  2. 2¬r → ¬q
  3. 3r ∧ ¬q
  4. 4r → ¬q
4.ตรรกศาสตร์ประพจน์และการพิสูจน์ยาก

ตารางค่าความจริง 16 แถวมีกี่แถวที่ทำให้ ((¬b → ¬a) ∨ (a → c)) → (b → d) เป็นจริง เรียกจำนวนนี้ว่า N

((¬b → ¬a) ∨ (a → c)) → (b → d)
N =
5.ตรรกะดิจิทัล: เกต แผนที่คาร์โนห์ และฟลิปฟล็อปปานกลาง
ABC00011110011011031204050716

ใช้แผนที่คาร์โนห์หารูปผลบวกของผลคูณ (SOP) ที่น้อยที่สุดของ F(A, B, C) = Σm(0, 1, 2, 6) มีกี่พจน์ผลคูณ N

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

สำหรับ F(A, B, C, D) = Σm(2, 5, 7, 9, 10, 13) + d(3, 11) โดย d แทนเงื่อนไขไม่สนใจ จงหาจำนวน N ของไพรม์อิมพลิแคนต์จำเป็น

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

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

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

ใช้การยกกำลังสองซ้ำเพื่อหา 2148 mod 97

a = 21k = 48n = 97
2148 mod 97 =
9.อัลกอริทึมและความซับซ้อนปานกลาง

อัลกอริทึมใดหาเส้นทางสั้นที่สุดจากต้นทางหนึ่งในกราฟที่น้ำหนักเส้นเชื่อมไม่เป็นลบ

  1. Aอัลกอริทึมของ Kruskal
  2. Bอัลกอริทึมของ Dijkstra
  3. Cการค้นหาในแนวลึก
  4. Dต้องใช้ Bellman–Ford ในทุกกรณี
10.อัลกอริทึมและความซับซ้อนยาก

นิยามใดของคลาส P ถูกต้อง

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

ความสูงในกรณีเลวร้ายที่สุดของ binary search tree ที่มี n โหนดคือเท่าใด ถ้าแทรกคีย์ตามลำดับที่เรียงแล้ว

  1. An (กลายเป็นลิงก์ลิสต์)
  2. B1
  3. Clog₂ n
  4. D√n
12.โครงสร้างข้อมูลยาก

splay tree ทำอะไรหลังการเข้าถึงแต่ละครั้ง

  1. Aย้ายโหนดที่เข้าถึงไปเป็นใบ
  2. Bเปลี่ยนสีโหนดตามเส้นทางการค้นหา
  3. Cหมุนโหนดที่เข้าถึงขึ้นไปที่ราก
  4. Dสร้างต้นไม้ใหม่ทั้งหมดให้สมดุล
13.ทฤษฎีกราฟปานกลาง

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

|V| = 19|E| = 23
k =
14.ทฤษฎีกราฟยาก
51371384108ABCDEF

ใช้ขั้นตอนวิธีของไดก์สตราเพื่อหาความยาว d(F) ของเส้นทางที่สั้นที่สุดจาก A ไป F ในกราฟถ่วงน้ำหนัก

เริ่มต้น: Aสิ้นสุด: F
d(F) =
15.ฐานข้อมูลและ SQLปานกลาง

ตารางเก็บที่อยู่ของลูกค้าในทุกแถวคำสั่งซื้อ การเปลี่ยนที่อยู่ในแถวหนึ่งแต่ไม่เปลี่ยนในแถวอื่นเป็นตัวอย่างของ:

  1. Aphantom read
  2. Bความผิดปกติในการแทรก (insertion anomaly)
  3. Cความผิดปกติในการแก้ไข (update anomaly)
  4. Dความผิดปกติในการลบ (deletion anomaly)
16.ฐานข้อมูลและ SQLยาก

ระดับการแยกส่วน (isolation level) ใดป้องกัน dirty read แต่ยังอนุญาต non-repeatable read?

  1. ARead uncommitted
  2. BRead committed
  3. CRepeatable read
  4. DSerializable
17.เครือข่ายคอมพิวเตอร์ปานกลาง

คำสั่ง "ping" ใช้โพรโทคอลใด?

  1. ATCP
  2. BICMP
  3. CUDP
  4. DHTTP
18.เครือข่ายคอมพิวเตอร์ยาก

TCP fast retransmit ทำอะไร?

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

เครือข่าย 192.168.51.0/24 ถูกแบ่งเป็นซับเน็ต /26 หมายเลข 1, 2, 3, … จากแอดเดรสต่ำสุด (ซับเน็ต 1 เริ่มที่ .0) ออกเท็ตที่สี่ x ของเน็ตเวิร์กแอดเดรสของซับเน็ต 4 คือเท่าใด

192.168.51.0/24/26ซับเน็ต 4 (ซับเน็ต 1 เริ่มที่ .0)
x =
20.การแบ่งซับเน็ต IPv4ยาก
ออคเต็ตสุดท้าย = 237112816413201618140211เครือข่ายโฮสต์

โฮสต์มีที่อยู่ 10.20.109.237/29 ออคเต็ตที่สี่ x ของที่อยู่โฮสต์ที่ใช้ได้สุดท้ายในซับเน็ตคือเท่าใด

10.20.109.237/29
x =

3สารละลาย

1.ระบบเลข

คำตอบ: U = 235

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

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

21 = 0001 0101
ที่กลับบิตแล้ว: 1110 1010
+1 → 1110 1011

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

1110 1011₂ = 256 − 21 = 235

คำตอบ

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

คำตอบ: M = 900 KiB

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

บิตและไบต์

640·480·24 = 7372800 bit = 921600 B

แปลงเป็น KiB

921600/1024 = 900 KiB

คำตอบ

M = 900 KiB
3.ตรรกศาสตร์ประพจน์และการพิสูจน์

คำตอบ: r ∧ ¬q

ความสมมูลเชิงตรรกะ: สูตรสองสูตรสมมูลกัน (≡) เมื่อมีค่าเท่ากันทุกแถวของตารางค่าความจริง ซ้ำซ้อน (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) ≡ ¬(¬a ∨ b) ≡ a ∧ ¬b: แถวเดียวที่นัยเป็นเท็จ
¬(r → q) ≡ r ∧ ¬q

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

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

คำตอบ

r ∧ ¬q

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

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

คำตอบ: N = 12

ตารางค่าความจริง: สูตรที่มีตัวแปรต่างกัน n ตัวมี 2ⁿ แถว หนึ่งแถวต่อทุกชุดของค่าความจริง (1 = จริง, 0 = เท็จ) ทำจากด้านในออกมาและให้ทุกประพจน์ย่อยมีคอลัมน์ของตัวเอง ¬a กลับค่า a ∧ b เป็น 1 เฉพาะเมื่อทั้งสองเป็น 1 a ∨ b เป็น 0 เฉพาะเมื่อทั้งสองเป็น 0 a → b เป็น 0 เฉพาะเมื่อ a = 1 และ b = 0 a ↔ b เป็น 1 เมื่อทั้งสองข้างเท่ากัน

คอลัมน์

¬b; ¬a; ¬b → ¬a; a → c; (¬b → ¬a) ∨ (a → c); b → d; ((¬b → ¬a) ∨ (a → c)) → (b → d)

แยกตาม a

a = 1: 6
a = 0: 6
N = 6 + 6 = 12

คำตอบ

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

คำตอบ: N = 2

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

ABC00011110011011031204050716

จัดกลุ่ม 1

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

BC′
A′B′

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

F = BC′ + A′B′
N = 2

คำตอบ

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

คำตอบ: N = 1

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

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

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

B′C, BC′D, A′CD, AC′D, A′BD, AB′D
ABCD00011110000111100001X312041517060121130150140819X11110

ไพรม์อิมพลิแคนต์จำเป็น

B′C
N = 1

คำตอบ

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

คำตอบ: φ(21) = 12

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

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

21 = 3·7

โทเทียนต์

φ(21) = φ(3)·φ(7) = 2·6 = 12

คำตอบ

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

คำตอบ: 2148 mod 97 = 96

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

เลขชี้กำลังฐานสอง

48 = 1100002 = 32 + 16

การยกกำลังสองซ้ำ

211 ≡ 21 (mod 97)
212 ≡ 53 (mod 97)
214 ≡ 93 (mod 97)
218 ≡ 16 (mod 97)
2116 ≡ 62 (mod 97)
2132 ≡ 61 (mod 97)

คูณเลขยกกำลังที่ต้องใช้

2148 ≡ 62·61 ≡ 96 (mod 97)

คำตอบ

2148 mod 97 = 96
9.อัลกอริทึมและความซับซ้อน

คำตอบ: B · อัลกอริทึมของ Dijkstra

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

อัลกอริทึมของ Dijkstra ใช้ได้กับน้ำหนักที่ไม่เป็นลบ ส่วน Bellman–Ford รองรับน้ำหนักติดลบ และ Kruskal สร้างต้นไม้ทอดข้ามที่น้อยที่สุด

คำตอบ

B · อัลกอริทึมของ Dijkstra
10.อัลกอริทึมและความซับซ้อน

คำตอบ: A · ปัญหาการตัดสินใจที่แก้ได้ด้วยอัลกอริทึมแบบกำหนดแน่นอนในเวลาพหุนาม

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

P ประกอบด้วยปัญหาการตัดสินใจที่มีอัลกอริทึมแบบกำหนดแน่นอนในเวลาพหุนาม เช่น การตรวจว่ากราฟเชื่อมต่อกันหรือไม่

คำตอบ

A · ปัญหาการตัดสินใจที่แก้ได้ด้วยอัลกอริทึมแบบกำหนดแน่นอนในเวลาพหุนาม
11.โครงสร้างข้อมูล

คำตอบ: A · n (กลายเป็นลิงก์ลิสต์)

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

การแทรกตามลำดับสร้างต้นไม้เสื่อมที่มีความสูง n ทำให้การค้นหาเป็น O(n) ต้นไม้สมดุลป้องกันเรื่องนี้

คำตอบ

A · n (กลายเป็นลิงก์ลิสต์)
12.โครงสร้างข้อมูล

คำตอบ: C · หมุนโหนดที่เข้าถึงขึ้นไปที่ราก

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

การ splay ย้ายโหนดที่เข้าถึงไปที่รากด้วยการหมุน การดำเนินการหนึ่งครั้งอาจใช้ O(n) แต่ต้นทุนกระจายเป็น O(log n)

คำตอบ

C · หมุนโหนดที่เข้าถึงขึ้นไปที่ราก
13.ทฤษฎีกราฟ

คำตอบ: k = 5

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

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

19 − 1 = 18

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

k = 23 − 18 = 5

คำตอบ

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

คำตอบ: d(F) = 27

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

ไดก์สตราทีละรอบ

แต่ละบรรทัด: จุดยอดที่ยืนยัน ระยะทางสุดท้ายของมัน และเพื่อนบ้านที่ระยะทางดีขึ้น

A (0): B: 5, C: 13
B (5): C: 12, D: 18, E: 13
C (12)
E (13): D: 17
D (17): F: 27
F (27)

เส้นทางที่สั้นที่สุด

A → B → E → D → F
d(F) = 27

คำตอบ

d(F) = 27
15.ฐานข้อมูลและ SQL

คำตอบ: C · ความผิดปกติในการแก้ไข (update anomaly)

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

การเก็บซ้ำซ้อนหมายความว่าการเปลี่ยนหนึ่งครั้งต้องทำในหลายแถว หากพลาดบางแถวข้อมูลจะไม่สอดคล้อง ซึ่งนอร์มัลไลเซชันป้องกันได้

คำตอบ

C · ความผิดปกติในการแก้ไข (update anomaly)
16.ฐานข้อมูลและ SQL

คำตอบ: B · Read committed

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

Read committed ซ่อนการเปลี่ยนแปลงที่ยังไม่ commit ส่วน repeatable read ป้องกัน non-repeatable read ด้วย และ serializable ป้องกัน phantom ด้วย

คำตอบ

B · Read committed
17.เครือข่ายคอมพิวเตอร์

คำตอบ: B · ICMP

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

Ping ส่ง ICMP echo request และวัดเวลาจนกว่า echo reply จะกลับมา

คำตอบ

B · ICMP
18.เครือข่ายคอมพิวเตอร์

คำตอบ: C · ส่งเซกเมนต์ซ้ำหลังได้ ACK ซ้ำสามครั้ง โดยไม่รอเวลาหมดอายุ

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

ACK ซ้ำสามครั้งบ่งชี้ว่ามีเซกเมนต์หายเพียงเซกเมนต์เดียว TCP จึงส่งซ้ำทันที กู้คืนได้เร็วกว่าการรอตัวจับเวลาการส่งซ้ำมาก

คำตอบ

C · ส่งเซกเมนต์ซ้ำหลังได้ ACK ซ้ำสามครั้ง โดยไม่รอเวลาหมดอายุ
19.การแบ่งซับเน็ต IPv4

คำตอบ: x = 192

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

ซับเน็ตหมายเลข 4

เครือข่าย: (4 − 1)·64 = 192
บรอดคาสต์: 192 + 64 − 1 = 255

คำตอบ

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

คำตอบ: x = 238

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

ขนาดบล็อก

23 = 8

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

เครือข่าย: ⌊237/8⌋·8 = 232
บรอดคาสต์: 232 + 8 − 1 = 239
โฮสต์ที่ใช้ได้: 233 … 238

คำตอบ

x = 238

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