Insight: Lower and Upper Bounds are Friends - Not Food
The other day I was working on a proof to show that there is a polynomial transformation from SUBSET-SUM-ZERO to SUBSET-SUM-ONE where the two problems are decision problems and are defined as follows: SUBSET-SUM-ZERO: Given a list of integers, if there exists a non-empty subset of those integers that sum to $0$, return YES. Otherwise return FALSE. SUBSET-SUM-ONE: Given a list of integers, if there exists a non-empty subset of those integers that sum to $1$, return YES....