会不会系数矩阵不满秩？这点我看题解没有考虑

在这时候虽然会出现自由变量，但是可以有且只有一组解使得各变量互异且都落在 $[0,n)$ 上

比如 $n=3, ABB+BBB=BCC$ 有唯一解 $(0,1,2)$