一类图中k-圈的Grobner基求解方法

摘要

将无环无重边的有限无向图G中是否含有k（k∈Z^＋）个顶点的圈（简称k-圈）的问题转化为可使用Grobner基的性质来解决的多元多项式的问题．此外，通过实例验证G中的所有k-圈等价于计算转换后的多元多项式方程组在{-1，0，1}范围内的解集．