Codeforces 865C Gotta Go Fast 二分 + 期望dp (看题解)

第一次看到这种骚东西， 期望还能二分的啊？？？

因为存在重置的操作， 所以我们再dp的过程中有环存在。

为了消除环的影响， 我们二分dp[ 0 ][ 0 ]的值， 与通过dp得出的dp[ 0 ][ 0 ]的值进行比较。

这样看着好像很不合理， 但实际上比较这两个值， 你能推倒出当前二分的值合不合法。

#include<bits/stdc++.h>
#define LL long long
#define fi first
#define se second
#define mk make_pair
#define PLL pair<LL, LL>
#define PLI pair<LL, int>
#define PII pair<int, int>
#define SZ(x) ((int)x.size())
#define ull unsigned long long

using namespace std;

const int N = 1e5 + ;
const int inf = 0x3f3f3f3f;
const LL INF = 0x3f3f3f3f3f3f3f3f;
const int mod = ;
const double eps = 1e-;
const double PI = acos(-);

int n, R, F[N], S[N], up;
double P[N];
double dp[ + ][ *  + ];

double dfs(int i, int j, double x) {
    if(i == n) {
        if(j <= R) return ;
        else return x;
    }
    if(dp[i][j] + eps > ) return dp[i][j];
    double T1 = P[i + ] * (dfs(i + , j + F[i + ], x) + F[i + ]) + ( - P[i + ]) * (dfs(i + , j + S[i + ], x) + S[i + ]);
    dp[i][j] = min(T1, x);
    return dp[i][j];
}

bool check(double x) {
    for(int i = ; i <= n; i++)
        for(int j = ; j <= up; j++)
            dp[i][j] = -;
    if(dfs(, , x) < x) return true;
    else return false;
}
int main() {
    scanf("%d%d", &n, &R);
    for(int i = ; i <= n; i++) {
        scanf("%d%d%lf", &F[i], &S[i], &P[i]);
        P[i] /= ;
        up += S[i];
    }
    double low = n, high = 5e8;
    for(int o = ; o <= ; o++) {
        double mid = (low + high) / ;
        if(check(mid)) high = mid;
        else low = mid;
    }
    printf("%.12f\n", (low + high) / );
    return ;
}

/*
*/