「杂题乱刷」CF1973D

链接

算简单题。

你发现最大值肯定可以用 \(n\) 次查出来。

然后可以证明 \(ans \le \frac{n}{k}\)。

总次数为 \(n + \frac{n}{k} \times k \le 2n\)。

代码：

点击查看代码

/*
Tips:
你数组开小了吗？
你MLE了吗？
你觉得是贪心，是不是该想想dp？
一个小时没调出来，是不是该考虑换题？
打 cf 不要用 umap！！！

记住，rating 是身外之物。

该冲正解时冲正解！

Problem:

算法：

思路：

*/
#include<bits/stdc++.h>
using namespace std;
//#define map unordered_map
#define forl(i,a,b) for(register long long i=a;i<=b;i++)
#define forr(i,a,b) for(register long long i=a;i>=b;i--)
#define forll(i,a,b,c) for(register long long i=a;i<=b;i+=c)
#define forrr(i,a,b,c) for(register long long i=a;i>=b;i-=c)
#define lc(x) x<<1
#define rc(x) x<<1|1
#define mid ((l+r)>>1)
#define cin(x) scanf("%lld",&x)
#define cout(x) printf("%lld",x)
#define lowbit(x) (x&-x)
#define pb push_back
#define pf push_front
#define IOS ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
//#define endl '\n'
#define QwQ return 0;
#define ll long long
#define ull unsigned long long
#define lcm(x,y) x/__gcd(x,y)*y
#define Sum(x,y) 1ll*(x+y)*(y-x+1)/2
#define aty cout<<"Yes\n";
#define atn cout<<"No\n";
#define cfy cout<<"YES\n";
#define cfn cout<<"NO\n";
#define xxy cout<<"yes\n";
#define xxn cout<<"no\n";
#define printcf(x) x?cout<<"YES\n":cout<<"NO\n";
#define printat(x) x?cout<<"Yes\n":cout<<"No\n";
#define printxx(x) x?cout<<"yes\n":cout<<"no\n";
ll t;
ll n,m,k;
ll maxn;
ll ans;
void print(ll x)
{
	cout<<"! "<<x<<endl;
	ll _01;
	cin>>_01;
	if(_01==-1)
		exit(0);
}
ll ask(ll l,ll x)
{
	cout<<"? "<<l<<' '<<x<<endl;
	ll y;
	cin>>y;
	return y;
}
void solve()
{
	ans=-1;
	cin>>n>>k;
	forl(i,1,n)
		if(ask(1,i*n)==n)
		{
			maxn=i;
			break;
		}
	forl(i,1,n/k)
	{
		ll L=1;
		forl(j,1,k)
		{
			ll num=ask(L,i*maxn);
			if(num==n+1)
				break;
			L=num+1;
			if(j==k && L==n+1)
			{
				ans=max(ans,i*maxn);
				break;	
			}
			if(L==n+1)
				break;
		}
	}
	print(ans);
}
int main()
{
	IOS;
	t=1;
	cin>>t;
	while(t--)
		solve();
    /******************/
	/*while(L<q[i].l) */
	/*    del(a[L++]);*/
	/*while(L>q[i].l) */
	/*    add(a[--L]);*/
	/*while(R<q[i].r) */
	/*	  add(a[++R]);*/
	/*while(R>q[i].r) */
	/*    del(a[R--]);*/
    /******************/
	QwQ;
}