spanning forest