Aqui está uma redução de PARTITION para esse problema. Seja uma instância de PARTITION. Suponha que .a 1 ≤ a 2 ≤ ⋯ ≤ a n( um1, … , Umn)uma1≤ a2≤ ⋯ ≤ an
Seja um "número muito grande", por exemplo, . Considere a instância
do nosso problema.N = ( Σ n i = 1 | um de i | ) + 1 N , ... , N ⏟ 5 n vezes , N + um 1 , ... , N + um n , 4 N , ... , 4 N ⏟ n vezesNN= ( ∑ni = 1| umaEu| )+1
N, … , N5 n vezes, N+ a1, … , N+ an, 4 N, ... , 4 Nn vezes
Se houver uma solução para PARTITION,
é uma solução para o nosso problema.1 , … , 1 ⏟ 4 n vezes , - x 1 , … , - x n , x 1 , … , x n , - 1 , … , - 1 times n vezesx1, … , Xn
1 , ... , 14 n vezes, - x1, … , - xn, x1, … , Xn, - 1 , … , - 1n vezes
( x1, … , X5 n, y1, … , Yn, z1, … , Zn)∑ni = 1umaEuyEu≡ 0( modN)
∑i = 1numaEuyEu= 0.
( y1, … , Yn)