基于有向带环加权多图的线性服务组合

为提升自动服务组合效率,提出在新的服务图结构中实现线性服务组合.该方法使用有向带环加权多图描述服务关系.在深度与广度搜索相结合的组合路径查找过程中,基于语义包容关系将图中节点对之间的多边降级为单边.通过着色和时间戳判断、消除环.给出了具有线性时间复杂度的组合路径查找算法并对其时间复杂度予以理论证明.仿真结果表明:与同类方法相比,该方法能够在线性时间内,在不降低查全率的情况下,发现带环图中的组合路径,并具有查找时间与服务图规模无关的良好可扩展性.     

基于边被收缩图的有向有环图有向割集求解算法

为了提高有向有环图有向割集生成算法的效率,通过收缩有向有环图环路中的边将有向有环图转换成带收缩顶点的有向无环图,并使得生成有向无环图有向割集的算法可以生成有向有环图的有向割集.在理论上分析了本文提出的算法的时间复杂度和空间复杂度,并进行了实验测试.理论分析和实验测试的结果表明本文提出的算法是很高效的.     

有向和图的若干结果

定义了有向(排斥)和图与图的有向(排斥)和数,给出有向(排斥)和图的结构性质.     

有向Hamilton图的一个充分条件

研究了有向Ｈａｍｉｌｔｏｎ图的一个特殊结构形式，从而给出了有向Ｈａｍｉｌｔｏｎ图的一个充分条件。     

有向H图中的有向圈数

有向Ｈ图中的有向圈数施宇丹（计算机科学与工程系）人们时常要把一组对象按优劣排成次序．将所有对象看作一个有向图的顶点，如果对象ａ比对象ｂ好，就在相应的两个顶点之间画一条有向边（ａ指向ｂ）．于是当出现ａ比ｂ好．ｂ比ｃ好，ｃ又比ａ好时，就在排序中出现了一个...     

二分图中相互独立的圈

证明了下面的结论：设k≥1是一个整数，G＝（V1,V2；E）是一个二分图，满足|V1|=|V2|=n≥2k 1。若对G中任意两个不相邻的面点x∈V1，y∈V2，都有d(x) d(y)≥2k 2，并且δ（G）≥2，则G包含k个相互独立的图。     

几类图的有向（排斥）和数

定义了有向（排斥）和图与图的有向（排斥）和数，给出有向（排斥）和图的结构性质．     

有向强正则图

有向的强正则图以及参数和特征值性质,与无向的强正则图有很多类似的地方.而强正则图的性质学者们早已进行了深入的研究.第二节运用群的理论,点的传递性提出了一类特殊的有向强正则图Cayley图,构造源于shaw的工作.并描述了Cayley图成为有向强正则图的必要条件.     

基于核的有向强连通图计算机随机生成算法

针对图论算法研究和算法测试对随机生成有向强连通图的需求,在深入研究有向强连通图和极小有向强连通图的结构组成的基础上,提出了有向强连通图核的概念。参考有向连通图的随机生成算法,给出了一种有向强连通图的随机生成算法,并对该算法进行了测试。对具有上千个节点及上万条弧的强连通图的随机生成,采用该算法时间都在1 s以内,生成的结果能很好地应用于图论研究,以作为图论算法的随机测试用例。     

二部图中含指定顶点的独立4-圈

G的一个子图集合称为相互独立的或顶点不相交的,如果它们中的任何两个子图在G中没有公共顶点。对于二部图,给出了k个含指定顶点的独立4-圈的最小度条件。     

偶图的边共色数

给出了f（Δ）≥Δ条件下偶图的边共色数及偶图边共色数的一种算法,并确定了k-正则偶图,Kp1,p2及Kp1,p2,…,pk的边共色数.     

完全偶图的定向图

完全偶图是具有二分类（X,Y）的简单偶图,其中X的每个顶点与Y的每个顶点相连,若｜X｜=m,｜Y｜=n,则这样的图记为K_m,n。本文主要研究了Kn,n的定向图。证明了如下结论：对于非负整数a和b,若存在满足每个顶点的入度是a或者是b的一个Kn,n的定向图,则存在非负整数s和t满足方程s+t=2n和as+bt=n2。进一步,对于满足特定条件的非负整数a,b和n,存在K_n,n的定向图使得每个顶点的入度非a即b。     

基于二分结构的有向网络分析?

首先给出有向网络的二分结构网络的转化方法,然后分析转化前后网络基本统计性质并进行对比,最后分别应用解释结构模型、对应分析方法对有向网络和其二分结构网络进行聚类分析,结果表明二分结构网络的聚类可以保留原系统更多信息.     

基于有向无环图的高效并行区块链

区块链系统的性能制约了它的推广应用,主要表现为交易吞吐量低、交易确认时间长和算力浪费等.针对这些问题,提出一种基于有向无环图（DAG）的区块链及其共识协议,提供区块链的并行工作模式.通过3个指针提供DAG区块的连通性;根据工作量证明（PoW）机制,将较难的区块组成一条谜题链,保证区块的有序性和系统的安全性;按照最长链原则和最难链原则,制定谜题链的共识协议.本方案充分利用了网络节点的计算资源,提高了区块链系统性能,减小了计算冗余度,节省了算力.     

均衡二分图中存在哈密顿因子的条件

研究了在均衡二分图中包含给定哈密顿圈的[k,k+1]因子的存在性问题.根据图论中因子和临界图理论,并结合代数知识,针对均衡二分图,研究图的阶数,顶点的度和因子之间的关系,分情况讨论,通过对均衡二分图的临界条件的限制,给出均衡二分图中存在包含给定的哈密顿圈的[k,k+1]因子的充分条件.该条件在很大程度上改进了已有的包含哈密顿圈的度条件,进一步完善了包含哈密顿圈的因子理论.算例表明所用方法的有效性,所得结论的正确性.     

基于关系数据库的图的运算

针对在数据库应用程序中经常遇到的一种查询和实际问题的求解，提出了在关系数据库中对图进行表示和运算的方法。在该方法中，图中各项点信息用字段来存放，图中的边用记录来表示，给出了在该表示方法中对图进行遍历和求解最小生成树的算法。通过对一无向图的遍历及其最小生成树的求解举例，表明该方法表示图易于存储数据，对于解决数据库应用中遇到的复杂问题具有一定的参考价值。     

有向图的控制圈

采用有向图控制圈的研究方法对有向图控制圈进行了研究 ,证明了 :设 D为 n阶 ( n≥7)强连通有向简单图 ,且对 D的任意弧 ( x,y)有 d-( x) + d+ ( y) >n- 4,那么 D含有控制圈     

基于有向图的工作流建模及其运行

文章通过定义活动节点、有向边及活动的启动方式构建了基于有向图的工作流模型,利用此模型可以直观地、清晰地表达各种业务工作过程,以解决传统工作流模型在过程表达方面的不足;在此模型的基础上,构建了活动的状态集、状态函数、动作模型和条件模型,给出了活动的执行规则且详细描述了基于该规则的活动内部运行机制;在活动内部运行机制的基础上定义了工作流模型的运行算法。