摘要： [代码] 阅读全文

摘要： 矩阵A和B等价：存在可逆方阵P和Q，使PAQ=B。方阵A和B合同：存在可逆方阵C，使CTAC=B方阵A和B相似：存在可逆方阵C，使C-1AC=B矩阵的合同或相似关系能够得到等价关系，合同不一定相似，相似不一定合同；如上，当C是正交矩阵（CCT=E）时，A和B合同并相似；另外，当矩阵A和B为实对称矩阵时必存在有正交性质的矩阵C，使A和B合同并相似 阅读全文

摘要： kosaraju算法是用于求有向图的强连通分量的算法之一步骤概要：1. DFS有向图G，并以后根序记录节点2. 把存在于记录集中且最后访问节点作为起点，DFS反图GT,并以先根序把节点从记录中剔除；3. 若此次不能DFS反图GT所有节点，则重复步骤2，直到所有节点都被剔除出记录；每次剔除掉的节点集即为原有向图G的一个强连通分量简要证明：1. 第一次DFS有向图G时，最后记录下的节点必为最后一棵生成... 阅读全文