prepd.אתר תרגול לבחינות
איך ללמודצור קשר
© 2026 prepd. כל הזכויות שמורות.·אודות·תנאי שימוש·מדיניות פרטיות·נגישות
prepd›אלגוריתמים

אלגוריתמים

עיצוב וניתוח אלגוריתמים, תכנות דינמי, אלגוריתמים חמדניים וגרפים

סטטיסטיקות מבחנים
כדי לגשת למבחני סימולציה ועוד המון שאלות נוספות, פתחו גישה מלאה
רמת קושי:
תת-סדרה רצופה של הסדרה (x1​,x2​,...,xn−1​,xn​) הינה סדרה מהצורה (xi​,xi+1​,...,xk−1​,xk​), עבור איזשהם 1≤i≤k≤n. הציגו אלגוריתם שבהינתן סדרת מספרים שלמים (x1​,...,xn​) מוצא בתוכה את תת-הסדרה הרצופה שסכומה מרבי. למשל, בסדרת הקלט (−1,4,−3,5,−1,−1,1,−1) תת-הסדרה הרצופה שסכומה מרבי הינה (4,−3,5) שסכומה 4−3+5=6.

על האלגוריתם המוצע לרוץ בזמן Θ(n), כשבניתוח זמן הריצה מניחים שכל פעולה אלמנטרית על מספרים (כגון חיבור, חיסור, השוואה) מתבצעת בזמן Θ(1).
העתק שאלה
שתף שאלה
סמן כחשוב
סמן כבוצע
האוניברסיטה הפתוחה81 · 2026 · סמסטר א
★★★★★
תכנות דינמיניתוח אלגוריתמיםסיבוכיות
(שאלה רלוונטית לסטודנטים משנת 2024 בלבד)

נתון גרף לא מכוון וקשיר G=(V,E) עם משקלים חיוביים w(e)>0 בצלעות. מכיוון שהגרף קשיר, ידוע שיש לו לפחות עץ פורש מינימלי (עפ"מ) אחד. משקלי-הצלעות נקראים יחודיים אם לכל זוג צלעות e1​=e2​ מתקיים w(e1​)=w(e2​).

הוכיחו/הפריכו: אם משקלי-הצלעות יחודיים, אז לגרף יש עפ"מ יחיד (כלומר לא יתכנו שני עפ"מ שונים).

(נדרשת הוכחה מדויקת או דוגמה נגדית של גרף עם n קדקודים גדול כרצוננו.)
העתק שאלה
שתף שאלה
סמן כחשוב
סמן כבוצע
האוניברסיטה הפתוחה81 · 2026 · סמסטר א
★★★★★
גרפיםעץ פורש מינימליהוכחההוכח או הפרך
(שאלה רלוונטית לסטודנטים משנת 2025/2026)

בשאלה זו נציג אלגוריתם להכפלת שתי מטריצות ריבועיות A,B מסדר n×n מעל שדה פשוט. ניחו לשם פשטות כי n הינו חזקה של 2. תוצאת המכפלה הינה מטריצה C=A×B מסדר n×n, שמקיימת Ci,j​=∑1≤k≤n​Ai,k​×Bk,j​. נפרק כל מטריצה ל-4 תתי-מטריצות מסדר 2n​×2n​, כדלקמן:

A=(ac​bd​),B=(ef​gh​),C=(rt​su​)

מהגדרת כפל מטריצות:

r=a×e+b×f,s=a×g+b×ht=c×e+d×f,u=c×g+d×h

האלגוריתם מחשב את 7 המטריצות הבאות:

P3​=(c+d)×e,P5​=(a+d)×(e+h),P1​=a×(g−h)P4​=d×(f−e),P6​=(b−d)×(f+h),P2​=(a+b)×hP7​=(a−c)×(e+g)

(א) הסבירו כיצד לחשב את r,s,t,u באמצעות פעולות חיבור וחיסור בלבד על P1​,...,P7​ (ללא הכפלת מטריצות). לדוגמה: u=−P7​+P5​+P1​−P3​ (אסורה הכפלת מטריצות).

(ב) בדקו כמה הכפלות של סקלרים דרושות סה"כ לאלגוריתם הרקורסיבי שתואר בשאלה זו. (ניתן לפתור את סעיף ב' גם אם טועים בסעיף א'.)
העתק שאלה
שתף שאלה
סמן כחשוב
סמן כבוצע
האוניברסיטה הפתוחה81 · 2026 · סמסטר א
★★★★★
הפרד ומשולניתוח אלגוריתמיםנוסחת נסיגהמשפט האבסיבוכיות
נתון גרף קשיר ולא מכוון G=(V,E) עם משקלים חיוביים w(e)>0 בצלעות. המשקלים יחודיים, כלומר w(e1​)=w(e2​) לכל e1​=e2​. ברצוננו למצוא עץ פורש מזערי. הביטו באלגוריתם האיטרטיבי הבא, שבכל שלב שומר תת-גרף G′=(V,F), F⊆E. בתחול, קבוצת הצלעות F ריקה. בכל איטרציה:

