基于对偶图的对偶树分解的4着色

阐明了对偶图G(p,q,f)4着色的基本思路,提出了n面体的展开图G′(f,s,t)与对偶图G(p,q,f)之间的依存关系,根据这种依存关系,提出了对偶图G(p,q,f)的对偶树及三胞胎树的3种不同的算法,同时提出了这3种算法的适用范围和条件。根据4着色理论,阐明了基于对偶树分解和三胞胎树分解的对偶图G(p,q,f)的4着色方法。文中以20面体为例,介绍了20面体的展开图与对偶图G(p,q,f)之间的对偶关系图和20面体平图的对偶图G(p,q,f)的4着色的全过程,提出了具体的实施步骤,并根据步骤得出相应的结论。     

20面体平图的4着色与对偶树的分解

阐明了任意平图的对偶图的4着色的基本思路,提出了借助于对偶图的2棵对偶树T^A和T^B的分解,实现对偶图的4着色方法。介绍了20面体平图的对偶树T^A和T^B的分解及4着色的不同方案。     

G(p,q,f)的对偶树T~A及T~B的算法

给出了对偶树的定义.证明了G(p,q,f)的4着色的命题;提出了对偶树TA及TB的3种算法;介绍了本文算法在对偶图G(p,q,f)的4着色中的应用.     

20面体的4着色

给出了对偶树的定义.提出了对偶树的算法和利用对偶图G(p,g,f)的2棵对偶树TA及TB的分解实现对偶图G(p,g,f)的4着色方法.阐明了任意对偶图G(p,g,f)的4着色的基本思路.介绍了20面体的4着色的全过程.     

对偶图中的H圈与平图的4着色

阐明了对偶图中的H圈与平图的2棵对偶树的相互依存关系,阐述了平图的4着色与2棵对偶树之间的相互依存关系。平图的顶点4着色以及2棵对偶树的分解决定了对偶图中的H圈,对偶图中的H圈也决定了平图的顶点4着色及2棵对偶树的分解。平图H圈决定了对偶图的2棵对偶树的分解及顶点4着色,对偶图的2棵对偶树的分解及对偶图的顶点4着色决定了平图的H圈的分解。2棵对偶树的2着色等价于平图的顶点4着色,内区与外区的分界线恰好是H圈。提出了多面体平图的H圈的构造步骤和多面体平图的顶点4着色步骤。介绍了12面体平图中30个H圈的构造,对偶图中对偶树的分解、以及对偶树的4着色。解决了任意平图中的H圈的分解方法和计数方法,为解决任意平图中的生成树的构造和计数问题奠定了基础。     

平图中的H圈与对偶图的顶点4着色

阐明了平图的4着色及对偶树与对偶图中的H图的依存关系,以及对偶图的4着色及对偶树与平图中的H圈的依存关系。给出了平面H圈和对偶图顶点4着色的基本思路,得到了对偶图与三角剖分图之间的关系,并利用此关系提出了平图及对偶图的H圈及对偶树的分解方法和顶点4着色方法。这两种方法都是通过给出对偶图成平面的面中心的H圈得到对偶树,并对对偶树进行着色而得到的。介绍了46面体平图及对偶图中的H圈及对偶树的各种分解方案和顶点4着色方案。结果表明:任意平图中的H圈必定将对偶图分解为两棵对偶树,且两棵对偶树的2着色等价于对偶图的顶点4着色,从而使kempe四色猜想证明中的错误得以纠正。     

多面体平图的4着色方法

讨论了多面体平图的4着色问题,将平图的面着色问题简化为平图面中心的顶点着色问题。提出了多面体4着色的基本思路,当顶点数p值很大并且有许多面交汇时,实现对偶图的顶点4着色问题借助于对偶图G(p,q,f)的两棵对偶树的分解,而对偶图G(p,q,f)两棵对偶树的分解又依靠对偶图G′(f,s,t)的Hamilton路径p的分解。概括了对偶图G(p,q,f)4着色的基本方法,同时在此基础上给出了8面体,12面体,20面体,32面体4着色的具体步骤,并以图形的形式给出了以上多面体4着色的具体方案。     

Heawood图的一对对偶树的分解和4-着色

阐明了任意平图的4-着色的主要思路,给出了对偶树的定义。对偶图中的一对对偶树与对偶图的Hamilton路径相互依存,提出了任意平图的4-着色的方法步骤。得到利用上述方法得到的一对对偶树及具有的性质。介绍了Heawood图的由来和基本特点、Heawood图的4-着色的2种方法步骤,通过对偶图的2个区域的划分,实施了Heawood图的4-着色,借助于Heawood图的对偶图的Hamilton路径的分解构造了2棵对偶树。借助于此方法所得的Heawood图的25个顶点的4-着色方案达到236个,从而使Kempe的4-cc猜想"证明"中的漏洞得到弥补。     

