ارسم مخطط فن وقرّر منطقةً منطقةً ما ينتمي إلى تعبير المجموعات.
في مسائل العدّ املأ المناطق من المركز نحو الخارج: كل المجموعات أولًا، ثم الأزواج، ثم المجموعات المفردة، ثم الخارج.
استخدم مبدأ الاشتمال والاستبعاد للتحقق: |A ∪ B| = |A| + |B| − |A ∩ B|.
لعلاقة ما، اختبر كل خاصية على كل زوج وأعطِ مثالًا مضادًا واحدًا عندما تفشل.
لدالة ما، عُدّ الأسهم الواصلة إلى كل عنصر من 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
الطريقة
اكتب درجة كل رأس؛ مجموع الدرجات يساوي ضعف عدد الحواف.
في أسئلة أويلر، تحقّق من أن البيان متصل وعُدّ الرؤوس ذات الدرجة الفردية.
للأشجار استخدم 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.المنطق القضوي والبراهينمتوسطة
تريد إثبات ¬r → (q ∧ p) بالعكس النقيض. أي استلزام تبرهن بدلًا منه؟ انقر عليه.
¬r → (q ∧ p)
1¬(q ∧ p) → ¬¬r
2¬¬r → ¬(q ∧ p)
3(q ∧ p) → ¬r
4¬r ∧ ¬(q ∧ p)
2.المنطق القضوي والبراهينصعبة
كم صفًا من الصفوف الـ 16 لجدول الصدق تجعل ((r → s) ∨ ¬q) ∨ ((¬s ∧ p) → (¬p ∧ r)) صائبة؟ سمِّ هذا العدد N.
((r → s) ∨ ¬q) ∨ ((¬s ∧ p) → (¬p ∧ r))
N =
3.المجموعات والعلاقات والدوالمتوسطة
يجد استطلاع شمل 72 شخصًا أن 42 يملكون حاسوبًا محمولًا (L)، وأن 40 يملكون جهازًا لوحيًا (T)، وأن 15 يملكون الاثنين معًا. كم عددهم ممن هم في L لكن ليسوا في T؟
|U| = 72|L| = 42|T| = 40|L ∩ T| = 15
|L − T| =
4.المجموعات والعلاقات والدوالصعبة
علاقة تكافؤ R على {1, …, 10} صفوفها {3, 10}, {2, 9}, {1, 5, 6, 8}, {4, 7}. كم زوجًا مرتبًا تحتوي R؟ سمِّ العدد |R|.
{3, 10}{2, 9}{1, 5, 6, 8}{4, 7}
|R| =
5.نظرية البياناتمتوسطة
كم دارة هاملتون مختلفة H للبيان التام K5؟ الدارات التي تختلف فقط في رأس البداية أو الاتجاه تُعدّ واحدة.
K5
H =
6.نظرية البياناتصعبة
تعمل خوارزمية ديكسترا انطلاقًا من A. انقر على الرأس الذي يُثبَّت (يصبح دائمًا) في الجولة 6؛ A نفسه هو الجولة 1.
البداية: Aالجولة 6
1A
2B
3C
4D
5E
6F
7G
7.نظرية الأعداد والحساب المودوليمتوسطة
حلّ 8x ≡ 4 (mod 13). أعطِ الحل x مع 0 < x < 13.
8x ≡ 4 (mod 13)
x =
8.نظرية الأعداد والحساب المودوليصعبة
يستخدم مفتاح RSA القيم p = 19 و q = 47 و e = 11. فكّ تشفير النص المشفّر c = 310: جد الرسالة m.
p = 19q = 47e = 11c = 310
m =
3المحاليل
1.المنطق القضوي والبراهين
الإجابة: ¬(q ∧ 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).
جداول الصدق: للصيغة ذات n متغيرًا مختلفًا 2ⁿ صفًا، صف لكل تركيبة من قيم الصدق (1 = صواب، 0 = خطأ). اعمل من الداخل إلى الخارج وأعطِ كل صيغة جزئية عمودها الخاص. ¬a تقلب القيمة؛ و a ∧ b تساوي 1 فقط عندما تكون القيمتان 1؛ و a ∨ b تساوي 0 فقط عندما تكون القيمتان 0؛ و a → b تساوي 0 فقط عندما a = 1 و b = 0؛ و a ↔ b تساوي 1 عندما يتساوى الطرفان.
المجموعات ومخططات فن: A ∪ B تضم العناصر الموجودة في A أو B (أو كليهما)، وA ∩ B العناصر الموجودة في كليهما، وA − B عناصر A التي ليست في B، والمتممة A′ كل ما في U وليس في A. في مخطط فن كل تعبير مجموعات هو اتحاد مناطق، فعُدّه منطقةً منطقةً. الاشتمال والاستبعاد: |A ∪ B| = |A| + |B| − |A ∩ B|، و|A ∪ B ∪ C| = |A| + |B| + |C| − |A ∩ B| − |A ∩ C| − |B ∩ C| + |A ∩ B ∩ C|.
المناطق
L ∩ T: 15
L − T: 42 − 15 = 27
T − L: 40 − 15 = 25
(L ∪ T)′: 72 − (27 + 25 + 15) = 5
الإجابة
|L − T| = 27
الإجابة
|L − T| = 27
4.المجموعات والعلاقات والدوال
الإجابة: |R| = 28
العلاقات: العلاقة 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| = 2² + 2² + 4² + 2² = 28
الإجابة
|R| = 28
5.نظرية البيانات
الإجابة: H = 12
أويلر وهاملتون والأشجار: لبيان متصل دارة أويلر (كل حافة مرة واحدة، والعودة إلى البداية) عندما تكون لكل رأس درجة زوجية، ومسار أويلر ليس دارة عندما تكون لرأسين بالضبط درجة فردية؛ ويسير المسار عندئذ من أحد الرأسين الفرديين إلى الآخر. تزور دارة هاملتون كل رأس مرة واحدة؛ وفي Kn منها (n − 1)!/2. للشجرة على n رأسًا n − 1 حافة، ويحتفظ بيان متصل ذو m حافة بشجرة ممتدة بعد حذف m − n + 1 حافة.
عُدّ
H = (5 − 1)!/2 = 24/2 = 12
الإجابة
H = 12
6.نظرية البيانات
الإجابة: F
أقصر المسارات والأشجار الممتدة: تثبّت خوارزمية ديكسترا رأسًا واحدًا في كل جولة: الرأس غير المثبّت ذا أصغر مسافة مؤقتة. تصبح مسافته نهائية، ويأخذ كل جار v القيمة d(v) = min(d(v), d(u) + w(u, v)). تبني خوارزمية كروسكال شجرة ممتدة دنيا بأخذ الحواف من الأخف إلى الأثقل وتخطّي كل حافة تُغلق دورة؛ وتنمّي خوارزمية برايم شجرة واحدة من رأس البداية بإضافة أخف حافة تغادرها دائمًا. وللشجرة الممتدة على n رأسًا n − 1 حافة.
ديكسترا جولةً جولةً
1. A (0): B: 1, C: 11
2. B (1): C: 10, D: 4
3. D (4): F: 17, G: 15
4. C (10): E: 18
5. G (15)
6. F (17)
7. E (18)
الجولة 6
F
الإجابة
F
7.نظرية الأعداد والحساب المودولي
الإجابة: 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).
معكوس 8
r = 13, t = 0
r = 8, q = 1, t = 1
r = 5, q = 1, t = −1
r = 3, q = 1, t = 2
r = 2, q = 1, t = −3
r = 1, q = 2, t = 5
8−1 ≡ 5 (mod 13)
الحل
x ≡ 5·4 = 20 ≡ 7 (mod 13)
تحقّق: 8·7 = 56 ≡ 4 (mod 13)
الإجابة
x = 7
8.نظرية الأعداد والحساب المودولي
الإجابة: m = 119
القوى المودولية و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.