bzoj 2542: [Ctsc2001]终极情报网 费用流

题目链接

2542: [Ctsc2001]终极情报网

Time Limit: 1 Sec  Memory Limit: 128 MB
Submit: 321  Solved: 125
[Submit][Status][Discuss]

Description

在最后的诺曼底登陆战开始之前，盟军与德军的情报部门围绕着最终的登陆地点展开了一场规模空前的情报战。 
这场情报战中，盟军的战术是利用那些潜伏在敌军内部的双重间谍，将假的登陆消息发布给敌军的情报机关的负责人。那些已经潜入敌后的间谍们都是盟军情报部的精英，忠实可靠；但是如何选择合适的人选，以及最佳的消息传递方法，才能保证假消息能够尽快而且安全准确地传递到德军指挥官们的耳朵里，成了困扰盟军情报部长的最大问题。他需要你的帮助。

以下是情报部长提供的作战资料：

在敌后一共潜伏着我方最优秀的N名间谍，分别用数字1, 2, …, N编号。在给定的作战时间内，任意两人之间至多只进行一次点对点的双人联系。 
我将给你一份表格，表格中将提供任意两位间谍i和j之间进行联系的安全程度，用一个 [0, 1] 的实数Si j表示；以及他们这次联系时，能够互相传递的消息的最大数目，用一个正整数表示Mi j (如果在表格中没有被提及，那么间谍i和j之间不进行直接联系)。 
假消息从盟军总部传递到每个间谍手里的渠道也不是绝对安全，我们用 [0, 1] 的实数ASj表示总部与间谍j之间进行联系的安全程度，AMj则表示总部和间谍j之间进行联系时传递的消息的最大数目。对于不和总部直接联系的间谍，他的AMj=0（而表格中给出的他的ASj是没有意义的）。 
当然，假消息从间谍手中交到敌军的情报部官员的办公桌上的过程是绝对安全的，也即是说，间谍与敌军情报部门之间要么不进行直接联系，要么其联系的安全程度是1（即完全可靠）。

现在情报部打算把K条假消息“透露”到德军那里。消息先由总部一次性发给N名间谍中的一些人，再通过他们之间的情报网传播，最终由这N名间谍中的某些将情报送到德军手中。 
对于一条消息，只有安全的通过了所有的中转过程到达敌军情报部，这个传递消息的过程才算是安全的；因此根据乘法原理，它的安全程度P就是从总部出发，经多次传递直到到达德军那里，每一次传递该消息的安全程度的乘积。 
而对于整个计划而言，只有当N条消息都安全的通过情报网到达德军手中，没有一条引起怀疑时，才算是成功的。所以计划的可靠程度是所有消息的安全程度的乘积。 
显然，计划的可靠性取决于这些消息在情报网中的传递方法。 
我需要一个方案，确定消息应该从哪些人手中传递到哪些人手中，使得最终计划的可靠性最大。

你可以利用计算机，来求得这个最可靠的消息传递方案。

Input

第一行包括两个整数N和K，分别是间谍的总人数和计划包含的消息总数。 
第二行包括2N个数，前N个数是实数AS1, AS2, …, ASN（范围在[0, 1]以内）；后N个数是整数AM1, AM1, …, AMN。 
第三行包含了N个整数，其中第i（i = 1, 2, …, N）个整数如果为0表示间谍i与德军情报部不进行联系，如果为1则表示间谍与德军情报部进行联系。 
第四行开始，每行包括4个数，依次分别是：代表间谍编号的正整数i和j，间谍i和j联系的安全性参数Si j（[0，1]范围内的实数），以及i、j之间传递的最大消息数 Mi j（每一行的i均小于j ）。 
最后的一行包含两个整数-1 -1，表示输入数据的结束。 
0

Output

只有一行。这一行中包含一个实数P，给出的是整个计划的可靠程度P，保留5位有效数字（四舍五入）。 
如果情报网根本不能将K条消息传到德军手中，那么计划的可靠性为0。 
（你可以假定，如果计划存在，那么它的可靠性大于1e-12）

Sample Input

6 13
0.9 0.7 0.8 0 0 0 2 6 8 0 0 0
0 0 0 1 0 1
1 4 0.5 2
2 3 0.9 5
2 5 0.8 2
2 6 0.8 7
3 5 0.8 2
5 6 0.8 4
-1 -1

Sample Output

0.00021184

 

 

