תודה
ישי ואבישי.
'''מכיוון שעבור המקרה בו כל המשתנים גדולים או שווים לאפס כבר הוכחנו את הפיתרון. אנחנו בעצם ממירים את הבעיה לבעיה שאנחנו כן יודעים לפתור. במקור המשתנים גדולים או שווים מאפס כיוון שבוחרים k מ-n, כאשר כל איבר יכול לא להיבחר או להיבחר מספר טיבעי של פעמים.
'''אופן ההמרה- ע"י מניפולציות אלגבריות, נבין בהתאם לנתון מי המשתנה שיהיה גדול או שווה מאפס, כאשר תמיד המשתנים שלמים:
'''<math>x_i\geq t => y_i-t\geq 0</math>
'''<math>x_i> t =>x_i\geq t+1 => y_i=x_i-t-1\geq 0</math>
'''<math>x_i\leq t => y_i=t-x_i\geq 0</math>
'''<math>x_i< t =>x_i\leq t-1 => y_i=t-1-x_i\geq 0</math>
'''והמקרה הפחות פשוט <math>k\leq x_i\leq t</math> שפותרים ע"י הכלה והדחה כפי שהראיתי בדיון קודם