几类整循环图的秩的界

循环图是并行计算和分布式计算中一类重要的互联网络拓扑图,整循环图在支持完美状态传递的量子自旋网络模型中具有重要作用。图的秩定义为图的邻接矩阵的秩。利用Ramanujan和,借助Euler函数和Mobius函数,研究了几类整循环图的秩,得到了这些整循环图的秩的较为精确的界。     

超图的r秩Helly条件、保形性及表示图

<正> 一引言在[1]中叙述了一个超图H的Helly条件、表示图和保形性。本文引进了超图的r秩Helly条件,r秩保形性及r秩表示图,阐述了其存在的充要条件及相互关系文中所讨论的超图都是指连通超图,所用超图方面的术语是按[1]一书。     

边加权有限图的Weil-Riemann-Roch定理

Riemann-Roch定理是数学中的一个重要结论,并有了广泛的应用。在有限图和边加权有限图等图中也有对应的Riemann-Roch定理以及应用,但所有这些工作都有一个共同点,那就是它们都聚焦于在除子或和除子线性等价的线丛的情况下,也就是秩为1的情况。为了得到高维秩的情形,可以借助多重除子的术语来描述。本文利用还原群GLn的root datum的概念给出了边加权有限图上主GLn-丛——向量丛的定义,并用多重除子的术语来描述向量丛,进而给出了边加权有限图的Weil-Riemann-Roch定理以及证明,推广了GROSS A.ULIRSCH M.和ZAKHAROV D的结果。     

链环的trip矩阵

ZULLI L首先构造了一个用于计算纽结Kauffman尖括号多项式的模2矩阵,纽结的trip矩阵.为了构造链环的trip矩阵,引入了一个带标识的穿有m个孔的圆盘来取代纽结情形下的圆盘,其中m为链环的分支数.主要结果为:定理若状态S是从状态AA…A经过i1,i2,…,ip位置上的标记替换(A换成B)而得的状态.设Ts是将trip矩阵T的左上角的n×n子块中ai1i1,ai2i2,…,aipip之值进行替换(0→1或1→0)所得的矩阵,则#(L|S)=n+m-秩(Ts).因此计算链环Kauffman尖括号多项式就归结为计算一组模2矩阵的秩.     

超能整循环图的构造

图G的能量E(G)定义为图的特征值的绝对值之和.如果图G的能量E(G)2n-2,则具有n个顶点的图G称为超能图;如果它是循环群上的Cayley图,即其邻接矩阵是一个循环矩阵,则称其为循环图.整循环图是指循环图的特征值全为整数.基于Ramanujans和,利用Euler函数和Mobius函数,讨论了整循环图的超能性.同时,利用Cartesian积图给出了一个构造超能整循环图的方法.     

时序π演算及其对MARTE顺序图的建模

MARTE是统一建模语言UML在实时和嵌入式方面的一个扩展.本文给出π演算的一个带时序的变体来对MARTE顺序图的主要元素进行建模.相对于传统的π演算来说,时序π演算中增加了时间算子,可以对时间的流逝和计时器事件进行描述.同时,给出了时序π演算的语法和语义,并定义了时序π进程间的强互模拟关系.基于时序π演算,定义了MARTE顺序图的形式化模型,从而给出了MARTE顺序图的完整语义,并为进一步的模型检测提供了理论基础.     

3-连通P3-支配图的Hamilton性

引进了P3-支配图并对BROERSMA HJ和VUMAR E提出的作为半无爪图的一个超类,研究了这类图的一些性质.得到:若G是n阶3-连通P3-支配图,则当n≤5δ-4时,G是Hamilton图.     

新疆塔城市别斯托别一带基性杂岩岩石化学特征

别斯托别一带基性杂岩体与花岗岩接触带附近发现多处铜矿化点.对基性杂岩进行岩石化学特征分析,区内杂岩体为亚碱性岩体中的钙碱性系列基性火山岩.岩石样品投点及稀土配分图显示,杂岩体"亲缘性"较好,为同期岩浆结晶分异而成.同时,里特曼戈蒂里图解及花岗岩微量元素蛛网图反映了岩体应形成于同期碰撞构造造山环境.     

一类一致最优完全多部图

以(n,m)表示具有n个顶点m条边的图的集合.假设图G的边可靠,而顶点可靠的独立概率为p,若对于所有1 p∈(0,1),图G均为(n,m)中的最可靠图,则称G为一致最优图.本文证明了完全k-部图K(b,(b+2)k 1)在其图类中是一致最优的,而当i>3时,完全k-部图K(b,(b+2)k 2,b+i)在其图类中不是一致最优的.     

