חזור לתיקייה: 02340141 - קומבינטוריקה למדעי המחשב

1 - בעיות ספריה בסיסיות

חיפוש בתיקיה
Ctrl K
לחץ כאן או הקש Ctrl K כדי לחפש בכל התיקיה
  • כללי
  • עקרונות בסיסיים
  • חליפות וצירופים
  • ספירת חליפות
  • ספירת צירופים
  • סופרים את שאר הדברים
  • כשאין חשיבות לסדר ויש חזרות

1 - בעיות ספריה בסיסיות

02340141

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

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

בעיות ספריה בסיסיות

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

uni-folder.vercel.app

דוגמה

תוצאות אפשריות של קוביה: {1,2,3,4,5,6}\left\{ 1,2,3,4,5,6 \right\}{1,2,3,4,5,6}
כמה תוצאות יש להטלת קובייה? ∣{1,2,3,4,5,6}∣=6|\left\{ 1,2,3,4,5,6 \right\}|=6∣{1,2,3,4,5,6}∣=6
כמה תוצאות יש להטלת קוביה ∣{A,B,C,D,E,F}∣=6?ABC|\left\{ A,B,C,D,E,F \right\}|=6\quad ?ABC∣{A,B,C,D,E,F}∣=6?ABC

דוגמה

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

000100010001110011101111\begin{matrix} 000 & 100 & 010 & 001 & 110 & 011 & 101 & 111 \end{matrix}000​100​010​001​110​011​101​111​
דוגמה

כמה תוצאות אפשריות יש להטלה של שלושה מטבעות זהים?
שלוש פעמים 1, פעמיים 1 ופעם 0, פעמיים 0 ופעם 1, שלוש פעמים 0.

עקרונות בסיסיים

משפט (עקרון הסכום)

אם X,YX,YX,Y קבוצות זרות אזי:

∣X∪Y∣=∣X∣+∣Y∣|X \cup Y|=|X|+|Y|∣X∪Y∣=∣X∣+∣Y∣
דוגמה

כמה תוצאות אפשריות ישנן להטלת קוביה ABCABCABC או קוביית מספרים 1−61-61−6?

X={1,2,3,4,5,6}Y={A,B,C,D,E,F}X=\left\{ 1,2,3,4,5,6 \right\} \qquad Y=\left\{ A,B,C,D,E,F \right\}X={1,2,3,4,5,6}Y={A,B,C,D,E,F} ∣X∪Y∣=∣X∣+∣Y∣=6+6=12|X \cup Y|=|X|+|Y|=6+6=12∣X∪Y∣=∣X∣+∣Y∣=6+6=12

ניתן להסתכל על זה גם בצורה של תמונות - כמה תמונות שונות יכולות להיות לנו מהטלת שתי הקוביות.

משפט (עקרון ההפרש)

אם X,YX,YX,Y קבוצות סופיות ו-Y⊆XY \subseteq XY⊆X אזי

∣X∖Y∣=∣X∣−∣Y∣|X \setminus Y|=|X|-|Y|∣X∖Y∣=∣X∣−∣Y∣

נשתמש בו כאשר נדרש לבצע אילוצים על קבוצה קיימת.

דוגמה

כמה תתי קבוצות יש ל-{1,2,3}\left\{ 1,2,3 \right\}{1,2,3} המכילות לפחות 2 איברים?
יש 444 קבוצות המכילות איבר אחד או פחות ולכן לפי עקרון ההפרש:

∣X∖Y∣=∣X∣−∣Y∣=8−4=4|X\setminus Y|=|X|-|Y|=8-4=4∣X∖Y∣=∣X∣−∣Y∣=8−4=4
משפט (עקרון הכפל)

אם X,YX,YX,Y קבוצות סופיות אזי

∣X×Y∣=∣X∣⋅∣Y∣|X\times Y|=|X|\cdot |Y|∣X×Y∣=∣X∣⋅∣Y∣
דוגמה

כמה תוצאות אפשריות ישנן להטלת קוביית ABCABCABC בנוסף להטלת קוביית מספרים 1−61-61−6?

∣X×Y∣=∣X∣⋅∣Y∣=6⋅6=36|X\times Y|=|X|\cdot |Y|=6\cdot6=36∣X×Y∣=∣X∣⋅∣Y∣=6⋅6=36

