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

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

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

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

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

0010 0111>> 1
R =
3.ตรรกศาสตร์ประพจน์และการพิสูจน์ปานกลาง
q → p¬p ∧ qp ∨ ¬q¬p ∨ q

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

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

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

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

จงทำ F = B′C + AC′ + ABC′ ให้เป็นรูปผลบวกของผลคูณที่น้อยที่สุด นิพจน์ที่ทำให้ง่ายแล้วมีกี่ลิเทอรัล L

F = B′C + AC′ + ABC′
L =
6.ตรรกะดิจิทัล: เกต แผนที่คาร์โนห์ และฟลิปฟล็อปยาก
ABCD0001111000011110100103020405X716112X131151140809111010

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

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

จงแก้ 25x ≡ 64 (mod 73) ให้คำตอบ x ที่ 0 < x < 73

25x ≡ 64 (mod 73)
x =
8.ทฤษฎีจำนวนและเลขคณิตมอดูลาร์ยาก

จงแก้ 14x ≡ 8 (mod 64) ให้คำตอบที่เป็นบวกและน้อยที่สุด x

14x ≡ 8 (mod 64)
x =
9.อัลกอริทึมและความซับซ้อนปานกลาง

เหตุใดรูทีนการเรียงลำดับในไลบรารีจำนวนมากจึงเปลี่ยนไปใช้ insertion sort กับอาร์เรย์ย่อยที่เล็กมาก

  1. AInsertion sort เป็น O(n log n) ในกรณีเลวร้ายที่สุด
  2. Bอัลกอริทึมแบบเรียกซ้ำจัดการอาร์เรย์ที่เล็กกว่า 10 สมาชิกไม่ได้
  3. CInsertion sort มีภาระเพิ่มน้อยและเร็วกับอินพุตที่เล็กหรือเกือบเรียงแล้ว
  4. DInsertion sort ใช้หน่วยความจำน้อยกว่าอัลกอริทึมการเรียงลำดับอื่นทุกตัวกับอินพุตใหญ่
10.อัลกอริทึมและความซับซ้อนยาก

ปัญหาที่ตัดสินไม่ได้ (undecidable) ต่างจากปัญหาที่จัดการไม่ได้ (intractable) อย่างไร

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

โปรแกรมที่ทำงานอยู่ใช้โครงสร้างข้อมูลใดติดตามการเรียกฟังก์ชันที่กำลังทำงานและตัวแปรท้องถิ่น

  1. Aตารางแฮชของฟังก์ชัน
  2. Bสแตกการเรียก (call stack)
  3. Cคิวหน่วยความจำฮีป
  4. Dbinary search tree ของเฟรม
12.โครงสร้างข้อมูลยาก

การแทรกคีย์ในต้นไม้ AVL ทำให้ต้นไม้ย่อยซ้ายของโหนดสูงเกินไป และคีย์ใหม่อยู่ในต้นไม้ย่อยซ้ายของลูกซ้าย (กรณีซ้าย–ซ้าย) ใช้วิธีแก้ใด

  1. Aเปลี่ยนสีโหนดและลูกของมัน
  2. Bหมุนซ้ายที่ลูก แล้วหมุนขวาที่โหนด
  3. Cหมุนซ้ายหนึ่งครั้งที่โหนดที่ไม่สมดุล
  4. Dหมุนขวาหนึ่งครั้งที่โหนดที่ไม่สมดุล
13.ทฤษฎีกราฟปานกลาง
ABCDEวงจรออยเลอร์ทางเดินออยเลอร์ ไม่มีวงจรไม่ใช่ทั้งสองอย่าง

กราฟเชื่อมโยงนี้มีวงจรออยเลอร์ ทางเดินออยเลอร์ที่ไม่ใช่วงจร หรือไม่มีทั้งสองอย่าง ให้คลิกคำตอบของคุณ