互斥变量dj图及其应用

在互斥变量K图、bj图的基础上提出了逻辑函数的互斥变量dj图,给出了全/部分互斥变量dj图的化简方法及实例.此外,文中还讨论了互斥变量K图、bj图与互斥变量dj图的转换方法.该法有效地压缩了dj图的规模,并扩大了dj图的应用范围.     

关于临界h棱连通图的最大棱数及最大图的结构(Ⅱ)——临界h棱连通图的性质和最大临界3棱连通图类的刻划

设λ(G)表示G的棱连通度,图G称为临界h棱连通的,如果λ(G)=h而且对任何x∈V(G),λ(G-x)≤h-1,具有最大棱数的临界h棱连通图称为最大临界h棱连通图.本文首先证明对h≥3的临界h棱连通图的若干性质,然后证明最大临界3棱连通图的每个顶点都与3度点相邻,并由此给出了此类图的结构刻划和最大棱数.     

无限图的匹配扩张

作为有限图的ｎ－可扩性的一个自然推广，本文引入了ｎ－可扩无限图的概念．我们讨论了ｎ－可扩无限图的若干特性，并证明了无限Ａｂｅｌ群上的连通Ｃａｙｌｅｙ图是２－可扩的当且仅当它不是双向无限路．     

Cayley图与变换图（Interchange Graph）

设s_x是n次对称群,M_x是由s_x的一些奇置换组成的共轭类,对任意n本文得到了Cayley图类Cay(M_x,S_x)的点连通度、直径、Hamiltonian 性及其它一些图论性质,同时本文还发现一类变换图G(R~x(1),S~x(1))与Cay(M,S_x)是同构的图类,(其中R~x(1),S~x(1)分别是n维全1行和、列和向量,M是s_x的对换全体),从而得到这类变换图与Cayley图Cay(M_x,S_x)相平行的一些性质。     

拉普拉斯整谱三圈图的刻画

如果一个图的拉普拉斯谱都是由整数构成的,那么这个图称为拉普拉斯整谱图。本文首先刻画了拉普拉斯三圈基图中最长圈的圈长c（H）≤6的整谱图,并且找出这些连通的拉普拉斯三圈基图的整谱图;其次刻画了至少含有一个悬挂点的连通三圈图的拉普拉斯整谱图,最后证明了至少含有一个悬挂点的连通三圈图的拉普拉斯整谱图都是由它们的拉普拉斯谱唯一确定的。     

关于图的符号边划分数

在符号边控制基础上,提出了符号边划分数概念,并研究了符号边划分数的一些性质,得到了圈C_n和星图K_(1,r)的符号边划分数.     

循环图的预解Estrada指标

Circulant graphs are an important class of network topology. Let G be a simple graph with n vertices, let A be the adjacency matrix of G, and λ₁,λ₂,…,λ_n be the eigenvalues of graph G. As a kind of centrality of complex networks, the resolvent Estrada index of G is defined as EE_r(G)=((1-λ_i)/(n-1))^-1. By Ramanujan's sum, using the Euler function and Mobius function, we characterize the lower bound of resolvent Estrada index of circulant graph, and obtain some computational formulas of integral circulant graphs.     

双图的一些脆弱性参数

一个图G的双图（double graphs）的定义为D[G]=G×T2,这里×表示图的直积,而死表示两个顶点的全图．本文研究了图的双图的一些脆弱性参数．     

表征学习驱动的多重网络图采样

已有的图采样方法侧重于单图采样,关注如何在一张图上通过采样保留其特定的拓扑结构特征。随着数据采集能力的提升,多重网络图在实际应用中越来越普遍,即相同的节点集在不同场景中具有不同的网络关系。针对传统图采样方法无法兼顾多重网络图结构特征的问题,提出了表征学习驱动的多重网络图采样算法。首先,设计融合多重网络图结构特征的图表征学习方法,将节点投影至二维的表征学习空间;其次,利用改进的自适应蓝噪声采样算法,考虑节点密度和网络连通性,从表征学习空间筛选节点,以保持其多重网络结构特征及图上下文结构特征。进而开发了一套多重网络图采样可视分析系统,支持用户交互式地探索多重网络图采样,并与已有采样算法进行对比。案例分析和评估实验证明了本文算法在多重网络图采样中的有效性。