判负环应该判 $\ge n+2$。