graph-theoretical tree