linear forest
- unknown
- path upper bounds linear forest by a constant – by definition
- linear forest upper bounds distance to linear forest by a constant – by definition
- linear forest – Disjoint union of paths.
- graph class linear forest has unbounded average distance
- linear forest upper bounds maximum degree by a constant – By definition
- assumed
- linear forest upper bounds interval by a constant
- graph class interval is not included in graph class linear forest
- linear forest upper bounds forest by a constant
- graph class forest is not included in graph class linear forest
- edgeless upper bounds linear forest by a constant
- graph class linear forest is not included in graph class edgeless