[THUPC2017] 玩游戏 解题报告

前言

没有在题解区发现类似做法

Link

大部分题解都是从大到小枚举，但是从小到大也有一种做法

证明，对于任意$x$ $ϵ${0,1,2,…, ${\sum }_{i=1}^{n}i$},都有${\sum }_{i=1}^{k}i$ - $r$=$x$
其中，k $\le$ n , $r$ $ϵ${0,1,2,…,${\sum }_{i=1}^{k}i$}

设$b$,0 $\le$ $b$ 满足$b+1$ $\le$ $k$,且${\sum }_{i=1}^{b}i$ $\le$ $x$,${\sum }_{i=1}^{b+1}i$ $\ge$ $x$

$\therefore$ ${\sum }_{i=1}^{b}i$ $\le$ $x$ $\le$ ${\sum }_{i=1}^{b+1}i$

又$\because$ $r$=${\sum }_{i=1}^{k}i$-$x$

$\therefore$ ${\sum }_{i=b+2}^{k}i\le$ $r$ $\le$ ${\sum }_{i=b+1}^{k}i$

我们可以称${\sum }_{i=b+2}^{k}i$为0
又$\because$ ${\sum }_{i=b+2}^k$ $\ge$ 0

${\sum }_{i=b+1}^{k}i$ $\le$ ${\sum }_{i=1}^{k}i$

$\therefore$ 0 $\le$ $r$ $\le$ ${\sum }_{i=1}^{k}i$

证毕

有了这个思路，代码就很Easy了

1：无解，只需判断a+b是否是前缀和即可
2：从1~n累加now，当发现now加上i后超过了a或b，就记录下now-a或now-b，除了它，其他的构成一组解

Code:

#include<cstdio>
#include<iostream>
#include<map>
using namespace std;
#define int long long
int n,m,a[100005],t,sum[100005],now,st[100005],op;
map<int,int> mp;
map<int,bool> vis;
signed main()
{
	scanf("%lld%lld",&n,&m);
	for(int i=1;i<=100000;i++)
	{
		sum[i]=sum[i-1]+i;
		mp[sum[i]]=i;
	}
	if(!mp[n+m])
	{
		printf("No");
		return 0;
	}
	int k=mp[n+m],delta=min(n,m);
	printf("%lld",k);
	for(int i=1;i<=k;i++)
	{
		now+=i;
		vis[i]=1;
		if(now>delta)
		{
			op=now-delta;
			vis[op]=0;
			break;
		}
	}
	if(m==delta)
	{
		for(int i=1;i<=k;i++)
		{
			if(!vis[i])
			{
				printf(" %lld",i);
			}
		}
		return 0;
	}
	else{
		for(int i=1;i<=k;i++)
		{
			if(vis[i])
			{
				printf(" %lld",i);
			}
		}
		return 0;
	}
	return 0;
}

注：此代码常数有点大，所以应该是（时间）最劣解前后