CF1153E Serval and Snake【构造】

题目链接：洛谷

这道题是很久以前NTF跟我说的，现在想起来把它做了。。。

我们发现，如果蛇的两头都在矩形里或矩形外，则询问为偶数，否则为奇数。

所以我们询问每一行和每一列，就能知道蛇的两头的横纵坐标了。

但是有一种情况不行，那就是两头在同一行或列上（以下只考虑同一行的），但是它们一定不在同一列，所以可以找到它们所在的列，然后通过二分找出它们所在的行。

具体实现可以看代码。

 #include<bits/stdc++.h>
 #define Rint register int
 using namespace std;
 inline int read(){
     int ch = getchar(), res = ;
     while(ch < '' || ch > '') ch = getchar();
     while(ch >= '' && ch <= ''){
         res = res *  + ch - '';
         ch = getchar();
     }
     return res;
 }
 int n, cnt;
 pair<int, int> res[];
 inline int query(int a1, int b1, int a2, int b2){
     printf("? %d %d %d %d\n", a1, b1, a2, b2);
     fflush(stdout);
     return read() & ;
 }
 inline int solve1(int x){
     int l = , r = n, mid;
     while(l < r){
         mid = l + r >> ;
         if(query(x, l, x, mid)) r = mid;
         else l = mid + ;
     }
     return l;
 }
 inline int solve2(int x){
     int l = , r = n, mid;
     while(l < r){
         mid = l + r >> ;
         if(query(l, x, mid, x)) r = mid;
         else l = mid + ;
     }
     return l;
 }
 int main(){
     n = read();
     for(Rint i = ;i <= n;i ++)
         if(query(i, , i, n)) res[cnt ++] = make_pair(i, solve1(i));
     if(!cnt){
         for(Rint i = ;i <= n;i ++)
             if(query(, i, n, i)){
                 if(!cnt) res[cnt ++] = make_pair(solve2(i), i);
                 else res[cnt ++] = make_pair(res[].first, i);
             }
     }
     printf("! %d %d %d %d\n", res[].first, res[].second, res[].first, res[].second);
     fflush(stdout);
 }

CF1153E