|V| = 5|E| = 7
  1. 1วงจรออยเลอร์
  2. 2ทางเดินออยเลอร์ ไม่มีวงจร
  3. 3ไม่ใช่ทั้งสองอย่าง
14.ทฤษฎีกราฟยาก
310161220513915ABCDEFG

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

เริ่มต้น: Ck = 6
  1. 1เส้นเชื่อม AB
  2. 2เส้นเชื่อม BC
  3. 3เส้นเชื่อม BD
  4. 4เส้นเชื่อม CE
  5. 5เส้นเชื่อม DF
  6. 6เส้นเชื่อม EF
  7. 7เส้นเชื่อม GB
  8. 8เส้นเชื่อม GC
  9. 9เส้นเชื่อม GD
15.ฐานข้อมูลและ SQLปานกลาง

รูปแบบบรรทัดฐานที่สาม (3NF) ขจัด:

  1. Aคีย์ประกอบ
  2. Bการพึ่งพาแบบถ่ายทอดระหว่างแอตทริบิวต์ที่ไม่ใช่คีย์
  3. Cค่าอะตอมมิก
  4. Dดัชนีที่ซ้ำซ้อนบนคอลัมน์ที่ไม่ได้เป็นส่วนของคีย์
16.ฐานข้อมูลและ SQLยาก

ข้อเสียที่รู้จักของการแยกตารางเป็น BCNF เมื่อเทียบกับ 3NF คืออะไร?

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

ที่อยู่ลูปแบ็กของ IPv6 คืออะไร?

  1. Afe80::1
  2. B::
  3. C::1
  4. Dff02::1
18.เครือข่ายคอมพิวเตอร์ยาก

ประโยชน์หลักของการเชื่อมต่อถาวร (keep-alive) ใน HTTP/1.1 คืออะไร?

  1. Aหลายคำขอใช้การเชื่อมต่อ TCP เดียวซ้ำ หลีกเลี่ยงการแฮนด์เชกซ้ำ ๆ
  2. Bการเชื่อมต่อยังคงเข้ารหัสได้โดยไม่ต้องมี TLS
  3. Cการตอบกลับมาถึงในลำดับใดก็ได้บนสตรีมเดียว การตอบกลับที่ช้าจึงไม่บล็อกรายอื่น
  4. Dเซิร์ฟเวอร์ผลักการอัปเดตผ่าน UDP ได้
19.การแบ่งซับเน็ต IPv4ปานกลาง
/?11111111111111111111100000000000บิตเครือข่ายบิตโฮสต์

แผนกหนึ่งต้องการที่อยู่โฮสต์ 1770 ที่อยู่ในซับเน็ตเดียว ความยาวพรีฟิกซ์ที่ยาวที่สุด p (ซับเน็ตเล็กที่สุด) ที่ใหญ่พอคือเท่าใด

1770 hosts
p =
20.การแบ่งซับเน็ต IPv4ยาก
ออกเท็ตที่สาม = 217112816403211618040211เครือข่ายโฮสต์

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

172.20.217.249/23
x =

3สารละลาย

1.ระบบเลข

คำตอบ: N = −99

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

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

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

−128 + 16 + 8 + 4 + 1 = −99

คำตอบ

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

คำตอบ: R = 19

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

ทีละบิต

การเลื่อนขวา 1 ตำแหน่งย้ายทุกบิตไปทางขวา 1 ตำแหน่ง บิตที่หลุดออกปลายขวาหายไปและศูนย์เข้ามาทางซ้าย

0010 0111 >> 1
= 0001 0011

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

0001 0011₂ = 19

คำตอบ

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

คำตอบ: ¬p ∨ 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 เป็น 0 เฉพาะเมื่อ a = 1 และ b = 0 ดังนั้นจึงเท่ากับ ¬a ∨ b
p → q ≡ ¬p ∨ q

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

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

คำตอบ

¬p ∨ q

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

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

