寒假学习记录D32

动态规划

对于刚上大学的牛牛来说，他面临的第一个问题是如何根据实际情况申请合适的课程。

在可以选择的课程中，有 2n2n 节课程安排在 nn 个时间段上。

在第 ii (1≤i≤n1≤i≤n) 个时间段上，两节内容相同的课程同时在不同的地点进行，其中，牛牛预先被安排在教室 cici 上课，而另一节课程在教室 didi 进行。

在不提交任何申请的情况下，学生们需要按时间段的顺序依次完成所有的 nn 节安排好的课程。

如果学生想更换第 ii 节课程的教室，则需要提出申请。

若申请通过，学生就可以在第 ii 个时间段去教室 didi 上课，否则仍然在教室 cici 上课。

由于更换教室的需求太多，申请不一定能获得通过。

通过计算，牛牛发现申请更换第 ii 节课程的教室时，申请被通过的概率是一个已知的实数 kiki，并且对于不同课程的申请，被通过的概率是互相独立的。

学校规定，所有的申请只能在学期开始前一次性提交，并且每个人只能选择至多 mm 节课程进行申请。

这意味着牛牛必须一次性决定是否申请更换每节课的教室，而不能根据某些课程的申请结果来决定其他课程是否申请。

牛牛可以申请自己最希望更换教室的 mm 门课程，也可以不用完这 mm 个申请的机会，甚至可以一门课程都不申请。

因为不同的课程可能会被安排在不同的教室进行，所以牛牛需要利用课间时间从一间教室赶到另一间教室。

牛牛所在的大学有 vv 个教室，有 ee 条道路。

每条道路连接两间教室，并且是可以双向通行的。

由于道路的长度和路况不同，通过不同的道路耗费的体力可能会有所不同。

当第 ii (1≤i≤n−11≤i≤n−1) 节课结束后，牛牛就会从这节课的教室出发，选择一条耗费体力最少的路径前往下一节课的教室。

现在牛牛想知道，申请哪几门课程可以使他因在教室间移动耗费的体力值的总和的期望值最小，请你帮他求出这个最小值。

输入格式

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

第二行 nn 个正整数，第 ii 个正整数表示 cici，即第 ii 个时间段牛牛被安排上课的教室；保证 1≤ci≤v1≤ci≤v。

第三行 nn 个正整数，第 ii 个正整数表示 didi，即第 ii 个时间段另一间上同样课程的教室；保证 1≤di≤v1≤di≤v。

第四行 nn 个实数，第 ii 个实数表示 kiki，即牛牛申请在第 ii 个时间段更换教室获得通过的概率；保证 0≤ki≤10≤ki≤1。

接下来 ee 行，每行三个正整数aj,bj,wjaj,bj,wj,表示有一条双向道路连接教室 aj,bjaj,bj ,通过这条道路需要耗费的体力值是 wjwj ;保证1≤aj,bj≤v,1≤wj≤1001≤aj,bj≤v,1≤wj≤100。

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

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

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

输出格式

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

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

测试数据保证四舎五入后的答案和准确答案的差的绝对值不大于 4∗10−34∗10−3 。 (如果你不知道什么是浮点误差，这段话可以理解为: 对于大多数的算法， 你可以正常地使用浮点数类型而不用对它进行特殊的处理)

输入样例：

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

输出样例：

2.80

 

首先用floyd算法预处理出所有点对之间的最短距离。

状态表示：

f[i][j][0]表示前i个课程，申请换了j次，且最后一次没申请换的最小期望长度
f[i][j][1]表示前i个课程，申请换了j次，且最后一次申请交换的最小期望长度
则f[i][j][0]在如下两种情况中取最小值即可：

第i - 1个课程没申请交换，最小期望是f[i - 1][j][0] + d[a[i - 1]][a[i]]
第i - 1个课程申请交换，最小期望是f[i - 1][j][0] + d[a[i - 1]][a[i]] * (1 - p[i - 1]) + d[b[i - 1]][a[i]] * p[i - 1]
f[i][j][1]可以用类似的方式得到。

最后遍历f[n][j][k]取最小值就是答案。

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>

using namespace std;

const int N = 2010, M = 310;
const double INF = 1e9;

int n, m, V, E;
int a[N], b[N];
double p[N];
int d[M][M];
double f[N][N][2];

int main()
{
    scanf("%d%d%d%d", &n, &m, &V, &E);
    for (int i = 1; i <= n; i ++ ) scanf("%d", &a[i]);
    for (int i = 1; i <= n; i ++ ) scanf("%d", &b[i]);
    for (int i = 1; i <= n; i ++ ) scanf("%lf", &p[i]);

    memset(d, 0x3f, sizeof d);
    for (int i = 1; i <= V; i ++ ) d[i][i] = d[0][i] = 0;

    for (int i = 0; i < E; i ++ )
    {
        int u, v, w;
        scanf("%d%d%d", &u, &v, &w);
        d[u][v] = d[v][u] = min(d[u][v], w);
    }

    for (int k = 1; k <= V; k ++ )
        for (int i = 1; i <= V; i ++ )
            for (int j = 1; j <= V; j ++ )
                d[i][j] = min(d[i][j], d[i][k] + d[k][j]);

    for (int i = 0; i <= n; i ++ )
        for (int j = 0; j <= m; j ++ )
            for (int k = 0; k <= 1; k ++ )
                f[i][j][k] = INF;

    f[1][0][0] = f[1][1][1] = 0;
    for (int i = 2; i <= n; i ++ )
    {
        for (int j = 0; j <= m; j ++ )
        {
            f[i][j][0] = min(f[i - 1][j][0] + d[a[i - 1]][a[i]], 
                             f[i - 1][j][1] + d[a[i - 1]][a[i]] * (1 - p[i - 1]) + d[b[i - 1]][a[i]] * p[i - 1]);
            if (j)
                f[i][j][1] = min(f[i - 1][j - 1][0] + d[a[i - 1]][a[i]] * (1 - p[i]) + d[a[i - 1]][b[i]] * p[i],
                                 f[i - 1][j - 1][1] + d[a[i - 1]][a[i]] * (1 - p[i - 1]) * (1 - p[i])
                                                    + d[b[i - 1]][a[i]] * p[i - 1] * (1 - p[i])
                                                    + d[a[i - 1]][b[i]] * (1 - p[i - 1]) * p[i]
                                                    + d[b[i - 1]][b[i]] * p[i - 1] * p[i]);
        }
    }

    double res = INF;
    for (int i = 0; i <= m; i ++ ) res = min(res, min(f[n][i][0], f[n][i][1]));

    printf("%.2lf\n", res);
    return 0;
}