Reduced problem size using reduced Nv+>= 0