Maximum independent set size definition



Edge cover definition

Gallai theorem theorem