首页 > 其他分享 >「题解」Codeforces 1427G One Billion Shades of Grey

「题解」Codeforces 1427G One Billion Shades of Grey

时间:2023-12-28 09:11:26浏览次数:37  
标签:Billion typedef ch 1427G 边界 int 题解 include define

感谢 127 的指导/ll

\(|h_u-h_v|=\max(0,h_u-h_v)+\max(0,h_v-h_u)\),那么可以把它看成这样的问题:

\[\min \{\sum_{(u,v)}\max(0,h_u-h_v+w_{u,v})c_{u,v}\} \]

对偶一下,问题就变为:如果两个格子相邻就互相连容量为 \(c_{u,v}=1\),费用为 \(w_{u,v}=0\) 的边,跑最大费用循环流。

为了限制边界上那些格子 \(h\) 取得就是其 \(a_{i,j}\),建立一个点 \(S\) 代表零势点,连边 \(S\to u\),容量为 \(+\infty\),费用为 \(a_{i,j}\);连边 \(u\to S\),容量为 \(+\infty\),费用为 \(-a_{i,j}\)。(这里 \(c=\infty\) 是为了限制对偶前问题里那个绝对值必须取 \(0\))。

如果将边界内部的费用提前统计好,\(c=1,w=0\) 的边仅在边界与内部,内部与内部之间连边。那么边界只有一条出边。所以边界与 \(S\) 之间的容量可以视作 \(1\)。

为了跑最大费用循环流,将边界 \(\to S\) 的边改成边界到 \(\to\) 汇点 \(T\) 的边,跑最大费用可行流就行。

想要优化的话就考虑从大往小对 \(S\) 的出点开始进行 bfs,在能走到的路径里面选择最优的那一条增广。每次增广完 \(S\) 的出边和 \(T\) 的入边就会有一条失效。所以总复杂度是 \(\mathcal{O}(n^3)\) 的。

#include<cstdio>
#include<vector>
#include<queue>
#include<cstring>
#include<iostream>
#include<algorithm>
#include<ctime>
#include<random>
#include<assert.h>
#define pb emplace_back
#define mp make_pair
#define fi first
#define se second
#define dbg(x) cerr<<"In Line "<< __LINE__<<" the "<<#x<<" = "<<x<<'\n'
#define dpi(x,y) cerr<<"In Line "<<__LINE__<<" the "<<#x<<" = "<<x<<" ; "<<"the "<<#y<<" = "<<y<<'\n'
#define DE(fmt,...) fprintf(stderr, "Line %d : " fmt "\n",__LINE__,##__VA_ARGS__)
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int,int>pii;
typedef pair<ll,int>pli;
typedef pair<ll,ll>pll;
typedef pair<int,ll>pil;
typedef vector<int>vi;
typedef vector<ll>vll;
typedef vector<pii>vpii;
typedef vector<pll>vpll;
template<typename T>T cmax(T &x, T y){return x=x>y?x:y;}
template<typename T>T cmin(T &x, T y){return x=x<y?x:y;}
template<typename T>
T &read(T &r){
	r=0;bool w=0;char ch=getchar();
	while(ch<'0'||ch>'9')w=ch=='-'?1:0,ch=getchar();
	while(ch>='0'&&ch<='9')r=r*10+(ch^48),ch=getchar();
	return r=w?-r:r;
}
template<typename T1,typename... T2>
void read(T1 &x,T2& ...y){read(x);read(y...);}
const int N=210;
const int inf=0x7fffffff;
const ll INF=0x7fffffffffffffff;
int tot;
int head[N*N],ent=1;
int n,p[N][N],a[N][N];
int ok[N*N],pre[N*N],fro[N*N];
int dx[]={1,-1,0,0};
int dy[]={0,0,1,-1};
vpii vec;
struct Edge{
	int to,nxt;
	int w;
}e[(N*N)<<3];
inline void adde(int x,int y){
	e[++ent]={y,head[x],1};head[x]=ent;
	e[++ent]={x,head[y],0};head[y]=ent;
}
void dfs(int x){
	ok[x]=1;
	for(int i=head[x];i;i=e[i].nxt){
		int v=e[i].to,w=e[i].w;
		if(!w||ok[v])continue;
		pre[v]=i;fro[v]=x;
		dfs(v);
	}
}
ll MC(){
	sort(vec.begin(),vec.end(),[&](pii x,pii y){return a[x.fi][x.se]>a[y.fi][y.se];});
	ll s=0;
	for(auto [u,v]:vec){
		for(int i=1;i<=tot;i++)ok[i]=pre[i]=0;
		dfs(p[u][v]);
		int o=0,c=-inf;
		for(auto [x,y]:vec){
			if(ok[p[x][y]]&&-a[x][y]>c){
				c=-a[x][y];
				o=p[x][y];
			}
		}
		if(c==-inf)continue;
		if(a[u][v]+c<0)continue;
		s+=a[u][v]+c;
		while(o!=p[u][v]){
			int ep=pre[o];
			e[ep].w^=1;e[ep^1].w^=1;
			o=fro[o];
		}
	}
	return s;
}
signed main(){
	read(n);
	for(int i=1;i<=n;i++)
		for(int j=1;j<=n;j++)
			read(a[i][j]);
	for(int i=1;i<=n;i++)
		for(int j=1;j<=n;j++)
			if(a[i][j]>=0)
				p[i][j]=++tot;
	ll ans=0;
	for(int i=1;i<=n;i++)
		for(int j=1;j<=n;j++)
			if(a[i][j]>=0){
				if(a[i][j]>0){
					vec.pb(mp(i,j));
				}
				for(int o=0;o<4;o++){
					int x=i+dx[o],y=j+dy[o];
					if(a[i][j]>0&&a[x][y]>0)ans+=abs(a[i][j]-a[x][y]);
					else{
						if(a[x][y]>=0){
							adde(p[i][j],p[x][y]);
						}
					}
				}
			}
	ans/=2;
	ans+=MC();
	cout<<ans<<'\n';
	return 0;
}

