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

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

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

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

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

0100 1001<< 3
R =
3.ตรรกศาสตร์ประพจน์และการพิสูจน์ปานกลาง
pqrq → pr → q(q → p) ∧ (r → q)111?110?101?100?011?010?001?000?

ในตารางค่าความจริง 8 แถวของ (q → p) ∧ (r → q) มีกี่แถวที่เป็นจริง เรียกจำนวนนี้ว่า N

(q → p) ∧ (r → q)
N =
4.ตรรกศาสตร์ประพจน์และการพิสูจน์ยาก
∃x (¬F(x) ∧ ∃y R(x, y))∃x (F(x) ∧ ∀y ¬R(x, y))∃x (F(x) → ∀y ¬R(x, y))∀x (F(x) ∧ ∀y ¬R(x, y))

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

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

ในแผนที่คาร์โนห์นี้มี 1 เพียงตัวเดียวพอดีที่ไม่มี 1 อยู่ติดกัน จึงยังเป็นกลุ่มหนึ่งเซลล์ (มินเทอมเต็มที่มีสี่ลิเทอรัล) ในรูป SOP ที่น้อยที่สุด เพื่อนบ้านข้ามขอบแผนที่นับด้วย ให้คลิกเซลล์นั้น

F = Σm(3, 5, 7, 12)
  1. 1AB = 00, CD = 00
  2. 2AB = 00, CD = 01
  3. 3AB = 00, CD = 11
  4. 4AB = 00, CD = 10
  5. 5AB = 01, CD = 00
  6. 6AB = 01, CD = 01
  7. 7AB = 01, CD = 11
  8. 8AB = 01, CD = 10
  9. 9AB = 11, CD = 00
  10. 10AB = 11, CD = 01
  11. 11AB = 11, CD = 11
  12. 12AB = 11, CD = 10
  13. 13AB = 10, CD = 00
  14. 14AB = 10, CD = 01
  15. 15AB = 10, CD = 11
  16. 16AB = 10, CD = 10
6.ตรรกะดิจิทัล: เกต แผนที่คาร์โนห์ และฟลิปฟล็อปยาก
DQ3​Q3​DQ2​Q2​DQ1​Q1​DQ0​Q0​CLKRING

ตัวนับริง 4 บิต Q₃Q₂Q₁Q₀ เริ่มที่ 1100 ทุกขอบสัญญาณนาฬิกา บิตเลื่อนไปทางขวาหนึ่งตำแหน่ง (Q₃ → Q₂ → Q₁ → Q₀) และ Q₃ รับค่า Q₀ จงหาสถานะ Q = Q₃Q₂Q₁Q₀ เป็นเลขฐานสิบหลัง 6 ขอบสัญญาณนาฬิกา

Q₃Q₂Q₁Q₀ = 11006
Q =
7.ทฤษฎีจำนวนและเลขคณิตมอดูลาร์ปานกลาง

จงหาตัวผกผันของ 56 มอดูโล 79: จำนวน x ที่ 0 < x < 79 และ 56·x ≡ 1 (mod 79)

a = 56n = 79
56−1 mod 79 =
8.ทฤษฎีจำนวนและเลขคณิตมอดูลาร์ยาก
mc = me​ mod ncm = cd​ mod nm(n, e) = (115, 17)d = ?

กุญแจ RSA ใช้จำนวนเฉพาะ p = 5 และ q = 23 และเลขชี้กำลังสาธารณะ e = 17 จงหาเลขชี้กำลังส่วนตัว d (0 < d < φ(n))

p = 5q = 23e = 17
d =
9.อัลกอริทึมและความซับซ้อนปานกลาง

ฟังก์ชันแฟกทอเรียลแบบเรียกซ้ำง่าย ๆ fact(n) = n × fact(n − 1) ใช้พื้นที่สแต็กเท่าใด

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

เหตุใดการค้นหาแบบทวิภาคจึงไม่ให้เวลา O(log n) บนรายการเชื่อมโยงเดี่ยว

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

รายการประชิดใช้หน่วยความจำเท่าใดสำหรับกราฟที่มี V จุดยอดและ E เส้นเชื่อม

  1. AO(V + E)
  2. BO(E²)
  3. CO(V²)
  4. DO(V × E)
12.โครงสร้างข้อมูลยาก

radix tree (compressed trie) ปรับปรุง trie ธรรมดาอย่างไร

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

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

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

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

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

SELECT SUM(amount) FROM orders คืนอะไรเมื่อ WHERE ไม่ตรงกับแถวใดเลย?

  1. Aสตริงว่าง
  2. BNULL
  3. Cข้อผิดพลาด
  4. D0
16.ฐานข้อมูลและ SQLยาก

ฟังก์ชันหน้าต่างใดกำหนดเลข 1, 2, 3, ... ให้แถวภายในแต่ละพาร์ทิชันโดยไม่มีอันดับเสมอ?

  1. AROW_NUMBER()
  2. BCOUNT()
  3. CDENSE_RANK()
  4. DRANK()
17.เครือข่ายคอมพิวเตอร์ปานกลาง

