【摘 要】
：
设G是一个图.G的完美匹配是指覆盖G中所有顶点的两两不交边的集合.设M是G的一个完美匹配,S?E（G）.若S?M且S不被包含于G的其它完美匹配,则称S是M的强迫集;若S?E（G）\M且G-S有唯一的完美匹配M,则称S是M的反强迫集.M的最小强迫集和最小反强迫集的大小分别称为M的强迫数和反强迫数,记作f（G,M）和af（G,M）.G中所有完美匹配的强迫数的最大值和反强迫数的最大值分别称为G的最大强迫
论文部分内容阅读
设G是一个图.G的完美匹配是指覆盖G中所有顶点的两两不交边的集合.设M是G的一个完美匹配,S?E（G）.若S?M且S不被包含于G的其它完美匹配,则称S是M的强迫集;若S?E（G）\M且G-S有唯一的完美匹配M,则称S是M的反强迫集.M的最小强迫集和最小反强迫集的大小分别称为M的强迫数和反强迫数,记作f（G,M）和af（G,M）.G中所有完美匹配的强迫数的最大值和反强迫数的最大值分别称为G的最大强迫数和最大反强迫数,记作F（G）和Af（G）.边交替出现在M和E（G）\M中的圈称为M-交错圈.两个M-交错圈称为相容的,如果它们要么不相交要么仅相交于M中的边处.对于平面二部图G,Pachter等人证明了f（G,M）等于G中互不相交的M-交错圈的最大个数,雷洪川等人证明了af（G,M）等于G中相容的M-交错圈的最大个数.设R是平面图G中若干内面的集合.若G有一个完美匹配M使得R中所有面的边界都是M-交错圈,则称R是G的一个交错集.进而,若交错集R中的面互不相交,则称R是G的一个共振集.G的最大共振集的大小称为G的共振数,记作res（G）.显然,Pachter等人的结果蕴含着F（G）≥res（G）.六角系统H是2-连通的有限平面图,它的每个内面都以正六边形为边界.H的最大共振集称为Clar集,其大小称为Clar数,记作Cl（H）.郑茂林等人证明了H去掉任意Clar集后所剩图有唯一完美匹配;Salem等人证明了H去掉任意极大交错集后所剩图也有唯一完美匹配.结合Pachter和郑茂林等人的结果,徐丽琼等人证明了:H有达到强迫数最大值的完美匹配M,使得H中互不相交的M-交错面圈（即,M-交错六角形）的最大数目等于M的强迫数;从而证明了Cl（H）=F（H）,并且猜想方格子图的最大强迫数能在多项式时间内计算出来.其中方格子图是无限平面方格网上的有限连通子图,它的每个内面都是方格并且每条边被包含在至少一个方格上.六角系统H的最大交错集的大小称为Fries数,记作Fries（H）.显然,Af（H）≥F ries（H）.雷洪川等人通过证明H有达到最大反强迫数的完美匹配M使得H中M-交错六角形的数目等于M的反强迫数,证明了F ries（H）=Af（H）.受上述工作的启发,我们进一步研究六角系统和方格子图中完美匹配的强迫数、反强迫数与交错面圈个数之间的关系.本论文共分为五章.第一章首先给出一些文中用到的概念、术语和记号,而后从物理化学角度介绍共振集和匹配强迫数的提出背景并综述相关的研究进展,最后概述我们所取得的主要结果.第二章我们研究了方格子图的最大共振集和极大交错集的性质,给出并证明共振数与最大强迫数之间的关系.具体地,我们证明了:方格子图去掉任意最大共振集后所剩图有唯一完美匹配;方格子图去掉任意极大交错集后所剩图也有唯一完美匹配;方格子图的共振数等于其最大强迫数,进而证实了徐丽琼等人提出的猜想.第三章我们研究了六角系统H的最大强迫数和交错六角形个数之间的关系.通过改进郑茂林等人的方法,我们证明了:对于H中每个达到强迫数最大值的完美匹配M（即f（H,M）=F（H））,H中两两不交的M-交错六角形的最大数目等于M的强迫数;由Cl（H）=F（H）知,H有一个由M-交错六角形构成的Clar集;进而,对于H中任意F（H）个两两不交的M-交错圈,它们的内部彼此不相交,且每个圈在H中围成一个线性六角链.第四章我们研究了方格子图H中匹配强迫数和交错方格子个数之间的关系.证明了:对于H中每个达到强迫数最大值或次大值的完美匹配M（即f（H,M）=F（H）或f（H,M）=F（H）-1）,H中两两不交的M-交错方格子的最大数目等于M的强迫数;当f（H,M）=F（H）时,H中任意f（H,M）个两两不交的M-交错圈彼此有不相交的内部,且每个圈在H中围成一个锯齿形链.第五章我们研究了六角系统H中匹配反强迫数和交错六角形个数之间的关系.证明了:对于H中每个达到反强迫数最大值或次大值的完美匹配M（即af（H,M）=Af（H）或af（H,M）=Af（H）-1）,H中M-交错六角形的数目等于M的反强迫数,H中任意af（H,M）个非交叉的相容M-交错圈彼此有不相交的内部,且每个圈在H中围成一个线性六角链.本章最后,我们研究了不含三亚苯作为好子图的六角系统H,证明了:H中每个完美匹配M′的反强迫数都等于M′-交错六角形数目的充要条件是H不含三亚苯作为好子图.
其他文献
因其丰富的物理内涵,强关联体系一直是凝聚态物理理论和实验两个方面最重要的课题之一。在强关联体系中,粒子间的相互作用不可被忽略或者平均处理,能带理论不再适用。一般来讲,强关联体系很难被解析严格求解,而更多诉诸于各种各样的数值方法。相对与更高维度,处理一维的强关联体系有着非常有效的数值方法,即密度矩阵重正化群方法。其结果非常可靠,对理解二维或者三维强关联体系也有一定的帮助。在第一章我们首先介绍了几种一
本篇博士论文主要研究如下三类带有时滞项的发展方程解的渐近行为:（1）带有时滞项的非经典反应扩散方程?tu-?t?u-?u=f（u）+g（t,ut）+k（t）in?×[τ,∞),u（x,t）=0 on??×[τ,∞),u（x,τ+θ）=?（x,θ）,x∈?,θ∈[-h,0];（2）带有时滞项的p-Laplacian方程?tu-div（|?u|p-2?u）=f（u）+g（t,ut）+k（t）in?×（
本文主要研究了几类幺半群的有限基问题,得到了一些新的有意义的结论.令Kn为由n（n≥2）个生成元生成的Kauffman幺半群.在第三章中,给出了判定半群为非有限基的一个充分条件;作为应用证明了K3和K3\{1}均为非有限基的;最后给出了该条件的其它应用.令Mn（T）为热带半环上所有n×n矩阵构成半群.记Mn（T）的所有上三角（下三角）热带矩阵构成的幺半群记为Un（T）（Ln（T））.在文献[29]
π0介子作为强子谱中最轻的粒子,对QCD基本对称性问题的理解起到至关重要的作用。QCD手征微扰论对π0介子寿命的理论预测精度达到了1%左右。美国国家实验室Jefferson Lab进行的PrimEx实验项目,利用Primakoff效应力求以1.4%的实验精度测量π0介子寿命,从而严格检验这个基本的理论预测结果。该项目的第一期实验PrimEx-Ⅰ的实验结果测量精度为2.8%,这个结果很大程度上提高了
由于土壤盐渍化特别是农业用地盐渍化对农业生产的严重影响,其已日益成为受到全球关注的环境热点问题。植物中许多重要的正常生理生化过程在高盐土壤环境以及与之伴随的高渗透胁迫下都会受到不同程度的伤害。植物在高盐环境下为了能继续保持自身基本生长发育,逐渐形成一系列完整的应对盐胁迫和修复伤害的机制适应环境。目前研究发现很多Na+转运体可以帮助植物维持离子稳态；植物细胞内也会快速积累一些影响渗透势变化的物质保持
通过正向遗传学筛选鉴定生长素缺陷突变体一直被认为是很困难的,因为生长素吲哚-3-乙酸（indole-3-acetic acid, IAA）的合成途径分支多且复杂、部分步骤对应的基因功能冗余、生长素的功能是重要且多样,因而很难找到一种合适的表型（Phenotype）来建立一种有效的筛选体系。直至最近,通过植物对乙烯（Ethylene）、庇荫（Shade）、萘氨甲酰苯甲酸（N-1-naphthylph
近年来,半群代数的表示理论发展迅速,取得了很多有意义的结果:既包括对其半群代数经典性质的研究,又包括半群代数在其它领域的应用.例如:概率,组合,统计及拓扑.还有很多半群代数的未知问题等待我们去解决和探索.在阿丁代数表示理论的研究中,映射的决定因子有很重要的作用.本文主要研究U-半富足半群代数的胞腔性,局部适当半群代数的直积分解和投射不可分解模,纯正半群代数的半本原性,局部逆半群代数的π-半单性和素
本设计充分体现了项目化学习特征:以"设计"为主要手段,以项目学习为载体,驱动学生深入文本,活学活用,既打破了小说教学常用的套路,也突破了学生阅读小说的惯常方法与思维局限,有效地促使学生的学习从"平面"走向"立体",从"平淡"走向"兴味盎然"。"革命传统作品"的教学意义重大,但由于时代背景等因素制约,学生往往难以深入理解作品。为此,就需要精心设置符合学生实际的学习情境,让学生主动积极探究小说各
超代数是经典代数系统的一个自然推广,因为在经典代数结构中,两个元素的运算结果是一个元素,而在超代数系统中,两个元素运算的结果是一个集合.序超半群是目前超代数理论研究中最活跃的领域之一.本文旨在将经典序半群和超结构理论的研究有机结合起来,研究序超半群理论中的一些问题,全文共分为六章.第一章首先介绍了本文的研究背景及研究进展,然后分析了本文的研究动机,并介绍本文需要的基本概念、术语及一些相关的记号.最
(序)半群的S-系理论作为（序）半群代数理论的一个重要分支,它不仅在（序）半群理论的研究中而且还在数学的其它领域（如图论、代数自动机理论等）中起着重要的作用.本文主要通过研究（序）S-系的平坦性质,来刻画（序）幺半群的结构特征.全文共分为六章.第一章首先介绍了（序）S-系理论的研究背景,然后给出了本文的主要研究结果,最后介绍了本文所需要的一些基本概念和事实.第二章研究了S-系的条件（PF）.首先,