א. ראשית, נסרוק את רשימת כל רכיבי-הקשירות C1​,...,Ck​ בתת-הגרף הנוכחי G′, ועבור כל רכיב Ci​ נמצא את הצלע ei​ בעלת המשקל המזערי שיוצאת החוצה מ-Ci​ (הקלט G קשיר, לכן מכל Ci​ יוצאת לפחות צלע אחת, ולכן קיימת צלע מזערית שיוצאת מ-Ci​).

ב. שנית, נוסיף לתת-הגרף G′ את כל הצלעות שמצאנו בשלב א', כלומר נעדכן F←F∪{e1​,...,ek​} (הצלעות שהוספנו לא דווקא שונות — לדוגמה, הצלע שמחברת בין C2​ ל-C4​ עשויה להיות גם הצלע המזערית שיוצאת מ-C2​ וגם מ-C4​, ולכן e2​=e4​. כשמוסיפים צלע שמחברת Ci​,Cj​ — שני הרכיבים מתלכדים לכדי רכיב אחד חדש).

נעצור את האלגוריתם ברגע שבו G′ כולל רכיב-קשירות יחיד, ונחזיר את G′ כפלט.

הוכיחו/הפריכו: גרף הפלט G′ הינו חסר מעגלים.
העתק שאלה
שתף שאלה
סמן כחשוב
סמן כבוצע
האוניברסיטה הפתוחה81 · 2026 · סמסטר א
★★★★★
גרפיםעץ פורש מינימליאלגוריתמים חמדנייםהוכחההוכח או הפרך
נתון גרף מכוון G=(V,E), ונתונות שתי קבוצות של קדקודים זרות A,B⊆V.

קבוצה של צלעות D⊆E תקרא "קבוצה מפרידה" אם הסרתה מהגרף תנתק את A מ-B (כלומר, בגרף G′=(V,E∖D) לא נותר אף מסלול שמתחיל בקדקוד של A ומסתיים בקדקוד של B). קבוצה מפרידה מזערית הינה קבוצה מפרידה בעלת גודל ∣D∣ מזערי.

קבוצה של צלעות C⊆E תקרא "קבוצת חתך" אם ישנה קבוצת קדקודים ∅=S⊆V כך ש-C זהה לקבוצת כל הצלעות שיוצאות מ-S (כלומר C={(x,y)∈E∣x∈S,y∈/S}).

הוכיחו/הפריכו כל אחת מהטענות הבאות (טענה א' 11 נק', טענה ב' 22 נק'):

טענה א': "כל קבוצה מפרידה הינה קבוצת חתך."

טענה ב': "כל קבוצה מפרידה מזערית הינה קבוצת חתך."
העתק שאלה
שתף שאלה
סמן כחשוב
סמן כבוצע
האוניברסיטה הפתוחה81 · 2026 · סמסטר א
★★★★★
גרפיםזרימה ברשתותהוכחההוכח או הפרך
נתון גרף לא מכוון G=(V,E) משוקלל, עם משקלים שלמים וחיוביים w(e)>0 לכל הצלעות. קבוצת צלעות F⊆E נקראת מנתקת-מעגלים אם לאחר הסרתה לא נותרים מעגלים בגרף, כלומר G′=(V,E∖F) חסר-מעגלים. משקלה של קבוצת צלעות F הוא w(F)=∑e∈F​w(e).

הציגו אלגוריתם למציאת קבוצת צלעות מנתקת-מעגלים בעלת משקל מזערי, והוכיחו את נכונותו.
העתק שאלה
שתף שאלה
סמן כחשוב
סמן כבוצע
האוניברסיטה הפתוחהמועד 89 · 2022 · סמסטר ב
★★★★★
עץ פורש מינימליאלגוריתמים חמדנייםקרוסקלגרפיםהוכחת נכונות
בממלכה רחוקה מחירי כל המוצרים שלמים, וניתן לשלם אך ורק באמצעות מטבעות, הקיימים בדיוק בשלושה סוגים שערכיהם 1,3,5. בהינתן מחיר n≥1 של מוצר, יהי f(n) מספר הדרכים השונות לשלם עבורו, כאשר חשיבות רבה לסדר של המטבעות המשולמים (למשל, לשלם 4 אפשר כ-3 ואז 1, או 1 ואז 3 — שתי דרכים שונות).

(א) הציגו אלגוריתם יעיל שבהינתן n≥1 מחשב את f(n).

