若图G的边集能划分成两两不相交的若干个子集，使得每个子集都导出相同的子图H，则称G存在H分解。两个图G=（Vi,Ei）（i=1，2）的Cartesian积，记作......

给定图G=（V,E）,G的Mycielski图μ（G）被定义为一个新图：V（μ（G））=V∪V′∪{w},其中V′={y′｜y∈V};E（μ（G））=E∪{xy′｜xy∈E}∪{wy′｜y′∈V′},称点......