9.2.4 计算子图同构