topological

具有以下性质： 如果这个图不是 DAG，那么它是没有拓扑序的； 如果是 DAG，那么它至少有一个拓扑序； 反之，如果它存在一个拓扑序，那么这个图必定是 DGA。 对一个有向无环图(Directed Acyclic Graph简称DAG)G进行拓扑排序，是将G中所有顶点排成一个线性序列，使得图中任意一对顶点u和v，若边(uv)∈E(G)，则u在线性序列中出现在v之前。 通常，这样的线性序列称为满足拓扑次序(Topological Order)的序列，简称拓扑序列

文小刚，凝聚态理论物理学家，现任美国麻省理工学院（MIT）终身教授、格林讲席教授、美国科学院院士。1982 年他本科毕业于中国科学技术大学低温物理专业，赴普林斯顿大学读研。文小刚在博士期间研究高能物理超弦理论，师从爱德华·威滕（E·Witten）