Ha vesszük egy gráfban a maximális számú független pontokat és a minimális számú lefogó pontokat, akkor épp megkapjuk a gráf összes pontját. Ezt hívjuk első Gallai tételnek: \( \tau(G) + \alpha(G) = n \) Megnézem az erről a képletről szóló tananyagot Ezt a képletet még az alábbi kurzusainkban is megtalálod: Diszkrét matematika / Gráfparaméterek, párosítások / Független és lefogó ponthalmaz, Gallai első tétele Számítástudomány / Gráfparaméterek, párosítások / Független és lefogó ponthalmaz, Gallai első tétele Bevezetés a számításelméletbe 2 / Gráfparaméterek, párosítások / Független és lefogó ponthalmaz, Gallai első tétele Számítástudomány alapjai / Gráfparaméterek, párosítások / Független és lefogó ponthalmaz, Gallai első tétele