编写函数检验矩阵是否满足传递性

好的，我可以帮你编写一个函数来检验矩阵是否满足传递性。传递性是指如果矩阵中存在 a->b 和 b->c 的关系，则必须存在 a->c 的关系。下面是一个 Python 函数来检验矩阵是否满足传递性：

def is_transitive(matrix):
    n = len(matrix)
    for i in range(n):
        for j in range(n):
            if matrix[i][j] == 1:
                for k in range(n):
                    if matrix[j][k] == 1 and matrix[i][k] != 1:
                        return False
    return True

该函数接受一个二维列表作为输入参数，表示矩阵。函数首先获取矩阵的大小，然后遍历矩阵中的每个元素。对于每个元素，如果它的值为 1，则遍历其所在行和列中的其他元素，检查是否存在 a->b 和 b->c 的关系，但不存在 a->c 的关系。如果存在这样的情况，则说明矩阵不满足传递性，函数返回 False。如果遍历完整个矩阵后没有发现不满足传递性的情况，则说明矩阵满足传递性，函数返回 True。