QOJ.ac
QOJ
ID | Problem | Submitter | Result | Time | Memory | Language | File size | Submit time | Judge time |
---|---|---|---|---|---|---|---|---|---|
#695151 | #5307. Subgraph Isomorphism | Golem__# | TL | 2ms | 11880kb | C++17 | 4.4kb | 2024-10-31 19:25:19 | 2024-10-31 19:25:20 |
Judging History
answer
#include<random>
#include<iostream>
#include<iomanip>
#include<ctime>
#include<cmath>
#include<cctype>
#include<cstdio>
#include<cstdlib>
#include<climits>
// #define NDEBUG
#include<cassert>
#include<cstring>
#include<complex>
#include<algorithm>
#include<set>
#include<map>
#include<stack>
#include<queue>
#include<bitset>
#include<vector>
// #define LL __int128
#define LL long long
#define ULL unsigned LL
#define uint unsigned int
// #define int LL
// #define double long double
#define mkp make_pair
#define par pair<int,int>
#define epb emplace_back
#define psb push_back
#define f(x) ((x).first)
#define s(x) ((x).second)
using namespace std;
#define Lbt(x) ((x)&(-(x)))
#define Swap(x,y) (x^=y^=x^=y)
const int Mxxx=1e5;
inline char gc()
{
// return getchar();
static char buf[Mxxx],*p1=buf,*p2=buf;
return (p1==p2&&(p2=(p1=buf)+fread(buf,1,Mxxx,stdin),p1==p2))?EOF:*p1++;
}
inline char pc(char ch,bool fl=false)
{
// return fl?0:putchar(ch),0;
static char buf[Mxxx],*p1=buf,*p2=buf+Mxxx;
return (fl||((*p1++=ch)&&p1==p2))&&(fwrite(buf,1,p1-buf,stdout),p1=buf),0;
}
#define output pc('!',true)
inline int read()
{
char ch=gc();
int gans=0,gflag=0;
for(;ch<'0'||'9'<ch;ch=gc())gflag|=(ch=='-');
for(;'0'<=ch&&ch<='9';ch=gc())gans=(gans<<1)+(gans<<3)+(ch^48);
return gflag?-gans:gans;
}
template<typename T>
inline char read(T&gans)
{
char ch=gc();
int gflag=0;gans=0;
for(;ch<'0'||'9'<ch;ch=gc())gflag|=(ch=='-');
for(;'0'<=ch&&ch<='9';ch=gc())gans=(gans<<1)+(gans<<3)+(ch^48);
return gans=gflag?-gans:gans,ch;
}
template<typename T>
inline void write(T x)
{
if(x>9)write(x/10);
pc(x%10^48);
}
template<typename T>
inline void writenum(T x,char ch)
{
if(x<0)x=-x,pc('-');
write(x),pc(ch);
}
inline void writechar(char x,char ch)
{
pc(x),pc(ch);
}
template<typename T>
inline T Max(T x,T y)
{
return x>y?x:y;
}
template<typename T>
inline T Min(T x,T y)
{
return x<y?x:y;
}
template<typename T>
inline T Abs(T x)
{
return x<0?-x:x;
}
template<typename T>
inline void ckmx(T&x,T y)
{
x=Max(x,y);
}
template<typename T>
inline void ckmn(T&x,T y)
{
x=Min(x,y);
}
int TT,n,m,psx[100000],psy[100000],G[1000][1000];
int vs[100000];
inline int DFS(int x,int y)
{
if(x==y)return 1;
if(vs[x])return 0;
vs[x]=1;
int i;
for(i=1;i<=n;i++)if(G[x][i]&&DFS(i,y))return 1;
return 0;
}
inline int Chk(int x,int y)
{
int i;
for(i=1;i<=n;i++)vs[i]=0;
return DFS(x,y);
}
int rtx,rty;
inline int Fnd_Cor(int x,int y)
{
int i,k,s=1,mx=0;
for(i=1;i<=n;i++)if(i^y&&G[x][i])
{
k=Fnd_Cor(i,x);
s+=k;ckmx(mx,k);
}
if((Max(mx,n-s)<<1)<=n)
{
if(rtx)assert(!rty),rty=x;else rtx=x;
}
return s;
}
const int M=1e6;
int tot,pri[M+5],vst[M+5];
int ck,flg;
#undef par
#define par pair<ULL,ULL>
par ans;
inline ULL Get(int x,int y,int&t)
{
int i,k,sz=1;ULL s=1;
for(i=1;i<=n;i++)if(i^y&&G[x][i])s+=Get(i,x,k)*pri[k+233],sz+=k;
return t=sz,s;
}
inline void Ck()
{
int i,j,t=0;
for(i=1;i<=n;i++)for(j=i+1;j<=n;j++)t+=G[i][j];
assert(t<n);
if(t<n-1)return;
rtx=rty=0;
assert(Fnd_Cor(1,0)==n);
int sz;
par pr=mkp(Get(rtx,0,sz),Get(rty,0,sz));
if(f(pr)<s(pr))Swap(f(pr),s(pr));
// cout<<"Ck:"<<f(pr)<<" "<<s(pr)<<"\n";
if(!flg)flg=1,ans=pr;else ck|=(ans!=pr);
}
inline void DFS(int x)
{
if(x==m+1)
{
Ck();
return;
}
int a,b;
if(!Chk(a=psx[x],b=psy[x]))
{
G[a][b]=G[b][a]=1;
DFS(x+1);
G[a][b]=G[b][a]=0;
}
DFS(x+1);
}
signed main()
{
#ifndef ONLINE_JUDGE
freopen("_.in","r",stdin);
// freopen("_.out","w",stdout);
#endif
int i,j;
for(i=2;i<=M;i++)
{
if(!vst[i])
{
vst[i]=i;
pri[++tot]=i;
}
for(j=1;j<=tot;j++)
{
if(pri[j]*i>M)break;
vst[pri[j]*i]=pri[j];
if(vst[i]==pri[j])break;
}
}
for(TT=read();TT;TT--)
{
flg=0;ck=0;
n=read();m=read();
// for(i=1;i<=n;i++)for(j=1;j<=n;j++)G[i][j]=0;
for(i=1;i<=m;i++)psx[i]=read(),psy[i]=read();
DFS(1);
puts(ck?"NO":"YES");
}
return output;
}
/*
*/
Details
Tip: Click on the bar to expand more detailed information
Test #1:
score: 100
Accepted
time: 2ms
memory: 11880kb
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
Time Limit Exceeded
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 YES 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...