distance to stars

• unknown source
  • graph class stars has constant distance to stars – by definition
  • distance to stars upper bounds treedepth by a linear function – First, treedepth removes vertices of the modulator, remainder has treedepth $2$