QOJ.ac

QOJ

ID题目提交者结果用时内存语言文件大小提交时间测评时间
#622272#5307. Subgraph IsomorphismPonyHexWA 41ms60444kbC++204.6kb2024-10-08 20:37:232024-10-08 20:37:24

Judging History

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

  • [2024-10-08 20:37:24]
  • 评测
  • 测评结果:WA
  • 用时:41ms
  • 内存:60444kb
  • [2024-10-08 20:37:23]
  • 提交

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 - 2] && 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: 6ms
memory: 60420kb

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: 41ms
memory: 60444kb

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]