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

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

ما زمن تنفيذ الفرز الجذري LSD على n عددًا صحيحًا من d خانة في الأساس k؟

  1. AO(n log n)
  2. BO(n²)
  3. CO(dn log k)
  4. DO(d(n + k))
2.الخوارزميات والتعقيدصعبة

تُظهر مسألة التوقف أنه:

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

كم يستغرق التحقق من وجود الحافة (u, v) باستخدام مصفوفة التجاور؟

  1. AO(E)
  2. BO(1)
  3. CO(V)
  4. DO(log V)
4.هياكل البياناتصعبة

تزيل خوارزمية Kahn للفرز الطوبولوجي مرارًا الرؤوس ذات درجة الدخول 0. أي بنية تحفظ تلك الرؤوس؟

  1. Aمكدس لكل الحواف المزورة
  2. Bطابور (أو أي مجموعة) من الرؤوس التي درجة دخولها 0
  3. Cمصفوفة تجاور تسجّل الرؤوس التي أُزيلت بالفعل
  4. Dكومة عظمى مرتبة بحسب درجة الخروج
5.نظرية البياناتمتوسطة

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

|V| = 15|E| = 19
k =
6.نظرية البياناتصعبة
ABCDE

كم مسارًا (walk) بطول 3 يذهب من C إلى D؟ يجوز للمسار تكرار الرؤوس والحواف. سمِّ العدد N.

M = مصفوفة التجاورL = 3
N =

3المحاليل

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

الإجابة: D · O(d(n + k))

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

كل مرور من المرورات d فرز بالعدّ كلفته O(n + k)، فيكون المجموع خطيًا في n عندما تكون d وk ثابتتين.

الإجابة

D · O(d(n + k))
2.الخوارزميات والتعقيد

الإجابة: A · لا توجد خوارزمية تستطيع أن تقرر لكل برنامج ومدخل ما إذا كان البرنامج سيتوقف

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

أثبت تورنغ أن مسألة التوقف غير قابلة للحسم: افتراض وجود خوارزمية حاسمة يؤدي إلى تناقض مع برنامج يفعل عكس ما تتنبأ به.

الإجابة

A · لا توجد خوارزمية تستطيع أن تقرر لكل برنامج ومدخل ما إذا كان البرنامج سيتوقف
3.هياكل البيانات

الإجابة: B · O(1)

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

يخبرك مدخل المصفوفة في الصف u والعمود v فورًا بوجود الحافة، أما قائمة التجاور فقد تحتاج إلى مسح جيران u.

الإجابة

B · O(1)
4.هياكل البيانات

الإجابة: B · طابور (أو أي مجموعة) من الرؤوس التي درجة دخولها 0

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

تُحفظ الرؤوس الجاهزة في طابور، وإزالة أحدها تخفض درجات دخول جيرانه، ويُضاف كل ما يبلغ 0، فيكون الزمن O(V + E).

الإجابة

B · طابور (أو أي مجموعة) من الرؤوس التي درجة دخولها 0
5.نظرية البيانات

الإجابة: k = 5

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

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

15 − 1 = 14

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

k = 19 − 14 = 5

الإجابة

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

الإجابة: N = 2

الدرجات: درجة الرأس هي عدد الحواف التي تلتقي عنده. لكل حافة طرفان، فتساوي الدرجات مجتمعةً ضعف عدد الحواف: Σ deg(v) = 2|E| (مبرهنة المصافحة). وعدد الرؤوس ذات الدرجة الفردية زوجي إذن. للبيان Kn عدد n(n − 1)/2 حافة، وللبيان k-المنتظم على n رأسًا nk/2، وللشجرة على n رأسًا n − 1 حافة.

مصفوفة التجاور

A: 0 1 1 0 0
B: 1 0 1 1 1
C: 1 1 0 0 1
D: 0 1 0 0 0
E: 0 1 1 0 0

خطوة إضافية

(M³)CD = 1·0 + 2·1 + 3·0 + 1·0 + 1·0 = 2

الإجابة

N = 2

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