الرياضيات المتقطعة: حزمة المراجعة المكثفة

أوراق القوانين، وأهم خطوات الحل لكل موضوع، و8 مسألة تدريبية، مع الحلول الكاملة في الخلف.

مسائل جديدةالعودة إلى المقرّر

في نافذة الطباعة اختر «حفظ بصيغة PDF» لحفظ نسخة على جهازك.

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)
قاعدة الوضع (modus ponens) وقاعدة الرفع (modus tollens)
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 ∩ B|
ثلاث مجموعات
|A ∪ B ∪ C| = |A| + |B| + |C| − |A ∩ B| − |A ∩ C| − |B ∩ C| + |A ∩ B ∩ C|
الفرق والمتممة
A − B = A ∩ B′, |A′| = |U| − |A|
مجموعة القوى والجداء الديكارتي
|𝒫(A)| = 2|A|, |A × B| = |A|·|B|
المجموعات الجزئية ذات الحجم k
C(n, k) = n!/(k!(n − k)!)
الدوال A → B
nᵐ; injective n!/(n − m)!; surjective Σ (−1)ᵏ C(n, k)(n − k)ᵐ
العلاقات على n عنصرًا
2n²; reflexive 2n² − n; symmetric 2n(n+1)/2
التركيب
(g ∘ f)(x) = g(f(x))

الطريقة

  1. ارسم مخطط فن وقرّر منطقةً منطقةً ما ينتمي إلى تعبير المجموعات.
  2. في مسائل العدّ املأ المناطق من المركز نحو الخارج: كل المجموعات أولًا، ثم الأزواج، ثم المجموعات المفردة، ثم الخارج.
  3. استخدم مبدأ الاشتمال والاستبعاد للتحقق: |A ∪ B| = |A| + |B| − |A ∩ B|.
  4. لعلاقة ما، اختبر كل خاصية على كل زوج وأعطِ مثالًا مضادًا واحدًا عندما تفشل.
  5. لدالة ما، عُدّ الأسهم الواصلة إلى كل عنصر من B: سهم واحد على الأكثر يعني متباينة، وسهم واحد على الأقل يعني شاملة.

نظرية البيانات

مبرهنة المصافحة
Σ 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
أويلر
الدارة: كل الدرجات زوجية؛ المسار: درجتان فرديتان بالضبط
دارات هاملتون في Kn
(n − 1)!/2
تحديث ديكسترا
d(v) = min(d(v), d(u) + w(u, v))
المسارات (walks) بطول L
(Mᴸ)ij

الطريقة

  1. اكتب درجة كل رأس؛ مجموع الدرجات يساوي ضعف عدد الحواف.
  2. في أسئلة أويلر، تحقّق من أن البيان متصل وعُدّ الرؤوس ذات الدرجة الفردية.
  3. للأشجار استخدم n − 1 حافة ومبرهنة المصافحة.
  4. في ديكسترا احتفظ بجدول للمسافات المؤقتة وثبّت في كل جولة أصغر رأس غير مثبّت.
  5. لإيجاد شجرة ممتدة دنيا، رتّب الحواف بحسب الوزن وتخطَّ كل حافة تُغلق دورة (كروسكال)، أو أنمِ شجرة واحدة انطلاقًا من رأس البداية (برايم).

نظرية الأعداد والحساب المودولي

القسمة مع الباقي
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).

2مسائل تدريبية

1.المنطق القضوي والبراهينمتوسطة
p ↔ ¬r¬p ↔ ¬rp ∧ ¬r¬p ∨ ¬r

أي صيغة تكافئ ¬(p ↔ r) منطقيًا؟ انقر عليها.

¬(p ↔ r)
  1. 1p ↔ ¬r
  2. 2¬p ↔ ¬r
  3. 3p ∧ ¬r
  4. 4¬p ∨ ¬r
2.المنطق القضوي والبراهينصعبة
pqp → q¬p¬q11100100

الحجة ذات المقدمات p → q; ¬p والاستنتاج ¬q غير صحيحة. انقر على صف جدول الصدق الذي يمثل مثالًا مضادًا.

p → q¬p∴ ¬q
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
3.المجموعات والعلاقات والدوالمتوسطة
1234انعكاسيةمتماثلضد تناظريةمتعدية

