让$\mathrm{<trans\; data-src="G">G公司</trans>}$是一个有限简单图并且$\mathrm{<trans\; data-src="I">我</trans>}<trans\; data-src="(">(</trans>\mathrm{<trans\; data-src="G">G公司</trans>}<trans\; data-src=")">)</trans>$表示相应的边理想。我们证明如果$\mathrm{<trans\; data-src="G">G公司</trans>}$是一个覆盖范围很广的图表$\mathrm{<trans\; data-src="s">秒</trans>}<trans\; data-src="\ge ">\ge </trans>\mathrm{<trans\; data-src="1">1</trans>}$的规律性$\mathrm{<trans\; data-src="I">我</trans>}{<trans\; data-src="(">(</trans>\mathrm{<trans\; data-src="G">G公司</trans>}<trans\; data-src=")">)</trans>}^{\mathrm{<trans\; data-src="s">秒</trans>}}$确实是$\mathrm{<trans\; data-src="2">2</trans>}\mathrm{<trans\; data-src="s">秒</trans>}<trans\; data-src="+">+</trans>\mathrm{<trans\; data-src="\nu ">\nu </trans>}<trans\; data-src="(">(</trans>\mathrm{<trans\; data-src="G">G公司</trans>}<trans\; data-src=")">)</trans><trans\; data-src="-">-</trans>\mathrm{<trans\; data-src="1">1</trans>}$，其中$\mathrm{<trans\; data-src="\nu ">\nu </trans>}<trans\; data-src="(">(</trans>\mathrm{<trans\; data-src="G">G公司</trans>}<trans\; data-src=")">)</trans>$表示的诱导匹配数$\mathrm{<trans\; data-src="G">G公司</trans>}$.