设 G=(V,E)是任意简单图.用 G—r表示从 G 中删除 v 以及与 v 相关联的边所得到的图.ir_n(G)表示 G 的 n-irredundance 数.证明了......