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

أوراق القوانين، وأهم خطوات الحل لكل موضوع، و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

الطريقة

عُدّ المتغيرات المختلفة: لجدول الصدق 2ⁿ صفًا، ويبدأ بصف تكون فيه كلها 1.
أعطِ كل صيغة جزئية عمودها الخاص واملأ الأعمدة من الداخل إلى الخارج.
طبّق قاعدة كل رابط: → يساوي 0 فقط في الحالة 1 → 0، و ↔ يساوي 1 عندما يتفق الطرفان.
للتكافؤات قارن العمودين الأخيرين صفًا بصف؛ وللحجة انظر فقط إلى الصفوف التي تكون فيها كل المقدمات 1.
لنفي عبارة مكمَّمة، انقل ¬ إلى الداخل، وبدّل ∀ و ∃، وانفِ الصيغة الداخلية.

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

مجموعتان: |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 عنصرًا: 2^n²; reflexive 2^{n² − n}; symmetric 2^n(n+1)/2
التركيب: (g ∘ f)(x) = g(f(x))

الطريقة

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

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

مبرهنة المصافحة: Σ deg(v) = 2|E|
البيانات التامة: |E(K_n)| = n(n − 1)/2, |E(K_m,n)| = m·n
البيان المنتظم: |E| = n·k/2
الشجرة والغابة: |E| = n − 1, |E| = n − c
أوراق الشجرة: L = 2 + Σ (deg(v) − 2) over deg(v) ≥ 3
أويلر: الدارة: كل الدرجات زوجية؛ المسار: درجتان فرديتان بالضبط
دارات هاملتون في K_n: (n − 1)!/2
تحديث ديكسترا: d(v) = min(d(v), d(u) + w(u, v))
المسارات (walks) بطول L: (Mᴸ)_ij

الطريقة

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

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

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

الطريقة

اختزل كل عدد بالنسبة إلى n أولًا؛ البواقي تقع بين 0 و n − 1.
للقاسم المشترك الأكبر، اقسم مرارًا بخوارزمية إقليدس؛ آخر باقٍ غير صفري هو القاسم المشترك الأكبر.
للمعكوس، نفّذ الخوارزمية الموسّعة واحتفظ بمعامل a؛ أضف n إذا كان سالبًا.
حلّ a·x ≡ b بالضرب في a⁻¹؛ ولدمج تطابقين اكتب x = r₁ + m₁k.
للقوى اكتب الأس بالنظام الثنائي وربّع مرارًا؛ وفي RSA، d = e⁻¹ mod φ(n) مع φ(n) = (p − 1)(q − 1).

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

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

في كم صفًا من الصفوف الثمانية لجدول صدق (¬c → ¬a) → (b ∨ (¬c ∨ a)) تكون صائبة؟ سمِّ هذا العدد N.

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

N =

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

أي عبارة تكافئ ¬∀x (A(x) → B(x)) مع نقل النفي إلى الداخل تمامًا؟ انقر عليها.

¬∀x (A(x) → B(x))

1∃x (¬A(x) ∧ B(x))
2∃x (A(x) ∧ ¬B(x))
3∀x (A(x) → ¬B(x))
4∃x (A(x) → ¬B(x))

3.المجموعات والعلاقات والدوالمتوسطة

R = {(1, 1), (2, 2), (3, 1), (4, 4)} علاقة على {1, 2, 3, 4}. ما أصغر عدد k من الأزواج المرتبة يجب إضافته إلى R لتصبح تناظرية؟

R = {(1, 1), (2, 2), (3, 1), (4, 4)}

k =

4.المجموعات والعلاقات والدوالصعبة

التقابل f على {1, 2, 3, 4, 5} معطى بجدوله. جد f⁻¹(3).

f: 1 ↦ 1, 2 ↦ 3, 3 ↦ 4, 4 ↦ 5, 5 ↦ 2

f⁻¹(3) =

5.نظرية البياناتمتوسطة

هل للبيان المتصل دارة أويلر، أم مسار أويلر ليس دارة، أم لا هذه ولا تلك؟ انقر على إجابتك.

|V| = 7|E| = 9

1دارة أويلر
2مسار أويلر دون دارة
3لا هذه ولا تلك

6.نظرية البياناتصعبة

تبني خوارزمية برايم شجرة ممتدة دنيا بدءًا من الرأس D. انقر على الحافة التي تضيفها بوصفها الحافة رقم 2.

البداية: Dk = 2

1الحافة AB
2الحافة AC
3الحافة BC
4الحافة BD
5الحافة CE
6الحافة DE
7الحافة DF
8الحافة EF
9الحافة BE

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

جد دالة أويلر φ φ(275)، أي عدد الأعداد الصحيحة من 1 إلى 275 التي أولية مع 275.

n = 275 = 5²·11

φ(275) =

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

شفّر الرسالة m = 416 بالمفتاح العام لـ RSA (n, e) = (451, 3). جد النص المشفّر c.

n = 451e = 3m = 416

c =

3المحاليل

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

الإجابة: N = 7

