חזור לתיקייה: תרגול

3 - צירופים עם חזרות והוכחות קומבינטוריות

חיפוש בתיקיה
Ctrl K
לחץ כאן או הקש Ctrl K כדי לחפש בכל התיקיה
  • כללי
  • הוכחות קומבינטוריות

3 - צירופים עם חזרות והוכחות קומבינטוריות

02340141

קומבינטוריקה למדעי המחשב

רשימות תרגול לקריאה בשבת

צירופים עם חזרות והוכחות קומבינטוריות

הופק מתוך תקיית התואר של שקד

uni-folder.vercel.app

תרגיל

דרך קו תקשורת רוצים להעביר 555 אותיות נתונות שונות ו-202020 רווחים זהים שצריכים להפריד ביניהן. בין כל שתי אותיות חייב להפריד לפחות רווח אחד וכל הרווחים חייבים להמצא בין האותיות ולא בצדדים.
מהו מספר ההודעות החוקיות?

נקבע את הסדר בין האותיות - 5!5!5!.
נוכל להכניס בין כל אות ואות מספר רווחים מסויים אך לא נוכל להכניס בקצוות רווחים. בנוסף, נדרש כי בכל מרווח מה-4 שיש לנו, יהיה רווח אחד לפחות.
תחילה נכניס רווח אחד לכל אחד המרווחים - נשאר עם 161616 רווחים אותם נרצה להכניס. 161616 הרווחים הללו זהים ולכן, יש C416\mathbb{C}_{4}^{16}C416​.

תרגיל

כמה פתרונות טבעיים יש למשוואות הבאות:

1.∑i=1100xi=2000≤xi∈Z2.∑i=1100xi=2001≤xi∈Z3.∑i=1100xi≤2000≤xi∈Z4.∑i=1100xi=20xi∈{0,1}5.∑i=1100xi≤100xi∈{0,1}\begin{array}{} 1. & \sum_{i=1}^{100}x_{i}=200 & 0\leq x_{i}\in \mathbb{Z} \\ 2. & \sum_{i=1}^{100}x_{i}=200 & 1\leq x_{i}\in \mathbb{Z} \\ 3. & \sum_{i=1}^{100}x_{i}\leq 200 & 0\leq x_{i}\in \mathbb{Z} \\ 4. & \sum_{i=1}^{100}x_{i}=20 & x_{i}\in \left\{ 0,1 \right\} \\ 5. & \sum_{i=1}^{100}x_{i}\leq100 & x_{i}\in \left\{ 0,1 \right\} \end{array}1.2.3.4.5.​∑i=1100​xi​=200∑i=1100​xi​=200∑i=1100​xi​≤200∑i=1100​xi​=20∑i=1100​xi​≤100​0≤xi​∈Z1≤xi​∈Z0≤xi​∈Zxi​∈{0,1}xi​∈{0,1}​

פתרון 111:
הבעיה שקולה לחלוקת 200 כדורים זהים ל-100 תאים שונים ולכן, לפי משפט:

C100200\mathbb{C}_{100}^{200}C100200​

פתרון 2:
הבעיה שקולה לחלוקת 200 כדורים זהים ל-100 תאים כך שאין אף תא ריק. לכן, נשים תחילה כדור אחד בכל תא, נשאר עם 100100100 כדורים ואז נותרנו עם בעיה השקולה לחלוקת 100 כדורים זהים ל-100 תאים שונים. לכן, לפי משפט:

C100100\mathbb{C}_{100}^{100}C100100​

באופן יותר פורמלי נוכל לבצע החלפת משתנים כך:

yi=xi−1  ⟹  ∑i=1100yi=∑i=1100(xi−1)=∑i=1100xi−100=200−100=100y_{i}=x_{i}-1 \implies \sum_{i=1}^{100}y_{i}=\sum_{i=1}^{100}(x_{i}-1)=\sum_{i=1}^{100}x_{i}-100=200-100=100yi​=xi​−1⟹i=1∑100​yi​=i=1∑100​(xi​−1)=i=1∑100​xi​−100=200−100=100

פתרון 3:
מהדרישה כי הסכום קטן או שווה ל-200200200 נקח וניצור משתנה נוסף: x101x_{101}x101​ אשר יכיל את 200−∑i=1100xi200-\sum_{i=1}^{100}x_{i}200−∑i=1100​xi​ ואז:

∑i=1101xi=200\sum_{i=1}^{101}x_{i}=200i=1∑101​xi​=200

ולכן, כמו בסעיף הראשון נקבל:

C101200\mathbb{C}_{101}^{200}C101200​

פתרון 4:

הערה (למה מהדרישה פה לא נוכל להשתמש ב-C\mathbb{C}C?)

בגלל ש-xix_{i}xi​ יכול להיות רק 000 או 111 לא נוכל להשתמש ב-C\mathbb{C}C. למה? אולי רק ה' יודע מה המתרגל אמר.

בתכלס, נדרש ל-202020 משתנים שונים שיהיו 1 ו-808080 שונים שיהיו 0.
בחירה של 202020 משתנים מתוך 100100100 הינה:

C10020C_{100}^{20}C10020​

פתרון 5:
גם פה לא נוכל להשתמש ב-C\mathbb{C}C כי המשתנים לא יכולים לקבל כל ערך.
אין הגבלה על הפתרונות, כל xix_{i}xi​ יכול להיות או 000 או 111 והסכום יהיה מקסימום 100100100 כנדרש. לכן:

2⋅2⋯2=21002\cdot2\cdots2=2^{100}2⋅2⋯2=2100

הוכחות קומבינטוריות

הערה

לפחות באחד מהמועדים תהיה הוכחה קומבינטורית.

נגדיר בעיה קומבינטורית(לדוגמה: מספר הדרכים לבחור וועד בגודל 2 מתוך nnn)
צד ימין: נפתור את הבעיה ונקבל BBB.
צד שמאל: נפתור את הבעיה ונקבל AAA.
מסקנה: A=BA=BA=B.

דוגמה

הוכיחו קומבינטורית(וללא פישוטים אלגבריים) כי מתקיים:

(2n2)=2(n2)+n2\begin{pmatrix} 2n \\ 2 \end{pmatrix}=2\begin{pmatrix} n \\ 2 \end{pmatrix}+n^2(2n2​)=2(n2​)+n2

ענן המחשבות:
צד שמאל: בחירה של 2 שונים מתוך 2n2n2n ללא חשיבות לסדר.
צד ימין: החיבור מסמל הפרדה למקרים זרים.
במקרה הראשון, 2(n2)2\begin{pmatrix}n\\2\end{pmatrix}2(n2​), זוהי בחירה בין ה-nnn הראשונים של n2n^2n2 ואז בין nnn האחרונים של n2n^2n2 ואז בחירה של 222 מכל אחד מהם.
במקרה השני, n2n^2n2, יש לנו בחירה של 1 מתוך nnn ואז עוד בחירה של 1 מתוך nnn.

הוכחה:
בעיה: בכמה דרכים ניתן לבחור 2 נציגים מתוך קבוצה בגודל של 2n2n2n המורכבת מ-nnn בנים ו-nnn בנות.
צד ימין: בחירה של 2 מתוך 2n2n2n. כלומר, (2n2)\begin{pmatrix}2n\\ 2\end{pmatrix}(2n2​).
צד שמאל: נפריד למקרים: שני הנציגים מאותו המין או שלא.
במקרה הראשון, שני הנציגים מאותו המין ואז יש שני אפשרויות: בחירה ב-2 בנים ובחירה ב-2 בנות ולכן זה בדיוק 2(n2)2\begin{pmatrix}n\\ 2\end{pmatrix}2(n2​).
במקרה השני, הנציגים ממינים שונים ואז זה n2n^2n2.
לכן, נקבל כי צד שמאל יהיה 2(n2)+n22\begin{pmatrix}n\\ 2\end{pmatrix}+n^22(n2​)+n2.

לכן, מתקיים (2n2)=2(n2)+n2\begin{pmatrix}2n\\ 2\end{pmatrix}=2\begin{pmatrix}n\\ 2\end{pmatrix}+n^2(2n2​)=2(n2​)+n2.
∎

הערה (אהההההההההההההההההההההההההההההההה)

אסור אף פעם בבחינה לפשט ביטויים אלגבריים - לא להפוך 2⋅22 \cdot 22⋅2 ל-444 ולא להפוך 2n2n2n ל-n2n2n2.