เบราว์เซอร์ได้รับรหัสสถานะ HTTP 404 หมายความว่าอย่างไร?

  1. Aไม่พบทรัพยากรที่ขอ
  2. Bคำขอสำเร็จ
  3. Cเซิร์ฟเวอร์เกิดข้อผิดพลาดภายใน
  4. Dไคลเอนต์ต้องล็อกอินก่อน
18.เครือข่ายคอมพิวเตอร์ยาก

ตามทฤษฎีบทของแชนนอน ความจุของช่องสัญญาณ 1 MHz ที่มีอัตราส่วนสัญญาณต่อสัญญาณรบกวนเท่ากับ 255 คือเท่าใด?

  1. A8 Mbit/s
  2. B2 Mbit/s
  3. C255 Mbit/s
  4. D1 Mbit/s
19.การแบ่งซับเน็ต IPv4ปานกลาง
/?11111111111111111111100000000000บิตเครือข่ายบิตโฮสต์

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

1445 hosts
p =
20.การแบ่งซับเน็ต IPv4ยาก
ออกเท็ตที่สาม 36 … 39012806413201608140201ร่วมกันเปลี่ยนแปลง

เราเตอร์มีเส้นทางไปยังเครือข่ายเหล่านี้: 10.109.36.0/24, 10.109.37.0/24, 10.109.38.0/24, 10.109.39.0/24 ความยาวพรีฟิกซ์ยาวที่สุด p ของเส้นทางสรุปเส้นเดียวที่ครอบคลุมทั้งหมดคือเท่าใด

10.109.36.0/24 … 10.109.39.0/24
p =

3สารละลาย

1.ระบบเลข

คำตอบ: N = −64

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

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

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

−128 + 64 = −64

คำตอบ

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

คำตอบ: R = 72

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

ทีละบิต

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

0100 1001 << 3
= 0100 1000

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

0100 1000₂ = 72

คำตอบ

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

คำตอบ: N = 4

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

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

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

นับแถวที่มีค่าเป็น 1

(q → p) ∧ (r → q): 1, 1, 0, 1, 0, 0, 0, 1
N = 4

คำตอบ

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

คำตอบ: ∃x (F(x) ∧ ∀y ¬R(x, y))

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

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

¬∀x (F(x) → ∃y R(x, y)) ≡ ∃x (F(x) ∧ ∀y ¬R(x, y))

คำตอบ

∃x (F(x) ∧ ∀y ¬R(x, y))

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

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

คำตอบ: AB = 11, CD = 00

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

เพื่อนบ้านของแต่ละ 1

1 ที่มี 1 อยู่ติดกันเข้ากลุ่มสองเซลล์หรือมากกว่าได้

m12: m13, m14, m8, m4 → 0
ABCD00011110000111101111

1 ที่อยู่โดดเดี่ยว

m12 = ABC′D′ → AB = 11, CD = 00

คำตอบ

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

คำตอบ: Q = 3

ฟลิปฟล็อปและตัวนับ: ฟลิปฟล็อปเปลี่ยนค่าเฉพาะที่ขอบแอ็กทีฟของสัญญาณนาฬิกา D คัดลอกอินพุต (Q⁺ = D); T สลับค่าเมื่อ T = 1; JK คงค่าสำหรับ 00 รีเซ็ตสำหรับ 01 เซตสำหรับ 10 และสลับค่าสำหรับ 11 ตัวนับฐานสอง n บิตมี 2ⁿ สถานะและนับมอดูโล 2ⁿ ตัวนับมอด N นับ 0, 1, …, N − 1 แล้ววนกลับเป็น 0 และต้องใช้ฟลิปฟล็อปจำนวน n ที่น้อยที่สุดที่ 2ⁿ ≥ N แต่ละภาคของตัวนับริปเปิลลดความถี่ลงครึ่งหนึ่ง ดังนั้นเอาต์พุตสุดท้ายของตัวนับมอด N ทำงานที่ fclk/N ตัวนับจอห์นสันที่มีฟลิปฟล็อป n ตัวมี 2n สถานะ ตัวนับริงมี n

สถานะหลังทุกขอบ

1100 → 0110 → 0011 → 1001 → 1100 → 0110 → 0011

ค่าฐานสิบ

0011₂ = 3

คำตอบ

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

คำตอบ: 56−1 mod 79 = 24

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

ขั้นตอนวิธีของยูคลิดแบบขยาย

เศษ r แต่ละตัวเขียนเป็น r ≡ t·56 (mod 79)

r = 79, t = 0
r = 56, q = 1, t = 1
r = 23, q = 2, t = −1
r = 10, q = 2, t = 3
r = 3, q = 3, t = −7
r = 1, q = 3, t = 24

อินเวอร์ส

1 ≡ 24·56 (mod 79)
x = 24
ตรวจสอบ: 56·24 = 1344 = 17·79 + 1

คำตอบ

56−1 mod 79 = 24
8.ทฤษฎีจำนวนและเลขคณิตมอดูลาร์

คำตอบ: d = 57

เลขยกกำลังมอดูลาร์และ 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 = 5·23 = 115
φ(n) = 4·22 = 88

