赵沁平教授报告 - 计算机科学领域中创新的逻辑培训资料.pptVIP

6、尝试对称思维、反向思维 自然界的规律是简洁的，对称、对偶、矛与盾 是普遍的。 有意识地在研究问题时尝试从对称、反对称、 反方向角度进行思考，提出猜象或想象，有时会得 到灵感。例如，由数据驱动想到需求驱动。 问题：是什么决定了算法的时间和空间效率之间的 对偶性，也就是说两者测度的乘积在一定水平是一 个不变量。 7、发现结构与寻找算法 发现所研究对象域中的数学结构（序关系、等 价类、各种代数结构等），然后寻找有关对象的数 学性质或高速算法。具有数学结构才有高速算法， 无序的对象只有枚举。 例9 发现类比匹配问题中的等价类，因而得 到快速匹配算法。 一般匹配等价于子图同态问题，是NP难解的。 我们定义了匹配的名集和映射名集，而且证明了存 在等价类，从而找到了快速匹配算法。 8、模型化 给出所研究对象的数学模型，将其形式化、模 型化，然后寻找关于所研究对象的有关公理和数学 解，或者将所研究对象进行计算机仿真。 这类研究会导致较深刻的结果和原始性创新。 例10 将具有过渡过程的逻辑电路抽象为 三值逻辑。 f:0 x1 x2 x1 x2 x1:0 →1 x2:1 →0 f 分析险象的传统方法是布尔差分法。该方法是判断型 的，即