{"id":"arxiv/2603.22688","url":"https://arxiv.org/abs/2603.22688","tags":["math.CO","cs.DM"],"score":0,"title":"The family of all local maximum independent sets is an augmentoid","domain":"math.CO","source":"arxiv","authors":["Vadim E. Levit","Eugen Mandrescu"],"reviews":0,"subject":"math.CO","summary":"It was proved in (Levit and Mandrescu, 2022) that both $(V(G), Crown(G))$ and $(V(G), CritIndep(G))$ are augmentoids, established partial augmentation phenomena for the family $Ψ(G)$ of local maximum independent sets, and asked in Problem~5.5 to characterize the graphs whose family $Ψ(G)$ is an augmentoid. We prove that the answer is positive in full generality: for every finite simple graph $G$, the set system $(V(G),Ψ(G))$ is an augmentoid. The proof is constructive. If $S,T\\inΨ(G)$, then the explicit choice \\[ A=S \\setminus N[T],\\qquad B=T \\setminus N[S] \\] satisfies \\[ T\\cup…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-24","reactions":{}}