博主诈尸啦!来更点cf题解。
A. A Colorful Grid
分类讨论鬼题。
先考虑一下最后的网格图的连通性。我们考虑某一个连通块,如果存在某个连通块外的点与连通块内至少两个点相邻,或者至少两个连通块外的点与连通块内某个点相邻,那么连通块都能继续扩大。这样容易发现,最终可能的连通块一定要么是横着切成若干块,要么是竖着切成若干块,当然也可以是整个网格图完全连通。接下来我们的算法是枚举每一类情况,看看是否能构造出解,如果均不行就无解。
如果整个网格图完全连通。不妨设 n ≤ m n\leq m n≤m,若 n ≤ 2 n\leq 2 n≤2显然不可行,否则一定可行。具体构造的方式是先构造一个 3 ∗ 4 3*4 3∗4的连通网格图,然后向右边和下面加整排来完成。
如果是横着切成 k ≥ 2 k\geq 2 k≥2块(竖着切类似)。令 0 = a 0 < a 1 < a 2 < … < a k − 1 < a k = n 0=a_0<a_1<a_2<\ldots<a_{k-1}<a_k=n 0=a0<a1<a2<…<ak−1<ak=n,其中第 i i i块覆盖 [ a i − 1 + 1 , a i ] [a_{i-1}+1,a_i] [ai−1+1,ai]行。那么我们可以发现跨越相邻两块之间的两行一定是竖着摆的,因此 ∀ 1 < i < k \forall 1<i<k ∀1<i<k, a i − a i − 1 ≥ 2 a_i-a_{i-1}\geq 2 ai−ai−1≥2。我们把每一块边界竖着摆的行去掉,考虑某一块剩下 t t t行能否构造。显然结论是若 m m m是偶数, t t t可以任取(横着摆就行), m m m是奇数的话 t t t必须是偶数,且若 m > 1 m>1 m>1,这也是容易构造的(横着摆到最后一列换成竖着摆)。这也提示我们若 n , m n,m n,m中有一个 1 1 1时要特殊讨论,此时摆法是唯一的,直接判断即可。
现在剩下的问题是我们要尝试找到一组可行的 a i a_i ai。一个 c = 0 c=0 c=0的条件意味着 min ( x 1 , x 2 ) + 1 ∼ max ( x 1 , x 2 ) − 1 \min(x_1,x_2)+1\sim\max(x_1,x_2)-1 min(x1,x2)+1∼max(x1,x2)−1中至少有一个在 a a a中出现, c = 1 c=1 c=1的条件意味着 min ( x 1 , x 2 ) + 1 ∼ max ( x 1 , x 2 ) − 1 \min(x_1,x_2)+1\sim\max(x_1,x_2)-1 min(x1,x2)+1∼max(x1,x2)−1中均不在 a a a中出现。结合上面对每一块行数的要求,容易用一个线性DP完成这一部分。
单组数据时间复杂度为 O ( n m + k ) \mathcal O(nm+k) O(nm+k)。具体构造的部分还是看代码吧。
#include <bits/stdc++.h>
#define FR first
#define SE second
#define y1 yy
#define last last2
using namespace std;
typedef pair<int,int> pr;
typedef pair<pr,pr> prr;
vector <prr> vt;
void rotate() {
for(int i=0;i<vt.size();i++) {
swap(vt[i].FR.FR,vt[i].FR.SE);
swap(vt[i].SE.FR,vt[i].SE.SE);
}
}
char *ans[100005];
void output(int n,int m) {
puts("Yes");
for(int i=1;i<=n;i++) {
ans[i]=new char[m+5];
memset(ans[i],0,sizeof(char)*(m+5));
}
for(int i=0;i<vt.size();i++) {
pr u=vt[i].FR,v=vt[i].SE;
if (u.FR>v.FR||u.SE>v.SE) swap(u,v);
if (u.FR==v.FR) {
ans[u.FR][u.SE]='R';
ans[v.FR][v.SE]='L';
}
else {
ans[u.FR][u.SE]='D';
ans[v.FR][v.SE]='U';
}
}
for(int i=1;i<=n;i++) puts(ans[i]+1);
}
void link(int x1,int y1,int x2,int y2) {
vt.push_back(prr(pr(x1,y1),pr(x2,y2)));
}
void solve1(int n,int m) {
assert(n>=4&&m>=3&&n%2==0);
link(1,1,2,1);link(1,2,1,3);link(2,2,2,3);
link(3,1,3,2);link(4,1,4,2);link(3,3,4,3);
for(int i=4;i<=m;i++) {
link(1,i,2,i);
link(3,i,4,i);
}
for(int i=5;i<=n;i++)
for(int j=1;j<=(m>>1);j++) link(i,2*j-1,i,2*j);
if (m&1) {
for(int i=5;i<=n;i+=2) link(i,m,i+1,m);
}
}
int pos[100005],sz;
void solve2(int n,int m) {
for(int i=1;i<=sz;i++) {
int l=((i==1)?1:pos[i-1]+2),r=pos[i]-1;
for(int j=l;j<=r;j++)
for(int k=1;k<=m;k+=2) link(j,k,j,k+1);
for(int j=1;j<=m;j++) link(pos[i],j,pos[i]+1,j);
}
for(int i=pos[sz]+2;i<=n;i++)
for(int j=1;j<=m;j+=2) link(i,j,i,j+1);
}
void solve3(int n,int m) {
for(int i=1;i<=sz;i++) {
int l