For a graph G, let a(G) denote the maximum size of a subset of vertices
that induces a forest. We prove the following.
- Let G be a graph of order n, maximum degree Δ>0 and maximum
clique size ω. Then a(G)≥2Δ+ω+26n. This
bound is sharp for cliques.
- Let G=(V,E) be a triangle-free graph and let d(v) denote the degree of
v∈V. Then a(G)≥v∈V∑min(1,d(v)+23).
As a corollary we have that a triangle-free graph G of order n, with m
edges and average degree d≥2 satisfies a(G)≥d+23n.
This improves the lower bound n−4m of Alon-Mubayi-Thomas for
graphs of average degree greater than 4. Furthermore it improves the lower
bound 1920n−5m−5 of Shi-Xu for (connected) graphs of average
degree at least 29.