标签:Billion,typedef,ch,1427G,边界,int,题解,include,define
From: https://www.cnblogs.com/do-while-true/p/17931921.html

相关文章

  • 「题解」P9747 「KDOI-06-S」签到题
    一个区间合法的充要条件是存在\(x\)满足其为区间按位或,并且《\(x\)左侧所有数或起来》《\(x\)右侧所有数或起来》二者有其一为\(x\)。扫描线扫右端点,不同的按位或将左端点分为\(\logA\)个区间,对于每个区间\([l,r]\)先在区间按位或\(v\)在序列中存在位置的vector中......
  • CF396C On Changing Tree 题解
    CF396C考虑将贡献表示出来:\(\forallv\in\text{subtree}_u\),\(v\)会加上\(x-(dep_v-dep_u)k\),然后发现这个东西可以维护整棵子树,即把\(x,dep_u\timesk\)和\(dep_v\timesk\)分开计算,然后\(dep_v\)可以最后再管,就变为子树加,单点和了。用树状数组维护dfs序即可。......
  • TinyMCE富文本编辑器粘贴图片自动上传问题解决
    TinyMCE编辑器支持粘贴图片,但是自动会将图片转换成base64编码,这样将内容提交到后台,数据会很大。  图|TinyMCE本文内容配置TinyMCE(版本:5.10.0)向编辑器中粘贴图片自动上传到后台,以下为配置代码:tinymce.init({selector:'#textarea',plugins:'previewautolink......
  • Ping不通问题解决 windows 查看对端MAC地址 ARP -a
    Ping不通问题解决   Linux查看ARP信息指南(linux查看arp) ARP(地址解析协议)是TCP/IP协议提供的网络层协议,通过ARP可以查看网络层面上当前可连接的本地网络内每个主机的MAC地址。 ##查看系统的ARP信息 Linux系统中查看ARP信息的方法有很多,下面简单介绍几种常见的查......
  • 题解 P9993【[Ynoi Easy Round 2024] TEST_133】
    就硬把线段树3和数列分块入门2揉到一起出。维护原数组\(a\)及其历史最大值\(hist\),对每个块,维护块内\(a\)升序排序后结果\(p\)、块内\(a\)升序排序后历史最大值前缀和\(prehist\)、块加标记\(add\)、块历史和加标记\(histadd\)。下传标记和区间修改操作仿照线......
  • [WC2018] 通道题解
    先考虑只有两颗树要咋做,柿子先变成\(dep_x+dep_y-2\timesdep_{lca}+dist_2(x,y)\)我们可以新建节点\(x'\rightarrowx\),边权为\(dep_x\),这样上面的式子可以看作枚举\(lca\)后,选出一个端点在不同子树中的直径,可以直接\(DP\)合并直径再考虑多了一颗树,我们可以进行边分治,枚......
  • ARC167D Good Permutation 题解
    ARC167D看到排列并且有\(i\getsa_i\),就可以直接建出图来,显然是若干个不相干的环。如果不求字典序最小,就可以直接不在同一个环中的\(i,j\)直接交换就可以了,因为它要求了最小化操作数。如果求字典序最小,直接从前往后扫一遍,可以用set维护不在这个环中且\(j>i\)的最小值,如果......
  • ARC105E Keep Graph Disconnected 题解
    ARC105E正向考虑是很难的,从结果入手,发现最后一定是分别包含\(1\),\(n\)的两个完全图。考虑表示出这两个人一共加了多少边:\(\frac{n(n-1)}{2}-m-x(n-x)\),\(x\)表示点\(1\)所在集合的大小。由于是判断先手还是后手必胜,所以只需看结果对\(2\)的余数,于是对\(n\)的奇偶进行......
  • P5513 [CEOI2013] Board 题解
    P5513容易发现,每次等价于对一个二进制数进行操作。但是这个二进制数长为\(n\),即需要高精。但是这样支持加一和减一是复杂度会退化为\(\mathcal{O}(n^2)\),有一个很正常的做法就压位,仿照bitset的做法进行操作,复杂度\(\mathcal{O}(\frac{n^2}{w})\)。这样已经可以通过了,但发......
  • 模拟赛简要题解
    11.16(C0389)100+10+50=160,rk3。本来BC都应该写出来的。A:dp或贪心都可以,贪心直接从下往上覆盖即可。B:注意:这里的\(\oplus\)指的是按位或。合法条件可以化简为:\(\oplus_{i=1}^{p}a_i=\oplus_{i=p+1}^{n}a_i\)。继续挖掘。看到位运算肯定想到拆位,考虑每一位第一次和......