实验7_数字填图问题.pdfVIP

Matlab 实验 数字填图问题 HSU_HJW 问题背景和实验目的  数字填图是数学问题的一种趣味形式。 如：魔方矩阵、费马定理等  数学问题一般都要经过严格的逻辑证明才能 得以解决。但随着计算机的诞生和发展，计算机 改变了整个世界，计算机已经在各个领域发挥着 作用，并取得了许多重大发展。但能否用计算机 来证明数学问题？ 问题背景和实验目的  所谓计算机证明是指充分发挥计算机计算速度 快和会“推理”的特点，用计算机程序模拟解题 或进行穷举检验，最后得到问题的解。如著名的 “四色问题”。但几乎所有的数学家对计算机证 明持保留态度。  本实验通过生活中常见的数字填图问题，研究 这类问题的逻辑推理解法和计算机解法。 数字填图问题一 问题一：在下面的几个加法等式中，每个方框表示一个 非零数字，且任意两个数字互不相同，问有多少个解？ a ＋ b ＝ c ， d ＋ e ＝ f ， g ＋ h ＝ i 0  逻辑推理解法  首先有：i=1  方程两边相加得： a+b+d+e