标题：最小曼哈顿网络问题
简介
给定平面上一个点集T，其Manhattan网络由水平和垂直线段组成，并满足T中任意两点间在网络中存在Manhattan路径。可知Manhattan网络即为L1-范数下给定点集的一个1-spanner。更一般的概念称之为geometric spanner或k-spanner，因为具有良好的性质，其应用是十分广泛，包括其邻近问题（proximity problems）的求解、机器人运动规划、通信网络的可靠性等等。在本问题里，要求Manhattan网络中线段总长度最短，即以最小的代价构造给定点集的Manhattan网络。此外，F. Lam 等人在生物序列比对问题中应用了Manhattan网络的近似算法，显著减小了搜索空间。这显示了最小Manhattan网络问题在计算生物学中的应用。由此可见，这一问题的研究无论在理论还是实际中都有十分重要的意义。
历史
最小曼哈顿网络问题，是1999年提出的世界级计算几何重要猜想。1999年，J. Gudmundsson, C. Levcopoulos和G. Narasimhan最早提出最小曼哈顿网络问题。之后，许多学者研究并给出了这一问题多项式时间近似算法。之前通过组合方法设计的最佳近似算法（3-近似）由M. Benkert等人在2004年给出。2005年，V. Chepoi等人提出了基于线性规划的2-近似算法，这是目前所知关于这一问题的最好近似度。[1]
2009年6月复旦大学计算机学院大三学生郭泽宇关于“最小曼哈顿网络问题”的论文被第25届计算几何国际会议录用，文章同时作为最佳论文之一被邀请投稿到会议特刊DiscreteandComputationalGeometry(DCG)。意味着计算几何领域Ten years来的重要猜想被这位年仅20岁的本科生成功解决。计算几何国际会议是计算几何领域最高级别的会议，这一个会议，中国内地数学家已经阔别整整十八年。
背景
最小曼哈顿网络问题，是在1999年提出的世界级计算几何重要猜想。1999年，J. Gudmundsson, C. Levcopoulos与G. Narasimhan最早提出了最小曼哈顿网络问题。之后，许多学者研究并给出这一问题多项式时间近似算法。之前通过的组合方法设计的最佳近似算法（3-近似）是由M. Benkert等人在2004年给出。2005年，V. Chepoi等人提出基于线性规划的2-近似算法，这是所知关于这一问题最好近似度。
2009年6月，被上海复旦大学仅20岁的本科生郭泽宇成功解决。他的关于“最小曼哈顿网络问题”的论文被第25届计算几何国际会议录用，文章同时作为最佳论文之一被邀请投稿到会议特刊Discrete and Computational Geometry(DCG)。
问题
  给定平面上一个点集T，其Manhattan网络由水平和垂直线段组成，并满足T中任意两点间在网络中存在曼哈顿路径。可知曼哈顿网络即为L1-范数下给定点集的一个1-spanner。更一般的概念称作geometric spanner或k-spanner，由于具有良好的性质，其应用十分广泛，包括邻近问题（proximity problems）的求解、机器人的运动规划、通信网络的可靠性等等。在本问题中，要求曼哈顿网络中线段总长度最短，即以最小的代价构造给定点集的曼哈顿网络。此外，F. Lam等人在生物序列比对问题中应用了曼哈顿网络的近似算法，显著减小了搜索空间。这显示了最小曼哈顿网络问题在计算生物学中的应用。
