Submission #250849

# Submission time Handle Problem Language Result Execution time Memory
250849 2020-07-19T09:55:53 Z kartel Ili (COI17_ili) C++14
7 / 100
18 ms 1536 KB
#include <bits/stdc++.h>
//#include <ext/pb_ds/assoc_container.hpp>
//#include <ext/pb_ds/tree_policy.hpp>
#define in(x) freopen(x, "r", stdin)
#define out(x) freopen(x, "w", stdout)
//#pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx,tune=native")
//#pragma GCC optimize("Ofast,nso-stack-protector,unroll-loops,fast-math,-O3")
#define F first
#define S second
#define pb push_back
#define N +20500
#define M ll(1e9 + 7)
#define sz(x) (int)x.size()
#define re return
#define oo ll(1e9)
#define el '\n'
#define Max_A int(1e9)
//#define el endl
#define pii pair <int, int>
#define err ld(1e-9)
#define last(x) x.back()
#define all(x) (x).begin(), (x).end()
#define arr_all(x, n) (x + 1), (x + 1 + n)
using namespace std;
//using namespace __gnu_pbds;
//typedef tree <int, null_type, less_equal <int> , rb_tree_tag, tree_order_statistics_node_update> ordered_set;
typedef long long ll;
typedef long double ld;

int c[N], n, m, i, j;
string s;
pair <int, int> pr[N];
bool mrk[N];

bitset<N> bt[N], clr;

void dfs(int v)
{
    c[v] = 0;
    if (v < n)
        return;

    mrk[v] = 1;

    if (!mrk[pr[v].F])
        dfs(pr[v].F);

    if (!mrk[pr[v].S])
        dfs(pr[v].S);
}

int main()
{
    cout.precision(2);
    srand(time(0));
    ios_base::sync_with_stdio(0);
    iostream::sync_with_stdio(0);
    ios::sync_with_stdio(0);
    cin.tie(NULL);
    cout.tie(NULL);

//    in("input.txt");
//    out("output.txt");

    cin >> n >> m;
    cin >> s;

    for (i = 0; i < n + m; i++)
        c[i] = -1, clr[i] = 0;

    for (i = n; i < n + m; i++)
        if (s[i - n] != '?')
          c[i] = s[i - n] - '0';
     else c[i] = -1;

     for (i = 0; i < m; i++)
     {
         string f1, f2;
         cin >> f1 >> f2;

         int number = atoi(f1.substr(1).c_str());

         if (f1[0] == 'c')
            number += n;

         number--;
         pr[i + n].F = number;

         number = atoi(f2.substr(1).c_str());

         if (f2[0] == 'c')
            number += n;

         number--;
         pr[i + n].S = number;
     }

     while (1)
     {
         bool bad = 1;

         for (i = n; i < n + m; i++)
         {
            if (mrk[i]) continue;

            if (c[i] == 0)
                dfs(i);
         }

         for (i = n; i < n + m; i++)
         {
             if (c[pr[i].F] == 0 && c[pr[i].S] == 0 && c[i] == -1)
                c[i] = 0;

             if (c[i] == 0 && !mrk[i])
                bad = 0;
         }
         if (bad)
            break;
     }

     for (i = n; i < n + m; i++)
     {
         bool gd = 0;
         queue <int> q;

         q.push(i);

         for (j = 0; j < n + m; j++) mrk[j] = 0;
         bt[i] = clr;

         while (sz(q))
         {
            int v = q.front();q.pop();

            if (v != i && c[v] == 1)
                gd = 1;

            if (c[v] == -1)
                bt[i][v] = 1;

            if (v < n) continue;

            if (!mrk[pr[v].F])
            {
                mrk[pr[v].F] = 1;
                q.push(pr[v].F);
            }
            if (!mrk[pr[v].S])
            {
                mrk[pr[v].S] = 1;
                q.push(pr[v].S);
            }
         }

         if (gd && c[i] == -1)
            c[i] = 1;
     }

     for (i = n; i < n + m; i++)
     {
//        cout << i << ":";
//        for (j = 0; j < n + m; j++) cout << bt[i][j];
//        cout << el;
        if (c[i] != -1) continue;


        for (j = n; j < n + m; j++)
            if (i != j && c[j] == 1 && (bt[i] & bt[j]) == bt[j])
                c[i] = 1;
     }

     for (int k = 0; k < n + m; k++)
     {
         for (i = n + m - 1; i >= n; i--)
         {
            int f1 = pr[i].F, f2 = pr[i].S;

            if (f1 == f2 && c[f1] != -1)
                c[i] = c[f1];

            if (f1 == f2 && c[i] != -1)
                c[f1] = c[i];

            if (c[f1] == 1 || c[f2] == 1)
                c[i] = 1;

            if (c[f1] == 0 && c[f2] == 0)
                c[i] = 0;

            if (c[i] == 1 && c[f1] == 0)
                c[f2] = 1;

            if (c[i] == 1 && c[f2] == 0)
                c[f1] = 1;

            if (c[i] == 0)
                 c[f1] = c[f2] = 0;
            else
                if (c[i] == 1)
                {
                    if (c[f1] == 0)
                        c[f2] = 1;
                    else if (c[f2] == 0)
                        c[f1] = 1;
                }
         }
     }

     for (i = n; i < n + m; i++)
        if (c[i] == -1)
          cout << "?";
     else cout << c[i];
}
//
//00000
//00110
//00111
//00011
//00000
# Verdict Execution time Memory Grader output
1 Correct 0 ms 384 KB Output is correct
2 Correct 1 ms 384 KB Output is correct
3 Correct 0 ms 384 KB Output is correct
4 Correct 1 ms 384 KB Output is correct
5 Correct 0 ms 384 KB Output is correct
6 Correct 1 ms 384 KB Output is correct
7 Correct 1 ms 384 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 0 ms 384 KB Output is correct
2 Correct 1 ms 384 KB Output is correct
3 Correct 0 ms 384 KB Output is correct
4 Correct 1 ms 384 KB Output is correct
5 Correct 0 ms 384 KB Output is correct
6 Correct 1 ms 384 KB Output is correct
7 Correct 1 ms 384 KB Output is correct
8 Correct 18 ms 1536 KB Output is correct
9 Incorrect 7 ms 1280 KB Output isn't correct
10 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 0 ms 384 KB Output is correct
2 Correct 1 ms 384 KB Output is correct
3 Correct 0 ms 384 KB Output is correct
4 Correct 1 ms 384 KB Output is correct
5 Correct 0 ms 384 KB Output is correct
6 Correct 1 ms 384 KB Output is correct
7 Correct 1 ms 384 KB Output is correct
8 Correct 18 ms 1536 KB Output is correct
9 Incorrect 7 ms 1280 KB Output isn't correct
10 Halted 0 ms 0 KB -