Cod sursa(job #3216597)

Utilizator BreabanDanielBreaban Daniel-Vasile BreabanDaniel Data 18 martie 2024 13:24:03
Problema 2SAT Scor 100
Compilator cpp-64 Status done
Runda Arhiva educationala Marime 1.47 kb
#include <fstream>
#include <vector>
#define NMAX 2*100008
using namespace std;
ifstream fin("2sat.in");
ofstream fout("2sat.out");
int n,m;
vector <int> g[NMAX];
vector <int> gt[NMAX];
int ctc[NMAX],nrc;
bool uz[NMAX];
vector <int> postordine;
void dfs(int x);
void dfsg(int x);
int main()
{
    fin>>n>>m;
    for(int i=1;i<=m;i++)
    {
        int x,y;
        fin>>x>>y;
        ///a+n=A -a+n=!A
        g[-x+n].push_back(y+n);
        gt[y+n].push_back(-x+n);
        g[-y+n].push_back(x+n);
        gt[x+n].push_back(-y+n);
    }
    for(int i=1;i<=n;i++)
    {
        if(!uz[-i+n])
            dfs(-i+n);
        if(!uz[i+n])
            dfs(i+n);
    }
    for(int i=postordine.size()-1;i>=0;i--)
    {
        if(uz[postordine[i]])
        {
            nrc++;
            dfsg(postordine[i]);
        }
    }
    for(int i=1;i<=n;i++)
        if(ctc[i+n]==ctc[-i+n])
        {
            fout<<-1;
            return 0;
        }
    for(int i=1;i<=n;i++)
        fout<<(ctc[i+n]>ctc[-i+n])<<' ';
    return 0;
}
void dfs(int x)
{
    uz[x]=1;
    for(int i=0;i<g[x].size();i++)
    {
        if(!uz[g[x][i]])
        {
            uz[g[x][i]]=1;
            dfs(g[x][i]);
        }
    }
    postordine.push_back(x);
}
void dfsg(int x)
{
    uz[x]=0;
    ctc[x]=nrc;
    for(int i=0;i<gt[x].size();i++)
    {
        if(uz[gt[x][i]])
        {
            uz[gt[x][i]]=0;
            dfsg(gt[x][i]);
        }
    }
}