图同构相关论文
量子计算作为一种利用量子力学基本原理来完成计算任务的新兴技术,具有经典计算无法比拟的强大计算能力,一经提出就获得广泛关注。......
本文直接应用两图同构的定义.讨论了在微机上判断无复铰运动链同构的算法和步骤,并用PROLOG程序设计语言实现了这种算法.
This article dir......
一个CNF公式F称为极小不可满足的(MU),如果F是不可满足,并且在F中删去任意一个子句后所得到的公式是可满足的。一个MU中的公式F称为......
随着包括化学情报学、生物信息学、计算机视觉、视频索引、文本检索以及Web分析在内的广泛应用,图作为一种一般数据结构在复杂结构......
网络图中的motif是一种连通的导出子图,并且满足在原图中出现的次数比它在随机图中出现的次数多很多。这种性质可以解释成这种子图......
同族恶意软件在行为上表现出趋同性和一致性,因此针对同族软件行为具有相似性的特点,我们可以利用已知行为模式评估软件的恶意性和......
教师学科知识评价作为教师专业化发展中的一项重要工作,日益引起研究者的重视。由于传统的教师学科知识评价方法存在着耗时久、客......
图论作为数学领域中的一个重要分支,被广泛应用于计算机科学、经济金融以及自然社会科学等各个领域。在图论领域中,对于极图问题的......
本文对有关互连网络拓扑等价的分析方法作了简单评述。并采用互连网络拓扑等价的图分析法分析了自由空间光学互连全交叉网络与SW榕树......
本文全面讨论了同构检测的启发式算法的理论基础,结合具体电路,提出了一个全新的、实用的电网络同构检测方法,并在IBM PC/XT机上进......
创造性的提出了利用生成树的数目作为运动链拓扑图同构判断的必要条件。虽然只是必要条件,只能判断不同构的情况,但是其计算简单......
本文用随机Petri网(SPN)理论为基础建立和描述了低轨道移动卫星通信系统的话务和切换模型,给出了与随机Petri网可达图同构的马尔可......
将混杂进化算法引入图数据挖掘,定义了基于图的染色体表示与加边变异和减边变异算子。针对子图同构问题,采用了SUBDUE提出的带实例......
一个变元改名是一个关于变元的置换,一个文字改名是允许某些变元变换到它的补的变元改名,一个同态则是允许不同文字变换到同一文字......
Cayley图是由A.Cayley在1878年提出的,当时为了解释群的生成元和定义关系,但由于它构造的简单性、高度的对称性和品种的多样性,越来越......
在群与图的研究中,图的对称性一直是一个热门问题.在具有较高对称性的图中,1-正则图是一个主要的研究对象,并且大都是围绕小度数的情......
二部图在图论研究中占有相当重要的位置.人们在研究中发现了一类具有下列性质的二部图,即图X的全自同构群Aut(X)包含一个在X的二部划......
基于图同构零知识证明的标识-鉴别-签名系统,提出了一个解决自授权问题的方法.与以前的方法相比,虽然两者都是基于对主秘密的逐步暴露来......
0引言 图的同构判定问题是图论科学中的基本问题之一,而要判定两个图是否同构却不是一个简单的问题,到目前为止,多数的学者......
研究了判定问题“对于命题CNF公式F和H,是否存在一个变元(或文字)改名ψ,使得ψ(F)=H?”的复杂性.对于极小不可满足公式的子类MAX......
研究了qp阶亚循环群的弱m-DCI性(其中q与p是满足2<q<p的素数),并证明了它们是弱(q-1)-DCI但不是弱q-DCI的.......
决定了4p(p是奇素数)阶二面体群的连通3度Cayley图的完全分类,并证明4p阶二面体群不是弱3-CI群,从而否定了C.H.Li关于“所有有限群......
文章在电路模拟法的基础上提出了一种对称无向图的同构判定算法。电路模拟法对随机图的同构判定问题非常有效,但是对于处理对称度......
【正】会下围棋的人都知道,"乌龟不出头","大猪嘴","金鸡独立","七死八活",这些话说的不是动物,而是在围棋中经常出现的一种图案、......
结合图对应的邻接矩阵,利用矩阵的秩和矩阵的合同关系,得到了图同构的一个必要条件;然后给出了图同构的一个理论判断的算法.......
Cayley图的CI性是研究其同构问题的重要性质。考察一类内2-闭群G=〈a,b|a^2a=b^p=1,a^-1ba=b^-1)当a=2时的(弱)m-(D)CI-性,并证明G是3-DCI......
判断图同构的一种有用的方法是对图的邻接矩阵进行初等变换,变成另一个图的邻接矩阵。不幸的是,当初等变换后两个矩阵不能相等时。并......
设G是一个有限群,S是G的一个子集,则群G关于S的双Cayley图BCay(G,S)是指顶点集为G×{0,1},边集为{{(g,0),(sg,1)}|g∈G,s∈S)的二部图。类似于Ca......
图同构问题是指对两个图寻找顶点之间的一个一一映射,使得两图的边在该映射下也保持对应关系,该问题得到许多研究者的关注。在一些论......
借鉴高阶矩的方法,采用层序的计算框架,依据结点的连接距离和层序信息定义了20种结点不变量。这些结点不变量体现图整体的上下偏分......
图(Graph)在众多的科学领域和工程领域(如模式识别和计算机视觉)中具有广泛的应用,其具备强大的信息表达能力。当图被用来表示物体......
研究了判定问题“对于命题CNF公式F和H,是否存在一个变元(或文字)改名φ,使得φ(F)=H?”的复杂性.对于极小不可满足公式的子类MAX和MARG,我......
对工厂设计中的P&ID和配管设计图,提出模型拓扑图的映射规则,采用关联度序列法对拓扑图同构进行判定。映射规则将图论理论和工程实际......
为了寻找更好性能的图不变量,利用层序遍历过程中的顶点数据经加权累加定义了15种顶点不变量,每一种顶点不变量排序后可以组成一种......
研究了qp阶亚循环群的弱m-DCI性(其中q与p是满足2<q<p的素数),并证明了它们是弱(q-1)-DCI但不是弱q-DCI的.......
A novel framework for parallel subgraph isomorphism on GPUs is proposed, named GPUSI, which consists of GPU region explo......
概要:说明存在两个特殊的图,其补图和线图是同构图。由图。1所示的两个图是比较图的两个最简单的例子,因为不可能给它们的边定向,......
对于图的非同构问题,设计一种交互式零知识的证明协议,许多文章都有讨论,但都是不完善的,本文给出了一个完整的关于图的非同构零知识交......
利用图和群的方法,证明6p阶二面体群是弱3-CI群,并决定了它连通3度Cayley图的完全分类,得出6p阶二面体群可以分为1/2(3p+1)类互不同构......
为了保护信息的机密性和完整性,该文给出了一种新的报文摘要构造算法,这种新算法是基于图同构的。为了把报文与图联系起来,采用了基于......
研究了γ阶(γ,γ-k)图和Cy的包装问题,对边数ε≥γ-1/2)-1的简单图进行了哈密顿分类,得到了全部的非哈密顿图,由此推广了Ore和Bondy关于此类问题的结果。......
给出同阶(阶数≥7)树和不含K_3的(P,P+1)图可包装的充要条件为{G_1,G_2}不是下述图对之一:(1){S_n,G_2},其中Sn是n阶星图,G_2是无孤立点的(P,P+1)图;(2){S'_n,G_2},其中S'_n是由S(n-1)的任一边上增加一个剖分点得......
传统挖掘频繁子图的方法,不论是基于Aprior的还是基于FP-增长的,均采用自底向上的挖掘方法,该方法需要多次迭代和判断子图同构,大大降......
图论在自然科学与社会科学的研究中应用非常广泛和重要,同构作为其基本问题,也是一直在研究的重点。根据图论中图的性质与特点,应......
为了实现CAD和CAPP之间的信息集成,提出一种CAD模型特征识别算法.首先通过提取模型的B-Rep信息,将CAD模型用属性邻接图来表示;然后......
将简单无向图的“图重构,则图同构”的Ulam猜想转化为图的投影分解问题,从而简明了的证明了简单无向图的Ulam猜想的正确性,并对Ula......