逻辑模型-浙江大学.pptVIP

逻辑模型 浙江大学数学建模基地 可以不管长方形的剖分，直接根据图的各种情况利用计算机来搜查 前面分析是在对完美长方形作了剖分的前提下作出的，不知道剖分情况怎么办？ 几种最简单的情况及寻查过程的简要说明 有向图只有三条边的图见图1。 由x1= x3可知不存在3阶完美长方形。 由四条边组成的有向图可以有两种形式， 见图2中的（a）、(b)，它们均不可能对 应完美长方形。 图1 图2（b） 图2（a） * * * §9 逻辑模型 欧几里得在不加证明而被直接采用的一些基本概念和公理的基础上。运用逻辑推理方法得出了一系列的定理、推论，从而建立了完整的欧几里得几何学，这一辉煌成果至今仍然是人类的宝贵财富。 本章介绍的一些模型采用的也是类似的方法。建模者从问题应当具有的某些基本属性出发，运用逻辑推理方法或者导出满足这些基本属性的解来，或者证明在原有观念下问题不可能有解，从而从根本上改变人们对这一问题的看法 § 9.1 几个较为简单的问题 本节将采用逻辑推理方法讨论几个颇为有趣的问题。 例1 在每一次