＞例えば n=3のとき(1, -1, 1)は大きさが3で、これに対応する大きさ2の列は
＞(0 ,-1 ,1), (1,0,1),(1,-1,0)とかあるので一つには定まってません。
＞なのでその対応をする関数をおしえてください。

一つに定まらないから、すべての結果を返したいのか、
任意の一つの結果を返したいのか？