一応次のことはわかった。Kは足し算がべき等な半環、Kはブール代数を半環とみなしたものを含むと考える。AとBはKを係数とする正方行列で、行列のインデックスの集合はグラフの頂点とみなす。A:n→n, B:m→m、A、Bは隣接行列か、それのベキだの和を取ったりした…