BZOJ4899: 记忆的轮廓【几率指望DP】【决策单调性优化DP】

Description

通往贤者之塔的路上，有许多的危机。

咱们能够把这个地形看作是一颗树，根节点编号为1，目标节点编号为n，其中1-n的简单路径上，编号依次递增，

在[1,n]中，一共有n个节点。咱们把编号在[1,n]的叫作正确节点，[n+1,m]的叫作错误节点。一个叶子，若是是正

确节点则为正确叶子，不然称为错误叶子。莎缇拉要帮助昴到达贤者之塔，所以如今面临着存档位置设定的问题。

为了让昴成长为英雄，所以一共只有p次存档的机会，其中1和n必须存档。被莎缇拉设置为要存档的节点称为存档

位置。固然不能让昴陷入死循环，因此存档只能在正确节点上进行，并且同一个节点不能存屡次档。由于通往贤者

之塔的路上有影响的瘴气，所以莎缇拉假设昴每次位于树上一个节点时，都会等几率选择一个儿子走下去。每当走

到一个错误叶子时，再走一步就会读档。具体的，每次昴到达一个新的存档位置，存档点便会更新为这个位置（假

如如今的存档点是i，如今走到了一个存档位置j>i，那么存档点便会更新为j）。读档的意思就是回到当前存档点

。初始昴位于1，当昴走到正确节点n时，便结束了路程。莎缇拉想知道，最优状况下，昴结束路程的指望步数是多

少？

Input

第一行一个正整数T表示数据组数。

接下来每组数据，首先读入三个正整数n,m,p。

接下来m-n行，描述树上全部的非正确边（正确边即链接两个正确节点的边）

用两个正整数j，k表示j与k之间有一条连边，j和k能够均为错误节点，也能够一个为正确节点另外一个为错误节点。

数据保证j是k的父亲。

50<=p<=n<=700，m<=1500，T<=5。

数据保证每一个正确节点均有至少2个儿子，至多3个儿子。

Output

T行每行一个实数表示每组数据的答案。请保留四位小数。

Sample Input

1
3 7 2
1 4
2 5
3 6
3 7

Sample Output

9.0000

---

思路

发现其实仍是在一条链上进行dp，剩下的分支均可以直接与处理作掉

首先求出从每一个点进入坏点返回存档点的指望步数\(f_{i}\)

而后能够算一下以每个点i为最新存档点到点j的指望步数（途中没有存档点）\(w_{i,j}\)

首先设\(cur\)为从\(j-1\)到\(j\)的指望步数

能够获得\(cur=\frac{1}{d_{j-1}}+\frac{d_{j-1}-1}{d_{j-1}}*(f_{j-1}+w_{i,j-1}+cur)\)

又由于\(w_{i,j}=w_{i,j-1}+cur\)

因此\(w_{i,j}=w_{i,j-1} * d_{j-1} + f_{j-1} * (d_{j-1} - 1) + 1\)

而后就能够dp了

记录\(dp_{i,j}\)表示前i个点选了j个存档位置，最新的存档位置是i的最小指望步数

咱们想用决策单调性优化，因此就要从

\(dp_{j,x}+w_{j,i}\le dp_{k,x}+w_{k,i}(k<j)\)

推到

\(dp_{j,x}+w_{j,i+1}\le dp_{k,x}+w_{k,i+1}(k<j)\)

也就是说要证实\(w_{k,i}-w_{j,i}\le w_{k,i+1}-w_{j,i+1}\)

转化成\(w_{k,i}+w_{j,i+1}\le w_{k,i+1}+w_{j,i}\)

其中\(k<j\le i<i+1\)

而后对于w

咱们来推一下式子看看是否是

\(w_{i,j}+w_{i+1,j+1}\le w_{i+1,j}+w_{i,j+1}\)

左边\(w_{i,j}+w_{i+1,j+1}=w_{i,j}+w_{i+1,j}*d_j+f_j*(d_j-1)+1\)

右边\(w_{i+1,j}+w_{i,j+1}=w_{i+1,j}+w_{i,j}*d_j+f_j*(d_j-1)+1\)

发现是知足的，而后就直接按照套路维护就能够了

---

#include <bits/stdc++.h>

using namespace std;

typedef long double ld;
const int N = 2010;

int n, m, p, d[N];
vector<int> g[N]; 
ld f[N], w[N][N], dp[N][N];

struct Node {
  int pos, l, r;
  Node() {}
  Node(int pos, int l, int r): pos(pos), l(l), r(r) {}
} que[N];

void init() {
  for (int i = 1; i <= n; i++) {
    for (int j = 1; j <= n; j++) {
      w[i][j] = 0;
      dp[i][j] = 1e9;
    }
  }
  for (int i = 1; i <= m; i++) {
    f[i] = 0;
    d[i] = 0;
    g[i].clear();
  }
}

void dfs(int u) {
  if (!(signed) g[u].size()) {
    f[u] = 1;
    return;
  }
  for (int i = 0; i < (signed) g[u].size(); i++) {
    int v = g[u][i];
    dfs(v);
    f[u] += (f[v] + 1.0) / (1.0 * d[u]);
  }
}

ld calc(int i, int j, int k) {
  return dp[j][k - 1] + w[j][i];
}

int find(Node a, int b, int k) {
  int l = a.l, r = n, res = n;
  while (l <= r) {
    int mid = (l + r) >> 1;
    if (calc(mid, a.pos, k) >= calc(mid, b, k)) res = mid, r = mid - 1;
    else l = mid + 1;
  }
  return res;
}

void solve() {
  scanf("%d %d %d", &n, &m, &p); p--;
  init();
  for (int i = 1; i <= m - n; i++) {
    int u, v; scanf("%d %d", &u, &v);
    g[u].push_back(v);
    ++d[u];
  }
  for (int i = n; i >= 1; i--) dfs(i);
  for (int i = 1; i <= n - 1; i++) ++d[i];
  for (int i = n; i >= 1; i--) { 
    for (int j = i + 1; j <= n; j++) {
      w[i][j] = w[i][j - 1] * d[j - 1] + f[j - 1] * (d[j - 1] - 1) + 1;
    }
  }
  dp[1][1] = 0;
  for (int i = 2; i <= p; i++) {
    int ql = 1, qr = 1;
    que[ql] = Node(i - 1, i - 1, n);
    for (int j = i; j < n; j++) {
      if (ql <= qr && ++que[ql].l > que[ql].r) ql++;
      dp[j][i] = calc(j, que[ql].pos, i);
      if (ql <= qr && calc(n, que[qr].pos, i) <= calc(n, j, i)) continue;
      while (ql <= qr && calc(que[qr].l, que[qr].pos, i) >= calc(que[qr].l, j, i)) qr--;
      if (ql > qr) {
        que[++qr] = Node(j, j, n); 
      } else {
        int cur = find(que[qr], j, i);
        que[qr].r = cur - 1;
        que[++qr] = Node(j, cur, n);
      }
    }
  }
  ld ans = 1e9;
  for (int i = 1; i < n; i++) {
    ans = min(ans, dp[i][p] + w[i][n]);
  }
  printf("%.4Lf\n", ans);
}

int main() {
#ifdef dream_maker
  freopen("input.txt", "r", stdin);
#endif
  int T; scanf("%d", &T);
  while (T--) solve();
  return 0;
}