数论-非负整数线性组合