关于极好覆盖图独立多项式的单峰性

图 $G$ 的独立多项式 $i(G,x)$ 是各大小独立集数量的生成函数。若每个极大独立集的大小均为 $n/2$，则阶为 $n$ 的图称为极好覆盖图。Levit 和 Mandrescu 猜想每个极好覆盖图的独立多项式都是单峰的（即系数序列先非减后非增）。在本文中，我们通过考虑此类多项式根的位置，证明每个图都可嵌入为一个独立多项式单峰的极好覆盖图的诱导子图。