首页 > 其他分享 >AT_abc338_f [ABC338F] Negative Traveling Salesman 题解

AT_abc338_f [ABC338F] Negative Traveling Salesman 题解

时间:2024-03-07 13:46:33浏览次数:16  
标签:abc338 ch int 题解 Negative continue define

分析

考虑状压。

定义状态函数 \(f_{i,j}\) 表示在经过点的情况为 \(i\) 且最后停在点 \(j\) 的最小花费。那有:\(f_{i,j}=\min\{f_{i',k}+w_{k \to j}|k\to j\}\)。然后就过不了样例一。根据样例一,可以发现 \(f_{3,2}=f_{2,2}+w_{2\to 1}+w_{1 \to 2}\)。也就是说我们在原本已经走完了状态 \(i\) 之后,可能在里面走还会有更优的。其实这个你跑 \(n\) 遍转移,在原有的转移方程上再加上一个与 \(f_{i,k}\) 的取最小值就行了。很牛,能冲过去。

复杂度 \(O(n^32^{n})\)。

代码

#include<bits/stdc++.h>
using namespace std;
#define int long long
#define re register
#define il inline
#define PII pair<int,int>
#define x first
#define y second

il int read(){
	int x=0,f=1;char ch=getchar();
	while(ch<'0'||ch>'9'){if(ch=='-') f=-1;ch=getchar();}
	while(ch>='0'&&ch<='9') x=(x<<1)+(x<<3)+(ch^48),ch=getchar();
	return x*f;
}

const int N=1e5+10,M=1<<20|1,K=25;
int n,m,k;
int f[M][K];
int vis[K][N],dis[K][N];

il void solve(){
	memset(dis,0x3f,sizeof(dis)),
	memset(vis,0,sizeof(vis)),
	memset(f,0x3f,sizeof(f));
	n=read(),m=read();
	for(re int i=1,a,b,c;i<=m;++i)
		a=read(),b=read(),c=read(),
		vis[a][b]=1,dis[a][b]=c;
	for(re int i=1;i<=n;++i) f[(1<<(i-1))][i]=0,f[0][i]=0;
	for(re int i=1;i<(1<<n);++i){
		for(int ks=1;ks<=n;++ks)
		for(re int a=n;a>=1;--a){
			if(!((i>>(a-1))&1)) continue;
			for(re int b=n;b>=1;--b){
				if(!((i>>(b-1))&1)) continue;
				if(!vis[b][a]) continue;
				int lst=i-(1<<(a-1));
				f[i][a]=min(f[i][a],f[lst][b]+dis[b][a]);
				f[i][a]=min(f[i][a],f[i][b]+dis[b][a]);
			}
		}		
	}
	int Min=1e18;
	for(re int i=1;i<=n;++i) Min=min(Min,f[(1<<n)-1][i]);
	if(Min>1e9) printf("No\n");
	else printf("%lld\n",Min);
	return ;      
}

signed main(){
	solve();
	return 0;
}

标签:abc338,ch,int,题解,Negative,continue,define
From: https://www.cnblogs.com/harmisyz/p/18058726

相关文章

  • P4958 [COCI2017-2018#6] Mate 题解
    分析考虑DP。先考虑\(A\)的答案。定义状态函数\(f_{i,j}\)表示在子串\(S_{1\dotsi}\)中选\(j\)个,且第\(S_i\)必选的方案数。则有:\(f_{i,j}=C_{i-1}^{j-1}\)。再考虑\(B\)的答案。枚举每一个位置\(x\)。令\(sum_x=\sum\limits_{i=1}^{x-1}f_{i,n-1}[S_i=A]\)。......
  • AT_abc283_f [ABC283F] Permutation Distance 题解
    分析分类讨论。对\(|p_i-p_j|+|i-j|\)分类讨论,有:\((p_i+i)-(p_j+j)\),\(p_i>p_j\landi>j\)。\(-(p_i-i)+(p_j-j)\),\(p_i<p_j\landi>j\)。\((p_i-i)-(p_j-j)\),\(p_i>p_j\landi<j\)。\(-(p_i+i)+(p_j+j)\),\(p_i<p_j\landi<j......
  • CF38E Let's Go Rolling! 题解
    分析考虑DP。因为\(n\le3000\),我们可以直接枚举插针的位置。定义状态函数\(f_i\)表示在从左往右第\(i\)个小球的位置上插针的最小花费。枚举该小球右边第一个插针的位置,则\(i\)到\(j-1\)的小球都会滚到小球\(i\)的位置。代价为\(\sum\limits_{k=i}^{j-1}x_k-x_i......
  • P6390 [COCI2007-2008#4] POKLON 题解
    感谢@\(\color{#AEF}{\texttt{CelestialCyan}}\)大神对我的骚扰帮助。分析一眼DP。对于求最大满足条件区间数,我们定义状态函数\(\mathit{f}_{i}\)表示在第\(1\)到\(i\)个区间中选择,且必选第\(i\)个区间能够得到的最大长度。有转移方程:\(\mathit{f}_{i}=\max\{f[j]|......
  • UVA13095 Tobby and Query 题解
    分析一眼莫队(虽然通过这题的范围显然看出出题人用的不是莫队)。我们定义\(\mathit{cnt}_{i}\)表示数字\(i\)出现的次数。在指针的拓展增加\(x\)时,若有\(\mathit{cnt}_{x}+1=1\),则表示在在这个区间里,\(x\)是第一次出现的,我们可以将答案加\(1\);在指针的收缩减去\(x\)时,......
  • P5017题解
    前言做这道题,首先要了解\(dp\)。\(dp\)一般有三个步骤(个人理解):根据题意确定状态。根据状态的定义推出状态转移方程,一般有两种:填表法和刷表法。填表法就是普通\(dp\),用前面的状态转移到现在的状态,例:\(f[i]=f[i-1]+a[i]\)。刷表法就是在现有的基础上(\(f[i]\)已知),去推出\(f[......
  • SP20848 IGAME - Interesting Game 题解
    分析数位DP一眼题。对于一个\(k\)位的数\(s\),我们不妨将其看做由数字\(s_1,s_2,s_3,\dots,s_k\)这\(k\)个数字拼接起来的。而题意是每个人可以将\(s_1,s_2,s_3,\dots,s_k\)中的任意一个减去任意数字,保证不减去\(0\)且结果\(\ge0\)。显然,在我们将这\(k\)个数看......
  • AT_abc216_g [ABC216G] 01Sequence 题解
    分析一道差分约束题。我们令\(\mathit{sum}_{i}\)表示\(1\)到\(i\)中,\(1\)的数量,根据题意可得:\(\mathit{sum}_{l_i-1}+x_i\le\mathit{sum}_{r_i}\)\(\mathit{sum}_{l+1}+(-1)\le\mathit{sum}_{l}\)\(\mathit{sum}_{l}+0\le\mathit{sum}_{l+1}\)因为我们要尽......
  • CF1066E 题解
    Solution首先不难想到计算\(a\)的每一位对答案产生的贡献,然后题目告诉我们\(b\)每次会往右移一位,然后结合样例可以发现:对于\(a\)的第\(i\)位,能与其产生贡献的条件是:\(a_i=1\)且\(b_j=1(i\leqj)\),对答案的贡献不难想出即为\(2^{i-1}\times\sum\limits_{j=i}^{m}b_j......
  • AT_abl_e Replace Digits 题解
    分析线段树模板题。维护一个区间\([l,r]\)中\(\sum\limits_{i=l}^r10^{n-i}\)的答案。将某个区间\([l,r]\)全部修改成\(x\)之后的表示的数就是\(x\times(\sum\limits_{i=l}^r10^{n-i})\)。区间修改可以用线段树,用快速幂或者预处理弄出来\(10^x\),建树的时候就能把每......