(ב) הוכיחו כי f(n) גדל בקצב מעריכי, כלומר קיים קבוע c>1 שעבורו f(n)≥cn. (מותר להניח לשם פשטות כי n מתחלק ב-5.)
העתק שאלה
שתף שאלה
סמן כחשוב
סמן כבוצע
האוניברסיטה הפתוחהמועד 89 · 2022 · סמסטר ב
★★★★★
תכנות דינמינוסחת נסיגהסיבוכיות
בבעיית המסלולים המזעריים נתון גרף מכוון G=(V,E) עם קדקוד מוצא s ומשקלי צלעות w(e)>0. עץ T של מסלולים מזעריים (עמ"מ) מ-s הוא תת-גרף פורש שבו לכל קדקוד המרחק מ-s שווה למרחק ב-G (למשל, עץ הפלט של Dijkstra). לכל גרף קלט יש לפחות עמ"מ אחד.

הוכיחו או הפריכו:

> "ישנם מספר עמ"מ שונים T1​=T2​ מהמוצא s — אם ורק אם יש קדקוד v עם מספר מסלולים מזעריים שונים מ-s."

העתק שאלה
שתף שאלה
סמן כחשוב
סמן כבוצע
האוניברסיטה הפתוחהמועד 72 · 2022 · סמסטר ב
★★★★★
מסלולים קצריםגרפיםהוכחההוכח או הפרך
תזכורת: החציון של רשימת מספרים הוא המספר האמצעי לאחר מיון. למשל, לאחר מיון (2,9,7,2,3) מתקבלת (2,2,3,7,9) שאמצעה 3, ולכן Median(2,9,7,2,3)=3. כאשר אורך הרשימה זוגי, החציון מוגדר כקטן מבין שני האמצעיים — למשל Median(1,2,4,9)=2.

ברשותנו גישה לשני בסיסי נתונים נפרדים, בכל אחד רשימה ממוינת של n מספרים. עלינו לחשב את החציון של כל 2n המספרים, וברצוננו למזער את מספר הגישות לבסיסי הנתונים (איננו קוראים את כל 2n המספרים). מכל בסיס אפשר לקבל מענה מיידי לשאילתה "מהו המספר במיקום m ברשימה הממוינת?". הציגו אלגוריתם הפרד-ומשול המחשב את החציון של כל 2n המספרים תוך ביצוע Θ(logn) שאילתות בלבד. (הניחו לשם פשטות שכל הקריאות הרקורסיביות מטפלות ברשימות באורך זוגי.)
העתק שאלה
שתף שאלה
סמן כחשוב
סמן כבוצע
האוניברסיטה הפתוחהמועד 89 · 2022 · סמסטר ב
★★★★★
הפרד ומשולרקורסיהנוסחת נסיגה
מהו הפלט של טרנספורם פורייה הדיסקרטי DFTn​ מסדר n, כאשר הקלט הוא (1,1,…,1) — כלומר וקטור המקדמים של הפולינום p(x)=1+x+x2+⋯+xn−1?
העתק שאלה
שתף שאלה
סמן כחשוב
סמן כבוצע
שאלה חוזרתהאוניברסיטה הפתוחה2021 סמסטר א מועד 77 | 2022 סמסטר א מועד 94 | מבחן דוגמא
★★★★★
התמרת פורייה מהירההוכחה

אלגוריתמים – עיצוב וניתוח אלגוריתמים, תכנות דינמי, אלגוריתמים חמדניים וגרפים. נושאים מרכזיים: סיבוכיות, חיפוש, גרפים, הפרד ומשול, הוכחת נכונות. 69 שאלות ממבחנים עם פתרונות, ממוינות לפי נושא ורמת קושי. ניתן לתרגל לפי נושאים, לסנן שאלות חוזרות ולהריץ מבחני סימולציה לפני הבחינה. הכנה לאלגוריתמים מתמקדת בתכנות דינמי, אלגוריתמים חמדניים וגרפים — הנושאים הנפוצים ביותר במבחנים. לימוד עצמי עם שאלות ממבחני עבר, ממוינות לפי נושא ורמת קושי, הוא הדרך הכי יעילה לזהות פערים לפני הבחינה. המאגר כולל שאלות מהאוניברסיטה הפתוחה.

לפי מוסד:אלגוריתמים האוניברסיטה הפתוחה
לפי נושא:סיבוכיותסימון אסימפטוטיניתוח אלגוריתמיםמשפט האבנוסחת נסיגהתכנות דינמיאלגוריתמים חמדנייםהפרד ומשולרקורסיהחיפושחיפוש בינאריגרפיםמסלולים קצרים
דייקסטרה
בלמן-פורד
פלויד-וורשל
עץ פורש מינימלי
קרוסקל
פרים
זרימה ברשתות
רדוקציה
ספיקות
התמרת פורייה מהירה
הוכחת נכונות
שמורת לולאה
מעקב אחר אלגוריתם
הוכחה
הוכח או הפרך