augmenting path graph theory