至今,中文社区上所有lgv-lemma的证明部分都是错的。
选出最小的(i,j)使得第i条与第j条相交然后调整去证明双射是不对的!
正确姿势(wikipedia):找到最小的路上有相交点的路径i 然后找到i路径上离i起始点最近的相交点 h,j就是一条过这个相交点的路径,可以证明(i,h) 调完后不会改变的,所以调两次会回到原来的状态。