图的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)的可达界。     

pq阶Cayley图的符号星控制数

设G=(V,E)是一个没有孤立顶点的图,如果一个函数f:E→{-1,1},满足f(E(v))≥1,v∈V(G),则称f为图G的一个符号星控制函数.图G的符号星控制数定义为:γss(G)=min{f(E)|f为G的反符号星控制函数},论文确定了pq(2pq,且p、q为互异的素数)阶群Q上Cayley图X(Q,M)的符号星控制数γss(X(Q,M))=(p-1)q+1,M表示群Q的极小生成集.     

有限群的π-弱拟正规子群Ⅱ

有限群G的一个子群K称为G的一个π 弱拟正规子群,如果K同G的所有Sylowπ 子群相乘可换(四川师范大学学报(自然科学版),2002,25(4):441～444).讨论了π 弱拟正规子群的一些性质,并且证明了如下的分类定理:有限群G的每个2 极大子群M∈Cπ并且M在G中π 弱拟正规的充分必要条件是或者G是π 闭群或者G是具有正规Sylowq 子群的pαq阶的极小非循环群,其中p相似文献   

用非交换图刻画L3(q)

令G是一个有限群,其非交换图▽（G）如下定义：顶点集合▽（G）是G／Z（G）,当两条边x与y的换位子不等于单位元时x与y相连.我们证明了如果G是一个有限群,且▽（G）≌▽（M）,其中M=L3（q）,q=pn,p是素数n∈N,则G≌M.     

关于边控制集的一些结论

令G＝（V，E）是一个图，M是边集E（G）的子集，如果有e∈E（G）／M，e至少与M中一条边相连，则称M为图G的边控制集，进一步，若M是匹配，则称M为图G独立边控制集，本文给出关于边控制集的一些结论。（1）设图H，S是两中连勇图，且H,S∈ж，γe(S)=1,M和M′＝｛uv｝分别是图H和S的唯一最小边控制集，其中S是图1中的（G1，G2，G3，G4）四个图之一，对任何点x∈V（S）＝｛u,v｝,y∈V(H)-V(M),令G＝H（y=s)S，则G∈ж，（2）如果连通图G≠K2，G∈ж，γe(G)=k,则存在G的两个连通于图H，S和某两个正整数l,m使H∈ж，S∈ж，且γe(H)=k-l,γe(S)=l,G≌H（yi=xi)S,其中l≤i≤m.     

欧拉跳跃图

讨论欧拉跳跃图,给出一个图是欧拉图,其跳跃图J(G)是欧拉图的充要条件及一个连通图G=(p,q)的跳跃图J(G)是欧拉图的充要条件,即定理1:设G=(p,q)是欧拉图,则J(G)是欧拉图当且仅当q≥5为奇数.定理2:设G=(p,q)是连通图,则J(G)是欧拉图的充要条件是⑴q≥5是奇数且q>ζ 1,每点的度有相同的奇偶性;⑵q≥6是偶数且q>ζ 1,任意一边的两端点的度有相异的奇偶性.其中ζ=max{d|u| d(v)|uv∈E(G)}.     

关于跳跃图的一点注记

图G的跳跃图记作J(G),其定义为：V(J(G))=E(G),ef∈E(J(G))当且仅当e、f在G中不相邻,该文证明：若G=(V,E)是不含孤立点的图,阶P≥q,边数q≥5且△(G)≤q／2,则除一类特殊图外,J(G)是H-图．从而否定Gary Chartand等人提出的一个猜想．     

Halin图的列表L(p,q)标号

图G的一个列表L,是指对G的每一个顶点v指定的一个标号集合L(v)。G的一个列表L(p,q)-标号是G的一个正常L(p,q)-标号,使得每一个顶点v∈V(G)均可在其对应的列表L(v)里选取一个标号。G的一个k-列表L(p,q)标号是一个列表L(p,q)-标号,使得G的所有顶点v的列表L(v)的长度L(v)=k 1。定义G的列表L(p,q)-标号数λl(G)=m in{G k有一个k-列表L(p,q)-标号}。讨论了Halin图的列表L(p,q)-标号问题,证明了λl(G;p,q)≤(2q-1)Δ(G) 6p-3。     

