SmallBig = (V1…Vn ; W1…Wn ; V, W | s.t SIGMA (Vi) (of some group of vi's ) >=V and SIGMA(Wi) (of some group of wi's ) <=W )
all the numbers are natural and in binary form.
why isn't it in P ?
we can sum all the Vi 's and check if it is >=V and go over all the Wi and check if at least one of them is smaller than W.
isn't that polynominal ?