[2017纪中11-3][ARC069-F]高考是不可能高考的 2-sat+线段树优化建图

题面
原题
首先考虑二分答案k，验证就可以用2-sat。假如要选某一个x[i]，那么x[i]左右距离k的区间内的点都不能选，于是这些点都必须选另一半；y[i]同理。 首先考虑二分答案k，验证就可以用2-sat。假如要选某一个x[i]，那么x