对于布尔矩阵A，当且仅当它的图为强连接图时，它才成为既约的。