באופן ריק – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מאין תקציר עריכה
מ קישור עצמי
תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד
שורה 7:
דרך נוספת ושקולה לראות טענה המתקיימת "באופן ריק" היא על ידי כך שחושבים עליה כעל טענה שמתקיימת רק עבור [[הקבוצה הריקה|קבוצה ריקה]] של עצמים. למשל, הטענה "כל הקרנפים ההולכים רק על שתיים הם שקרנים ואין לסמוך עליהם" מתקיימת באופן ריק, שכן אין קרנפים שהולכים רק על שתי רגלים. למעשה, אפשר להגדיר את הקבוצה הריקה עצמה באמצעות תנאי ריק, למשל כקבוצת כל האיברים שאינם שווים לעצמם.
 
הגדרה זו חיונית להבנה של אלגוריתמים רבים במדעי המחשב. למשל, באלגוריתם [[מיון מיזוג]], חוצים את המערך שוב ושוב עד לקבלת מערכים בעלי איבר אחד, שהם ממוינים [[באופן ריק]], שכן, לא קיימים במערך כזה זוג איברים שסותרים את המיון, מכיוון שלא קיימים במערך זה זוג איברים כלל. באופן כללי, באלגוריתמים רקורסיביים מתבססים על נכונות [[באופן ריק]] פעמים רבות.
 
{{קצרמר|מתמטיקה}}