题意:
现在有一张有向图,每次有三种操作:
+ x y c 表示x向y连一条边上字符为c的边
- x y 表示删掉这条边
? x 表示问你长度是x的链中,是否有一个链的反向链存在且他们的字符串相同
题解:
我们可以知道,如果要使询问三成立,那么这条链上的所有相邻的点都要有双向边。但是我们可以发现,如果两个点有双向边的话,长度为2*k+1的询问都将成立。同时,如果这两条边的权值相等,那么所有询问都将成立。
那么我们考虑偶数的情况。
点数为偶数的时候,链长必是奇数。我们又要使得这条链的正逆字符串相等,所以最中间的字符一定相等, 那么也就是说最中间的两个点的双向边权值相等,也就是回到了刚才的情况。
偷队友的代码来证明
//#include<ext/pb_ds/assoc_container.hpp>
//#include<ext/pb_ds/hash_policy.hpp>
#include<bits/stdc++.h>
#define closeSync ios::sync_with_stdio(0);cin.tie(0);cout.tie(0)
#define multiCase int T;cin>>T;for(int t=1;t<=T;t++)
#define rep(i,a,b) for(int i=(a);i<=(b);i++)
#define repp(i,a,b) for(int i=(a);i<(b);i++)
#define per(i,a,b) for(int i=(a);i>=(b);i--)
#define perr(i,a,b) for(int i=(a);i>(b);i--)
#define pb push_back
#define eb emplace_back
#define mst(a,b) memset(a,b,sizeof(a))
using namespace std;
//using namespace __gnu_pbds;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int,int> P;
const int INF=0x3f3f3f3f;
const ll LINF=0x3f3f3f3f3f3f3f3f;
const double eps=1e-12;
const double PI=acos(-1.0);
const double angcst=PI/180.0;
const ll mod=998244353;
ll gcd(ll a,ll b){return b==0?a:gcd(b,a%b);}
ll qmul(ll a,ll b){ll r=0;while(b){if(b&1)r=(r+a)%mod;b>>=1;a=(a+a)%mod;}return r;}
ll qpow(ll a,ll n){ll r=1;while(n){if(n&1)r=(r*a)%mod;n>>=1;a=(a*a)%mod;}return r;}
ll qpow(ll a,ll n,ll p){ll r=1;while(n){if(n&1)r=(r*a)%p;n>>=1;a=(a*a)%p;}return r;}
int n,m;
map<P,string> mp;
void solve()
{
cin>>n>>m;
int db=0;//双向边数量
int sm=0;//字母相同双向边数量
while(m--)
{
string opr;
cin>>opr;
if(opr=="+")
{
int u,v;
string c;
cin>>u>>v>>c;
mp[P(u,v)]=c;
if(mp.count(P(v,u)))
{
db++;
if(mp[P(v,u)]==c)
sm++;
}
}
else if(opr=="-")
{
int u,v;
cin>>u>>v;
string c=mp[P(u,v)];
mp.erase(P(u,v));
if(mp.count(P(v,u)))
{
db--;
if(mp[P(v,u)]==c)
sm--;
}
}
else
{
int k;
cin>>k;
if(k%2)
{
if(db)
cout<<"YES\n";
else
cout<<"NO\n";
}
else
{
if(sm)
cout<<"YES\n";
else
cout<<"NO\n";
}
}
}
}
int main()
{
closeSync;
//multiCase
{
solve();
}
return 0;
}