通过结题项目(69973001)的进行中,发现的图在曲面上的新表示法,进一步研究图,或电子线路,在曲面上纵横嵌入的理论,以及在各种客观的和理想的条件下,建立识别和优化算法。并且,在计算机上实现。不仅为在超大规模集成电路(VLSI)的布局(包括定位和布线)中,利用打洞代替分层以减少体积,而且纵横嵌入利于实现这个过程的设计自动化, 提供理论准备。同时,在软件工程,以及项目管理等方面也有应用前景。
按照本项目的计划报告,顺利超额完成了预期的结果。主持人出乎预料地发现纵横曲面新模型。(1)对图在曲面上的联树表示法进行了研究[1],为在计算机上全面实现已作了准备。图在曲面上的色和问题有新的进展如文献[15][16][20][30][31].关于图在平面和给定曲面上地图的嵌入得到了一些新的结果,如研究成果目录[19][21][22]等。(2)研究了4-正则图和3-正则图的纵横嵌入的理论和通用算法,已经编制了一些程序,而且已经通过实验,检验成功。如给出了一个求图的所有曲面嵌入的算法。通过对程序的检验,给出了验证两个嵌入是否同构的算法,并对阶数较小的图求出了结果。实际检验达到预期效果。具体内容整理出两部专著,如研究成果目录中专著[1][2]。 (3) 研究了主持人提出的联树法理论,并利用联树法解决了一些图的曲面嵌入的亏格问题。将求最小亏格问题转化为在循环序上的优化问题。为解决图论的一些难题提供了新的途径。如平均亏格问题,亏格分布问题[9][14][24][26][29][32]等。(4)研究了图在曲面上的其他性质如图的自同构问题,图的循环空间问题[13][18][23]等。