צירוף (קומבינטוריקה)

צֵירוּף או קוֹמְבִּינַצְיָה הוא בחירה של פריטים מקבוצת איברים שונים, כך שסדר הבחירה אינו משנה (בניגוד לתמורה). באופן פורמלי, צירוף של  איברים מקבוצה , הוא תת-קבוצה בת  איברים שונים של . לכן, שני צירופים זהים אם ורק אם לכל צירוף יש אותם איברים. סדר האיברים חסר משמעות.

צירוף ללא חזרות 
אם בקבוצה  יש  איברים, מספר הצירופים בגודל  מסומן כ-, כאשר  הוא שווה למקדם הבינומי:  אם  אז .

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

דוגמה 
בהינתן 3 פירות: תפוח, תפוז ואגס, ועלינו לבחור שניים, יש שלושה צירופים אפשריים: תפוח ואגס; תפוח ותפוז; או אגס ותפוז. בדוגמה זו, הקבוצה קטנה מספיק בכדי להציג את כל הצירופים. אבל זה לא יהיה פרקטי עבור קבוצות גדולות יותר. למשל, ניתן לתאר יד פוקר כצירוף של 5 קלפים () מחפיסת בת 52 קלפים (). 5 הקלפים ביד שונים, והסדר שלהם לא משנה. יש  צירופים כאלה, והסיכוי לכל יד כזו הוא .

צירוף עם חזרות 
צירוף הוא קבוצה של  דברים שנלקחו בכל פעם ללא חזרה. כדי להתייחס לצירופים שבהם החזרה מותרת, נדרש לציין זאת. אם בדוגמה של שלושת הפירות, אפשר היה לקבל שני פירות מאותו סוג, היו נוספות עוד 3 אפשרויות: שני תפוחים; שני תפוזים; שני אגסים.

צירוף  איברים עם חזרות, מקבוצה  בגודל , נתון על ידי קבוצה של  איברים לא בהכרח שונים מהקבוצה . גם כאן הסדר אינו נלקח בחשבון. לכן, שני צירופים הם זהים, אם ניתן לקבל את האחד מהשני על ידי שינוי הסדר. במילים אחרות, זהו מדגם של  איברים מקבוצה בגודל , המאפשרים כפילויות (כלומר, עם חזרה) אך תוך התעלמות מסדרים שונים (למשל: ).

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

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

דוגמה 
אם בתפריט יש ארבעה סוגי סופגניות () ונרצה להזמין שלוש סופגניות (), ניתן לחשב את מספר הדרכים לבחירת הסופגניות עם חזרה באמצעות הנוסחה: . 

ניתן לאמת תוצאה זו על ידי רישום כל תתי המולטי-קבוצות בגודל של 3 של הקבוצה . כפי שמוצג בטבלה (להלן) העמודה השנייה מפרטת את הסופגניות שנבחרו, העמודה השלישית מציגה את הפתרונות המספרים השלמים האי-שליליים  של המשוואה , העמודה האחרונה מציגה את הכוכבים והמחיצות של הפתרונות.

קישורים חיצוניים

הערות שוליים 

ערכים שבהם תבנית בריטניקה אינה מתאימה
קומבינטוריקה