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