换教室

Description

对于刚上大学的牛牛来说,他面临的第一个问题是如何根据实际情况申请合适的课程。在可以选择的课程中,有2n节课程安排在n个时间段上。在第i(1≤i≤n)个时间段上,两节内容相同的课程同时在不同的地点进行,其中,牛牛预先被安排在教室ci上课,而另一节课程在教室di进行。在不提交任何申请的情况下,学生们需要按时间段的顺序依次完成所有的n节安排好的课程。如果学生想更换第i节课程的教室,则需要提出申请。若申请通过,学生就可以在第i个时间段去教室di上课,否则仍然在教室ci上课。由于更换教室的需求太多,申请不一定能获得通过。通过计算,牛牛发现申请更换第i节课程的教室时,申请被通过的概率是一个已知的实数ki,并且对于不同课程的申请,被通过的概率是互相独立的。学校规定,所有的申请只能在学期开始前一次性提交,并且每个人只能选择至多m节课程进行申请。这意味着牛牛必须一次性决定是否申请更换每节课的教室,而不能根据某些课程的申请结果来决定其他课程是否申请;牛牛可以申请自己最希望更换教室的m门课程,也可以不用完这m个申请的机会,甚至可以一门课程都不申请。因为不同的课程可能会被安排在不同的教室进行,所以牛牛需要利用课间时间从一间教室赶到另一间教室。牛牛所在的大学有v个教室,有e条道路。每条道路连接两间教室,并且是可以双向通行的。由于道路的长度和拥堵程度不同,通过不同的道路耗费的体力可能会有所不同。当第i(1≤i≤n-1)节课结束后,牛牛就会从这节课的教室出发,选择一条耗费体力最少的路径前往下一节课的教室。现在牛牛想知道,申请哪几门课程可以使他因在教室间移动耗费的体力值的总和的期望值最小,请你帮他求出这个最小值。

Input

第一行四个整数n,m,v,e。n表示这个学期内的时间段的数量;m表示牛牛最多可以申请更换多少节课程的教室;

v表示牛牛学校里教室的数量;e表示牛牛的学校里道路的数量。

第二行n个正整数,第i(1≤i≤n)个正整数表示c,,即第i个时间段牛牛被安排上课的教室;保证1≤ci≤v。

第三行n个正整数,第i(1≤i≤n)个正整数表示di,即第i个时间段另一间上同样课程的教室;保证1≤di≤v。

第四行n个实数,第i(1≤i≤n)个实数表示ki,即牛牛申请在第i个时间段更换教室获得通过的概率。保证0≤ki≤1。

接下来e行,每行三个正整数aj,bj,wj,表示有一条双向道路连接教室aj,bj,通过这条道路需要耗费的体力值是Wj;

保证1≤aj,bj≤v,1≤wj≤100。

保证1≤n≤2000,0≤m≤2000,1≤v≤300,0≤e≤90000。

保证通过学校里的道路,从任何一间教室出发,都能到达其他所有的教室。

保证输入的实数最多包含3位小数。

Output

输出一行,包含一个实数,四舎五入精确到小数点后恰好2位,表示答案。你的

输出必须和标准输出完全一样才算正确。

测试数据保证四舎五入后的答案和准确答案的差的绝对值不大于4*10^-3。(如果你不知道什么是浮点误差,这段话

可以理解为:对于大多数的算法,你可以正常地使用浮点数类型而不用对它进行特殊的处理)

Sample Input

3 2 3 3 2 1 2 1 2 1 0.8 0.2 0.5 1 2 5 1 3 3 2 3 1

Sample Output

2.80

这是一道概率DP的板子题。

其实概率DP与普通DP并没有太大区别，明确了状态和状态转移方程，答案就出来了。

观察数据范围，点数足够小，而且后面会频繁用到最短路，想到使用Floyd预处理出全局最短路。

考虑每个点选不选，有一个明显的状态在里面，即当前选了的教室的个数，但这样将存在后效性，即当前选不选和后面的最短路决策明显有关，于是将当前选不选也作为一维。

对于状态的转移，考虑两种决策，即当前选或不选。但注意到在转移时，当前选或不选对期望的影响与上一次选不选有关，分类讨论即可。

1. 当前不选，上次不选。这样直接是固定的路径，相加即可。

2. 当前不选，上次选。两种方式乘上各自的概率即可。

   以上两种当前不选的方式取MIN即可。

3. 当前选，上次不选。两条路直接算概率乘距离。

4. 当前选，上次选。这是最复杂的情况。因为要分四种情况。上次成功，这次成功。上次失败，这次失败。上次成功，这次失败。上次失败，这次成功。分别计算路径乘概率得到期望。

   以上两种当前选的方式取MIN。

至此我们得到了转移方程，dfs、dp均可得到正解。注意一下边界条件即可。

#include<bits/stdc++.h>
using namespace std;
const double inf=99999999;

int n,m,v,e;
int c[2005];
int d[2005];
double k[2005];
int g[303][303];
double dp[2005][2005][3];
int a,b,w;

void floyed(){
	for (int k=1;k<=v;k++)
	for (int i=1;i<=v;i++)
	for (int j=1;j<=v;j++)
	g[i][j] = min(g[i][j],g[i][k]+g[k][j]);
}

int main(){
	cin>>n>>m>>v>>e;
	for (int i=1;i<=n;i++)cin>>c[i];
	for (int i=1;i<=n;i++)cin>>d[i];
	for (int i=1;i<=n;i++)cin>>k[i];
	for (int i=1;i<=v;i++)
	for (int j=1;j<i;j++)
	g[i][j] = g[j][i] = inf;
	for (int i=1;i<=e;i++){
		cin>>a>>b>>w;
		g[a][b] = g[b][a] = min(g[a][b],w);
	}
	floyed();
	
	for (int i=1;i<=n;i++)
	for (int j=m+1;j>=0;j--)
	dp[i][j][0]=dp[i][j][1]=inf;
	//cout<<"done";
	dp[1][m][0]=dp[1][m-1][1]=0.0;
	for (int i=2;i<=n;i++){
		for (int j=m;j>=0;j--){
			dp[i][j][0]=min(dp[i-1][j][0]+g[c[i-1]][c[i]],
			
			dp[i-1][j][1]+g[c[i-1]][c[i]]*(1.0-k[i-1])+g[d[i-1]][c[i]]*k[i-1]);
			
			dp[i][j][1]=min(dp[i-1][j+1][0]+g[c[i-1]][c[i]]*(1.0-k[i])+g[c[i-1]][d[i]]*k[i],
			dp[i-1][j+1][1]+g[c[i-1]][c[i]]*(1.0-k[i-1])*(1.0-k[i])+g[d[i-1]][d[i]]*k[i-1]*k[i]+g[c[i-1]][d[i]]*(1.0-k[i-1])*k[i]+g[d[i-1]][c[i]]*k[i-1]*(1.0-k[i]));
		}
	}
	double ans=inf;
	for (int j=0;j<=m;j++){ans = min(ans,min(dp[n][j][0],dp[n][j][1]));//cout<<j<<" "<<ans<<endl;
	}
	
	printf("%.2lf", ans);
	return 0;
}