atcoder tenka1 2018 D - 结论 - 构造

题目大意：给定n和n个元素1到n，要求构造若干集合，使得每个元素出现在恰好两个集合中，并且任意两个集合交集大小恰好是1.
题解：假定有k个集合，那么就会有k(k-1)/2个交集。显然这k(k-1)/2个交集两两不同，并且由于任意一个元素都出现了恰好两次，因此至少两个集合的交集似乎它。因此k(k-1)/2=n。反过来的构造也是很显然的，对每个元素钦定两两不同的一对无序集合即可。

#include<bits/stdc++.h>
#define gc getchar()
#define rep(i,a,b) for(int i=a;i<=b;i++)
#define Rep(i,v) rep(i,0,(int)v.size()-1)
#define lint long long
#define db long double
#define pb push_back
#define mp make_pair
#define fir first
#define sec second
#define debug(x) cerr<<#x<<"="<<x
#define sp <<" "
#define ln <<endl
using namespace std;
typedef pair<int,int> pii;
typedef set<int>::iterator sit;
inline int inn()
{
	int x,ch;while((ch=gc)<'0'||ch>'9');
	x=ch^'0';while((ch=gc)>='0'&&ch<='9')
		x=(x<<1)+(x<<3)+(ch^'0');return x;
}
const int N=100010;vector<int> v[N];
int main()
{
	int n=inn(),k=0,cnt=0;
	if(n==1) return !printf("Yes\n2\n1 1\n1 1\n");
	rep(i,1,n) if((lint)i*(i-1)/2==n) { k=i;break; }
	if(!k) return !printf("No\n");
	rep(i,1,k) rep(j,i+1,k) cnt++,v[i].pb(cnt),v[j].pb(cnt);
	printf("Yes\n%d\n",k);
	rep(i,1,k)
	{
		printf("%d ",(int)v[i].size());
		Rep(j,v[i]) printf("%d ",v[i][j]);
		printf("\n");
	}
	return 0;
}