בתיאור גרפי:
​קומבי קומבי קומבי הרצאה 1 תמונה 1.png

דוגמה

נתונים שישה סטודנטים(A−FA-FA−F)
בכמה אפשרויות ניתן לבחור מתוכם ועד של שני סטודנטים?

נפתור תחילה בעיה אחרת: כמה אפשרויות יש לנו אם הסדר בוועד חשוב.
תחילה יש לנו 6 אפשרויות לבחור יו"ר ואז 5 אפשרויות לבחור סיו"ר ולכן יש 6⋅5=306\cdot 5=306⋅5=30 אפשרויות.

כעת, נפתור את הבעיה כאשר הסדר לא חשוב.
לכל אפשרות למקרה בו הסדר אינו חשוב - למשל {A,B}\left\{ A,B \right\}{A,B} - מתאימות שתי אפשרויות למקרה בו הסדר חשוב: (B,A),(A,B)(B,A),(A,B)(B,A),(A,B) ולכן, נקבל 151515 אפשרויות לסידור.
​קומבי הרצאה 1 תמונה 2.png

דוגמה

Θ={A,B,…,Z}  ⟹  ∣Θ∣=n=26\Theta=\left\{ A,B,\dots,Z \right\} \implies |\Theta|=n=26Θ={A,B,…,Z}⟹∣Θ∣=n=26 Ω={0,1,…,99}  ⟹  ∣Ω∣=m=100\Omega=\left\{ 0,1,\dots,99 \right\} \implies |\Omega|=m=100Ω={0,1,…,99}⟹∣Ω∣=m=100
  1. מספר האפשרויות בלחור איבר מ-Θ\ThetaΘ הוא 262626
  2. מספר האפשרויות לבחור איבר מ-Θ\ThetaΘ או מ-Ω\OmegaΩ הוא ∣Θ∪Ω∣=n+m=126|\Theta \cup\Omega|=n+m=126∣Θ∪Ω∣=n+m=126
  3. מספר האפשרויות לבחור איבר מ-Θ\ThetaΘ ואיבר שני מ-Ω\OmegaΩ הוא ∣Θ×Ω∣=n⋅m=2600{|\Theta \times\Omega|}=n\cdot m=2600∣Θ×Ω∣=n⋅m=2600
  4. מספר האפשרויות לבחור שני איברים שונים מ-Θ\ThetaΘ עם חשיבות לסדר n(n−1)=26⋅25n(n-1)=26\cdot25n(n−1)=26⋅25 ובלי חשיבות לסדר הבחירה n(n−1)2=26⋅252\frac{n(n-1)}{2}=\frac{26\cdot 25}{2}2n(n−1)​=226⋅25​.
  5. מספר האפשרויות לסדר את האיברים של Θ\ThetaΘ בשורה יש לנו n!n!n! אפשרויות
    זאת מכיוון שיש לנו nnn אפשרויות לשים את האיבר הראשון ואז n−1n-1n−1 אפשרויות לאיבר השני וכך הלאה.
הגדרה 1 (תמורה)

סידור של קבוצה נקרא תמורה. עוצמת קבוצת כל התמורות של קבוצה {1,2,…,n}\left\{ 1,2,\dots,n \right\}{1,2,…,n} מסומנת PnP_{n}Pn​ והיא שווה ל-n!n!n!.

משפט

Pn+1=(n+1)!=(n+1)PnP_{n+1}=(n+1)!=(n+1)P_{n}Pn+1​=(n+1)!=(n+1)Pn​ Pn=Pn+1n+1P_{n}=\frac{P_{n+1}}{n+1}Pn​=n+1Pn+1​​

עבור n=0n=0n=0 מתקיים P0=P11=1P_{0}=\frac{P_{1}}{1}=1P0​=1P1​​=1 ולכן 0!=10!=10!=1.

דוגמה (המשך הדוגמה הקודמת)