因为是累乘， 所以把边的费用变为log就可以了。 5位有效数字有点坑...看的别人的代码。

#include <iostream>
#include <vector>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <cmath>
#include <map>
#include <set>
#include <string>
#include <queue>
#include <stack>
#include <bitset>
using namespace std;
#define pb(x) push_back(x)
#define ll long long
#define mk(x, y) make_pair(x, y)
#define lson l, m, rt<<1
#define mem(a) memset(a, 0, sizeof(a))
#define rson m+1, r, rt<<1|1
#define mem1(a) memset(a, -1, sizeof(a))
#define mem2(a) memset(a, 0x3f, sizeof(a))
#define rep(i, n, a) for(int i = a; i<n; i++)
#define fi first
#define se second
typedef pair<int, int> pll;
const double PI = acos(-1.0);
const double eps = 1e-;
const int mod = 1e9+;
const int inf = ;
const int dir[][] = { {-, }, {, }, {, -}, {, } };
const int maxn = 2e5+;
int num, head[maxn*], s, t, n, k, nn, flow, cnt, cap[maxn], q[maxn], cur[maxn], vis[maxn];
double cost, dis[maxn];
struct node
{
    int to, nextt, c;
    double w;
    node(){}
    node(int to, int nextt, int c, double w):to(to), nextt(nextt), c(c), w(w) {}
}e[maxn*];
int spfa() {
    int st, ed;
    st = ed = ;
    for(int i = ; i<maxn; i++)
        dis[i] = -inf;
    ++cnt;
    dis[s] = ;
    cap[s] = inf;
    cur[s] = -;
    q[ed++] = s;
    while(st<ed) {
        int u = q[st++];
        vis[u] = cnt-;
        for(int i = head[u]; ~i; i = e[i].nextt) {
            int v = e[i].to, c = e[i].c;
            double w = e[i].w;
            if(c && dis[v]<dis[u]+w&&fabs(dis[v]-dis[u]-w)>eps) {
                dis[v] = dis[u]+w;
                cap[v] = min(c, cap[u]);
                cur[v] = i;
                if(vis[v] != cnt) {
                    vis[v] = cnt;
                    q[ed++] = v;
                }
            }
        }
    }
    if(fabs(dis[t] + inf)<eps)
        return ;
    cost += dis[t]*cap[t];
    flow += cap[t];
    for(int i = cur[t]; ~i; i = cur[e[i^].to]) {
        e[i].c -= cap[t];
        e[i^].c += cap[t];
    }
    return ;
}
double mcmf() {
    flow = cost = ;
    while(spfa())
        ;
    return cost;
}
void add(int u, int v, int c, double val) {
    e[num] = node(v, head[u], c, val); head[u] = num++;
    e[num] = node(u, head[v], , -val); head[v] = num++;
}
void init() {
    mem1(head);
    num = cnt = ;
    mem(vis);
}
double a[maxn];
void deal(double ans){
    char ch[];
    sprintf(ch,"%.15f\n",ans);
    int sum=,i;
    for(i=; sum<; i++)
    {
        if((ch[i]!=''&&ch[i]!='.')|sum>)
            sum++;
    }
    if(ch[i]>='')
        ch[i-]++;
    ch[i]=;
    for(; i>=; i--)
    {
        if(ch[i]=='.')break;
        else if(ch[i]>'') {
            ch[i-]++,ch[i]='';
        }
    }
    printf("%s\n",ch);
}
int main()
{
    init();
    int n, m, ss, x;
    cin>>n>>m;
    s = , ss = n+, t = n+;
    add(s, ss, m, log(1.0));
    for(int i = ; i<=n; i++) {
        scanf("%lf", &a[i]);
    }
    for(int i = ; i<=n; i++) {
        scanf("%d", &x);
        if(x) {
            add(ss, i, x, log(a[i]));
        }
    }
    for(int i = ; i<=n; i++) {
        scanf("%d", &x);
        if(x)
            add(i, t, m, log(1.0));
    }
    int y, y1;
    double x1;
    while(scanf("%d%d", &x, &y)) {
        if(x==-&&y==-)
            break;
        scanf("%lf%d", &x1, &y1);
        add(x, y, y1, log(x1));
        add(y, x, y1, log(x1));
    }
    double ans = mcmf();
    if(flow!=m) {
        puts("0.0000\n");
        return ;
    } else {
        ans = exp(ans);
        deal(ans);
    }
    return ;
}