可追溯性的图表
如果一个图没有结束点,你可以问这个问题:是否有可能在图中追踪所有的边只有一天不举铅笔?例如,下面显示的图表是可跟踪的吗?
瑞士数学家莱昂哈德·欧拉大名字在数学历史中,通过如下推理解决了这个问题。
每次你用铅笔穿过一个顶点时,你会用到两条边:一条在进的时候,另一条在出的时候。顶点和奇怪的度将会引起问题:处理这些问题的唯一方法是开始跟踪或结束跟踪。所以,一个图是不可追踪的如果它有两个以上的奇数次顶点。
根据这个定理,上面的图是不可追踪的,因为所有四个顶点都是奇数.
欧拉实际上也证明了定理的反面:每一个无端点且有两个或两个奇数次顶点的图是可追踪的。