ارسم مخطط فن وقرّر منطقةً منطقةً ما ينتمي إلى تعبير المجموعات.
في مسائل العدّ املأ المناطق من المركز نحو الخارج: كل المجموعات أولًا، ثم الأزواج، ثم المجموعات المفردة، ثم الخارج.
استخدم مبدأ الاشتمال والاستبعاد للتحقق: |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.المنطق القضوي والبراهينمتوسطة
تريد إثبات b → (c ∨ a) بالتناقض. أي عبارة تفترضها في البداية؟ انقر عليها.
b → (c ∨ a)
1¬b ∧ (c ∨ a)
2¬b ∧ ¬(c ∨ a)
3¬b → ¬(c ∨ a)
4b ∧ ¬(c ∨ a)
2.المنطق القضوي والبراهينصعبة
أي عبارة تكافئ ¬∀x (F(x) → ∃y R(x, y)) مع نقل النفي إلى الداخل تمامًا؟ انقر عليها.
¬∀x (F(x) → ∃y R(x, y))
1∃x (¬F(x) ∧ ∃y R(x, y))
2∃x (F(x) ∧ ∀y ¬R(x, y))
3∀x (F(x) ∧ ∀y ¬R(x, y))
4∃x (F(x) → ∀y ¬R(x, y))
3.المجموعات والعلاقات والدوالمتوسطة
منطقة واحدة بالضبط من مخطط فن هي المجموعة (A − B′) ∩ (C′ ∩ A). انقر على رقمها.
(A − B′) ∩ (C′ ∩ A)
1المنطقة 1
2المنطقة 2
3المنطقة 3
4المنطقة 4
5المنطقة 5
6المنطقة 6
7المنطقة 7
8المنطقة 8
4.المجموعات والعلاقات والدوالصعبة
التقابل f على {1, 2, 3, 4, 5} معطى بجدوله. جد f−1(4).
f: 1 ↦ 5, 2 ↦ 2, 3 ↦ 4, 4 ↦ 1, 5 ↦ 3
f−1(4) =
5.نظرية البياناتمتوسطة
هل للبيان المتصل دارة أويلر، أم مسار أويلر ليس دارة، أم لا هذه ولا تلك؟ انقر على إجابتك.
|V| = 7|E| = 12
1دارة أويلر
2مسار أويلر دون دارة
3لا هذه ولا تلك
6.نظرية البياناتصعبة
كم مسارًا مغلقًا (closed walk) بطول 2 يبدأ وينتهي عند C؟ يجوز للمسار تكرار الرؤوس والحواف. سمِّ العدد N.
M = مصفوفة التجاورL = 2
N =
7.نظرية الأعداد والحساب المودوليمتوسطة
جد معكوس 36 بالنسبة إلى 53: العدد x مع 0 < x < 53 و 36·x ≡ 1 (mod 53).
a = 36n = 53
36−1 mod 53 =
8.نظرية الأعداد والحساب المودوليصعبة
47 عدد أولي. استخدم مبرهنة فيرما الصغرى لإيجاد 1114795 mod 47.
p = 47k = 14795
1114795 mod 47 =
3المحاليل
1.المنطق القضوي والبراهين
الإجابة: b ∧ ¬(c ∨ a)
التكافؤ المنطقي: تتكافأ صيغتان (≡) عندما يكون لهما القيمة نفسها في كل صف من جدول الصدق. الحشو يساوي 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, b = c ∨ a
نفي الاستلزام
¬(a → b) ≡ a ∧ ¬b = b ∧ ¬(c ∨ a)
الإجابة
b ∧ ¬(c ∨ a)
إذا أدى الافتراض إلى تناقض فالاستلزام صائب حتمًا.
2.المنطق القضوي والبراهين
الإجابة: ∃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))
الخيارات الأخرى إما تُبقي كمّمًا دون تغيير، أو تغيّر ترتيب الكمّمات، أو تنفي الصيغة الداخلية نفيًا خاطئًا.
3.المجموعات والعلاقات والدوال
الإجابة: المنطقة 6
المجموعات ومخططات فن: 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|.
داخل كل مجموعة أو خارجها
A ∩ B ∩ C′
المنطقة
المنطقة 6
الإجابة
المنطقة 6
4.المجموعات والعلاقات والدوال
الإجابة: f−1(4) = 3
الدوال والعدّ: الدالة 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(3) = 4 → f−1(4) = 3
الإجابة
f−1(4) = 3
5.نظرية البيانات
الإجابة: دارة أويلر
أويلر وهاملتون والأشجار: لبيان متصل دارة أويلر (كل حافة مرة واحدة، والعودة إلى البداية) عندما تكون لكل رأس درجة زوجية، ومسار أويلر ليس دارة عندما تكون لرأسين بالضبط درجة فردية؛ ويسير المسار عندئذ من أحد الرأسين الفرديين إلى الآخر. تزور دارة هاملتون كل رأس مرة واحدة؛ وفي Kn منها (n − 1)!/2. للشجرة على n رأسًا n − 1 حافة، ويحتفظ بيان متصل ذو m حافة بشجرة ممتدة بعد حذف m − n + 1 حافة.
الدرجات: درجة الرأس هي عدد الحواف التي تلتقي عنده. لكل حافة طرفان، فتساوي الدرجات مجتمعةً ضعف عدد الحواف: Σ deg(v) = 2|E| (مبرهنة المصافحة). وعدد الرؤوس ذات الدرجة الفردية زوجي إذن. للبيان Kn عدد n(n − 1)/2 حافة، وللبيان k-المنتظم على n رأسًا nk/2، وللشجرة على n رأسًا n − 1 حافة.
مصفوفة التجاور
A: 0 1 1 0 0 0
B: 1 0 1 1 1 0
C: 1 1 0 0 1 0
D: 0 1 0 0 1 1
E: 0 1 1 1 0 0
F: 0 0 0 1 0 0
الجيران المشتركون
(M²)CC = 1·1 + 1·1 + 0·0 + 0·0 + 1·1 + 0·0 = 3
الإجابة
N = 3
7.نظرية الأعداد والحساب المودولي
الإجابة: 36−1 mod 53 = 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).
خوارزمية إقليدس الموسّعة
يُكتب كل باقٍ r بالشكل r ≡ t·36 (mod 53).
r = 53, t = 0
r = 36, q = 1, t = 1
r = 17, q = 2, t = −1
r = 2, q = 8, t = 3
r = 1, q = 2, t = −25
المعكوس
1 ≡ −25·36 (mod 53)
x = 28
تحقّق: 36·28 = 1008 = 19·53 + 1
الإجابة
36−1 mod 53 = 28
8.نظرية الأعداد والحساب المودولي
الإجابة: 1114795 mod 47 = 10
القوى المودولية و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.