每日一题 - 关押罪犯

关押罪犯

---

$S$ 城现有两座监狱，一共关押着 $N$ 名罪犯，编号分别为 $1\sim N$。

他们之间的关系自然也极不和谐。

很多罪犯之间甚至积怨已久，如果客观条件具备则随时可能爆发冲突。

我们用“怨气值”（一个正整数值）来表示某两名罪犯之间的仇恨程度，怨气值越大，则这两名罪犯之间的积怨越多。

如果两名怨气值为 $c$ 的罪犯被关押在同一监狱，他们俩之间会发生摩擦，并造成影响力为 $c$ 的冲突事件。

每年年末，警察局会将本年内监狱中的所有冲突事件按影响力从大到小排成一个列表，然后上报到 $S$城 $Z$市长那里。

公务繁忙的 $Z$市长只会去看列表中的第一个事件的影响力，如果影响很坏，他就会考虑撤换警察局长。

在详细考察了 $N$名罪犯间的矛盾关系后，警察局长觉得压力巨大。

他准备将罪犯们在两座监狱内重新分配，以求产生的冲突事件影响力都较小，从而保住自己的乌纱帽。

假设只要处于同一监狱内的某两个罪犯间有仇恨，那么他们一定会在每年的某个时候发生摩擦。

那么，应如何分配罪犯，才能使 $Z$市长看到的那个冲突事件的影响力最小？这个最小值是多少？

---

输入格式
第一行为两个正整数 N和 M，分别表示罪犯的数目以及存在仇恨的罪犯对数。

接下来的 M行每行为三个正整数 $a_j，b_j，c_j$，表示 $a_j$号和 $b_j$号罪犯之间存在仇恨，其怨气值为 $c_j$。

数据保证 $1\le a_j<b_j<N,0<c_j\le 10^9$ 且每对罪犯组合只出现一次。

输出格式
输出共 $1$ 行，为 $Z$ 市长看到的那个冲突事件的影响力。

如果本年内监狱中未发生任何冲突事件，请输出 $0$。

数据范围
$N\le 20000,M\le 100000$

输入样例：

4 6
1 4 2534
2 3 3512
1 2 28351
1 3 6618
2 4 1805
3 4 12884

输出样例：

3512

分析题意：

每年年末，警察局会将本年内监狱中的所有冲突事件按影响力从大到小排成一个列表，然后上报到 $S$城 $Z$市长那里。
那么，应如何分配罪犯，才能使 $Z$市长看到的那个冲突事件的影响力最小？这个最小值是多少？

根据这两句话自然而然的会想到，最大值最小，而解决最大值最小问题可以用二分答案来做。

$S$ 城现有两座监狱，一共关押着 $N$ 名罪犯，编号分别为 $1\sim N$。

根据这句话我们可以想到：两座监狱，相当于是把所有的罪犯分成两类。所以可以用二分图来做。

二分答案结合二分图：

1. 所有分配方案都有一个最大值，找所有方案最大值的最小值
2. 如果mid值能够通过某个划分方案后变为二分图
3. 就去找更小的可能的方案
   
   代码：

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

using namespace std;

const int N = 2e4 + 10, M = 2e5 + 10;

int n, m;
int h[N], e[M], w[M], ne[M], idx;
int color[M];

void add(int a, int b, int c)
{
    e[idx] = b, w[idx] = c, ne[idx] = h[a], h[a] = idx ++ ;
}

bool dfs(int u, int c, int mid)
{
    color[u] = c; // 先把点染色
    
    for (int i = h[u]; ~i; i = ne[i]) // 枚举当前点的每一条邻点
    {
        if(w[i] <= mid) continue; // 如果当前边小于等于 mid 证明 mid 前面的点都不满足性质
        int j = e[i];
        if(!color[j]) // 如果当前点没有被染色过
        {
            if(!dfs(j, 3 - c, mid)) return false; // 染色失败
            //（3 - 1 = 2， 如果 u 的颜色是2，则和 u 相邻的染成 1）
            //（3 - 2 = 1， 如果 u 的颜色是1，则和 u 相邻的染成 2）
        }
        else if(color[j] == c) return false; // 存在奇数环，染色失败
    }
    return true;
}

bool check(int mid)
{
    memset(color, 0, sizeof color); // 因为要多次查询，所以每次把颜色消除掉
    
    for (int i = 1; i <= n; i ++ ) // 从第一个点开始枚举
    {
        if(!color[i]) // 如果当前点没有被染色过
        {
            if(!dfs(i, 1, mid)) return false; // 染色失败
        }
    }
    return true; // 染色成功
}

int main()
{
    cin >> n >> m;
    
    memset(h, -1, sizeof h);
    for (int i = 0; i < m; i ++ )
    {
        int a, b, c;
        cin >> a >> b >> c;
        add(a, b, c), add(b, a, c);
    }
    
    int l = 0, r = 1e9;
    while (l < r)
    {
        int mid = l + r >> 1;
        if(check(mid)) r = mid;
        else l = mid + 1;
    }
    cout << l << endl;
    return 0;
}