对偶图的H圈分解和相应的平图4着色

阐明了平图中的H圈与对偶图中的森林Fi及顶点4着色的依存关系,提出了一种基于H圈分解的任意平图的顶点4着色方法。介绍了20面体平图中的24个H圈及对偶图中的24个森林Fi及24种顶点4着色方案。讨论了平图及对偶图中的H圈Ci的个数,森林Fi的个数和顶点的4着色方案数。得到任意平图及其对偶图均能分解出H圈和森林Fi,任意平图及其对偶图均为可4着色的。得到了当平图为三角剖分图时,对偶图为多边形组合,H圈个数必大于其对偶图中的H圈的个数。平图为多边形组合时,其对偶图为三角剖分图,H圈的个数必小于对偶图中的H圈的个数。平图中森林Fi的个数或4着色方案数等于对偶图中的H圈的个数;对偶图中的森林Fi′的个数或4着色方案数等于平图中的H圈的个数。     

中国建筑师问题与对偶问题的4着色

提出了中国建筑师问题,阐明了求解中国建筑师问题的基本思路。介绍了25个顶点、69个边、45个面的对偶图的顶点4着色的全过程。将对偶图分解成含2棵可以2着色的对偶树的森林,在以r、b两色为对偶树得到的顶点实施2着色,以y、g两色为对偶树得到的顶点实施2着色,从而实施对偶图顶点的4着色。阐述了对偶图的4着色关键是将对偶图分解出森林,提出了3个森林的分解方法,讨论了H路径的个数、森林的个数、对偶图的A区和B区划分方案、对偶图的顶点4着色方案数。解决了对偶图顶点的4着色问题,利用对偶图顶点4着色方法使Kempe四色猜想"证明"中的漏洞得到了弥补。将此种方法用于12面体、20面体、22面体、32面体的对偶图的4色问题,并取得了成功。     

不含4-圈的平面图的L(p,q)-标号

令G为平面图,用Δ(G)和λp,q(G)分别表示G的最大度和L(p,q)?标号数,其中p和q是满足p≥q的两个正整数.证明了若G为Δ(G)≤5且不含4-圈的平面图,则λp,q(G)≤(2 q?1)Δ(G)+8p+1 4q?11.这一结论改进了有关文献的相关结果.     

关于ARMA（pq）模型序列的叠加问题

讨论了关于零均值的平稳时间序列ＭＡ（ｑ），ＡＲ（ｐ），ＡＲＭＡ（ｐｑ）三种模型在一定条件下的叠加，乘积所呈现模型的一些结论。     

五面体平图中的生成树的构造与计数

首先给出了生成子图的定义,生成子图与生成树、含圈的生成子图的关系S(G)=C(G)+T(G);其次对于任意连通图,以p=4,q=6的完全图K4为例给出了生成子图个数的计算公式,同样以p=4,q=6完全图K4为例给出了生成树的构造定理和计数定理,提出了图S(G)生成树的计数方法和构造方法;最后,介绍了五面体平图生成子图个数的计算和各生成子图的构造,并验证了所给公式的正确性,从而解决了任意平图G(p,q)生成树的构造问题。     

关于X_4~T（G）＋X_4~T（G）的可达下界问题

解决了张忠辅等人提出的如下问题：确定的可达下界，其中表图Ｇ的４－全色数，表Ｇ的补图。     

图的L(p,q)-标号问题

令G为图,p,q为2个正整数,p≥q。G的一个L(p,q)-标号是映射f:V(G)→{0,1,2,…},使得对任意x,y∈V(G),若dG(x,y)=1则|f(x)-f(y)|≥p;若dG(x,y)=2则|f(x)-f(y)|≥q。G的一个m-L(p,q)-标号是标号f:V(G)→{0,1,2,…},使得对任意x∈V(G),有f(x)≤m。并称λp,q(G)=min{m|存在G的一个m-L(p,q)-标号}为图G的L(p,q)-数。本文给出k-退化图、G1和G2的联图G1∨G2及G1和G2的M-matched sum图G1M G2的L(p,q)-数不同上界。最后给出仙人掌图,唯一圈图L(p,1)-数λp,1(G)的可达界。     

外部平面图的L(p,q)-标号

对于正整数p,q,n与图G,如果函数φ:V(G)→｛0,1,2, ,n｝满足如下关系:若distG(u,v)=1,则|φ(u)-φ(v)|≥p;若distG(u,v)=2则|φ(u)-φ(v)|≥q,那么称函数φ为图G的L(p,q) 标号.在所有L(p,q) 标号中最小的n称为(p,q) 跨度,记作λ(G;p,q).本文证明了如下结论:设图G是一个最大度为Δ的外部平面图,那么λ(G;p,q)≤qΔ+4p+2q-4.