梯图的点可区别全染色(n≡2(mod8))

集合｛1, 2， …， n}中取4个数字的所有组合经三角排序后任意相邻两个组合都有3个相同数字. 利用此结果及组合性质n+8k 3－n3≡0(mod4)构造算法, 并证明当n≡2(mod8)和n－1 4/2+2