هياكل البيانات والخوارزميات: حزمة المراجعة المكثفة

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

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

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

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
أويلر
الدارة: كل الدرجات زوجية؛ المسار: درجتان فرديتان بالضبط
دارات هاملتون في 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. لإيجاد شجرة ممتدة دنيا، رتّب الحواف بحسب الوزن وتخطَّ كل حافة تُغلق دورة (كروسكال)، أو أنمِ شجرة واحدة انطلاقًا من رأس البداية (برايم).

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

1.الخوارزميات والتعقيدمتوسطة

لماذا تنتقل روتينات فرز كثيرة في المكتبات إلى الفرز بالإدراج للمصفوفات الفرعية الصغيرة جدًا؟

  1. Aلأن الخوارزميات العودية لا تتعامل مع مصفوفات أقل من 10 عناصر
  2. Bلأن كلفته الإضافية ضئيلة وهو سريع على المدخلات الصغيرة أو شبه المرتبة
  3. Cلأن الفرز بالإدراج O(n log n) في أسوأ الحالات
  4. Dلأن الفرز بالإدراج يستهلك ذاكرة أقل من أي خوارزمية فرز أخرى على المدخلات الكبيرة
2.الخوارزميات والتعقيدصعبة

تكون المسألة NP-كاملة (NP-complete) إذا كانت:

  1. Aقابلة للحل في زمن كثير الحدود
  2. Bخارج NP لكنها أصعب من جميع مسائل NP، مثل مسألة التوقف
  3. Cتنتمي إلى NP وكل مسألة في NP قابلة للاختزال إليها في زمن كثير الحدود
  4. Dمستحيلة الحل
3.هياكل البياناتمتوسطة

لماذا يكون اجتياز مصفوفة عمليًا أسرع غالبًا بكثير من اجتياز قائمة مترابطة بالطول نفسه؟

  1. Aلأن القوائم المترابطة تخزّن العناصر على القرص دائمًا
  2. Bلأن عناصر المصفوفة متجاورة، فتستفيد جيدًا من ذاكرة التخزين المؤقت (cache) للمعالج
  3. Cلأن المصفوفات تستخدم تعليمات أقل لمقارنة القيم
  4. Dلأن اجتياز المصفوفة O(1) في المجموع، بينما اجتياز القائمة المترابطة O(n)
4.هياكل البياناتصعبة

تريد لكل عنصر في مصفوفة العنصر الأكبر التالي على يمينه، في زمن كلي O(n). أي بنية تساعد؟

  1. Aجدول تجزئة لكل العناصر
  2. Bشجرة بحث ثنائية يُعاد بناؤها لكل عنصر
  3. Cمكدس يحفظ العناصر التي تنتظر إجابتها
  4. Dطابور يحفظ كل زوج من العناصر
5.نظرية البياناتمتوسطة
ABCDEFدارة أويلرمسار أويلر دون دارةلا هذه ولا تلك

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

|V| = 6|E| = 7
  1. 1دارة أويلر
  2. 2مسار أويلر دون دارة
  3. 3لا هذه ولا تلك
6.نظرية البياناتصعبة
16125417921117ABCDEFG

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

k = 5
  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الحافة GD
  10. 10الحافة GE

3المحاليل

1.الخوارزميات والتعقيد

الإجابة: B · لأن كلفته الإضافية ضئيلة وهو سريع على المدخلات الصغيرة أو شبه المرتبة

لماذا هذه هي الإجابة

عندما تكون n صغيرة تتفوق حلقة الفرز بالإدراج البسيطة على كلفة العودية في الفرز السريع أو الفرز بالدمج، رغم أنه O(n²).

الإجابة

B · لأن كلفته الإضافية ضئيلة وهو سريع على المدخلات الصغيرة أو شبه المرتبة
2.الخوارزميات والتعقيد

الإجابة: C · تنتمي إلى NP وكل مسألة في NP قابلة للاختزال إليها في زمن كثير الحدود

لماذا هذه هي الإجابة

المسائل NP-الكاملة هي الأصعب في NP؛ وخوارزمية كثيرة حدود لإحداها ستعطي خوارزمية كثيرة حدود لكل NP.

الإجابة

C · تنتمي إلى NP وكل مسألة في NP قابلة للاختزال إليها في زمن كثير الحدود
3.هياكل البيانات

الإجابة: B · لأن عناصر المصفوفة متجاورة، فتستفيد جيدًا من ذاكرة التخزين المؤقت (cache) للمعالج

لماذا هذه هي الإجابة

الذاكرة المتجاورة تعطي محلية مرجعية جيدة، بينما قد تكون العقد المترابطة متفرقة فتسبب إخفاقات كثيرة في الـ cache.

الإجابة

B · لأن عناصر المصفوفة متجاورة، فتستفيد جيدًا من ذاكرة التخزين المؤقت (cache) للمعالج
4.هياكل البيانات

الإجابة: C · مكدس يحفظ العناصر التي تنتظر إجابتها

لماذا هذه هي الإجابة

بالمسح من اليسار إلى اليمين، اسحب كل عنصر في المكدس أصغر من الحالي (فالحالي إجابته)، ثم ادفع الحالي، وكل عنصر يتحرك مرتين على الأكثر.

الإجابة

C · مكدس يحفظ العناصر التي تنتظر إجابتها
5.نظرية البيانات

الإجابة: لا هذه ولا تلك

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

الدرجات

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

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

A, C, D, E → 4
لا هذه ولا تلك

الإجابة

لا هذه ولا تلك
6.نظرية البيانات

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

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

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

1. GB (1)
2. EF (2)
3. CE (4)
4. BC (5)
5. DF (9)
6. AC (12)

رقم الحافة 5

DF

الإجابة

الحافة DF

ExamProblems · examproblems.com/courses/data-structures-and-algorithms