CF1375F Integer Game

CF1375F Integer Game
三堆石子分别有 (a,b,c) 个，游戏规则：

• 先手选择一个数 (k)
• 后手把他加到任意一堆石子上，但不能连续对同一堆石子操作两次
• 如果有两堆石子数量相同，先手赢；回合数超过 (1000)，后手赢

交互，自选先后手
(a,b,cle 10^9,kle 10^{12})

考虑先手赢的最后一部肯定是有局面 ((n-k,n,n+k))，并且上一步操作的是 (n+k)，此时只要加上 (k) 即可
或者说存在 (a+c=2b) 且上一步操作的是当前最大的那一堆

考虑上一步要求操作的数是 (p)，有局面 ((n-k,n,n+k-p))：

• 此时如果把 (p) 加到第一堆上，有 ((n-k+p,n,n+k-p))，发现只要有 (k<p)，就仍然可以获胜（获胜需要 (n-k+p>n+k-p))
• 此时如果把 (p) 加到第二堆上，有 ((n-k,n+p,n+k-p))，发现这样不太能必胜，于是此时需要让再上一步操作必定对第二堆进行

考虑再上一步操作给出的是 (q)，有局面 ((n-k,n-q,n+k-p))：

• 如果加到第一堆上，有 ((n-k+q,n-q,n+k-p))
  • 此时如果有 ((n-k+q)+(n+k-p)=2(n-q)) 可以是一种必胜情况，解出此时 (p=3q)
  • 另有要求 (n-k+q>n+k-p Rightarrow 2k<p+qRightarrow k<frac{2}{3}p)
• 如果加到第三堆上，有 ((n-k,n-q,n+k-p+q))
  • 此时根据之前解的 (p=3q)，仍然是一三堆的和是二堆的两倍
  • 但需保证 (n+k-p+q>n-kRightarrow k>frac{1}{3}p)

现在若存在合理的 (n,k,p,q) 并且使得上面的条件全都满足，就逐个操作 (q,p,k) 即可，整理出条件是：

[egin{cases} a=n-k\ b=n-q\ c=n+k-p\ p=3q\ k<frac{2}{3}p\ k>frac{1}{3}p\ end{cases}]

这样根据前面几个等式解出来就是

[egin{cases} n=3b-2a-c\ q=2b-a-c\ k=3b-2a-c\ end{cases}]

此时只要钦定 (b>c> a)，即可满足两个不等式

long long aa,bb,cc;
inline void change(int o,long long p){
	if(!o) exit(0);
	else if(o==1) aa+=p;
	else if(o==2) bb+=p;
	else if(o==3) cc+=p;
}
inline int fuck(){
	int ff=0;
	if(aa+bb==(cc<<1)) printf("%lld
",lib::max(aa,bb)-cc),ff=1;
	else if(aa+cc==(bb<<1)) printf("%lld
",lib::max(aa,cc)-bb),ff=1;
	else if(bb+cc==(aa<<1)) printf("%lld
",lib::max(bb,cc)-aa),ff=1;
	if(ff) return fflush(stdout),1;
	return 0;
}
int main(){
	long long a=read(),b=read(),c=read();
	aa=a;bb=b;cc=c;
	if(a>c) lib::swap(a,c);
	if(c>b) lib::swap(b,c);
	if(a>c) lib::swap(a,c);
	if(c>b) lib::swap(b,c);
	if(a>c) lib::swap(a,c);
	if(c>b) lib::swap(b,c);
	if(a>c) lib::swap(a,c);
	if(c>b) lib::swap(b,c);
	long long n=3*b-a-c,k=3*b-2*a-c,q=2*b-a-c,p=q*3;
	puts("First");fflush(stdout);
	printf("%lld
",q);fflush(stdout);
	change(read(),q);
	if(fuck()) return 0;
	printf("%lld
",p);fflush(stdout);
	change(read(),p);
	if(fuck()) return 0;
	printf("%lld
",k);fflush(stdout);
	assert(fuck());
	return 0;
}