คำตอบ: ∃x ¬F(x)

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

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

¬∀x F(x) ≡ ∃x ¬F(x)

คำตอบ

∃x ¬F(x)

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

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

คำตอบ: L = 4

พีชคณิตแบบบูล: กฎที่ทำให้นิพจน์ง่ายขึ้นได้แก่ X + X′ = 1 และ X·X′ = 0, X + X = X, การดูดกลืน X + X·Y = X, กฎการรวม X·Y + X·Y′ = X, X + X′Y = X + Y และทฤษฎีบทฉันทามติ XY + X′Z + YZ = XY + X′Z กฎของเดอมอร์แกนเปลี่ยน (X·Y)′ เป็น X′ + Y′ และ (X + Y)′ เป็น X′·Y′ แผนที่คาร์โนห์ใช้กฎเหล่านี้ในรูปภาพ: ทุกกลุ่มของสองเซลล์ที่อยู่ติดกันคือการใช้ XY + XY′ = X หนึ่งครั้ง

มินเทอมของนิพจน์

B′C → m(1, 5)
AC′ → m(4, 6)
ABC′ → m(6)
ABC00011110010011030214150716

จัดกลุ่มและอ่านค่า

F = B′C + AC′

นับลิเทอรัล

L = 4

คำตอบ

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

คำตอบ: N = 4

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

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

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

BC, ACD, AB, A′B′C′D′
ABCD0001111000011110100103020405X716112X131151140809111010

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

BC, ACD, AB, A′B′C′D′
N = 4

คำตอบ

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

คำตอบ: x = 23

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

ตัวผกผันของ 25

r = 73, t = 0
r = 25, q = 2, t = 1
r = 23, q = 1, t = −2
r = 2, q = 11, t = 3
r = 1, q = 2, t = −35
25−1 ≡ 38 (mod 73)

แก้สมการ

x ≡ 38·64 = 2432 ≡ 23 (mod 73)
ตรวจสอบ: 25·23 = 575 ≡ 64 (mod 73)

คำตอบ

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

คำตอบ: x = 28

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

หารด้วย gcd

gcd(14, 64) = 2
7x ≡ 4 (mod 32)

แก้ความสอดคล้องที่ลดรูปแล้ว

7−1 ≡ 23 (mod 32) → x ≡ 28 (mod 32)

คำตอบมอดูโล 64

x ∈ {28, 60}
x = 28

คำตอบ

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

คำตอบ: C · Insertion sort มีภาระเพิ่มน้อยและเร็วกับอินพุตที่เล็กหรือเกือบเรียงแล้ว

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

เมื่อ n น้อย ลูปง่าย ๆ ของ insertion sort ชนะภาระการเรียกซ้ำของ quicksort หรือ merge sort แม้จะเป็น O(n²)

คำตอบ

C · Insertion sort มีภาระเพิ่มน้อยและเร็วกับอินพุตที่เล็กหรือเกือบเรียงแล้ว
10.อัลกอริทึมและความซับซ้อน

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

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

ปัญหาการหยุดไม่มีอัลกอริทึมเลย ส่วนปัญหา NP-hard เช่น TSP แก้ได้ด้วยกำลังเดรัจฉาน เพียงแต่ไม่ได้ในเวลาพหุนามที่ทราบ

คำตอบ

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

คำตอบ: B · สแตกการเรียก (call stack)

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

แต่ละการเรียก push เฟรมสแตกและแต่ละการคืนค่า pop ออก จึงเป็นเหตุที่การเรียกล่าสุดเสร็จก่อน

คำตอบ

B · สแตกการเรียก (call stack)
12.โครงสร้างข้อมูล

คำตอบ: D · หมุนขวาหนึ่งครั้งที่โหนดที่ไม่สมดุล

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

ในกรณีซ้าย–ซ้าย การหมุนขวาหนึ่งครั้งยกลูกซ้ายขึ้นและคืนสมดุล กรณีซิกแซกต้องหมุนสองครั้ง

