Description
世界上一共有N个JYY愿意去的城市,分别从1编号到N。JYY选出了K个他一定要乘坐的航班。除此之外,还有M个JYY没有特别的偏好,可以乘坐也可以不乘坐的航班。
一个航班我们用一个三元组(x,y,z)来表示,意义是这趟航班连接城市x和y,并且机票费用是z。每个航班都是往返的,所以JYY花费z的钱,既可以选择从x飞往y,也可以选择从y飞往x。
南京的编号是1,现在JYY打算从南京出发,乘坐所有K个航班,并且最后回到南京,请你帮他求出最小的花费。
Input
输入数据的第一行包含两个整数N和K;
接下来K行,每行三个整数x,y,z描述必须乘坐的航班的信息,数据保证在这K个航班中,不会有两个不同的航班在同一对城市之间执飞;
第K+2行包含一个整数M;
接下来M行,每行三个整数x,y,z 描述可以乘坐也可以不乘坐的航班信息。
Output
输出一行一个整数,表示最少的花费。数据保证一定存在满足JYY要求的旅行方案。
Sample Input
6 3
1 2 1000
2 3 1000
4 5 500
2
1 4 300
3 5 300
Sample Output
3100
Data Constraint
对于10%的数据满足N≤4;
对于30%的数据满足N≤ 7;
对于额外30%的数据满足,JYY可以只通过必须乘坐的K个航班从南京出发到达任意一个城市;
对于100%的数据满足2≤N≤13,0≤K≤78,2 ≤M ≤ 200,1 ≤x,y ≤N,1 ≤z ≤ 10^4。
Hint
样例说明:一个可行的最佳方案为123541。 机票所需的费用为1000+1000+300+500+300=3100。
分析:我们发现一条可行的道路当且仅当经过所有必须经过的边,且此时所有点的入度都为偶数。
我们发现可以dp(一开始都没往这么方向想,不是说图论专题吗= =)。设f[u]为状态为u时的答案,u为一个n位三进制数,第i位0表示点i入度为0,1表示入度为奇数,2表示偶数(把0单独出来是应该该点不在欧拉回路内)。首先把1号点加入连通块内,每次枚举下一个入度为0点的加入这个连通块,再枚举连通块内一个点,把这两个点连起来,显然代价为两点之间的最短路;如果这两点间有直接相连的必须走的边,代价可以看做0,最后再把k条边的代价加上,然后连接的两个点的奇偶性改变,过程中的点奇偶性不改变。
考虑这样一种情况,(u,v)有条代价为x的必走边,还有代价为y的可走边,此时如果x>y,显然是不能把必走边看为0的,只有在这两点间有直接相连的必须走的边(注意这个),代价才算0。我们这样跑出了f[u],它描述的欧拉图在同状态下是一样的,且会把所有必走边跑掉(只要该状态合法)。剩下的就是把1变成2即可。暴力两个1,把这两点连起来,代价为两点最短路,此时必走边不看做0,为初始代价。
代码(by 66w):
#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>
#include<queue>
#define MIN(x,y) x=min(x,y)
#define inf 0x3f3f3f3f
using namespace std;
const int N=15;
int n,m,dis[N][N],cnt,last[N],g[9005],f[1600005],bin[N],pow[N],a[N],deg[N];
struct edge{int to,next,w;}e[N*10];
queue<int> que;
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*10+ch-'0';ch=getchar();}
return x*f;
}
void addedge(int u,int v,int w)
{
e[++cnt].to=v;e[cnt].w=w;e[cnt].next=last[u];last[u]=cnt;
e[++cnt].to=u;e[cnt].w=w;e[cnt].next=last[v];last[v]=cnt;
}
void floyd()
{
for (int k=1;k<=n;k++)
for (int i=1;i<=n;i++)
for (int j=1;j<=n;j++)
MIN(dis[i][j],dis[i][k]+dis[k][j]);
}
void pre_dp()
{
memset(g,inf,sizeof(g));
g[0]=0;
for (int i=0;i<bin[n];i++)
for (int j=1;j<=n;j++)
if (!(i&bin[j-1]))
for (int k=j+1;k<=n;k++)
if (!(i&bin[k-1]))
MIN(g[i^bin[j-1]^bin[k-1]],g[i]+dis[j][k]);
}
void dp()
{
memset(f,inf,sizeof(f));
f[2]=0;que.push(2);
while (!que.empty())
{
int s=que.front(),tot=0;que.pop();
for (int i=1;i<=n;i++) if (s/pow[i-1]%3>0) a[++tot]=i;
for (int i=1;i<=n;i++)
if (s/pow[i-1]%3==0)
{
for (int j=last[i];j;j=e[j].next)
if (s/pow[e[j].to-1]%3>0)
{
int s1=s+pow[i-1]*2;
if (f[s]>=f[s1]) continue;
if (f[s1]==inf) que.push(s1);
f[s1]=f[s];
}
for (int j=1;j<=tot;j++)
{
int s1=s+pow[i-1];
s1+=(s/pow[a[j]-1]%3==1)?pow[a[j]-1]:-pow[a[j]-1];
if (f[s]+dis[i][a[j]]>=f[s1]) continue;
if (f[s1]==inf) que.push(s1);
f[s1]=f[s]+dis[i][a[j]];
}
}
}
}
void calc()
{
int ans=inf;
for (int s=0;s<pow[n];s++)
{
int flag=0;
for (int i=1;i<=n;i++) if (last[i]&&!(s/pow[i-1]%3)) {flag=1;break;}
if (flag) continue;
int now=s;
for (int i=1;i<=n;i++) if (deg[i]&1) now+=(s/pow[i-1]%3==1)?pow[i-1]:-pow[i-1];
int s1=0;
for (int i=1;i<=n;i++) if (now/pow[i-1]%3==1) s1^=bin[i-1];
MIN(ans,f[s]+g[s1]);
}
for (int i=1;i<=cnt;i+=2) ans+=e[i].w;
printf("%d",ans);
}
int main()
{
n=read();m=read();
bin[0]=pow[0]=1;
for (int i=1;i<=n;i++) bin[i]=bin[i-1]*2,pow[i]=pow[i-1]*3;
memset(dis,inf,sizeof(dis));
for (int i=1;i<=m;i++)
{
int x=read(),y=read(),z=read();
dis[x][y]=dis[y][x]=min(dis[y][x],z);
deg[x]++;deg[y]++;
addedge(x,y,z);
}
m=read();
while (m--)
{
int x=read(),y=read(),z=read();
dis[x][y]=dis[y][x]=min(dis[y][x],z);
}
floyd();
pre_dp();
dp();
calc();
return 0;
}