6. מספר האפשרויות לסדר את האיברים של Θ\ThetaΘ בשורה ואחריהם את Ω\OmegaΩ בשורה הוא Pn×Pm=n!×m!P_{n}\times P_{m}=n!\times m!Pn​×Pm​=n!×m!.
7. מספר האפשרויות לסדר את האיברים של Θ\ThetaΘ כך ש-AAA ו-BBB סמוכים.
פתרון 1: מכיוון ש-ABABAB תמיד ביחד(לא משנה הסדר) נקרא לאיבר חדש ABABAB במקום A,BA,BA,B ואז נסדר ולבסוף נכפיל ב-222 שכן יש שתי אפשרויות לסידור A,BA,BA,B ולכן 2(n−1)!2(n-1)!2(n−1)! הוא מספר האפשרויות לסידור.
8. מספר האפשרויות לסדר את האיברים של Θ\ThetaΘ בשורה כך ש-A,BA,BA,B אינם סמוכים.
פתרון 1: נשים לב לסעיף הקודם - כבר מצאנו את מספר אפשרויות עבורם A,BA,BA,B סמוכים ולכן נוכל לבצע את עקרון ההפרש כך:

∣X∖Y∣=∣X∣−∣Y∣=n!−2(n−1)!=n(n−1)!−2(n−1)!=(n−2)(n−1)! |X\setminus Y|=|X|-|Y|=n!-2(n-1)!= n(n-1)!-2(n-1)!=(n-2)(n-1)!∣X∖Y∣=∣X∣−∣Y∣=n!−2(n−1)!=n(n−1)!−2(n−1)!=(n−2)(n−1)!

פתרון 2: נתחיל לסדר את כולם ללא BBB ולזה יש (n−1)!(n-1)!(n−1)! אפשרויות. לבסוף נרצה להכניס את BBB ולכך יש לנו n−2n-2n−2 אפשרויות שכן יש לנו nnn אפשרויות להכניס את BBB אך שתיים מהן הן ליד AAA ולכן לא טובות.

דוגמה

כמה מספרים שלמים בין 111 ל-100010001000 מתחלקים ב-333 ללא שארית? {3,6,9,…,999}\left\{ 3,6,9,\dots,999 \right\}{3,6,9,…,999}

9993=⌊10003⌋=333\frac{999}{3}=\left\lfloor \frac{1000}{3}\right\rfloor=3333999​=⌊31000​⌋=333

כמה מספרים שלמים בין 111 ל-nnn מתחלקים ב-mmm ללא שארית?

⌊nm⌋\left\lfloor \frac{n}{m}\right\rfloor⌊mn​⌋

חליפות וצירופים

ספירת חליפות

הגדרה 2 (מספר חליפויות אפשריות)

מספר האפשרויות לבחור kkk איברים בלי חזרות מתוך nnn איברים שונים כשיש חשיבות לסדר מסומן PnkP_{n}^kPnk​ או P(n,k)P(n,k)P(n,k).

דוגמה

נניח ויש לנו 100100100 סטודנטים ואנו רוצים לקבוע משלחת של 101010 סטודנטים שכל אחד הולך למדינה אחרת.

12…knn−1…n−(k−1)\begin{array}{|c|c|} \hline 1 & 2 & \dots & k\\ \hline n & n-1 & \dots & n-(k-1) \\ \hline \end{array}1n​2n−1​……​kn−(k−1)​​

כלומר מספר האפשרויות לבחור kkk איברים מתוך nnn איברים כפי שהוצג הוא Pnk=n(n−1)(n−2)…(n−k+1)=n!(n−k)!P_{n}^k=n(n-1)(n-2)\dots(n-k+1)=\frac{n!}{(n-k)!}Pnk​=n(n−1)(n−2)…(n−k+1)=(n−k)!n!​

הערה

ניתן לרשום זאת גם כ-(n−0)(n−1)…(n-0)(n-1)\dots(n−0)(n−1)…

משפט

מספר האפשרויות לבחור kkk איברים מתוך nnn איברים שונים כשיש חשיבות לסדר ובלי חזרות הוא

Pnk=n!(n−k)!P_{n}^k=\frac{n!}{(n-k)!}Pnk​=(n−k)!n!​

ספירת צירופים

הגדרה 3 (מספר צירופים אפשריים)

מספר האפשרויות לבחור kkk איברים בלי חזרות מתוך nnn איברים שונים כשאין חשיבות לסדר מסמון CnkC_{n}^kCnk​ או C(n,k)C(n,k)C(n,k) או (nk)\binom{n}{k}(kn​).

דוגמה

