תרגיל 1
עבור הבעיה הבאה:
כמה אפשרויות יש לסידור אנשים במעגלים כך שאין חשיבות לסדר בין המעגלים אך יש חשיבות לסדר בכל מעגל ואין מעגלים ריקים?
קיבלנו בתרגול את נוסחת הנסיגה עם תנאי ההתחלה כאשר מוגדר עבור .
מצאו ביטוי מופרש ל- עבור
נוכיח באינדוקציה כי .
הוכחה:
בסיס: עבור מתקיים כי . תנאי ההתחלה של הינו ולכן זה מתקיים.
צעד: נניח כי ונוכיח כי .
לכן, לכל מתקיים
∎
חשבו על פתרון ישיר לבעיה הנותן את התוצאה שיצאה בסעיף א' ללא שימוש בנוסחאות נסיגה או אינדוקציה.
הדרכה: ניתן להגדיר פונקציה חח"ע ועל מקבוצת ערכים לבחירתכם אל אוסף הפתרונות של הבעיה כך שמתקיים כי כאשר היא התוצאה מסעיף א'. חשוב לשים לב יש להוכיח כי הפונקציה חח"ע ועל ונדרש להוכיח את השוויון ולכן פתרון המשתמש באוסף פתרונות של הבעיה בתור כמובן אינו יקבל ניקוד.
רמז: נסו לחשוב על מיפוי בין כל אדם לבין האדם היושב לידו עם כיוון השעון. האם ההעתקה הזו חח"ע? האם היא על?
הוכחה:
תהי קבוצת כל הסידורים של אנשים בשורה ותהי קבוצת כל הסידורים של אנשים במעגלים לפי הגדרת השאלה.
נסמן כל אדם באינדקס .
נגדיר פונקציה באופן הבא:
- אם אדם במעגל לבדו, אזי
- אם אדם במעגל לא לבד, אזי בהכרח קיים אדם מימינו. נגדיר .
כאשר הוא המקום של בשורה.
נראה כי הפונקציה חח"ע ועל:
-
חח"ע: נניח בשלילה כי קיימים כך ש-. נחלק למקרים:
- קיים אדם כך ש- ומתקיים . אזי, לפי הגדרת , האדם עומד משמאל לאדם וגם האדם עומד משמאל לאדם . אך אם הוא משמאלו של אז הוא משמאלו של ואם הוא לשמאלו של אז הוא לשמאלו של ולכן בהכרח .
- אם אזי, לפי הגדרת אדם במעגל לבדו, וגם, אדם נמצא במעגל עם אדם . אדם אחד לא יכול להיות גם במעגל לבד וגם במעגל עם עוד מישהו ולכן בהכרח
- באותו האופן עבור .
לכן, ולכן, לפי הגדרה, חח"ע.
-
על: לא יכול להיות מצב בו אדם לא נמצא במעגל: אם הוא לבד, אז קיים מצב לזה ואם הוא לא לבד אז בהכרח יש מישהו מימינו, שכן זה מעגל ולכן לכל אדם יש מישהו שעומד מימנו.
לכן, הפונקציה על.
לכן, מכיוון שיש פונקציה הפיכה מ- לקבוצת כל הסידורים של אנשים במעגלים, מתקיים כי שווה למספר האפשרויות לסדר אנשים במעגלים.
הגודל של הוא בדיוק תמורה של כל האנשים ולכן .
לכן, מספר האפשרויות לסדר אנשים במעגלים לפי הגדרת השאלה הוא .
∎
יהי קבוע שלם חיובי נתון. נסמן ב- עבור את מספר הדרכים לסדר אנשים במעגלים ללא חשיבות לסדר בין המעגלים אך עם חשיבות לסדר בכל מעגל כך שבכל מעגל יש לפחות אנשים.
מצאו נוסחת נסיגה ותנאי התחלה מתאימים ל-.
נסתכל על האדם ונחלק למקרים על בסיס כמות האנשים שנמצאים במעגל של האדם .
אם נמצא במעגל שגודלו בדיוק אז נדרש לבחור לו שותפים אשר יעמדו איתו במעגל. מכיוון שיש אנשים לבחור וזו בחירה בלי חזרות ללא חשיבות לסדר, אזי יש לנו דרכים לבחור אותם. כעת, נדרש לסדר את המעגל, לכך יש לנו אפשרויות שכן מיקום האדם הראשון לא משנה. כעת, נשארו לנו אנשים לסדר במעגלים שגודלם או יותר ולכן זה בדיוק . לכן, לפי עקרון הכפל, עבור המקרה הזה יש בדיוק אפשרויות ליצור את המעגלים.
אם האדם נמצא במעגל עם אנשים או יותר, נדרש רק לסדר את כל ה- אנשים במעגלים חוקיים, שזה בדיוק אפשרויות ואז, להוסיף את האדם ה- לאחד המעגלים לצורך זה יש לנו בכל מעגל אפשרות לשבת ליד כל אחד מהאנשים. יש אנשים ולכן יש לו מקומות לשבת בהם. לכן, לפי עקרון הכפל, במצב הזה יש לבדיוק אפשרויות.
לכן, לפי עקרון הכפל מתקיים:
עם תנאי ההתחלה: ובנוסף לכל מתקיים שכן אין מספיק אנשים למעגל אחד.
מצאו תשובה ישירה לסעיף ג' עבור המקרה בו .
נסתכל על סעיף ב' מחדש ועל הפונקציה ממנו.
במצב בו לא קיים אדם אשר נמצא במעגל לבד. כלומר, לא קיים כך ש-.
כלומר, בסידור של הקבוצה נרצה שלא יהיה אף סידור בו קיים אדם שנמצא במקום ה- ואז נקבל בדיוק את מספר האפשרויות.
מספר האפשרויות לסידורים כאלו הוא בדיוק לאור הנ"ל.
לכן, זהו מספר האפשרויות עבור המקרה .
נסמן ב- עבור את מספר הדרכים לסדר אנשים במעגלים ללא חשיבות לסדר בין המעגלים אך עם חשיבות לסדר בכל מעגל כך שבכל מעגל יש לפחות אנשים(כולל) ולכל היותר אנשים(כולל).
מצאו נוסחת נסיגה ותנאי התחלה מתאימים ל-.
נתבסס על נוסחת הנסיגה מסעיף ג' ונראה כיצד נוכל לתקנה עבור המקרה הזה.
נדרש אם כך, להוריד את כל האפשרויות בהן קיים מעגל המכיל יותר מ- אנשים, לשם כך, אנו לא צריכים לתקן שום דבר במקרה הראשון, שכן הוא מתעסק עם מעגל של אנשים שזה מספר קטן או שווה ל-.
לכן, נתרכז במקרה השני ונראה כיצד נוכל להוריד ממנו את האפשרויות בהן אנו מקבלים מעגל הגדול יותר מ-.
המקרה השני נותן לנו את כל המעגלים מסודרים על פי הקריטריונים למעט אחד - המעגל בו נמצא האיש אשר יכול להיות בגודל של שכן אנו מוסיפים אדם אחד לאחד מהמעגלים שסידרנו. לכן, נדרש להוריד את כל האפשרויות בהן קיים מעגל אחד בו אנשים.
מספר האפשרויות שזה יתקיים הוא מספר האפשרויות לסדר מעגל אחד של אנשים ובכך, נבחר אנשים מתוך , לכך יש בדיוק אפשרויות. לאחר מכן, נסדר את האנשים במעגל ולכך יש בדיוק אפשרויות שכן זוהי תמורה של האנשים שכן המיקום של האיש הראשון במעגל לא משנה, אלא משנה מיקום כל האנשים ביחס אליו. בסוף, נדרש ליצור את שאר המעגלים החוקיים ולכך יש לנו בדיוק אפשרויות. לכן לפי עקרון הכפל מספר האפשרויות למקרה הפסול הזה הינו: .
לכן, מספר האפשרויות לסידור אנשים במעגלים כנדרש בסעיף הינו:
בסעיפים הבאים ניתן להשתמש בביטוי .
נתונות משפחות, בכל משפחה גבר, אישה ו- ילדים.
בכמה דרכים ניתן לחלק את האנשים למעגלים בגודל ללא חשיבות לסדר בין המעגלים אך עם חשיבות לסדר בכל מעגל כך שבכל מעגל יש גבר, אישה ו- ילדים - לא בהכרח מאותה משפחה?
יהיו מעגלים. תחילה נשים בכל מעגל גבר אחד ואז נבחר את האישה לכל מעגל, זוהי תמורה שכן אין חשיבות להאם האישה מאותה משפחה עם הגבר ולכן יש לזה אפשרויות.
כעת, נבחר מתוך הילדים את הילדים לכל מעגל. לכל מעגל יש ילדים שיהיו בו ולכן, זוהי בחירה של למעגל הראשון ואז למעגל השני ועד למעגל האחרון. לכן, לבחירות האלו יש:
אפשרויות. כעת, בכל מעגל נדרש לסדר את האנשים שיש לנו. נבחר אחד שיהיה המיקום הראשוני ואת השאר נבחר ביחס אליו בתצורת תמורה ולכן זה בדיוק . את פעולה זו אנו עושים ל- עגלים ולכן, לפי עקרון הכפל: .
לכן, לפי עקרון הכפל, מספר האפשרויות שיש לנו לסדר משפחות במעגלים בגודל הינן:
בכמה דרכים ניתן לחלק את האנשים למעגלים בגודל ללא חשיבות לסדר בין המעגלים, אך עם חשיבות לסדר בכל מעגל כך שלפחות מעגל אחד מכיל משפחה מקורית - כלומר, גבר, אשתו ו- ילדיהם.
נתחיל בלבחור את המשפחה שתשאר יחדיו. לכך יש לנו אפשרויות בחירה.
כעת, נבצע את אותו הדבר שעשינו ממקודם עבור משפחות שכן כעת מובטח לנו שיהיה מעגל אחד בלבד שמכיל משפחה שלמה ולכן, לזה יהיו אפשרויות לפי סעיף קודם.
לכן, לפי עקרון הכפל, מספר האפשרויות לסדר את המעגלים לפי נתוני השאלה הינו:
תרגיל 3
נסמן ב- את מספר הדרכים לחלק את ל- מחוברים אי שליליים שלמים שונים.
לדוגמה, עבור ניתן לחלק ל- ולכן .
מצאו נוסחת נסיגה ותנאי התחלה מתאימים ל- עבור .
נחלק את הבעיה למקרים:
- אם הוא אחד המחוברים, הבעיה שלנו מצטמצמת לפחות מחובר אחד עם אותו ה- הסופי. זה בדיוק .
- אם הוא אינו אחד המחוברים, אנו יודעים שכל המחוברים חיוביים ולכן, אם נחסר מכל אחד מהם אחד, כל המחוברים ישארו אי שליליים. זה מצמצם את הבעיה שלנו שכן כעת יש לנו דרישה לשוויון ל-. זה בדיוק אפשרויות.
לכן, נוסחת הנסיגה שלנו הינה:
עם תנאי ההתחלה:
- עבור מתקיים .
- עבור מתקיים .
- עבור מתקיים .
- עבור מתקיים .
תרגיל 5
רצף כדורים שחורים ולבנים יקרא מושלם אם הוא מתחיל ומסתיים בכדור לבן ובין כל שני כדורים לבנים יש רצף כדורים שחורים באורך לפחות ולכל היותר .
מצאו נוסחת נסיגה ותנאי התחלה למספר הרצפים ה- מושלמים באורך כאשר נתון כי .
חשוב לשים לב! נתונים. כלומר, יש להגדיר פונקציה המשתמשת ב- כקבועים.
ניתן להניח כי .
נחלק למקרים עבור מספר הכדורים השחורים שנמצאים אחרי הכדור הלבן הראשון ונסמנו . לכל מקרה כזה, נשים בסוף הרצף של הכדורים השחורים כדור לבן אחד ואז, נדרש לבנות רצף מושלם באורך שכן הכדור הלבן שסוגר את הבלוק הזה הוא האחד שפותח את ההבא. שזה בדיוק .
לכן, נוסחת הנסיגה שלנו היא:
עם תנאי ההתחלה הבאים:
- עבור כדור בודד, הוא יכול להיות לבן ומכיוון שאין שניים, אין תנאים שצריך לקיים ולכן .
- עבור אין מספיק מקום לרצף יחיד באורך מינימלי של ולכן .
- עבור יש מקום לרצף אחד ולכן .
- עבור האורך גדול מדי לרצף אחד אך קטן מידי לשני רצפים ולכן .
תרגיל 7
הוכיחו קומבינטורית:
הוכחה:
בעיה: כמה אפשרויות יש לחלק כדורים ל- תאים שונים כך שבכל תא יהיה מקסימום כדור יחיד.
צד שמאל: נפתור בעיה זו באמצעות הכלה הפרדה.
העולם שלנו יהיה חלוקה של כדורים ל- תאים שונים כך שבכל תא יש מספר אי שלילי של כדורים. לכך, לפי משפט, יש בדיוק אפשרויות.
עבור כל הקבוצה תהיה כל האפשרויות לחלק כדורים ל- תאים שונים כך שבתא ה- יש לפחות 2 כדורים.
בבעיה יש סימטריה.
לכן, נסתכל על הגודל של הקבוצה . בקבוצה זו, תמיד בתא הראשון יהיו לפחות 2 כדורים. לכן, ישארו לנו לסדר כדורים ב- תאים, שכן בתא יש לפחות 2 כדורים. לכן .
נסתכל על עבור :
גודל הקבוצה היא מספר האפשרויות לחלק כדורים ל- תאים שונים כך שבתאים יש כבר כדורים מתוך ה- כדורים אך אנו עדיין יכולים להוסיף לתאים אלו עוד כדורים. לכן, נדרש למצוא את מספר האפשרויות לחלק כדורים זהים ל- תאים שונים וזה, לפי משפט, בדיוק . לכן:
לכן, לפי הגדרה:
וזהו הפתרון לבעיה.
צד ימין: מכיוון שבכל תא יש מקסימום כדור אחד, אחרי שבחרנו תא לא נוכל לבחור בו שוב. לכן, זוהי בחירה של איברים מתוך בלי חזרות ושהסדר אינו חשוב. לכן, זה בדיוק .
מכיוון ששני הצדדים הם ייצוגים שונים של אותה הבעיה הם שקולים ולכן:
∎