>>482
うーん、遅すぎるのね・・・。
ちょっとしっかり考えてないけどこういうのはどうかしら。


ベクトルの各要素に着目するのね。で、そこで、制約式を出すの。
もちろん、この制約式の導出段階でfalseがわかることもあるわね。
例えばa1 = (1, 0, 1), a2 = (1, 1, 0), a3 = (0, 1, 1)
とすると、
s = (1, 1, 1)なら
n1 + n2 = 1
n2 = 1
n3 = 1

さらに、ここで左辺を引き算して、式を簡単にしていく。
行列を使った連立一次方程式の解法が応用できるかな。

（ここで書く＋は全部排他和ね）

何か間違ってそう。。