+1 bug for Karger min cut problem