解决途径
设计出具有更优近似度的近似算法
近似算法的设计方法主要包括：局部搜索，线性规划方法，原始对偶（primal-dual）方法等。本问题已知的近似算法可以分为两类：一类方法是将全局最优网络问题规约为局部最优网络问题，再通过局部网络的组合达到全局的较优解，如M. Benkert 等人提出的3-近似算法。在这一方法的使用中，郭泽宇已取得了国际领先的成果。另一类则基于线性规划方法，如V. Chepoi等人在文献提出的2-近似算法。
在第一阶段的研究中，一方面在已知的最好近似算法基础上，对问题的性质进行更细致地分析以尝试改进；另一方面对近似算法的设计进行系统的学习，探索其他的算法设计思路。
研究问题所属的复杂性类
尽管在过去的近十年里，最小曼哈顿网络问题[2]受到许多西方计算机科学家的重视，但是到目前为止，人们还不清楚这一问题是否存在多项式时间算法。人们猜想这一问题是NP-完全的，但到目前为止还没有人给出有效的证明。
一般来讲，证明一个问题是NP-完全的基本方式是将一已知的NP完全问题归约到所研究的问题上。这方面，已知的NP-完全的计算几何和组合最优化问题的归约过程将具有很大参考价值。例如V. Chepoi在论文中提到的与最小曼哈顿网络问题相当类似的RSA问题，已经由W.Shi 和C. Su给出了从Planar-3-SAT问题到该问题的归约，从而证明了该问题为NP-完全的。因此，郭泽宇通过阅读更多的计算几何学NP-完全问题规约的文章，掌握各种复杂的技巧。试图给出最小曼哈顿网络问题的类似的归约方式，从而证明这一问题是NP-完全的。
困难
最小曼哈顿网络问题的是否NP-难问题仍属未知，其不可近似性亦不清楚。因此，研究这一问题所属的复杂性类将具有极大的理论意义和实际价值。
郭泽宇提出解决最小曼哈顿网络的算法复杂性NP难问题是不太现实的，但改善现有解决方案的效率或提高近似度是可行的研究方向，郭泽宇的结果是2-近似O(n2)时间复杂度。能否将效率提高到O(nlogn)，与3-近似方法相同？或提出1.5-近似的新方法是亟待解决的新问题。
进展
复旦大学2009年6月21日传来消息，该校计算机学院大三学生郭泽宇关于最小曼哈顿网络问题的论文被美国ACM学会主办的第25届计算几何国际会议录用，文章同时作为最佳论文之一被邀请投稿到会议特刊(DCG)。 
这意味着计算几何领域十余年来未决的重要猜想被这位年仅20岁的本科生成功解决。
2008年6月，郭泽宇申请复旦大学本科生学术研究资助计划的“莙政”项目。最小曼哈顿网络问题是计算机学院朱洪教授给自己指导的本科生们所开设的一个题目。
郭泽宇大胆地选择这一问题作为项目攻克对象。这既让朱洪教授与博士研究生孙贺这两位项目指导老师感到欣喜，也让“莙政”学者评审专家们捏一把汗。基于鼓励本科生创新与支持年轻人闯劲的考虑，郭泽宇最终得到资助。经过200多个日夜思考和探索，这一难题终于被其找到突破口。
成就
在算法研究领域，人们最重视的是那些长期悬而未决的问题。“曼哈顿网络问题”就是这样一个不清楚它是否是P还是NP的问题。已经有近似度为2的近似算法，但是复杂度为O(n^8)。而郭泽宇把算法改造。使之加快到O(n^2)，是值得赞许的工作。所以被接受为国际会议大会报告，反映了同行对它的重视程度。 
曼哈顿网络问题是计算机理论界研究的重要课题，郭泽宇对最小曼哈顿网络的算法复杂性进行研究，有理论意义和应用价值。鉴于曼哈顿网络问题是否NP问题尚无明确的结论，对曼哈顿网络问题的研究都集中在近似算法的研究。郭泽宇在导师指导下的前期工作对已有的2-近似算法进行改进，使其时间复杂度达到O(n2)(原算法为O(n8))，课题有很好的研究基础，有望得到进一步的创新成果。 
最小曼哈顿网络问题-郭泽宇怎么解决最小曼哈顿网络问题？
2008年6月，郭泽宇申请了复旦大学本科生学术研究资助计划的“莙政”项目。最小曼哈顿网络问题是计算机学院朱洪教授给自己指导的本科生们所开设的题目。 
郭泽宇大胆地选择了这一问题作为项目攻克对象。这既让朱洪教授和博士研究生孙贺这两位项目指导老师感到欣喜，也让“莙政”学者评审专家们捏了一把汗。基于鼓励本科生创新和支持年轻人闯劲的考虑，郭泽宇最终得到了资助。经过200多个日夜的思考和探索，这一难题终于被他找到突破口。
据悉，计算几何国际会议是计算几何领域最高级别的会议，这一会议，中国内地数学家已经阔别了整整十八年。 
在郭泽宇的项目申请书中，中国科学院院士陆汝钤作为推荐老师，对本科生学术研究资助计划给予了充分的肯定，他认为通过这一方式使许多学生脱颖而出，走上了从事科学研究的道路。记者了解到，1998年，在李政道先生倡导和设立的“莙政基金”支持下，复旦大学开始开展资助优秀本科学生尽早接触学术研究的计划，并逐渐形成了一个层次分明、申请时间灵活、申请形式多样的本科生学术研究资助平台，即复旦大学本科生学术研究资助计划。
从1998年到2008年，共有1556位学生获得资助开展研究，其项目学科涵盖了医学、工学、理学、文学、教育学等多个领域。另据不完全统计，在2008年，参加复旦大学本科生学术研究资助计划资助项目的同学在国内外期刊发表论文30篇，其中第一作者文章20篇。