QOJ.ac

QOJ

ID题目提交者结果用时内存语言文件大小提交时间测评时间
#622267#5307. Subgraph IsomorphismPonyHexWA 47ms60432kbC++204.6kb2024-10-08 20:35:332024-10-08 20:35:38

Judging History

你现在查看的是最新测评结果

  • [2024-10-08 20:35:38]
  • 评测
  • 测评结果:WA
  • 用时:47ms
  • 内存:60432kb
  • [2024-10-08 20:35:33]
  • 提交

answer

#define _CRT_SECURE_NO_WARNINGS 1
#include<bits/stdc++.h>
#include<unordered_map>
#include<unordered_set>
using namespace std;
#define double long double
//#define int long long
#define lc u<<1
#define rc u<<1|1
#define endl "\n"
#define X first
#define Y second
typedef unsigned long long ull;
typedef long long ll;
typedef pair<int, int> PII;
const ll N = 2e6 + 5;
const ll maxm = 2e18;
const ll mod = 1e9 + 7;

ll exgcd(ll a, ll b, ll& x, ll& y);

ll n, m;
vector<vector<ll> >e(N);
int dfn[N] = { 0 }, low[N] = { 0 }, tot = 0;//时间戳和回溯时间戳
int stk[N] = { 0 }, instk[N] = { 0 }, top = 0;
int scc[N] = { 0 }, siz[N] = { 0 }, cnt = 0;

const ll mask = 19260817;
ull shift(ull x) {
    x ^= mask; x ^= x << 13;
    x ^= x >> 7; x ^= x << 17;
    x ^= mask; return x;
}

ull gethash(int cur, int pr) {
    ull curhash = 1;
    for (auto p = e[cur].begin(); p != e[cur].end(); p++) {
        ll v = *p;
        if (v == pr)continue;
        if (scc[v]==scc[cur])continue;
        curhash += shift(gethash(v, cur));
    }
    return curhash;
}


void tarjan(ll x, ll pre) {
    dfn[x] = low[x] = ++tot;
    stk[++top] = x; instk[x] = 1;
    for (auto p = e[x].begin(); p != e[x].end(); p++) {
        ll y = *p;
        if (y == pre)continue;
        if (!dfn[y]) {
            tarjan(y, x);
            low[x] = min(low[x], low[y]);
        }
        else if (dfn[y] && instk[y]) {
            low[x] = min(low[x], dfn[y]);
        }
    }
    if (low[x] == dfn[x]) {
        ++cnt;
        int y = 1;
        do {
            y = stk[top--];
            instk[y] = 0;
            scc[y] = cnt;
            siz[cnt]++;
        } while (y != x);
    }
}

void solve() {
    cin >> n >> m; for (int i = 1; i <= n; i++)e[i].clear();
    for (int i = 1; i <= m; i++) {
        ll u, v; cin >> u >> v;
        e[u].push_back(v); e[v].push_back(u);
    }
    if (m < n) {
        cout << "YES" << endl; return;
    }
    if (m > n) {
        cout << "NO" << endl; return;
    }

    //然后对成环的节点跑树哈希
    //缩点,我不会放弃缩点
    tot = 0; top = 0; cnt = 0;
    for (int i = 1; i <= n; i++) {
        dfn[i] = 0, low[i] = 0;
        stk[i] = 0, instk[i] = 0;
        scc[i] = 0, siz[i] = 0;
    }

    for (int i = 1; i <= n; i++) {
        if (dfn[i] == 0)
            tarjan(i, 0);
    }

    ull ans = 0;
    unordered_map<ll, ull>mp;
    unordered_map<ll, ll>id; ll idx = 0;
    for (int i = 1; i <= n; i++) {
        if (siz[scc[i]] > 1) {
            unordered_map<ll, bool>vis;
            ll pos = i;
            while (1) {
                if (vis[pos] == 1)break;
                vis[pos] = 1; id[pos] = ++idx;
                mp[idx] = gethash(pos, 0);
                for (auto p = e[pos].begin(); p != e[pos].end(); p++) {
                    if (siz[scc[*p]] > 1 && vis[*p] == 0) {
                        pos = *p; break;
                    }
                }
            }
        }
    }
    bool f = 1;
    for (int i = 1; i <= idx; i++) {
        if (i == 1) {
            if (mp[i] != mp[idx]) {
                f = 0; break;
            }
        }
        else {
            if (mp[i] != mp[i - 1]) {
                f = 0; break;
            }
        }
    }
    if (f) {
        cout << "YES" << endl; return;
    }
    f = 1;
    for (int i = 1; i <= idx; i++) {
        if (i == 1) {
            if(mp[i]==mp[idx-1]&&mp[i]!=mp[idx]){}
            else {
                f = 0; break;
            }
        }
        else if (i == 2) {
            if(mp[i]==mp[idx]&&mp[i]!=mp[i-1]){}
            else {
                f = 0; break;
            }
        }
        else {
            if (mp[i] == mp[i - 1] && mp[i] != mp[i - 1]){}
            else {
                f = 0; break;
            }
        }
    }
    if (f) {
        cout << "YES" << endl;
    }
    else {
        cout << "NO" << endl;
    }
    return;
}

