https://www.luogu.com.cn/discuss/369105
我现在有个不成熟的感性理解。题解给的构造方式表明当满足条件时我们可以构造出相应的过程，所以充分性得证。而既然我们能改变相隔两列的颠倒性（？）和交换相隔两列，那应该能构造出来。但我总觉得这个说法有问题qwq
