CodeTON Round 1 (Div. 1 + Div. 2, Rated, Prizes) D.K -good

前言

传送门 :

题解参考pzr :

思路

将题意转换为
$n-\frac{k\ast (k+1)}{2}\equiv 0modk$

意为 $n-\frac{k\ast (k+1)}{2}是k的倍数$ 即$n-\frac{k\ast (k+1)}{2}=m\ast k$

$n=m\ast k+\frac{k\ast (k+1)}{2}$ 即 $n=k\ast (m+\frac{(k+1)}{2})$

显然可以看出 , $k是n的因子$

这里我们分类讨论一下

• 如果$k$是偶数,那么$\frac{k}{2}$也应该是$n$的因子
• 如果$k$是奇数,那么只能得出$k$是$n$的因子

我们将$n$分解为 $2^t\ast s(s是奇数)$

• 取$s$,因为$s$为奇数,所以由上面的性质可得$k=s$
• 取$2^t$,因为$2^t$为偶数,所以由上面的性质可得$\frac{k}{2}=2^t$

同时我们还需要使得$n-\frac{k\ast (k+1)}{2}>=0$ 因为如果考虑

从$1+2+3..+k$如果我们随便找一个数加上$k$也是满足条件的

所以$n-\frac{k\ast (k+1)}{2}>0||n-\frac{k\ast (k+1)}{2}=0$

同时$k=s=1$是无解的,显然$s=1$的时候,$k=2^{t+1}$,所以

$n-\frac{k\ast (k+1)}{2}=2^t-\frac{k\ast (k+1)}{2}=2^{t+1}-k\ast (k+1)$

$=2^{t+1}-2^{t+1}\ast (2^{t+1}+1)=2^{t+1}\ast (1-(2^{t+1}+1))<0显然$

因此$k=s=1$是矛盾的

所以$2^t||s!=1$至少有一个条件成立,才可能有解

特殊的如果$s=1$ 我们只能取$2^x$

否则输出$-1$

---

赛场上 $WA$了 2发D就不敢再打了,但是其实思路都是错的 , 从素数的角度出发了
越跑越远简直是
看完题解之后感觉 $E$更简单一点Orz

Mycode

const int N  = 1e5+10;
void solve()
{
	ll n;cin>>n;
	ll s = n , q = 1;
	while(s%2 == 0 ){
		s/=2;
		q*=2;
	}
	
	/**
	将 n 拆分成 $s* (2^t)$
	**/
	
	if(q <= 1e9 && q*(2*q+1) <=n ){
		cout<<2*q<<endl;
		return;
	}
	
	if(s!=1 && s<=2e9  && s*(s+1)/2 <=n){
		cout<<s<<endl;
		return;
	}
	cout<<-1<<endl;
	
	
}