if bestedge[b] == -1 or slack(k) < slack(bestedge[b]):