AtCoder Regular Contest 078F Mole and Abandoned Mine 状压dp

36 篇文章 0 订阅
21 篇文章 0 订阅

Description


给n个点m条边的无向连通图,每条边带边权。现在要删掉一些边使得1到n的简单路径数量恰好为1,问删掉边的边权之和最小是多少
n ≤ 15 n\le15 n15

Solution


数据就很状压,转换一下求选择边权的最大值
一个小性质就是,答案肯定是一条1到n的路径加上若干连出去的满连通块。这个可以画图感性一下
然后就可以用这个小性质dp了。设f[i,S]表示从1走到i,选择了S这些点的最大值。每次我们要么走一条路径,要么走一个连通块。
为了转移不重复,我们钦定新增连通块一定加在i上,新走到的目的地一定连向i。于是就做完了

这样做是 O ( n ⋅ 3 n ) O(n\cdot3^n) O(n3n)的,有一种先求出路径然后枚举子集加连通块的做法貌似也是一样的

Code


#include <stdio.h>
#include <string.h>
#include <algorithm>
#include <math.h>
#define rep(i,st,ed) for (int i=st;i<=ed;++i)
#define lb(x) (x&-x)
#define get(x) ((int)log2(x))

const int INF=0x3f3f3f3f;
const int N=66666;

int f[17][N],sum[N];
int v[17][17];

int read() {
	int x=0,v=1; char ch=getchar();
	for (;ch<'0'||ch>'9';v=(ch=='-')?(-1):v,ch=getchar());
	for (;ch<='9'&&ch>='0';x=x*10+ch-'0',ch=getchar());
	return x*v;
}

void upd(int &x,int v) {
	(x<v)?(x=v):0;
}

int main(void) {
	freopen("data.in","r",stdin);
	int n=read(),m=read();
	int prt=0;
	rep(i,1,m) {
		int x=read()-1,y=read()-1;
		v[x][y]=v[y][x]=read(),prt+=v[x][y];
	}
	for (int S=1;S<(1<<n);++S) {
		int x=get(lb(S));
		sum[S]=sum[S-(1<<x)];
		rep(i,0,n-1) if (v[i][x]&&(S>>i&1)) {
			sum[S]+=v[i][x];
		}
	}
	rep(i,0,n-1) for (int S=0;S<(1<<n);++S) f[i][S]=-INF;
	int ans=0; f[0][1]=0;
	for (int S=1;S<(1<<n);++S) {
		if (!(S&1)) continue;
		rep(i,0,n-1) {
			if (!((S>>i))&1) continue;
			for (int T=S;T;T=(T-1)&S) {
				if (T>>i&1) upd(f[i][S],f[i][S-T+(1<<i)]+sum[T]);
			}
			for (int T=(1<<n)-1-S,j;T;T-=lb(T)) {
				j=get(lb(T));
				if (v[i][j]) upd(f[j][S+(1<<j)],f[i][S]+v[i][j]);
			}
		}
		if (S>>(n-1)&1) upd(ans,f[n-1][S]);
	}
	printf("%d\n", prt-ans);
	return 0;
}
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值