‫המכללה האקדמית להנדסה אורט בראודה – המחלקה להנדסת תוכנה‬

‫הסתברות להנדסת תוכנה – מועד א'‪ ,‬חורף תשע"ט‬

‫משך הבחינה‪ 3 :‬שעות‬ ‫‪7.3.19‬‬ ‫תאריך‪:‬‬

‫מותר‬ ‫חומר עזר‪:‬‬ ‫ד"ר אורלי יהלום‪ ,‬ד"ר בנימין מוניץ‬ ‫מרצים‪:‬‬

‫הציגו נימוקים ברורים ומלאים בכל ההוכחות והחישובים‪.‬‬ ‫הנחיות‪:‬‬

‫שאלה ‪ 40( 1‬נק')‬

‫נתבונן בגרף הבא‪:‬‬

‫‪b‬‬
‫‪a‬‬ ‫‪c‬‬

‫‪d‬‬

‫נניח כי מגרילים חתך ) ‪ (𝑉1 , 𝑉2‬בגרף באופן הבא‪ :‬בוחרים אקראית שני קודקודים שונים זה מזה מתוך‬
‫הארבעה‪ 𝑉1 .‬תכיל את שני קודקודים אלו ו‪ 𝑉2 -‬תכיל את שני האחרים‪.‬‬
‫א‪ 10( .‬נק') חשבו את תוחלת מספר הצלעות בחתך‪.‬‬
‫ב‪ 10( .‬נק') חשבו את השונות של מספר הצלעות בחתך‪.‬‬
‫ג‪ 10( .‬נק') נניח כי חוזרים על ההגרלה ‪ 128‬פעמים באופן ב"ת‪ .‬יהי ̅𝑋 ממוצע מספר הצלעות בחתך‬
‫ב‪ 128-‬ההגרלות‪ .‬עבור איזה 𝑡 בקירוב מתקיים‪:‬‬
‫‪? Pr[𝑋̅ ≤ 𝑡] = 0.0228‬‬

‫ד‪ 10( .‬נק') סעיף זה לא מתייחס לגרף המוצג בשאלה‪ ,‬אלא לגרף כלשהו‪.‬‬
‫הזכרו כי למדנו שיטה נוספת להגרלת חתך אקראי בגרף‪ :‬שיוך כל אחד מהקודקודים ל‪ 𝑉1-‬או ‪𝑉2‬‬
‫באופן אקראי וב"ת‪ .‬הוכחנו כי במקרה זה תוחלת מספר הצלעות בחתך היא מחצית ממספר‬
‫הצלעות בגרף‪ .‬הסבירו מדוע הדבר לא מתקיים עבור סוג ההגרלה בשאלה זו‪ :‬בחירה אקראית של‬
‫‪ 𝑛/2‬קודקודים עבור צד אחד של החתך‪ ,‬כאשר מספר הקודקודים בחתך 𝑛 הוא זוגי‪.‬‬
 ‫שאלה ‪ 20( 2‬נק')‬
‫גרף מכוון ‪ G‬מוגרל באופן הבא‪:‬‬
‫תהי ‪ V‬קבוצת קודקודים בגודל 𝑛‪.‬‬
‫לכל זוג קודקודים 𝑉 ‪ 𝑢 ≠ 𝑣 ‬באופן ב"ת נוסיף לגרף קשת בין שני הקודקודים‪ :‬בהסתברות ½ זו תהיה‬
‫קשת מ‪ u-‬ל‪ v-‬ובהסתברות ½ קשת מ‪ v-‬ל‪.u-‬‬
‫במילים אחרות‪ G ,‬הוא גירסה מכוונת של גרף מלא‪ ,‬שבה הכיוון של כל קשת נקבע באופן אקראי ובלתי‬
‫תלוי‪.‬‬
‫לכל 𝑉‪ 𝑢‬נסמן ב‪ 𝑑𝑒𝑔𝑖𝑛 (𝑢)-‬את מספר הקשתות הנכנסות ל‪ ,u-‬וב‪ 𝑑𝑒𝑔𝑜𝑢𝑡 (𝑢)-‬את מספר הצלעות‬
‫היוצאות מ‪.𝑢-‬‬
‫לדוגמה‪ :‬בגרף הבא‪:‬‬
‫‪𝑑𝑒𝑔𝑖𝑛 (𝑎)= 1, 𝑑𝑒𝑔𝑜𝑢𝑡 (𝑎) = 2‬‬
‫‪b‬‬
‫‪𝑑𝑒𝑔𝑖𝑛 (𝑑) = 3, 𝑑𝑒𝑔𝑜𝑢𝑡 (𝑑) =0‬‬

‫‪a‬‬ ‫‪c‬‬

‫‪d‬‬

‫מצאו חסמים עליונים טובים ככל האפשר עבור ההסתברות של המאורעות הבאים (הניחו כי 𝑛 הוא‬
‫מספר גדול)‪:‬‬
‫א‪ 10( .‬נק') עבור קודקוד מסויים 𝑢 מתקיים‪.|𝑑𝑒𝑔𝑖𝑛 (𝑢) − 𝑑𝑒𝑔𝑜𝑢𝑡 (𝑢)| ≥ 𝑛0.6 :‬‬
‫ב‪ 10( .‬נק') קיים קודקוד 𝑉 ∈ 𝑢 כך ש‪.|𝑑𝑒𝑔𝑖𝑛 (𝑢) − 𝑑𝑒𝑔𝑜𝑢𝑡 (𝑢)| ≥ (𝑛 − 1)0.6 :‬‬