0,1の世界を考える。
0+0=0,0+1=1+0=1,1+1=0
っていふうになるとして、
k次元のベクトルa1,a2,a3....を考える。
n1,n2,n3...が0か1の数だとして
あるK次元のベクトルsを
s=n1*a1+n2*a2+n3*a3...（有限個）
って表すために
n1,n2....を決める。
もし、s=n1*a1+n2*a2+n3*a3...（有限個）
となるn1,n2...がない場合はFalseを返す。
いいアルゴリズムありますか？