119个数字难题.PDF

纳法III 1 二个难题 这有两个富挑战性难题。 1.1 9 个数字难题 数字1,2...,9 安排在3 ×3 如下显示的表格中： 您能通过转动的列和专栏重新整理数字。例如, 旋转第一列在右 边给: 注意那1 和2 都向右移动了一个位置和最右的数字是3, 跳回到 左边。同样, 如果我们现在向下旋转第一行, 那么3 和4 都向下 移动一个位置并且底下数字时期7, 跳回到在上面: PDF 文件使用 pdfFactory Pro 试用版本创建 您可以发现从源配置移动的序列 ? 1.2 永恒寺庙(The Temple of Forever) 各名僧侣进入永恒寺庙被给一个碗与 15 个红色小珠和 12 个绿 色小珠。每次时间锣敲响是, 僧侣必需做两件件事的当中一件。 1.如果在他的碗里他有至少3 个红色小珠,那么他可以移除3 个 红色小珠和增加2 个绿色小珠。 2.他可以用相反颜色的小珠在他的碗里替换每个小珠。 例如, 在敲时间锣的第一声时, 僧侣也许用一个相反颜色替换每 个小珠, 给他12 红色和15 绿色。然后, 在第二次响的时候, 他 可以移除3 红色和增加2 绿色, 留给9 红色和17 绿色。 僧侣可以离开永恒寺庙，只当他正好地有5 个红色小珠和5 个绿色小珠在他的碗里。您可以发现方式来逃脱 ? PDF 文件使用 pdfFactory Pro 试用版本创建 2 使用归纳分析过程 归纳的一种重要应用证明, 系统从未进入某些不希望出现的状 态。例如, 我们也许想要证明, 文件系统从未崩溃,在数据结构的 纪录总是迅速地可检索, 或通信协议从未死 。术不必需新数学 技术来为这样目的使用归纳。但您将使用 9 数字难题和永恒寺 庙作为演示。 困惑和寺庙永远作为例证。 2.1 关于时间的归纳 一些令人沮丧实验暗示没有方式从永恒寺庙逃脱或解决9 数字 难题。但我们怎么能希望使用 纳法证明这些结论? 记得, 归纳 建立某一谓词 P(n) ， 对所有 n ∈N 。对于寺庙问题, 我们应 该在红色小珠的数量上使用归纳 ? 绿色小珠? 共计? 更坏的 是, 9 数字难题似乎根本没有涉及到自然值变量。 当分析系统时的共同的解将对实践使用归纳; 也就是，那是 我们将使用 纳法来证明某一谓词 P(n)为真， 对每 n ≥ 0 ，这 里的 n 是旋转、锣圆环、移动, 小时、 步或者什么的数量。 不幸地, 真方法仍然不能工作。让我们尝试这样论证和看见 何处我们掉进了陷进。 PDF 文件使用 pdfFactory Pro 试用版本创建 定理。没人离开永恒寺庙。