图的交叉数等图论难题的分析.pdf

摘要 图论是离散数学的一个重要分支，近二百多年来取得了迅猛发展，已经应用到 各个领域，包括物理、化学、通讯科学、计算机技术、生物遗传学等等．本文对图论 中的三个难题，即：图的交叉数问题、图的路径层矩阵问题、不含3，4，5边形的极 图问题的计算机算法进行研究，将计算机构造性证明和数学证明相结合，取得了较 好的结果． 图的交叉数问题是在实际应用中提出来的，在CAD领域有广阔的应用．已经证 明图的交叉数是NP困难问题．本文对图的交叉数进行研究，对已有的计算图的交叉 数的算法CNN的限界条件进行了改进，利用改进后的算法计算了顶点数不超过18 的循环图和顶点数不超过16的广义Petersen图的交叉数，根据算法所构造的相应的 的奇数时c(月；{1，Lnl2．1J))的交叉数的上界．同时对图的交叉数采用分组计数的方式 进行计算．通过对不同的循环图类设计相应的不同的分组方式和交叉点计数函数，成 并最终确定了它们的值． 具有相同路径层矩阵的图的问题是在药品分析的实际应用领域中提出来的，与 图的同构问题紧密联系．本文设计出了一种新的研究路径层矩阵的方法，用计算机构 造具有一定特征的基本图，将4个相同的基本图分别通过不同的方式两两连接，从 而构造一对具有相同路径层矩阵的不同构的图，并对该方法的正确性进行了数学证 明．设计并实现了较好的构造r一正则基本图的算法，利用该算法构造出一个9个顶 点的4一正则基本图，并以此构造出了一对18个顶点的没有割点的具有相同路径层 矩阵的不同构的4一正则图，将具有相同路径层矩阵的不同构的4一正则图的最小顶点 数^4)和具有相同路径层矩阵的不同构的无割点的图的最小顶点数是的上界分别由 44平口31下降至0 18，即得至0，_(4)≤18，^≤18． 极图问题是图论的核心问题之一，不含多边形的极图问题是极图问题中的一类 经典问题．本文对不含3，4，5边形的极图问题进行研究，给出了顶点数为不大于42 的整数时不含3。4，5边形的极图的边数，设计并实现了一个从n=2开始至”=42利 用打一1个顶点的临界图构造作个顶点的临界图的算法，从而构造出所有顶点数为不 大于42的整数的不含3，4，5边形的极图；对疗42，本文给出了极图边数的上界． 关键词：图的交叉数，图的路径层矩阵，极图，禁止子图，图的同构，正则图，广 义Petersen图，循环图 Abstract Asan branchofdiscrete hasmorethantwohundred important mathematics，graphtheory in differentfieldsinthemodern as been world，such vears has many history．It applied and scienceetc。 social technology,computertechnology physics，chemistry，communication on matrixandextremal This researches numbers，pathlayer paper crossing therelated andthemathematical algorithms proving bycomputer