DIS03AB
DIS03AB
1. 图论基础
对于每种类型的图,选择该图类型满足的所有属性。
- 平面图。设
、 、 分别为顶点数、边数和面数。
任何平面图最多可以用 5 种颜色进行顶点着色。
- 平面图。设
- 树
有 条边 可以有环 添加一条边会减少连通分量的数量
- 超立方体。设
为超立方体的维度。
- 超立方体。设
解决方案:
- 仅 iii。对于
,欧拉公式要求图是连通的,所以对于不连通的平面图该公式不成立。对于 ,当平面图是二分图时该式成立。注意对于 ,实际上最多可以用 4 种颜色完成。
- 仅 iii。对于
- 仅 i。对于
,树总是无环的。对于 ,向树中添加一条边不会减少连通分量的数量,因为树是连通图,即连通分量的数量为 1。
- 仅 i。对于
、 。 可以根据握手引理推导出来,因为在 维超立方体中有 个顶点,并且每个顶点的度数为 ,因此, 。
2. 总是、有时或从不
在下面的每个部分中,你将获得关于图
可以用 4 种颜色进行顶点着色。
需要 7 种颜色进行顶点着色。
,其中 是 的边数, 是 的顶点数。
是连通的,并且 中的每个顶点的度数最多为 2。
中的每个顶点的度数最多为 2。
解决方案:
- 两者皆有可能。根据四色定理,任何平面图都可以提供平面图示例。最简单的非平面图示例是
,它可以用 2 种颜色着色,因为它是二分图。(当然,任何可以用仅 2 种颜色着色的图也可以用 4 种颜色着色。)
- 两者皆有可能。根据四色定理,任何平面图都可以提供平面图示例。最简单的非平面图示例是
- 总是非平面图。四色定理告诉我们,如果一个图是平面图,它可以只用 4 种颜色着色。其逆否命题是,如果一个图需要超过 4 种颜色进行顶点着色,它一定是非平面图。(使用五色定理或六色定理也可以。)
- 两者皆有可能。从笔记中我们知道每个平面图都遵循这个公式,所以任何平面图都是有效的平面图示例。最简单的非平面图示例仍然是
,它有 和 ,这意味着我们的公式变为 ,这当然是正确的。
- 两者皆有可能。从笔记中我们知道每个平面图都遵循这个公式,所以任何平面图都是有效的平面图示例。最简单的非平面图示例仍然是
- 总是平面图。这里有两种情况需要处理:要么
是一棵树,要么 不是一棵树,因此包含至少一个环。在前一种情况下,我们立即完成,因为所有树都是平面图。在后一种情况下,考虑 中的任何一个环。我们知道该环中的每个顶点都与环中其左侧的顶点和右侧的顶点相邻。但我们也知道没有顶点可以连接到超过两个其他顶点,所以该环不与其他任何东西相连。但 是一个连通图,所以我们必须有 只是一个大的环。并且我们当然可以在平面上绘制一个简单的环而不交叉任何边,所以即使在这种情况下 仍然是平面图。 或者,我们可以使用库拉托夫斯基定理;由于每个顶点的度数最多为 2, 不可能包含 或 。这意味着 必须是平面图。
- 总是平面图。这里有两种情况需要处理:要么
- 总是平面图。
的每个连通分量都是连通的并且没有度数超过 2 的顶点,所以根据上一部分,它们每个都必须是平面图。因此, 的每个连通分量都必须是平面图,所以 本身必须是平面图。 或者,我们可以遵循与上一个替代解决方案相同的过程;每个顶点的度数仍然最多为 2,所以 不可能包含 或 。这意味着 必须是平面图。
- 总是平面图。
3. 图着色
证明最大度数最多为
解决方案:
尝试证明这个定理的自然方法是对图的最大度数
基础情形
归纳步骤:现在假设
4. 超立方体
- 绘制 1 维、2 维和 3 维超立方体,并使用相应的位字符串标记顶点。
- 证明
维超立方体的边可以用 种颜色着色,使得没有共享公共顶点的两条边具有相同的颜色。
- 证明
- 证明对于任何
, 维超立方体是二分图。
- 证明对于任何
解决方案:
- 这三个超立方体分别是一条线、一个正方形和一个立方体。也可以在注意事项 5 中查看图片。
替代解决方案(使用归纳法):
在
替代解决方案(使用归纳法和着色):
可能更容易看出一个图是 2 可着色的等同于它是二分图。现在,论证更容易陈述。首先基础情形是一个有两个顶点的超立方体,显然是 2 可着色的。然后注意,在 2 着色中切换颜色仍然是有效的,因为如果端点颜色不同,切换会使它们仍然不同。现在,递归地对两个子立方体进行相同的 2 着色,然后在一个子立方体中切换颜色。子立方体内部的边根据归纳法是好的。跨子立方体的边也是好的,因为由于切换,相应的顶点颜色不同。
5. 模运算基础
对于前两个部分,选择与给定陈述等价的所有选项:
和 除以 时具有相同的余数 ,对于某个整数
对于其余部分,计算每个给定数字的最后一位(或几位)数字:
解决方案:
、 是答案。注意对于 , 等价于 。
是唯一答案。对于 ,记住不能对指数应用取模运算。简单的反例: 。
- 首先,我们注意到
。所以 ,所以最后一位数字是 。
- 首先,我们注意到
在模 下是它自己的乘法逆元,所以 。然后 ,所以最后一位数字是 。 另一种解决方案:我们知道 ,所以 。你也可以用这个来表示 。
- 注意到
,所以利用 ,我们有 。我们还有 ,所以 ,使得最后一位数字是 。
- 注意到
6. 模运算杂项
证明或反驳以下陈述:
- 存在某个
,使得 且 。
- 存在某个
。
。
解决方案:
- 不可能。 假设存在一个
满足这两个方程。由 ,我们有 ,对于某个整数 。这意味着 。由 ,我们有 ,对于某个整数 。这意味着 。现在我们有 和 ,矛盾。
- 不可能。 假设存在一个
- 假,考虑
。我们不能在第一个方程中消除 得到第二个方程的原因是 在模 下没有乘法逆元,因为 和 不互质。
- 假,考虑
- 真。我们可以将
写成 ,对于某个 。除以 ,我们有 ,对于相同的 。这等价于说 。
- 真。我们可以将
7. 模逆元
回忆讲座中逆元的定义:设
是 模 的逆元吗?
是 模 的逆元吗?
- 对于所有
, 是 模 的逆元吗?
- 对于所有
在模 下有逆元吗?
- 假设
都是 模 的逆元。有可能 吗?
- 假设
解决方案:
- 否,因为
。
- 否,因为
- 是,因为
。
- 是,因为
- 是,因为
。
- 是,因为
- 否。为了矛盾,假设
是 模 的逆元。那么 。那么 ,这是不可能的。
- 否。为了矛盾,假设
- 否。我们有
。所以 。两边乘以 ,我们得到
- 否。我们有
8. 斐波那契数列与最大公约数
斐波那契数列由
解决方案:
通过归纳法进行。
基础情形:我们有
归纳假设:假设对于某个
归纳步骤:现在我们需要证明
我们可以证明: