行列の要素が0 or 1であり、加法がbit or、乗法がbit andであるような束（加法がxorではないので、ブール環にはなっていません。また、束であることは特に使いません）上での行列積演算を考えます。 これが疎行列、つまり行列の成分がほとんど零であり、非零…