离散数学布尔矩阵的算法