在无限女王图中不存在非空奇独立集

我们证明了在ℤ²上的无限女王图中不存在非空奇独立集。特别地，它不允许存在无限的奇独立集。这个论证是代数性的：我们通过𝔽2值指示函数编码行、列、对角线和反对角线，推导出两个递推关系，强迫一组女王线变为坏，并从四个精心选择的格点处的奇偶性得出矛盾。因此，在Caro、Petrusevski、Skrekovski和Tuza提出的无限女王图的开放问题在这里以更强的形式被完全解决。