等价结点相关论文
子图同构查询是指在给定的数据图中搜索所有与查询图结构相同的子图。子图同构的研究在多种领域被广泛应用,例如,蛋白质相互作用分......
组合验证是数字集成电路形式化设计验证的重要方面.该文提出了一种基于增量布尔可满足性的组合等价性检验方法,通过合理选择候选等......
利用有向双环网络G(n;r,s)的结点的对称性和L-形瓦的四个参数l,h,x,y,给出有向双环网络G(n;r,s)中有一个结点出故障时的容错直径和容错......