יש לנו nnn איברים שונים. כמה תתי קבוצות בגודל kkk יש לקבוצה? (ניתן לחשוב על זה כשליחה של 10 סטודנטים למשלחת לאותה מדינה ולכן לא חשוב לנו מי נבחר קודם ומי נבחר אחר כך כי כולם הולכים לאותו המקום)

נעזיר בחליפות ממקודם - בחירת kkk איברים בלי חזרות מתוך nnn איברים שונים כשיש חשיבות לסדר. יש k!k!k! אפשרויות לסידור של האיברים אחרי שבחרנו בהם ולכן, לפי עקרון הכפל יש לנו k!⋅Cnkk!\cdot C_{n}^kk!⋅Cnk​ אפשרויות לסדר כשיש חשיבות לסדר ולפי המשפט הנ"ל מתקיים:

Cnk⋅k!=n!(n−k)!C_{n}^k \cdot k! = \frac{n!}{(n-k)!}Cnk​⋅k!=(n−k)!n!​ ⇓\Downarrow⇓ Cnk=n!k!(n−k)!C_{n}^k = \frac{n!}{k!(n-k)!}Cnk​=k!(n−k)!n!​

דרך נוספת: נזכור כי ניתן לייצג כל תת קבוצה כרצף בינארי שכל 1 אומר שהאיבר נכנס לקבוצה וכל 0 אומר שהוא לא.
כמות הקבוצות שיש לנו היא כמות הוקטורים הבינארים ש-???

משפט

מספר האפשרויות לבחור kkk איברים מתוך nnn איברים שונים כשאין חשיבות לסדר ובלי חזרות הוא

Cnk=(nk)=n!k!(n−k)!C_{n}^k=\begin{pmatrix} n \\ k \end{pmatrix}=\frac{n!}{k!(n-k)!}Cnk​=(nk​)=k!(n−k)!n!​
משפט (תכונות של CnkC_{n}^kCnk​)

Pnk=(nk)k!P_{n}^k =\begin{pmatrix} n \\ k \end{pmatrix}k!Pnk​=(nk​)k! (nk)=(nn−k)=n(n−1)…(n−k+1)k!\begin{pmatrix} n \\ k \end{pmatrix}=\begin{pmatrix} n \\ n-k \end{pmatrix}=\frac{n(n-1)\dots(n-k+1)}{k!}(nk​)=(nn−k​)=k!n(n−1)…(n−k+1)​ (n0)=(nn)=1\begin{pmatrix} n \\ 0 \end{pmatrix}=\begin{pmatrix} n \\ n \end{pmatrix}=1(n0​)=(nn​)=1

אם m>nm>nm>n או m<0m<0m<0 אזי (nm)=0\begin{pmatrix}n\\ m\end{pmatrix}=0(nm​)=0

סופרים את שאר הדברים

בעייה נוספת היא לבחור kkk איברים עם חזרות מתוך nnn איברים שונים(נניח n=100n=100n=100) כשיש חשיבות לסדר.
נסתכל על הטבלה:

12345…k−3k−2k−1k100100100100100…100100100100\begin{array}{|c|c|} \hline 1 & 2 & 3 & 4 & 5 & \dots & k-3 & k-2 & k-1 & k \\ \hline 100 & 100 & 100 & 100 & 100 & \dots & 100 & 100 & 100 & 100 \\ \hline \end{array}1100​2100​3100​4100​5100​……​k−3100​k−2100​k−1100​k100​​

לבסוף נגלה כי:

משפט

מספר האפשרויות לבחור kkk איברים מתוך nnn איברים שונים כשיש חשיבות לסדר ועם חזרות הוא

nkn^knk

הערה

שבוע הבא נראה איך מוצאים את האופציה האחרונה(בלי חשיבות לסדר ועם חזרות) וזוהי בעיה פחות טרוויאלית.

דוגמה

מילה בינארית היא סדרה סופית של 000 ו-111.
כמה מילים בינאריות באורך nnn בהן 111 מופיע בדיוק kkk פעמים?

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

011010010111⟶{2,3,5,8,10,11,12}011010010111 \longrightarrow \left\{ 2,3,5,8,10,11,12 \right\}011010010111⟶{2,3,5,8,10,11,12}