两类Cayley图的边Hamilton性

设G为有限群,M是群G的一个生成集.证明了2pq(p,q为两个互异的奇素数且q相似文献   

图的边覆盖数、围长和最大亏格

设G为图,用ω(G)和g(G)分别表示图G的边覆盖数和围长.结合图G的边覆盖数和围长等条件,得到了Betti亏数ξ(G)的一个上界,即设G为k-边连通图,则ξ(G)≤{|V(G)|-ω(G)(「)g(G)/2」, k=1,max{1,|V(G)|-ω(G)(k-1)(「)g(G)/2」-1},k=2,3.进而得到最大亏格γM(G)的一个下界.所得结果改进了目前已有的结果.     

一种非确定型有穷自动机的极小化方法

自动机状态极小化是寻求状态数较少的自动机,使其与原自动机接受相同的语言．确定型有穷状态自动机（DFA）极小化问题在平方时间内可解,通过状态集上引入等价关系导出的商自动机即为接受相同正则语言的极小化自动机．而非确定型有穷状态自动机（NFA）极小化问题尚未找到有效算法．尽管NFA可以转化为DFA且接受的语言不变,但可能会出现状态数指数级增加．从语言B可以构造一个接受自己的子语言自动机,同态压缩映射子语言自动机为最终系统,从而为接受语言B的极小化自动机．     

关于Moore自动机可逆性的一些结果

主要讨论了Moore自动机(弱)可逆的一些性质，并给出了当|S|=|Y|时，Moore自动机(弱)可逆的充要条件。     

基因交互逻辑网络的自动机模型

阐述最近几年来国外应用自动机理论到基因组系统作用与行为的研究新进展,分析了有限状态自动机和细胞自动机应用于基因网络的原理、方法与机制。结合基因网络研究,本文首次提出了一个引入时间自动机模型的思路。     

基于非确定型有限状态自动机的基因逻辑网络模型

阐述近年来基因网络逻辑行为的新模型———有限状态自动机模型,针对该模型的局限性,本文提出了改进,建立非确定型自动机模型,以描述网络行为的非确定型,适应基因网络的异常表达需要.     

一维Conway元胞自动机的涌现计算

给出四参数Conway元胞自动机的翻转规则及演化结果. 通过增加相邻元胞数量发现， r=1的规则中没有Wolfram第四等级； r≥2中存在Wolfram第四等级.     

基于模糊逻辑的元胞自动机用于图像处理

提出了一个基于模糊逻辑的元胞自动机模型用来处理图像处理中的图像分割问题。将元胞自动机原理中的元胞状态转化为模糊元胞状态,并将演化规则转化为模糊规则从而建立模糊元胞自动机模型,使图像中灰度水平介于目标和背景之间的像素得以较好地归类,从而得到一种新的图像分割方法。     

一种基于有限运行时间自动机的基因网络模型

阐述了最近几年来国外基因网络系统逻辑行为的研究新进展——基于有限状态自动机模型的方法,针对该方法的局限性,提出了一种基于有限运行时间自动机的基因网络模型,以描述网络行为的时间约束.     

概率自动机的等价性

本文研究概率自动机初始等价和等价之间的关系,基矩阵的性质,某些等价类的结构,并得到判定极限最小自动机的一个充分条件。     

基于模糊元胞自动机的复杂图案、纹理生成实现

结合模糊规则和元胞自动机的机理,分析了模糊元胞自动机的基本原理,根据元胞自动机的不同构形,提出多种模糊元胞自动机演化规则,并根据这些基本规则,分别用3邻元、5邻元以及9邻元进行元胞状态更新,生成了多颜色\复杂、漂亮的图案和织物纹理,其结果在针织织物设计中意义重大.     

连接型自动机的极小化及其复杂性

通过定义确定型有穷自动机在状态集上的等价关系,可以构造一类非确定型有穷自动机在状态集上的等价关系,利用这个等价关系可以对这类非确定型有穷自动机进行极小化。