جداول الصدق: للصيغة ذات n متغيرًا مختلفًا 2ⁿ صفًا، صف لكل تركيبة من قيم الصدق (1 = صواب، 0 = خطأ). اعمل من الداخل إلى الخارج وأعطِ كل صيغة جزئية عمودها الخاص. ¬a تقلب القيمة؛ و a ∧ b تساوي 1 فقط عندما تكون القيمتان 1؛ و a ∨ b تساوي 0 فقط عندما تكون القيمتان 0؛ و a → b تساوي 0 فقط عندما a = 1 و b = 0؛ و a ↔ b تساوي 1 عندما يتساوى الطرفان.

جدول الصدق صفًا صفًا

a = 1, b = 1, c = 1: ¬c = 0, ¬a = 0, ¬c → ¬a = 1, ¬c ∨ a = 1, b ∨ (¬c ∨ a) = 1, (¬c → ¬a) → (b ∨ (¬c ∨ a)) = 1

a = 1, b = 1, c = 0: ¬c = 1, ¬a = 0, ¬c → ¬a = 0, ¬c ∨ a = 1, b ∨ (¬c ∨ a) = 1, (¬c → ¬a) → (b ∨ (¬c ∨ a)) = 1

a = 1, b = 0, c = 1: ¬c = 0, ¬a = 0, ¬c → ¬a = 1, ¬c ∨ a = 1, b ∨ (¬c ∨ a) = 1, (¬c → ¬a) → (b ∨ (¬c ∨ a)) = 1

a = 1, b = 0, c = 0: ¬c = 1, ¬a = 0, ¬c → ¬a = 0, ¬c ∨ a = 1, b ∨ (¬c ∨ a) = 1, (¬c → ¬a) → (b ∨ (¬c ∨ a)) = 1

a = 0, b = 1, c = 1: ¬c = 0, ¬a = 1, ¬c → ¬a = 1, ¬c ∨ a = 0, b ∨ (¬c ∨ a) = 1, (¬c → ¬a) → (b ∨ (¬c ∨ a)) = 1

a = 0, b = 1, c = 0: ¬c = 1, ¬a = 1, ¬c → ¬a = 1, ¬c ∨ a = 1, b ∨ (¬c ∨ a) = 1, (¬c → ¬a) → (b ∨ (¬c ∨ a)) = 1

a = 0, b = 0, c = 1: ¬c = 0, ¬a = 1, ¬c → ¬a = 1, ¬c ∨ a = 0, b ∨ (¬c ∨ a) = 0, (¬c → ¬a) → (b ∨ (¬c ∨ a)) = 0

a = 0, b = 0, c = 0: ¬c = 1, ¬a = 1, ¬c → ¬a = 1, ¬c ∨ a = 1, b ∨ (¬c ∨ a) = 1, (¬c → ¬a) → (b ∨ (¬c ∨ a)) = 1

عُدّ الصفوف ذات القيمة 1

(¬c → ¬a) → (b ∨ (¬c ∨ a)): 1, 1, 1, 1, 1, 1, 0, 1

N = 7

الإجابة

N = 7

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

الإجابة: ∃x (A(x) ∧ ¬B(x))

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

انقل النفي إلى الداخل

¬∀x (A(x) → B(x)) ≡ ∃x (A(x) ∧ ¬B(x))

الإجابة

∃x (A(x) ∧ ¬B(x))

الخيارات الأخرى إما تُبقي كمّمًا دون تغيير، أو تغيّر ترتيب الكمّمات، أو تنفي الصيغة الداخلية نفيًا خاطئًا.

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

الإجابة: k = 1

العلاقات: العلاقة 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, 3)}

عُدّ

k = 1

الإجابة

k = 1

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

الإجابة: f⁻¹(3) = 2

الدوال والعدّ: الدالة f: A → B تعطي كل عنصر من A صورة واحدة بالضبط في B. تكون f متباينة (واحد لواحد) عندما تكون للعناصر المختلفة صور مختلفة، وشاملة (onto) عندما يكون كل عنصر من B صورة، وتقابلية عندما يتحقق الأمران. مع |A| = m و|B| = n توجد nᵐ دالة، منها n!/(n − m)! متباينة (m ≤ n)، وبالاشتمال والاستبعاد Σ (−1)ᵏ·C(n, k)·(n − k)ᵐ شاملة. |𝒫(A)| = 2ᵐ و|A × B| = m·n.

اقرأ الجدول عكسيًا

f(2) = 3 → f⁻¹(3) = 2

الإجابة

f⁻¹(3) = 2

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

الإجابة: مسار أويلر دون دارة

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

الدرجات

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

الرؤوس الفردية

A, G → 2

مسار أويلر دون دارة

الإجابة

مسار أويلر دون دارة

يبدأ مسار أويلر عند أحد الرأسين الفرديين وينتهي عند الآخر.

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

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

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

خوارزمية برايم

1. DF (2)

2. EF (6)

3. BE (9)

4. BC (1)

5. AC (5)

رقم الحافة 2

الإجابة

الحافة EF

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

الإجابة: φ(275) = 200

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

العوامل الأولية

275 = 5²·11

دالة أويلر φ

φ(275) = φ(11)·φ(25) = 10·20 = 200

الإجابة

φ(275) = 200

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

الإجابة: c = 421

القوى المودولية و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.

التربيع المتكرر

3 = 2 + 1

416¹ ≡ 416 (mod 451)

416² ≡ 323 (mod 451)

416³ ≡ 416·323 ≡ 421 (mod 451)

النص المشفّر

c = 421

الإجابة

c = 421

ExamProblems · examproblems.com/courses/discrete-mathematics