Preprocessing algorithms can identify vertices that belong to an optimal feedback vertex set by finding antler decompositions in the input graph.