العلاقة R على {1, 2, 3, 4} مرسومة كبيان موجَّه (الحلقة تعني (x, x) ∈ R). خاصية واحدة بالضبط من الخصائص الأربع صحيحة. انقر عليها.

R = {(1, 3), (2, 2), (2, 4), (3, 1), (4, 2), (4, 4)}
  1. 1انعكاسية
  2. 2متماثل
  3. 3ضد تناظرية
  4. 4متعدية
4.المجموعات والعلاقات والدوالصعبة

علاقة تكافؤ R على {1, …, 9} صفوفها {4, 7, 8}, {2, 5, 6}, {1, 3}, {9}. كم زوجًا مرتبًا تحتوي R؟ سمِّ العدد |R|.

{4, 7, 8}{2, 5, 6}{1, 3}{9}
|R| =
5.نظرية البياناتمتوسطة

بيان متصل له 13 رؤوس و16 حافة. كم حافة k يجب حذفها لتبقى شجرة ممتدة؟

|V| = 13|E| = 16
k =
6.نظرية البياناتصعبة
73158117111910ABCDEFG

تبني خوارزمية كروسكال شجرة ممتدة دنيا. انقر على الحافة التي تضيفها بوصفها الحافة رقم 6؛ الحواف المتخطاة لا تُحسب.

k = 6
  1. 1الحافة AB
  2. 2الحافة AC
  3. 3الحافة BC
  4. 4الحافة CE
  5. 5الحافة DE
  6. 6الحافة DF
  7. 7الحافة EF
  8. 8الحافة GB
  9. 9الحافة GC
7.نظرية الأعداد والحساب المودوليمتوسطة

جد معكوس 24 بالنسبة إلى 79: العدد x مع 0 < x < 79 و 24·x ≡ 1 (mod 79).

a = 24n = 79
24−1 mod 79 =
8.نظرية الأعداد والحساب المودوليصعبة

حلّ 6x ≡ 3 (mod 39). أعطِ أصغر حل موجب x.

6x ≡ 3 (mod 39)
x =

3المحاليل

1.المنطق القضوي والبراهين

الإجابة: p ↔ ¬r

التكافؤ المنطقي: تتكافأ صيغتان (≡) عندما يكون لهما القيمة نفسها في كل صف من جدول الصدق. الحشو يساوي 1 في كل صف، والتناقض يساوي 0 في كل صف، والممكن ليس هذا ولا ذاك. قوانين مفيدة: دي مورغان، ¬(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) تساوي 1 بالضبط عندما يختلف a و b، وهذا هو a ↔ ¬b.
¬(p ↔ r) ≡ p ↔ ¬r

تحقق بجدول الصدق

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

الإجابة

p ↔ ¬r

الأعمدة بعد الشريط هي الخيارات بالترتيب المعروض.

2.المنطق القضوي والبراهين

الإجابة: p = 0, q = 1

الكمّمات والحجج: ¬∀x P(x) ≡ ∃x ¬P(x) و ¬∃x P(x) ≡ ∀x ¬P(x). انقل النفي إلى الداخل، وبدّل كل كمّم يمرّ به، وانفِ الصيغة الداخلية بقوانين المنطق القضوي، مثل ¬(a → b) ≡ a ∧ ¬b. تكون الحجة صحيحة عندما يكون الاستنتاج 1 في كل صف تكون فيه كل المقدمات 1. صف واحد بمقدمات صائبة واستنتاج خاطئ هو مثال مضاد ويبيّن أن الحجة غير صحيحة.

المقدمات والاستنتاج صفًا صفًا

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

مثال مضاد

p = 0, q = 1

الإجابة

p = 0, q = 1

حجة بهذه الصيغة تبدو قاعدة صحيحة، لكن صفًا واحدًا يكفي لإثبات أنها ليست كذلك.

3.المجموعات والعلاقات والدوال

الإجابة: متماثل

