graph minor theorem algorithmic implications 3599381