וזה בדיוק CnkC_{n}^kCnk​ שעשינו ממקודם כי אין חשיבות לסדר האחדים.
פתרון 2: על ידי עקרון הכפל: 11121314…1k0102…0n−k1_{1}1_{2}1_{3}1_{4}\dots1_{k}0_{1}0_{2}\dots0_{n-k}11​12​13​14​…1k​01​02​…0n−k​ ואז נסמן ב-xxx את התשובה שאנחנו רוצים והכפלה של זה ב-(n−k)!(n-k)!(n−k)! היא בדיוק הגרסה של זה כשיש חשיבות לסדר של שאר האיברים ובנוסף הכפלה של כל זה ב-k!k!k! היא בדיוק סידור כל השורה ולכן:

x⋅(n−k)!⋅k!=n!  ⟹  x=n!k!(n−k)!=(nk)x\cdot (n-k)!\cdot k!=n! \implies x= \frac{n!}{k!(n-k)!}=\begin{pmatrix} n \\ k \end{pmatrix}x⋅(n−k)!⋅k!=n!⟹x=k!(n−k)!n!​=(nk​)
הגדרה 4 (מילה)

מילה מעל אלפבית AAA היא סדרה סופית של אותיות מ-AAA.

דוגמה

כמה מילים באורך nnn מכילות k1k_{1}k1​ פעמים 111 ו-k2k_{2}k2​ פעמים 2 בנוסף ל-k3k_{3}k3​ פעמים 3 ו-k4k_{4}k4​ פעמים 444 כך ש-n=k1+k2+k3+k4n=k_{1}+k_{2}+k_{3}+k_{4}n=k1​+k2​+k3​+k4​?

נעבוד באותה דרך שעבדנו בפתרון 2 ממקודם. נבחר קודם את המקומות של ה-111-ים ואז יש לנו (nk1)\begin{pmatrix}n\\k_{1}\end{pmatrix}(nk1​​) - אלו בחירות בלי חזרות ועם חשיבות לסדר. לאחר מכן, נדרש לבחור את המקמות של ה-222-ים ויהיו לנו (n−k1k2)\begin{pmatrix}n-k_{1}\\k_{2}\end{pmatrix}(n−k1​k2​​). לאחר מכן, נבחר את המקומות של ה-333-ים, שיהיו לנו (n−k1−k2k3)\begin{pmatrix}n-k_{1}-k_{2}\\k_{3}\end{pmatrix}(n−k1​−k2​k3​​). לבסוף, נבחר את המקומות של 444 שלהם יש (n−k1−k2−k3k4)\begin{pmatrix}n-k_{1}-k_{2}-k_{3}\\k_{4}\end{pmatrix}(n−k1​−k2​−k3​k4​​).
לכן, לפי עקרון הכפל:

מספר האפשרויות=(nk1)(n−k1k2)(n−k1−k2k3)(n−k1−k2−k3k4)=n!k1!(n−k1)!⋅(n−k1)!k2!(n−k1−k2)!⋅\R{\text{מספר האפשרויות}}=\begin{pmatrix} n \\ k_{1} \end{pmatrix}\begin{pmatrix} n-k_{1} \\ k_{2} \end{pmatrix}\begin{pmatrix} n-k_{1}-k_{2} \\ k_{3} \end{pmatrix}\begin{pmatrix} n-k_{1}-k_{2}-k_{3} \\ k_{4} \end{pmatrix}=\frac{n!}{k_{1}!(n-k_{1})!}\cdot \frac{(n-k_{1})!}{k_{2}!(n-k_{1}-k_{2})!}\cdotמספר האפשרויות=(nk1​​)(n−k1​k2​​)(n−k1​−k2​k3​​)(n−k1​−k2​−k3​k4​​)=k1​!(n−k1​)!n!​⋅k2​!(n−k1​−k2​)!(n−k1​)!​⋅ (n−k1−k2)!k3!(n−k1−k2−k3)!⋅(n−k1−k2−k3)!k4!=n!k1!k2!k3!k4!\frac{(n-k_{1}-k_{2})!}{k_{3}!(n-k_{1}-k_{2}-k_{3})!}\cdot \frac{(n-k_{1}-k_{2}-k_{3})!}{k_{4}!}=\frac{n!}{k_{1}!k_{2}!k_{3}!k_{4}!}k3​!(n−k1​−k2​−k3​)!(n−k1​−k2​)!​⋅k4​!(n−k1​−k2​−k3​)!​=k1​!k2​!k3​!k4​!n!​

