[F**KTASK]环形划分

题目

题目描述
广义三角剖分！——对于一个 $n$ 个点的完全图，你要找到至少 $\lceil \frac{n(n-3)+2}{6}\rceil$ 个边不相交的三角形（即三元环）。若无解，输出 $\mathsf{H}\mathsf{a}\mathsf{n}\mathsf{d}\mathsf{I}\mathsf{n}\mathsf{D}\mathsf{e}\mathsf{v}\mathsf{i}\mathsf{l}{}^{\prime }\mathrm{s}\mathrm{m}\mathrm{o}\mathrm{u}\mathrm{t}\mathrm{h}\mathrm{i}\mathrm{s}\mathrm{f}\mathrm{r}\mathrm{a}\mathrm{g}\mathrm{r}\mathrm{a}\mathrm{n}\mathrm{t}$ 。

数据范围与提示
$n\le 1000$ 。有如下几个提示，只有第一个是我写的，剩下几个是原题面中的：

1. $\mathsf{H}\mathsf{a}\mathsf{n}\mathsf{d}\mathsf{I}\mathsf{n}\mathsf{D}\mathsf{e}\mathsf{v}\mathsf{i}\mathsf{l}{}^{\prime }\mathrm{s}\mathrm{m}\mathrm{o}\mathrm{u}\mathrm{t}\mathrm{h}\mathrm{i}\mathrm{s}\mathrm{s}\mathrm{m}\mathrm{e}\mathrm{l}\mathrm{l}\mathrm{y}$ 。
2. 如果一个图不能 $k-\mathrm{c}\mathrm{o}\mathrm{l}\mathrm{o}\mathrm{r}$（染色），那么图中存在一个环，其长度模 $k$ 为 $1$ 。
3. 此题并不难。毕竟有$\sout{n\le 5}$的部分分。

思路

但凡我想起来了一点点学习笔记中的 $T1$，我也不至于只拿了 $10\mathrm{p}\mathrm{t}\mathrm{s}$（打表 $n\le 5$ 的情况）。

但凡我没有受到提示 $2$ 的影响，我也不至于往 $3-\mathrm{c}\mathrm{o}\mathrm{l}\mathrm{o}\mathrm{r}$ 和 $2-\mathrm{c}\mathrm{o}\mathrm{l}\mathrm{o}\mathrm{r}$ 的方向想。

于是考场上，往分治的方向想了 $2h$，然后没有看出 $i+j+k\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}n)$ 则选择 $⟨i,j,k⟩$ 即可。

因为 k ∈ { i , j } k\in\{i,j\} k∈{i,j} 的本质是 $2i+j\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}n)$，显然 $i\in [1,n)$ 可能有解，最多 $n-1$ 条边没用到。话说是不是有人没看出来，题目条件等价于最多剩余 $n-1$ 条边啊？

代码

#include <cstdio>
#include <iostream>
#include <cstring>
#include <vector>
#include <algorithm>
using namespace std;
# define rep(i,a,b) for(int i=(a); i<=(b); ++i)
# define drep(i,a,b) for(int i=(a); i>=(b); --i)
inline int readint(){
	int a = 0; char c = getchar(), f = 1;
	for(; c<'0'||c>'9'; c=getchar())
		if(c == '-') f = -f;
	for(; '0'<=c&&c<='9'; c=getchar())
		a = (a<<3)+(a<<1)+(c^48);
	return a*f;
}

const int MaxN = 1005;

int main(){
	puts("Yes"); int cnt = 0, n = readint();
	rep(i,0,n-1) rep(j,i+1,n-1)
		if((2*i+j)%n && (2*j+i)%n)
			++ cnt; // used edge
	printf("%d\n",cnt/3); // calculate three times
	rep(i,0,n-1) rep(j,i+1,n-1)
		if((2*i+j)%n && (2*j+i)%n && (2*n-i-j)%n > j)
			printf("%d %d %d\n",i+1,j+1,(2*n-i-j)%n+1);
	return 0;
}