仰望星空的蚂蚁

摘要： solution: 考点：数学 + 2-sat 模型。 观察 k ≤ 4 k\leq 4 k≤4 肯定有猫腻。 设所有正方形的右边界最小值为 m n x mnx mnx 。 则可以证明若有解一定存在一个竹签使得其纵坐标为 m n x mnx mnx ，即调整坐标得到不劣的方案。 类似的也有同样的性质 阅读全文

摘要： solution: 考虑怎样的一对星星会形成星座。 记 l [ i ] l[i] l[i] 和 r [ i ] r[i] r[i] 分别表示从第 i i i 个星星出发，能扩展到的最左和最右节点。 考虑反悔贪心，尽量使得答案更大。换句话说，当前点覆盖的区间一定比之前 [ l [ i ] , r [ 阅读全文