טוב... כדי לחסוך זמן...../images/Emo26.gif
אם אין לנו קטע של יעילות, אז: בוא נניח שיש לך מערך של 4 איברים: a1, a2, a3, a4. ואנחנו שואלים האם יש תת-קבוצה שהסכום שלה הוא b. במקום זה, אפשר לשאול:
האם יש תת-קבוצה מתוך a1, a2, a3 שסכומה b-a4?
האם יש תת-קבוצה מתוך a1, a2, a4 שסכומה b-a3?
האם יש תת-קבוצה מתוך a1, a3, a4 שסכומה b-a2?
האם יש תת-קבוצה מתוך a2, a3, a4 שסכומה b-a1? אם התשובה ללפחות אחת מהשאלות היא "כן" - אז זו גם התשובה לשאלה המקורית (אחרת לא). זה כבר אמור לתת לך את הפתרון.