8922

首先发现一个性质：对于一组询问，如果答案不是 $-1$，那么必然存在最优正方形满足，要么三个边界上存在给定的点，要么两个边界 + 一个对角上存在给定的点，这是因为如果一个正方形只顶住了两个边界，那么如果这两个边界是邻边的话正方形肯定可以继续扩大，如果是对边的话我们可以将正方形水平方向上移动直到其卡住 ......