מבני נתונים ואלגוריתמים - מחברת קורס/שיעורי בית 7/שאלות
1
[עריכה]ראינו שני מימושים למבנה נתונים המתאר קבוצות זרות ע"י מערך של רשימות מקושרות: מימוש רשימות נאיבי מאחד שתי קבוצות בלי קשר לגדלן, ומימוש רשומות עם איחוד עפ"י גודל מאחד את הקבוצה הקטנה לתוך הקבוצה הגדולה.
- עבור המימוש הראשון, אנא מצא סדרת פעולות, שמתוכן הן פעולות
Make-Set
, שסיבוכיותה הכוללת היא . - עבור המימוש השני, אנא מצא סדרת פעולות, שמתוכן הן פעולות
Make-Set
, שסיבוכיותה הכוללת היא .
שימו לב: בסעיף השני הזנח שגיאות עיגול, או, לחלופין, הנח ש הוא חזקה שלמה של 2. |
2
[עריכה]אנא הוכחה את המשפט הבא:
משפט: פתרון
|
3
[עריכה]נתון גרף . הגרף דליל, ולכן רוצים להשתמש בייצוג רשימה. עם זאת, סיבוכיות מימוש הפונקציה E(G)
שראינו בכיתה, דהיינו , גבוהה מדי לטעמנו.
אנא הסבר כיצד לשנות את המימוש כך שסיבוכיות הפונקציה תרד ל, מבלי להגדיל את סיבוכיות הפונקציות האחרות. אנא הסבר בקצרה (רצוי בתרשים) את השינויים הנדרשים, וכתוב את הפסוודו-קוד לפונקציה E(G)
.
מותר לך לעשות שינויים מבניים במבנה הנתונים המייצג את הגרף (דהיינו, להוסיף או לשנות שדות, או להוסיף עוד מבני-נתונים פנימיים). עם זאת, נסה לעשות מספר קטן ככל האפשר של שינויים.
4
[עריכה]נתון גרף ברשימת שכנויות.
- רוצים לחשב, לכל צומת , את דרגת היציאה שלו (כלומר, כמה קשתות יוצאות ממנו). מה הסיבוכיות הנדרשת?
- רוצים לחשב, לכל צומת , את דרגת הכניסה שלו (כלומר, כמה קשתות נכנסות אליו). מה הסיבוכיות הנדרשת?
5
[עריכה]במסיבה כלשהי יש אנשים; חלקם לחץ ידיים זה עם זה. אנא הוכח שמספר האנשים שלחצו ידיים עם מספר אי-זוגי של אנשים - הוא זוגי.
דוגמה: נניח שבמסיבה יש שלשה אנשים: 1, 2, ו3, ורק 1 ו2 לחצו ידיים זה עם זה. יש שני אנשים שלחצו ידיים עם אדם אחד; אכן יש מספר זוגי (שניים) של אנשים שלחצו ידיים עם מספר אי-זוגי (אחת) של אנשים. |
רמז צייר גרף שבו כל אדם הוא צומת. מה יקרה אם תמחק צומת כלשהו והקשתות היוצאות ממנו? |
6
[עריכה]במסיבה כלשהי יש אנשים; חלקם לחץ ידיים זה עם זה. כעת יש להושיב אותם משני צידי שולחן. אנא הוכח שאפשר להושיב אותם באופן כזה כך שכל אחד יושב מול לפחות חצי מהאנשים שאתם לחץ יד.
דוגמה: נניח שבמסיבה יש שלשה אנשים: 1, 2, ו3, ורק 1 ו2 לחצו ידיים זה עם זה. אכן אפשר להושיב את 1 ו3 בצד אחד של השולחן, ואת 2 בצד השני. |
7
[עריכה]אנא הוכח שכל אחת מהפעולות למעבר על כל איברי העץ שראינו
Post-Order
In-Order
,
וIn-Order
), פועלת בזמן לינארי במספר האיברים בעץ.