带有规划库的规划器设计模型研究

利用在规划识别中的规划库思想,在图规划的基础上提出了规划库的组织形式、形成过程、搜索策略以及学习方法.这样在规划器中应用规划库,能够有效地利用原有规划的成果,为迅速地检索有效规划提供了一种新的选择方式.同时,利用多agent之间的协作,在复杂的环境中解决复杂问题时,规划器可以相互共享规划库,从而会大幅度地提高规划器搜索有效规划的效率.     

有向二部图中的独立有向6-圈

证明了若有向二部图D=(V1,V2:A)的最小度至少为5k,则D有k个顶点不交的独立有向6-圈.其中 |V1|=|V2|=3k, k为整数.     

边界约束下的增量式布图规划算法

快速地在局部范围内调整布图已经成为一种设计需要。该文提出了一种二阶段法来实现边界约束下的增量式布图规划算法。根据已有布图规划建立松弛推移图,直观描述各模块之间"空白区"和松弛量的情况;同时建立模块交换图,记录所有具有形状相似特征的模块集合,基于这2个图进行增量式布图规划。第1阶段,基于推移图和交换图调整布图规划,使其满足边界约束。第2阶段,再次利用交换图进行互连性能优化。实验结果表明该算法在较短的时间里不仅对原有布图规划进行了有效调整满足了给定的所有的几何约束,而且还保证了芯片的面积和线长效果。     

关于三类五点图的多重完全多部图设计

λKn(g)是一个λ重完全n部图,G为一个不带孤立点的简单图.一个(λKn(g),G)-设计是将λKn(g)划分成边互不相交的子图,使得每一个子图都和G同构.应用GDD、加权和闭包等构造方法讨论G为三类五点图Gi(i=1,2,3)时(λKn(g),G)-设计对于任意λ的存在性问题,得到如下结论:(λKn(g),Gi)-设计(i=1,2,3)存在的充分必要条件是λn(n-1)g2≡0(mod 10),n≥2,ng≥5,其中i=1,2时(n,g,λ)≠(5,1,1).     

图Pm∨Wn的点可区别边色数

对网G的正常边染色，若满足不同点的点所关联边色集合不同，则称此染色法为点可区别的边染色法，其所用最少染色数称为该罔的点可区别边色数．得到了路与轮的联网的点可区别边色数。     

数据结构中图的-种应用

以非线性数据结构图为模型,设计了某市导游咨询程序,并给出了其核心函数的类C语言算法.     

2-外平面图的无圈边色数

研究了2-外平面图的无圈边染色问题.运用删点变换,得到了2-外平面图的结构性质;继而,运用数学归纳法,得到了图的一个无圈(Δ(G)+3)-边染色,即得到:若G是一个2-外平面图,则a’(G)≤Δ(G)+3.     

关于无向图节点信息量的比较

运用图模型的基本理论,研究了离散型和连续型两种随机变量熵和信息量的相关性质,讨论了这两种情况下条件信息量的性质,再利用无向图的概念,推导了几种简单的无向图节点信息量的一般结论,即相邻节点间的信息量大于不相邻节点的信息量.     

惠特尼对图论的贡献

惠特尼是20世纪美国最有影响的数学家之一。文章在对原始文献进行分类研究的基础上,论述他在转向拓扑学之前的图论工作:他不仅对可平面图、平面图的哈密顿回路问题、色多项式理论做出了巨大贡献,还使图论产生全新的分支——拟阵论,并在《关于线性相关性的抽象性质》(1935年)中奠定了拟阵论的基本理论。研究表明惠特尼的这些贡献均与求解四色猜想密切相关,他虽未成功解决四色猜想,但由此取得的理论成果对现代图论的发展影响深远。他开展数学研究的基本特征是寻求表象内在的原因,另一个特征是他在图论研究中的拓扑学思维方式,这对图论本身及之后的拓扑学研究都产生重大影响。     

四类圈树的连续边着色

设G是简单图，用颜色1，2，3，…对G进行正常边着色，若每一个顶点上表现的颜色都能构成一个连续的整数集合，则称这个边着色是连续的．图G的亏度def（G）等于粘在G上使它可连续边着色的悬挂边的最小数目．文章研究了四类圈树的亏度．