signed main() {
    ios::sync_with_stdio(0);
    cin.tie(0), cout.tie(0);
    ll t = 1;cin >> t;
    while (t--)solve();
    return 0;
}

ll exgcd(ll a, ll b, ll& x, ll& y) {
    if (b == 0) {
        x = 1; y = 0;
        return a;
    }
    ll g = exgcd(b, a % b, x, y);
    ll temp = x;
    x = y;
    y = temp - (a / b) * y;
    return g;
}

/*
ll ksm(ll a, ll b) {
    ll base = a;
    ll ans = 1;
    while (b) {
        if (b & 1)ans *= base;
        base *= base;
        b >>= 1;
    }
    return ans;
}*/
/*
ll gcd(ll a, ll b) {
    return b ? gcd(b, a % b) : a;
}*/

详细

Test #1:

score: 100
Accepted
time: 9ms
memory: 49880kb

input:

4
7 6
1 2
2 3
3 4
4 5
5 6
3 7
3 3
1 2
2 3
3 1
5 5
1 2
2 3
3 4
4 1
1 5
1 0

output:

YES
YES
NO
YES

result:

ok 4 token(s): yes count is 3, no count is 1

Test #2:

score: -100
Wrong Answer
time: 47ms
memory: 60432kb

input:

33192
2 1
1 2
3 2
1 3
2 3
3 3
1 2
1 3
2 3
4 3
1 4
2 4
3 4
4 3
1 3
1 4
2 4
4 4
1 3
1 4
2 4
3 4
4 4
1 3
1 4
2 3
2 4
4 5
1 3
1 4
2 3
2 4
3 4
4 6
1 2
1 3
1 4
2 3
2 4
3 4
5 4
1 5
2 5
3 5
4 5
5 4
1 4
1 5
2 5
3 5
5 5
1 4
1 5
2 5
3 5
4 5
5 5
1 4
1 5
2 4
3 5
4 5
5 5
1 4
1 5
2 4
2 5
3 5
5 6
1 4
1 5
2 4
2 5
3 ...

output:

YES
YES
YES
YES
YES
NO
YES
NO
NO
YES
YES
NO
NO
NO
NO
NO
NO
YES
NO
NO
NO
NO
YES
NO
NO
NO
NO
NO
NO
NO
YES
YES
NO
YES
YES
NO
NO
NO
NO
NO
NO
NO
NO
NO
YES
NO
NO
NO
YES
NO
NO
NO
NO
NO
NO
NO
NO
NO
NO
YES
NO
NO
NO
NO
NO
NO
NO
NO
NO
NO
NO
NO
NO
NO
NO
NO
YES
NO
NO
NO
NO
NO
NO
NO
NO
NO
NO
NO
NO
NO
NO
NO
NO
NO
...

result:

wrong answer expected YES, found NO [39th token]