מבני נתונים ואלגוריתמים - מחברת קורס/אלגוריתמים/סדרי גדילה: הבדלים בין גרסאות בדף

תוכן שנמחק תוכן שנוסף
Atavory (שיחה | תרומות)
Atavory (שיחה | תרומות)
שורה 10:
==הפונקציות בהן נעסוק==
לרוב נעסוק בפונקציות המתארות את זמן הריצה של אלגוריתם (או חלק מאלגוריתם).
לכן נתמקד בפונקציות מהצורה <math dir = "ltr">\displaystyle f(n)</math> בעלות המאפיינים הבאים:
*תחום ההגדרה שלהןחיובי הואשלם: <math dir = "ltr">\displaystyle f(n) </math> מוגדרת עבור ערכי <math dir = "ltr">\displaystyle n</math> שלמים חיוביים. (למרותתחום שנציירההגדרה מציין את הפונקציותגודל כרציפות)הקלט.
*ערך חיובי וסופי: לכל <math dir = "ltr">\displaystyle n</math> חיובי ושלם, <math dir = "ltr">\displaystyle 0 < f(n) < \infty</math>. עבור גודל קלט כלשהו, זמן הריצה הוא חיובי ממש וסופי (נזכר ש[[מבני נתונים ואלגוריתמים - מחברת קורס/אלגוריתמים/חיפוש לינארי ובינרי#הוכחת נכונות|אלגוריתם פועל בזמן סופי עבור קלט בגודל סופי]]).
*הטווח שלהן תמיד חיובי (כי תמיד לוקח ''איזשהו'' זמן לעשות משהו).
*הן מונוטוניות לא יורדותיורדת: <math dir = "ltr">\displaystyle n > m \Rightarrow f(מפניn) שנטפל\ge f(m)</math>. נטפל בבעיות שעבורן "יותר קשה" לפתור בעיות גדולות מבעיות קטנות).
 
==קבוצות סדרי הגדילה==