[cf1592d]Hemose in ICPC ?

简单交互题。

题意是给出一棵树，边权未知，定义一条简单路径的长度为路径上所有边边权的gcd。你每次可以询问一个点集，返回给你由这个点集内点构成的所有简单路径长度的最大值。你要找到长度最大的简单路径的两个顶点。

显然由单条边构成的路径长度大于等于它加上其他边构成更长的路径。所以我们只要把树建出来，把n-1条边按dfs序排序，二分询问即可。

#include<cstdio>
#include<cstring>
#include<algorithm>
#define ll long long
using namespace std;
const int N=1005;
struct edge{
	int y,next;
}data1[N<<1];
int n,d1[N][2],l,r,mx,num1,num2,h1[N];
bool flag[N],vis[N];
inline void addedge(int u,int v){
	data1[++num1].y=v,data1[num1].next=h1[u],h1[u]=num1;
	data1[++num1].y=u,data1[num1].next=h1[v],h1[v]=num1;
}
void dfs(int u){
	vis[u]=true;
	for(int i=h1[u],v;i!=-1;i=data1[i].next){
		v=data1[i].y;
		if(!vis[v]){
			d1[++num2][0]=u,d1[num2][1]=v;
			dfs(v);
		}
	}
}
inline int check(int a,int b){
	memset(flag,false,sizeof flag);
	for(int i=a;i<=b;++i)flag[d1[i][0]]=flag[d1[i][1]]=true;
	int cnt=0;
	for(int i=1;i<=n;++i)cnt+=flag[i];
	printf("? %d",cnt);
	for(int i=1;i<=n;++i)if(flag[i])printf(" %d",i);
	printf("\n");fflush(stdout);
	int ret;
	scanf("%d",&ret);
	return ret;
}
int main(){
	scanf("%d",&n);
	memset(h1,-1,sizeof h1);num1=0;
	for(int i=1,x,y;i<n;++i){
		scanf("%d%d",&x,&y);
		addedge(x,y);
	}
	printf("? %d",n);
	for(int i=1;i<=n;++i)printf(" %d",i);
	printf("\n");fflush(stdout);
	scanf("%d",&mx);
	memset(vis,false,sizeof vis);
	num2=0;
	dfs(1);
	l=1;r=n-1;
	while(l<r){
		int mid=(l+r)>>1;
		if(check(l,mid)==mx)r=mid;
		else l=mid+1;
	}
	printf("! %d %d\n",d1[l][0],d1[l][1]);fflush(stdout);
	return 0;
}