数学女孩6:庞加莱猜想
上QQ阅读APP看书,第一时间看更新

“刚才你说的内容就是一笔画问题中的一个很重要的发现。”

·考虑连接顶点的边的数量

·将“起点和终点”与“途经点”分开考虑

“嗯?”

“假设有一个可以一笔画成的图。我们只看与起点连接的边,忽略其他顶点,那么起点周围应该是这个样子的。”

可一笔画成的图的起点

“什么意思?”

“注意看图中与起点相连的边。假设有 7 条边与这个点相连,由于这个点是起点,所以总有 1 条边是一笔画的起始边,其他边则一定会以‘进入边’和‘离开边’的形式两两成对出现。当前图中的顶点有 3 对这样的边。当然,如果图不同,成对的连接边数亦会不同,也可能出现没有成对边的情形。”

“这样啊……”

“在能一笔画成的图中,起点有 1 条一笔画的起始边,其他边两两成对出现。这表示与起点相连的边有奇数条。也就是说,边数为 1、3、5、7 等。”

“哥哥,你好聪明啊。”

“同样,在一个可以一笔画成的图中,终点周围看起来是这个样子的。”

可一笔画成的图的终点

“连接终点的边也有奇数条。”

“没错。成对出现的边一定有偶数条,最后再加上 1 条进入边,所以与图的终点相连的边有奇数条。”我说,“另外,途经点的周围是这样的。”

可一笔画成的图的途经点

“偶数!”

“是啊。途经点的进入边与离开边必定成对出现,所以连接途经点的边一定有偶数条。顶点有起点、终点、途经点这三种,所以前面说的就是所有可能的情况了。”

“好有趣。”

“前面我们思考的是起点与终点不是同一个顶点的情况。如果起点和终点是同一个顶点,情况又会如何呢?从起点开始一笔画到终点结束。”

“哥哥,我知道答案!如果起点和终点相同,这个顶点所连接的边就有偶数条,因为起始边和最后进入该顶点的边都会连接到这个顶点。”

起点与终点相同的图

“没错,如果起点和终点相同,所有顶点连接的边都有偶数条。正如我们刚才提到的,如果起点和终点不同,连接起点和终点的边就有奇数条,连接其他点的边则有偶数条。我们把目前为止得出的结论整理一下吧。”

·在可一笔画成的图中,当起点与终点相同时:

◦起点:连接边数为偶数

◦终点:连接边数为偶数

◦途经点:连接边数为偶数

·在可一笔画成的图中,当起点与终点不同时:

◦起点:连接边数为奇数

◦终点:连接边数为奇数

◦途经点:连接边数为偶数

“原来如此……”尤里说。

“由此我们可以注意到一个很重要的问题。”

如果一个图可以一笔画成,

那么图中连接边数为奇数的顶点有几个?

“有几个……要么没有——或者说有 0 个——要么有 2 个吧?如果起点和终点相同就有 0 个,如果起点和终点不同就有 2 个。——啊!”

“想到了吧?”

“柯尼斯堡七桥问题中,连接边数为奇数的顶点有 4 个!”

“没错,A 有 3 条连接边,B 有 5 条连接边,C 有 3 条连接边,D 有 3 条连接边,所以连接边数为奇数的顶点有 4 个。”

连接边数为奇数的顶点有 4 个

“有 4 个就不行了。”

“没错。如果一个图可以一笔画成,那么连接边数为奇数的顶点应该有 0 个或 2 个。可是柯尼斯堡七桥的图中有 4 个这样的顶点,所以——”

“没办法一笔画成!”

“是啊。我们绝对没办法一笔画成柯尼斯堡七桥的图。也可以说,柯尼斯堡七桥问题无解。这样就结束证明了。”

解答 1-1(柯尼斯堡七桥问题)

如果柯尼斯堡七桥的图可以一笔画成,那么图中连接边数为奇数的顶点必须有 0 个或 2 个。然而在柯尼斯堡七桥的图中,连接边数为奇数的顶点有 4 个。因此,柯尼斯堡七桥问题无解。

“原来如此!就算不试完所有情况也可以证明。”尤里的眼睛闪闪发光。

“某个顶点的连接边数又称为该顶点的次数。所以,如果改用次数来描述一笔画问题的已知性质,就是下面这样。”

一笔画问题的已知性质

如果一个图可以一笔画成,

那么次数为奇数的顶点会有 0 个或 2 个。

“孩子们,茶泡好了。”妈妈的声音传进我的房间。