כשאין חשיבות לסדר ויש חזרות

אנחנו נסמן זאת כך:

Cnk=( ⁣ ⁣ ⁣(nk) ⁣ ⁣ ⁣)\mathbb{C}^k_{n}=\left( \!\!\! \begin{pmatrix} n \\ k \end{pmatrix} \!\!\! \right)Cnk​=((nk​))
דוגמה

הטלה של 777 קוביות שונות תתן לנו מספר תוצאות אפשריות של 676^767.
אך כעת, אם נקח קוביות זהות, יכולות להיות לנו מספר אפשרויות שיהיו אותה אפשרות.
נסמן ב-xix_{i}xi​ את מספר ההופעות של iii. הבעיה בעצם שקולה למספר הפתרונות של: x1+x2+x3+x4+x5+x6=7x_{1}+x_{2}+x_{3}+x_{4}+x_{5}+x_{6}=7x1​+x2​+x3​+x4​+x5​+x6​=7 כאשר xi≥0x_{i}\geq 0xi​≥0 שלם.
נתרגם כעת את הבעיה למשהו שאולי קרוב יותר למשהו שאנחנו יודעים לפתור: נסמן את התוצאה של הפלת הקוביה ככדור בתא המתאים.
נעבור תא-תא, כל כדור יסומן כ-111 בין כל תא נשים 000. נניח עבור 1+3+2+0+0+1=71+3+2+0+0+1=71+3+2+0+0+1=7 נקבל את הוקטור הבינארי 101110110001101110110001101110110001.
כמות הוקטורים הבינארים שיש לנו עם 777 אחדים ו-555 אפסים הוא (127)\begin{pmatrix}12\\7\end{pmatrix}(127​).

עבור בעיה כללית נבצע את אותו הדבר ונקבל כי מספר הפתרונות: (n+k−1k)\begin{pmatrix}n+k-1\\ k\end{pmatrix}(n+k−1k​).

משפט

Cnk=( ⁣ ⁣ ⁣(nk) ⁣ ⁣ ⁣)=(n+k−1k)\mathbb{C}_{n}^k=\left( \!\!\!\begin{pmatrix} n \\ k \end{pmatrix}\!\!\! \right)=\begin{pmatrix} n+k-1 \\ k \end{pmatrix}Cnk​=((nk​))=(n+k−1k​)
משפט

הערכים הבאים שווים:

  1. מספר האפשרויות לבחור kkk איברים עם חזרות מתוך nnn איברים שונים כשאין חשיבות לסדר.
  2. מספר הפתרונות של x1+x2+⋯+xn=kx_{1}+x_{2}+\dots+x_{n}=kx1​+x2​+⋯+xn​=k כאשר xi≥0x_{i}\geq 0xi​≥0 מספרים שלמים.
  3. מספר האפשרויות לחלק kkk כדורים זהים ל-nnn תאים שונים כשייתכנו מספר כדורים בכל תא.
  4. מספר המילים הבינאריות עם kkk אחדים ו-n−1n-1n−1 אפסים.
  5. מספר הסדרות המונוטוניות עולות(לא ממש) באורך kkk מעל {1,2,…,n}\left\{ 1,2,\dots,n \right\}{1,2,…,n}.
דוגמה

מספר הפתרונות של x1+x2+⋯+xn=kx_{1}+x_{2}+\dots+x_{n}=kx1​+x2​+⋯+xn​=k כאשר xi≥1x_{i}\geq1xi​≥1 מספרים שלמים.
פתרון:

(x1−1)+(x2−1)+⋯+(xn−1)=k−n(x_{1}-1)+(x_{2}-1)+\dots+(x_{n}-1)=k-n(x1​−1)+(x2​−1)+⋯+(xn​−1)=k−n

נסמן: yi=xi−0y_{i}=x_{i}-0yi​=xi​−0 ואז yi=xi−1≥0y_{i}=x_{i}-1\geq 0yi​=xi​−1≥0 ולכן:

y1+y2+⋯+yn=k−ny_{1}+y_{2}+\dots+y_{n}=k-ny1​+y2​+⋯+yn​=k−n

ואז לפי שני המשפטים שלמעלה:

