スパース行列の圧縮法_行置換による縮小アルゴリズム