Cod sursa(job #2962092)

Utilizator David_PatranjelDavid Patranjel David_Patranjel Data 7 ianuarie 2023 18:58:52
Problema Cuplaj maxim in graf bipartit Scor 50
Compilator cpp-64 Status done
Runda Arhiva educationala Marime 4.32 kb
#include <iostream>
#include <vector>
#include <fstream>
#include <queue>
#include <numeric>
#define INFINITY 999999999
using namespace std;

int noNodes;
int noEdges;
int l, r, e;
vector<vector<pair<int, int>>> graf_c;

bool constructSTNesaturatedBF(int s, int t, vector<vector<int>>& f,
                            vector<vector<int>>& graf_t, vector<int>& tata, vector<bool>& viz);
void revizFlux(int s, int t, vector<vector<int>>& f, vector<int>& tata, int& ip);
int EndmondsKarp(int fin, vector<vector<int>>& f);
void citireFisier();
void testEdmondsKarp();

int main() {
    citireFisier();
    testEdmondsKarp();
    return 0;
}

void citireFisier(){
    int x, y, z;
    ifstream fin("cuplaj.in");
    fin>>l>>r>>e;
    noEdges = l + r + e;
    noNodes = l + r + 2;
    graf_c.resize(noNodes+1);

    for(int i = 1; i <= e; ++i){
        fin>>x>>y;
        graf_c[x].push_back(make_pair(y + l, 1));
    }

    for(int i = 1; i <= l; ++i){
        graf_c[0].push_back(make_pair(i, 1));
    }

    for(int i = 1; i <= r; ++i){
        graf_c[i + l].push_back(make_pair(l + r + 1, 1));
    }

    fin.close();
}

void testEdmondsKarp(){
    vector<vector<int>> f(noNodes + 1, vector<int>(noNodes + 1, 0));
    ofstream fout("cuplaj.out");
    fout<<EndmondsKarp(noNodes, f)<<endl;
    for(int i = 1; i <= l; ++i){
        for(int j = 1; j <= r; ++j){
            if(f[i][j + l] == 1){
                fout<<i<<" "<<j<<endl;
            }
        }
    }
    fout.close();
}

bool constructSTNesaturatedBF(int s, int t, vector<vector<int>>& f,
                                    vector<vector<int>>& graf_t, vector<int>& tata, vector<bool>& viz){
    int i, v, c;
    fill(viz.begin(), viz.end(), false);
    queue<int> C;
    C.push(s);
    viz[s] = true;

    while(!C.empty()) {
        i = C.front();
        if(i == t){
            C.pop();
            continue;
        }
        for(auto& j:graf_c[i]) {
            v = j.first; c = j.second;
            if (!viz[v] && c > f[i][v]) { ///arc direct
                C.push(v);
                viz[v] = 1;
                tata[v] = i;
                if(v == t)
                    return true;
            }
        }
        for(auto& j:graf_t[i]){
            v = j;
            if(viz[v] == 0 && f[v][i] > 0){   ///arc invers
                C.push(v);
                viz[v] = 1;
                tata[v] = -i;
                if(v == t)
                    return true;
            }
        }
        C.pop();
    }
    if(viz[t])
        return true;
    return false;
}
void revizFlux(int s, int t, vector<vector<int>>& f, vector<int>& tata, int& ip){
    int nod = t, parent, mod_nod;
    do{
        mod_nod = abs(nod);
        parent = tata[mod_nod];
        if(parent >= 0){
            f[parent][mod_nod] += ip;
        }else{
            f[mod_nod][abs(parent)] -= ip;
        }
        nod = tata[mod_nod];
    }while(abs(nod) != s);
}
int EndmondsKarp(int fin, vector<vector<int>>& f){
    short offset = 1;
    int sum = 0, s = 1 - offset, t = fin - offset, minim;
    vector<vector<int>> graf_t(noNodes + 1);
    vector<bool> viz(noNodes + 1, false);
    vector<int> tata(noNodes + 1, 0);
    vector<vector<int>> c(noNodes + 1, vector<int>(noNodes + 1, 0));

    for(int i = 1 - offset; i <= noNodes - offset; ++i){
        for(auto& j:graf_c[i]){
            c[i][j.first] = j.second;
            graf_t[j.first].push_back(i);
        }
    }

    while(constructSTNesaturatedBF(s, t, f, graf_t, tata, viz)){
        for (auto& node: graf_t[t]) {
            if (f[node][t] == c[node][t] || !viz[node])
                continue;

            tata[t] = node;
            minim = INFINITY;

            int nod = t, parent, mod_nod;
            do{
                mod_nod = abs(nod);
                parent = tata[mod_nod];
                if(parent >= 0){
                    minim = min(minim, c[parent][mod_nod] - f[parent][mod_nod]);
                }else{
                    minim = min(minim, f[mod_nod][abs(parent)]);
                }
                nod = tata[mod_nod];
            }while(abs(nod) != s && minim != 0);
            if (minim == 0)
                continue;

            revizFlux(s, t, f, tata, minim);
            sum += minim;
        }
    }
    return sum;
}