Cnk=(n+(k−n)−1k−n)=(k−1k−n)=(k−1n−1)\mathbb{C}_{n}^k=\begin{pmatrix} n+(k-n)-1 \\ k-n \end{pmatrix}=\begin{pmatrix} k-1 \\ k-n \end{pmatrix}=\begin{pmatrix} k-1 \\ n-1 \end{pmatrix}Cnk​=(n+(k−n)−1k−n​)=(k−1k−n​)=(k−1n−1​)
דוגמה

נמצא את מספר הפתרונות של x1+x2+⋯+xn≤kx_{1}+x_{2}+\dots+x_n\leq kx1​+x2​+⋯+xn​≤k כאשר xi≥0x_i\geq 0xi​≥0 מספרים שלמים.
נוכל תחילה לחשוב על זה כל פעם כאותה בעיה עם kkk משתנה כך:

∑i=0kCni=∑i=0k(n+i−1i)\sum_{i=0}^k \mathbb{C}_{n}^i=\sum_{i=0}^k \begin{pmatrix} n+i-1 \\ i \end{pmatrix}i=0∑k​Cni​=i=0∑k​(n+i−1i​)
דוגמה

נמצא כעת את מספר הפתרונות של x1+x2+⋯+xn=kx_{1}+x_{2}+\dots+x_{n}=kx1​+x2​+⋯+xn​=k כאשר xi≥ix_{i}\geq ixi​≥i מספרים שלמים.
נוכל לתחילה לכתוב זאת ככה:

(x1−1)+(x2−2)+(x3−3)+⋯+(xn−n)=k(x_{1}-1)+(x_{2}-2)+(x_{3}-3)+\dots+(x_{n}-n)=k(x1​−1)+(x2​−2)+(x3​−3)+⋯+(xn​−n)=k

ואז נסמן ∀1≤i≤n:  yi=x1−i\forall 1\leq i \leq n:\; y_{i}=x_{1}-i∀1≤i≤n:yi​=x1​−i ואז y1+⋯+yn=ky_{1}+\dots+y_{n}=ky1​+⋯+yn​=k ואז:

Cnk−n(n+1)2\mathbb{C}_{n}^{k-\frac{n(n+1)}{2}}Cnk−2n(n+1)​​
דוגמה

מספר הפתרונות של x1+x2+⋯+xn=kx_{1}+x_{2}+\dots+x_{n}=kx1​+x2​+⋯+xn​=k כאשר 0≤xi≤m0\leq x_{i}\leq m0≤xi​≤m מספרים שלמים.
במצב בו k≤mk\leq mk≤m מתקיים Cnk\mathbb{C}_{n}^kCnk​ הוא מספר האפשרויות.
במצב בו m+1≤k≤2m+1m+1\leq k\leq{2}m+1m+1≤k≤2m+1 מתקיים כי אם יותר ממשתנה אחד המשתנים m+1≤m+1\leqm+1≤ אזי נקבל כי x1+x2+⋯+xn≥2m+2>kx_{1}+x_{2}+\dots+x_{n}\geq 2m+2>kx1​+x2​+⋯+xn​≥2m+2>k וזוהי סתירה. לכן, יש רק איבר אחד שמקיים זאת. לכן, הפתרון הוא:

Cnk−(n1)⋅Cnk−(m+1)\mathbb{C}_{n}^k-\begin{pmatrix} n \\ 1 \end{pmatrix}\cdot \mathbb{C}_{n}^{k-(m+1)}Cnk​−(n1​)⋅Cnk−(m+1)​
דוגמה (לדוגמה)

כאשר m=1m=1m=1 לכל איבר נוכל לבחור או 000 או 111 ולכן, לכן, מספר האפשרויות הוא מספר המילים הבינאריות באורך nnn עם kkk אחדים שזה (nk)\begin{pmatrix}n\\k\end{pmatrix}(nk​) אפשרויות.
כאשר m=2m=2m=2 יש לנו

∑i=0⌊k2⌋(ni)(n−ik−2i)\sum_{i=0}^{\left\lfloor \frac{k}{2} \right\rfloor} \begin{pmatrix} n \\ i \end{pmatrix}\begin{pmatrix} n-i \\ k-2i \end{pmatrix}i=0∑⌊2k​⌋​(ni​)(n−ik−2i​)

אפשרויות.