[CF1526F]Median Queries

最新推荐文章于 2022-03-22 22:55:59 发布

StaroForgin

最新推荐文章于 2022-03-22 22:55:59 发布

阅读量176

点赞数 1

分类专栏： ------构造------

本文链接：https://blog.csdn.net/Tan_tan_tann/article/details/117396442

版权

------构造------ 专栏收录该内容

33 篇文章 0 订阅

订阅专栏

Median Queries

题解

首先，我们得找到两个相差不超过 $\left\lfloor\frac{n-1}{3}\right\rfloor$ 的点。
如果我们找到了一个三元组使得 $(a,b,c)\leqslant \left\lfloor\frac{n-1}{6}\right\rfloor$ ，那么一定有 $\left|a-b\right|\leqslant \left\lfloor\frac{n-1}{3}\right\rfloor$ 。
可以发现，对于任意 $13$ 个数，它们之中一定存在三元组 $(a, b, c)$ 使得
$\left|a-b\right|\leqslant \left\lfloor\frac{n-4}{3}\right\rfloor$
可以通过考虑不同元素间的间隙求出，因为 $6\cdot\left\lfloor\frac{n-4}{3}\right\rfloor+13=n+10>n$ ，所以无论怎样，都必定会存在这样的三元组。
找到这样三元组的次数是 $\binom{13}{3}=286< 420$ ，但其实直接随机找的话 $420$ 次也可以找到，毕竟概率还是挺高的。

找到这样的三元组后，我们可以对每一个 $x\not =a\wedge x\not = y$ 都求出 $(a, b, x)$ 。
由于最后有 $p_{1}<p_{2}$ 的条件，所以无论 $a > b$ 还是 $a < b$ 其实都是没关系的，反正最后可以调整得到答案，这里不妨设 $a\leqslant b$ 。
由于 $a - 1 > b - a$ 与 $n - b > b - a$ 中必定有一个成立，所以我们只需要找到最大的 $(a, b, x)$ ，那么 $x$ 就是 $1$ 或者 $n$ ，而次大的 $(a, b, x)$ 的 $x$ 就是 $n - 1 / 1$ 或者 $2 / n$ 。
假设我们的 $x$ 为 $1$ (由于后面会调整，即使把 $n$ 当作 $1$ 也没关系)，设这两个值为 $y 1$ ， $y 2$ ，我们可以通过比较 $(1, y 1, a)$ 与 $(1, y 2, a)$ 来得到哪个是 $2$ 。
很明显， $(1, 2, a) = a - 2 < (1, n, a) = a - 1$ ，所以小的那个就是 $2$ 。

既然我们得到了 $1$ 与 $2$ ，那么对于其余任意一个询问 $(1, 2, x)$ ，必然有 $(1, 2, x) = x - 2$ ，所以我们就可以求出其余的位置上的值。
然后再判断 $p_{1}$ 与 $p_{2}$ 之间的大小关系，若 $p_{1}> p_{2}$ ，那么就说明我们找到的 $1$ 实际上是 $n$ ，再将整个序列都翻转一下就可以了。

时间复杂度 $O\left(n\right)$ ，总询问次数 $O\left(2n+284\right)$ ，其实题目还是很宽松的。

源码

#include<bits/stdc++.h>
using namespace std;
#define MAXN 100005
#define lowbit(x) (x&-x)
#define reg register
#define mkpr make_pair
#define fir first
#define sec second
typedef long long LL;
typedef unsigned long long uLL;
const LL INF=0x3f3f3f3f3f3f3f3f;
const int mo=998244353;
const int zero=500;
const LL jzm=2333;
const int orG=3,invG=332748118;
const double Pi=acos(-1.0);
typedef pair<int,int> pii;
const double PI=acos(-1.0);
template<typename _T>
_T Fabs(_T x){return x<0?-x:x;}
template<typename _T>
void read(_T &x){
	_T f=1;x=0;char s=getchar();
	while(s>'9'||s<'0'){if(s=='-')f=-1;s=getchar();}
	while('0'<=s&&s<='9'){x=(x<<3)+(x<<1)+(s^48);s=getchar();}
	x*=f;
}
template<typename _T>
void print(_T x){if(x<0){x=(~x)+1;putchar('-');}if(x>9)print(x/10);putchar(x%10+'0');}
int add(int x,int y){return x+y<mo?x+y:x+y-mo;}
int n,t,maxx,p[MAXN];
vector<int>vec[MAXN];
int Ask(int a,int b,int c){printf("? %d %d %d\n",a,b,c);fflush(stdout);int res;read(res);return res;}
signed main(){
	read(t);
	while(t--){
		read(n);bool flag=0;int a1,b1;maxx=0;
		for(int i=1;i<=11;i++){
			for(int j=i+1;j<=12;j++){
				for(int k=j+1;k<=13;k++)
					if(Ask(i,j,k)<=(n-4)/6){flag=1;a1=i,b1=j;break;}
				if(flag)break;	
			}
			if(flag)break;
		}
		for(int i=1;i<=n;i++)
			if(a1!=i&&b1!=i){
				int tmp=Ask(a1,b1,i);
				vec[tmp].push_back(i);
				maxx=max(maxx,tmp);
			}
		int p1=vec[maxx][0],p2;
		if(vec[maxx-1].size()==1)p2=vec[maxx-1][0];
		else p2=Ask(a1,p1,vec[maxx-1][0])<Ask(a1,p1,vec[maxx-1][1])?vec[maxx-1][0]:vec[maxx-1][1];
		p[p1]=1;p[p2]=2;for(int i=1;i<=n;i++)if(i!=p1&&i!=p2)p[i]=Ask(p1,p2,i)+2;
		if(p[1]>p[2])for(int i=1;i<=n;i++)p[i]=n-p[i]+1;
		printf("!");for(int i=1;i<=n;i++)printf(" %d",p[i]);puts("");fflush(stdout);
		int res;read(res);if(res==-1)return 0;
		for(int i=1;i<=n;i++)vec[i].clear();
	}
	return 0;
}