คำตอบ

D · หมุนขวาหนึ่งครั้งที่โหนดที่ไม่สมดุล
13.ทฤษฎีกราฟ

คำตอบ: ทางเดินออยเลอร์ ไม่มีวงจร

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

ดีกรี

deg(A) = 2, deg(B) = 4, deg(C) = 3, deg(D) = 2, deg(E) = 3

จุดยอดคี่

C, E → 2
ทางเดินออยเลอร์ ไม่มีวงจร

คำตอบ

ทางเดินออยเลอร์ ไม่มีวงจร

ทางเดินออยเลอร์เริ่มที่จุดยอดคี่จุดหนึ่งและจบที่อีกจุดหนึ่ง

14.ทฤษฎีกราฟ

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

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

ขั้นตอนวิธีของพริม

1. GC (9)
2. BC (10)
3. AB (3)
4. CE (12)
5. EF (5)
6. GD (15)

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

GD

คำตอบ

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

คำตอบ: B · การพึ่งพาแบบถ่ายทอดระหว่างแอตทริบิวต์ที่ไม่ใช่คีย์

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

ใน 3NF ไม่มีแอตทริบิวต์ที่ไม่ใช่คีย์ใดขึ้นกับแอตทริบิวต์ที่ไม่ใช่คีย์อื่น เช่น การเก็บ city และ postcode โดย city ขึ้นกับ postcode

คำตอบ

B · การพึ่งพาแบบถ่ายทอดระหว่างแอตทริบิวต์ที่ไม่ใช่คีย์
16.ฐานข้อมูลและ SQL

คำตอบ: D · การพึ่งพาเชิงฟังก์ชันบางอย่างอาจตรวจสอบภายในตารางเดียวไม่ได้อีกต่อไป

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

การแยก BCNF แบบไม่สูญเสียมีอยู่เสมอ แต่อาจไม่รักษาการพึ่งพา ส่วน 3NF ทำได้ทั้งแบบไม่สูญเสียและรักษาการพึ่งพาเสมอ

คำตอบ

D · การพึ่งพาเชิงฟังก์ชันบางอย่างอาจตรวจสอบภายในตารางเดียวไม่ได้อีกต่อไป
17.เครือข่ายคอมพิวเตอร์

คำตอบ: C · ::1

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

::1 คือที่อยู่ลูปแบ็ก ส่วน :: คือที่อยู่ที่ไม่ระบุ (unspecified) fe80::/10 คือลิงก์โลคัล และ ff02::1 คือกลุ่มมัลติแคสต์ทุกโหนด

คำตอบ

C · ::1
18.เครือข่ายคอมพิวเตอร์

คำตอบ: A · หลายคำขอใช้การเชื่อมต่อ TCP เดียวซ้ำ หลีกเลี่ยงการแฮนด์เชกซ้ำ ๆ

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

การใช้การเชื่อมต่อซ้ำหลีกเลี่ยงแฮนด์เชกใหม่และ slow start สำหรับแต่ละออบเจ็กต์ หน้าที่มีทรัพยากรมากจึงโหลดเร็วขึ้น

คำตอบ

A · หลายคำขอใช้การเชื่อมต่อ TCP เดียวซ้ำ หลีกเลี่ยงการแฮนด์เชกซ้ำ ๆ
19.การแบ่งซับเน็ต IPv4

คำตอบ: p = 21

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

บิตโฮสต์ที่ต้องใช้

210 − 2 = 1022 < 1770
211 − 2 = 2046 ≥ 1770 → h = 11

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

p = 32 − 11 = 21

คำตอบ

p = /21
20.การแบ่งซับเน็ต IPv4

คำตอบ: x = 216

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

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

21 = 2

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

เครือข่าย: 172.20.216.0
บรอดคาสต์: 172.20.217.255

คำตอบ

x = 216

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