空间形独问题的整数规划模型研究.PDFVIP

空间形独问题的整数规划模型研究 Integer programming models for 3-dimensional Xingdu problem 国别：中国 学校：北京清华大学附属中学 (Tsinghua High School) 作者：黄省身、彭楚尧、熊心宜 指导教师：杨青明 空间形独问题的整数规划模型研究 摘要: 形独是近年来兴起的一种在平面或空间网格中寻找与已知折线首尾相连且逐段垂 直的一条对应折线的游戏。从数学角度对形独问题求解及形独题目设计进行研究将有助 于获得求解形独的一般方法，但由于形独的发展历史较短，目前该领域还没有得到广泛 关注。本文参考数独研究中已有的成果，初步探讨了采用优化方法求解和设计空间形独 的可能。由于形独对点与线的约束具有非线性形式，加之问题本身具有整数约束，采用 非线性优化很难保证获得整数解；因此将问题进行松弛，通过采用整数规划来求解空间 形独问题。在此基础上，我们给出了求解形独的两种整数规划模型，即只采用对应线段 垂直作为约束的整数规划模型和采用对应线段垂直并结合折线上任意两点不重复作为 约束的0-1 整数规划模型。结果表明，本文给出的0-1 整数规划模型表现出较好的形独 问题求解能力。本文还探讨了利用0-1 整数规划和蒙特卡洛仿真相结合来设计形独题目 的方法，由于如何判断形独解的唯一性仍是一个挑战，受整数规划求解中分枝定界方法 的启发，文章最后给出了通过构建搜索树并结合剪枝的方法求解和设计形独问题的思路。 关键词：空间形独；整数规划；蒙特卡罗模拟；搜索树； 选题背景：将形独问题转化为数学问题，探讨其一般解法，试图克服传统解法随网格数 和线段数的增加，特别是由平面（二维）扩展到空间（三维）时面临的困难，有望获得 有效而且具有普遍性的求解和设计形独的方法。 亮点：提出了将形独转化为整数规划问题求解的思路并给出了相应的0-1 整数规划模型， 为有效而且具有普遍性地求解形独问题提供了一种可能。 Integer programming models for 3-dimensional Xingdu problem Abstract—Xingdu is an emerging mathematical game about searching for a corresponding polyline for a given polyline in a 2-dimensional or 3-dimensional mesh grid, meanwhile the searched polyline should have the same starting and ending points as those of the given polyline and the corresponding line segments on the searched and given polylines are perpendicular each other respectively. Studying from mathematical perspective the problem solving and designing of Xingdu is helpful of finding a general method for Xingdu problem solving, but still not attract much more attentions due to the relatively short history of Xingdu. Referring to the achievements in mathematical methods for Sudoku, we investigated preliminarily the possibility of using optimization theory to solve the problem of Xingdu. According to the definition of Xingdu, the points on the given polyline and the solution polyline have to be the grid nodes in th