ขั้นตอนวิธีของยูคลิดแบบขยาย

r = 88, t = 0
r = 17, q = 5, t = 1
r = 3, q = 5, t = −5
r = 2, q = 1, t = 26
r = 1, q = 2, t = −31

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

d = 57
ตรวจสอบ: 17·57 = 969 = 11·88 + 1

คำตอบ

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

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

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

การเรียกซ้ำลึก n ชั้นก่อนจะมีการคืนค่าใด ๆ และแต่ละการเรียกต้องมีเฟรมสแต็ก จึงใช้พื้นที่ O(n)

คำตอบ

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

คำตอบ: C · การไปถึงสมาชิกตรงกลางใช้ O(n) ขั้นตอน เพราะเข้าถึงด้วยดัชนีโดยตรงไม่ได้

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

การค้นหาแบบทวิภาคต้องเข้าถึงสมาชิกตรงกลางใน O(1) บนรายการเชื่อมโยงการเดินไปถึงต้องใช้เวลาเชิงเส้น ผลรวมจึงเป็น O(n)

คำตอบ

C · การไปถึงสมาชิกตรงกลางใช้ O(n) ขั้นตอน เพราะเข้าถึงด้วยดัชนีโดยตรงไม่ได้
11.โครงสร้างข้อมูล

คำตอบ: A · O(V + E)

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

แต่ละจุดยอดมีรายการ และแต่ละเส้นเชื่อมปรากฏหนึ่งครั้ง (มีทิศทาง) หรือสองครั้ง (ไม่มีทิศทาง) ได้ O(V + E)

คำตอบ

A · O(V + E)
12.โครงสร้างข้อมูล

คำตอบ: B · รวมโซ่ของโหนดที่มีลูกตัวเดียวเป็นเส้นเชื่อมเดียวที่ติดป้ายด้วยสตริง

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

การยุบเส้นทางที่ไม่แตกกิ่งลดจำนวนโหนดและหน่วยความจำที่ใช้ โดยยังรักษาการค้นหาด้วยคำนำหน้า

คำตอบ

B · รวมโซ่ของโหนดที่มีลูกตัวเดียวเป็นเส้นเชื่อมเดียวที่ติดป้ายด้วยสตริง
13.ทฤษฎีกราฟ

คำตอบ: ไม่ใช่ทั้งสองอย่าง

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

ดีกรี

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

จุดยอดคี่

A, B, C, E → 4
ไม่ใช่ทั้งสองอย่าง

คำตอบ

ไม่ใช่ทั้งสองอย่าง
14.ทฤษฎีกราฟ

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

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

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

1. BD (5)
2. BC (6)
3. DE (7)
4. AB (9)
5. EF (16)

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

EF

คำตอบ

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

คำตอบ: B · NULL

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

SUM, AVG, MIN และ MAX คืน NULL เมื่อเซตว่าง ส่วน COUNT คืน 0 COALESCE(SUM(amount), 0) ให้ 0 แทน

คำตอบ

B · NULL
16.ฐานข้อมูลและ SQL

คำตอบ: A · ROW_NUMBER()

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

ROW_NUMBER ให้เลขลำดับที่ไม่ซ้ำ ส่วน RANK เว้นช่วงหลังอันดับเสมอ และ DENSE_RANK ไม่เว้น

คำตอบ

A · ROW_NUMBER()
17.เครือข่ายคอมพิวเตอร์

คำตอบ: A · ไม่พบทรัพยากรที่ขอ

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

404 Not Found หมายความว่าเซิร์ฟเวอร์ไม่มีทรัพยากรที่ URL นั้น 200 คือ OK, 401 คือ Unauthorized และ 500 คือ Internal Server Error

คำตอบ

A · ไม่พบทรัพยากรที่ขอ
18.เครือข่ายคอมพิวเตอร์

คำตอบ: A · 8 Mbit/s

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

C = 10⁶ × log₂(256) = 10⁶ × 8 = 8 Mbit/s นี่คือขีดจำกัดบนของอัตราข้อมูลที่ไม่มีข้อผิดพลาดบนช่องสัญญาณที่มีสัญญาณรบกวน

คำตอบ

A · 8 Mbit/s
19.การแบ่งซับเน็ต IPv4

คำตอบ: p = 21

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

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

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

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

p = 32 − 11 = 21

คำตอบ

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

คำตอบ: p = 22

การสรุปเส้นทาง: เส้นทางสรุป a.b.c.0/p ครอบคลุมทุกเครือข่ายที่ p บิตแรกตรงกัน เขียนออกเท็ตที่ต่างกันของเครือข่ายแรกและสุดท้ายเป็นเลขฐานสอง จำนวนบิตนำหน้าที่ตรงกัน บวกบิตของออกเท็ตก่อนหน้า คือพรีฟิกซ์สรุปที่ยาวที่สุด

เทียบบิต

36 = 00100100
39 = 00100111
บิตนำหน้าที่ตรงกัน: 6

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

p = 16 + 6 = 22

คำตอบ

p = /22

เส้นทางสรุป: 10.109.36.0/22

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