【CF1773K】King‘s Puzzle（构造）

King‘s Puzzle

题目链接：CF1773K

题目大意

要你构造一个 n 个点的无向图，让所有点之间连通且无重边，且所有点的度数恰好有 k 种。
输出方案或无解。

思路

高考完来复建了/hsh

首先发现全部连成环就是 $m=1$。
然后思考最多能有多少种度数。

然后发现除了 $11$ 可以之外，一定要有 $k<n$，而且似乎一定能构造出 $k=n-1$ 的情况。
于是尝试构造：

考虑先连成一条线，那度数就是 $12...21$ 的样子，一共 $2$ 种。
然后如果要增加种数，可以把第一个和倒数第二个连，变成 $22...31$。
发现如果继续把第二个和倒数第二个连，就会变成 $23...41$，就又多一种情况。
不过把第三个和倒数第二个连了还是 $4$ 种度数，不过如果一直连到倒数第四个和倒数第二个（倒数第三个本来就和倒数第二个连），就会发现度数变成了：$23...32n-11$
发现前面的 $23...32$ 其实是和 $12...21$ 同一个形式而且这里面也是一条链，并且倒数第二个的 $n-1$ 在这里面会是最大的，因为它连了里面的其他所有点，而前面的点内部再怎么连也不会和最后一个点连。

所以前面的点就能保证不会和 $1$ 和 $n-1$ 重复，并且变成了大小为 $n-2$ 的情况了。
那就一路递归下去构造，直到种数为题目的 $k$ 即可停止。

代码

#include<cstdio>

using namespace std;

const int N = 500 * 500 + 50;
int n, m, tot;
int answ[N][2];

void ansadd(int x, int y) {
	tot++;
	answ[tot][0] = x; answ[tot][1] = y;
}

void ansprint() {
	printf("YES\n");
	printf("%d\n", tot);
	for (int i = 1; i <= tot; i++) {
		printf("%d %d\n", answ[i][0], answ[i][1]);
	}
}

void work(int l, int r, int nd) {
	if (!nd) return ;
	ansadd(l, r - 1); nd--;
	if (!nd) return ;
	for (int i = l + 1; i <= r - 3; i++) ansadd(i, r - 1);
	work(l, r - 2, nd - 1);
}

int main() {
	scanf("%d %d", &n, &m);
	if (n == 1) {//注意特判 1 1
		printf("YES\n");
		printf("0");
		return 0;
	}
	if (n == m) {
		printf("NO"); return 0;
	}
	if (m == 1) {
		for (int i = 1; i < n; i++) {
			ansadd(i, i + 1);
		}
		if (n != 2)	ansadd(1, n);
		ansprint();
		return 0;
	}
	for (int i = 1; i < n; i++) {
		ansadd(i, i + 1);
	}
	work(1, n, m - 2);
	ansprint();
	return 0;
}