العلاقات: العلاقة R على مجموعة X هي مجموعة أزواج مرتبة (x, y). تكون R انعكاسية عندما (x, x) ∈ R لكل x في X؛ وتناظرية عندما يرافق (x, y) ∈ R دائمًا (y, x) ∈ R؛ وضد تناظرية عندما يكون (x, y) و(y, x) كلاهما في R فقط إذا x = y؛ ومتعدية عندما يفرض (x, y) و(y, z) في R أن (x, z) ∈ R. علاقة التكافؤ انعكاسية وتناظرية ومتعدية، وتقسّم X إلى صفوف منفصلة.

انعكاسية

تفشل: (1, 1) ∉ R

متماثل

تتحقق

ضد تناظرية

تفشل: (1, 3), (3, 1) ∈ R

متعدية

تفشل: (1, 3), (3, 1) ∈ R, (1, 1) ∉ R

الإجابة

متماثل
4.المجموعات والعلاقات والدوال

الإجابة: |R| = 23

العلاقات: العلاقة R على مجموعة X هي مجموعة أزواج مرتبة (x, y). تكون R انعكاسية عندما (x, x) ∈ R لكل x في X؛ وتناظرية عندما يرافق (x, y) ∈ R دائمًا (y, x) ∈ R؛ وضد تناظرية عندما يكون (x, y) و(y, x) كلاهما في R فقط إذا x = y؛ ومتعدية عندما يفرض (x, y) و(y, z) في R أن (x, z) ∈ R. علاقة التكافؤ انعكاسية وتناظرية ومتعدية، وتقسّم X إلى صفوف منفصلة.

الأزواج لكل صف

|R| = 3² + 3² + 2² + 1² = 23

الإجابة

|R| = 23
5.نظرية البيانات

الإجابة: k = 4

أويلر وهاملتون والأشجار: لبيان متصل دارة أويلر (كل حافة مرة واحدة، والعودة إلى البداية) عندما تكون لكل رأس درجة زوجية، ومسار أويلر ليس دارة عندما تكون لرأسين بالضبط درجة فردية؛ ويسير المسار عندئذ من أحد الرأسين الفرديين إلى الآخر. تزور دارة هاملتون كل رأس مرة واحدة؛ وفي Kn منها (n − 1)!/2. للشجرة على n رأسًا n − 1 حافة، ويحتفظ بيان متصل ذو m حافة بشجرة ممتدة بعد حذف m − n + 1 حافة.

حواف الشجرة الممتدة

13 − 1 = 12

الحواف المراد حذفها

k = 16 − 12 = 4

الإجابة

k = 4
6.نظرية البيانات

الإجابة: الحافة EF

أقصر المسارات والأشجار الممتدة: تثبّت خوارزمية ديكسترا رأسًا واحدًا في كل جولة: الرأس غير المثبّت ذا أصغر مسافة مؤقتة. تصبح مسافته نهائية، ويأخذ كل جار v القيمة d(v) = min(d(v), d(u) + w(u, v)). تبني خوارزمية كروسكال شجرة ممتدة دنيا بأخذ الحواف من الأخف إلى الأثقل وتخطّي كل حافة تُغلق دورة؛ وتنمّي خوارزمية برايم شجرة واحدة من رأس البداية بإضافة أخف حافة تغادرها دائمًا. وللشجرة الممتدة على n رأسًا n − 1 حافة.

خوارزمية كروسكال

1. DE (1)
2. AC (3)
3. AB (7)
4. CE (8)
5. GC (10)
6. EF (11)

رقم الحافة 6

EF

الإجابة

الحافة EF
7.نظرية الأعداد والحساب المودولي

الإجابة: 24−1 mod 79 = 56

المعكوسات والتطابقات: للعدد 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·24 (mod 79).

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

المعكوس

1 ≡ −23·24 (mod 79)
x = 56
تحقّق: 24·56 = 1344 = 17·79 + 1

الإجابة

24−1 mod 79 = 56
8.نظرية الأعداد والحساب المودولي

الإجابة: x = 7

المعكوسات والتطابقات: للعدد 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(6, 39) = 3
2x ≡ 1 (mod 13)

حلّ التطابق المختزل

2−1 ≡ 7 (mod 13) → x ≡ 7 (mod 13)

الحلول بالنسبة إلى 39

x ∈ {7, 20, 33}
x = 7

الإجابة

x = 7

ExamProblems · examproblems.com/courses/discrete-mathematics