对于任意给定的有限图和任一正整数k,本文证明图的k-全染色存在性问题等价于一个多元多项式方程组在{1,2,…,k}范围的求解问题,并通过使用Grbner基给出一个图k-全可染色的有效判别与求解方法,进而求得图的全可染色数与极小全染色方案.