相等子图是G的生成子图，包含G的所有点，但只包含满足l(x)+l(y)=w(x,y)的所有边(x,y)。