摘要
图的自同构G公司=(V(V),E类)是顶点集的一对一对应吗V(V)它本身确保所有顶点的邻接都保持不变。给定子集S公司属于V(V)其一对一对应关系是确定的,如果V(V)-S公司在所有满足确定对应的自同构中具有唯一对应S公司,S公司称为的限定符集G公司。此外,S公司称为极小确定集,如果没有S公司是一个限定符集,如果限定符集则称为内核集S公司元素数量最少。此外,判断是否存在问题S公司是一个确定集,称为确定集决策问题。本研究的目的是处理确定集决策问题。本文首先给出了与确定集相关的定义和性质,然后提出了一种算法联合数据系统判断给定的S公司是一个限定符集G公司在多项式计算时间内。最后,我们对提出的算法进行了评估联合数据系统通过应用它可能找到100个随机生成图的最小限定集。因此,所有获得的限定词集都是最小的,这意味着联合数据系统是一种合理有效的判定确定集的算法。