本文的阅读等级：中级 若一个矩阵 的每一元 为 或 ，我们称之为 (01) 矩阵。2003年任职 Wolfram 研究中心的韦斯坦 (Eric W. Weisstein) 在计算 阶 (01) 矩阵，，的特征值时，发现所有特征值皆为正实数[1]的 (01) 矩阵总数为下列序列： 在图论中，若一个有向图无法从某个顶点出发经过若干条边回到该点，则称之为有向无环图 (directed acyclic graph，简称DAG)。韦斯坦得到的序列恰巧与包含 个标记顶点的有向无环图数的前五项相等[2]： 自然地，韦斯坦猜想这两个数列完全相同。图一显示 的所有标记有向无环图。2004年麦凯 (Brendan D. McKay) 等人证明了韦斯坦猜想：包含 个标记顶点的有向无环图与特征值皆为正实数的 阶 矩阵存在一对一的关系[3]。底下介绍一个精巧的证明。