the sub-groups should be with the same indexes.

sorry and thanks!

]]>there was an answer that SmallBig is in P, but it wasn't the correct one.

the correct one was the there is a poly-reduction from subsetSum to SmallBig.

did i misinterpret the question ?

]]>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 ?

thanks,

Roni