项目名称-山东大学.DOCVIP

一、项目名称 关于图与组合优化的若干经典问题的研究 二、申报奖种 高等学校自然科学奖 三、推荐单位 山东大学 四、项目简介 图论和组合最优化是数学中的重要研究领域，特别是近几十年随着计算机科学的飞速发展，图论和组合最优化成为计算机科学的基础数学理论，计算技术和算法技术的进步，无不依赖于这两个领域的进展。其中，图论研究历史悠久，拥有众多的著名猜想，这些猜想不仅仅具有理论意义，还具有非常重要的应用背景，具有非常高的研究价值；组合最优化作为算法的基础，是当前计算机科学发展的根本技术。在目前计算机已经普及到国家和社会的任何角落的背景下，组合最优化也成为了一个关系到国计民生的重要领域。其中很多算法难题，同样兼具理论和应用的重大意义，需要更加深入的研究来解决。同时，随着学科交叉的兴起，跨学科的理论与应用研究也日趋重要，而图论和组合最优化在许多其他领域，如生物信息学中也日益起到了重要的作用。 自1998年起历时十几年，在国家自然科学基金委的资助下，本项目系统研究了图论和组合最优化中的数个经典难题，取得了突破性的成果，给数个猜想和难题画上了完美的句号，使得相关问题得到了完全的解决。进而从理论出发，进行交叉学科研究，将图论和组合最优化理论应用到生物信息学研究中，解决相关背景的计算难题，设计优秀的算法。主要研究内容和结果可以概述为： 一、在图论研究中，取得了系统的研究成果，证明了四个高难度的图论猜想。关于图的子图性质和图的分解的研究中，有数个著名的猜想。在本项目初期，系统研究了其中具有代表性的Chvátal 猜想、图的边不交Hamilton圈猜想、图的正交因子分解猜想和图的连通因子猜想。这些猜想由著名数学家Chvátal等人提出，吸引了许多数学家进行研究。基于理论突破和特有的证明技巧证明了这四个猜想，给他们画上了完美的句号。 二、在组合最优化问题的近似算法研究中，对波段分配和工件分批排序问题突破性的分别给出了2和2+ε近似算法，对超图嵌入、无副作用药靶设计给出了完美的多项式近似算法方案（PTAS）。针对波段问题，发现了求解最大匹配的匈牙利方法可以递归地用来设计路着色的近似算法，进而突破性的给出了2-近似算法；对工件排序问题，设计了最好的2+ε近似算法；上述近似算法至今仍然是最好的。无副作用药靶设计问题是序列模式识别中的一个难题，长期以来被人怀疑可能根本不存在PTAS，而申请人团队通过系统研究给出了第一个PTAS，彻底解决了这个问题，这是我国在理论生物信息学研究领域第一个具有挑战性的研究成果。进而，将无副作用药靶设计问题中得出的理论工具，应用到超图嵌入问题中去，同样给出了这个难题的PTAS，使得这个问题得到了彻底解决。 三、在对组合最优化理论问题赋权竞赛图与二部竞赛图的最优反馈点集、以及圈填装问题的研究中取得了理论突破。关于最小反馈点集与最大圈填装问题，发现了两个新的全对偶整数系统（TDI），得到了两个漂亮的新的Min-Max定理，分别对竞赛图与二部竞赛图给出2.5与3.5近似算法, 而前者仍然是迄今为止最好的近似算法. 我们的结果同时促使重要的TDI 理论停滞多年后又有了新进展。相关工作得到学术界的高度评价，研究成果被计算机科学界最顶级的会议FOCUS邀请做大会报告。 四、在组合最优化理论应用于生物信息学研究中，设计出双聚类算法为代表的数个有影响的生物信息学算法及其配套软件。表达芯片数据的双聚类分析是生物信息学中的重要难题，在大数据处理相关的研究领域有广泛的应用，但是长期没有理想的计算方法。此问题可以归结为给定一个实数矩阵，找出所有具有某种性质的尽可能大的子矩阵，即所谓的双聚类技术。本项目基于组合最优化思想，设计了双聚类算法QUBIC，其性能一直保持国际领先水平，被生物信息学家和生物学家广泛研究和使用。 本项目所列代表性一些 工作单位：山东大学 完成单位：山东大学 对本项目技术创造性贡献：本项目负责人，是本项目代表作品[1, 2, 5, 6, 7, 8, 9, 10]的主要贡献者。作为主要完成人证明了4个图论猜想；证明了两个多项式近似方案的存在性；设计了两个其性能比始终保持最好的近似算法；设计了大规模表达数据双聚类分析的算法QUBIC。 曾获国家科技奖励情况：无 2、姓名：邓小铁 排名：第二 技术职称： 教授 工作单位：复旦大学 完成单位：香港城市大学 对本项目技术创造性贡献：本项目主要参与者，是代表性论文[1, 2, 3, 4, 10]的重要作者。特别是在两个多项式近似方案的存在性证明工作中，做出了重要贡献。 曾获国家科技奖励情况：无 3、姓名：蔡茂诚 排名：第三 技术职称： 教授 工作单位：中国科学院数学与系统科学院 完成单位：中国科学院数学与系统科学院 对本项目技术创造性贡献：本项目参