bzoj1997 Planar
阿新 • • 發佈:2019-04-29
mes long img 其中 分享圖片 lan load www 就是
題目鏈接
思路
首先以那個環為框架,把所有的邊連出來。如果有兩條邊相交,那麽就把其中一條放到環外面去。
如圖:
\((1,3)\)與\((2,5)相交,\)(1,4)\(與\)(2,5)相交。所以我們把\((2,5)\)這條邊放到外面去。
就成了這樣
就不會有邊相交了。
顯然如果兩條邊在環內相交,那麽全部挪到環外也會相交。所以只要是相交的兩條邊必定是一個在環內,一個在環外。
然後就是2-sat模型了。
坑點。。。
犯了一些很zz的錯誤。
1.如果邊的數量>點的數量乘3-6,即\((m > n \times 3 - 6)\),可以證明必定無解。這個需要判斷掉。
2.沒錯,這個bug我調了很久233。。。
4.特判的地方要放到全部數據讀入之後。。。也調了很久(好zz啊啊啊)
代碼
/* * @Author: wxyww * @Date: 2019-04-27 19:06:04 * @Last Modified time: 2019-04-27 21:28:17 */ #include<cstdio> #include<iostream> #include<cstdlib> #include<cstring> #include<algorithm> #include<queue> #include<vector> #include<ctime> using namespace std; typedef long long ll; const int M = 300010; #define pi pair<int,int> ll read() { ll x=0,f=1;char c=getchar(); while(c<'0'||c>'9') { if(c=='-') f=-1; c=getchar(); } while(c>='0'&&c<='9') { x=x*10+c-'0'; c=getchar(); } return x*f; } struct node { int v,nxt; }e[M]; int head[M],ejs; void add(int u,int v) { e[++ejs].v = v;e[ejs].nxt = head[u];head[u] = ejs; } int n,m,pos[M]; pi tmp[M]; bool pd(int l,int r,int L,int R) { if(l > r) swap(l,r);if(L > R) swap(L,R); if((l <= L && r >= R) || (L <= l && R >= r)) return 0; if(l >= R || L >= r) return 0; return 1; } int tot,vis[M],coljs,sta[M],col[M],top,dfn[M],low[M]; void tarjan(int u) { dfn[u] = low[u] = ++tot; sta[++top] = u;vis[u] = 1; for(int i = head[u];i;i = e[i].nxt) { int v = e[i].v; if(!dfn[v]) { tarjan(v); low[u] = min(low[u],low[v]); } else if(vis[v]) low[u] = min(low[u],low[v]); } if(low[u] == dfn[u]) { ++coljs; do { int x = sta[top--]; col[x] = coljs; vis[x] = 0; }while(sta[top + 1] != u); } } int main() { int T = read(); while(T--) { memset(head,0,sizeof(head)); ejs = 0; memset(pos,0,sizeof(pos)); coljs = 0;memset(col,0,sizeof(col)); memset(dfn,0,sizeof(dfn));memset(low,0,sizeof(low)); tot = 0;top = 0; n = read(),m = read(); for(int i = 1;i <= m;++i) tmp[i].first = read(),tmp[i].second = read(); for(int i = 1;i <= n;++i) pos[read()] = i; if(m > 3 * n - 6) { puts("NO");continue; } for(int i = 1;i <= m;++i) for(int j = i + 1;j <= m;++j) if(pd(pos[tmp[i].first],pos[tmp[i].second],pos[tmp[j].first],pos[tmp[j].second])) add(i,j + m),add(i + m,j),add(j,i + m),add(j + m,i); for(int i = 1;i <= m + m;++i) if(!dfn[i]) tarjan(i); int bz = 0; for(int i = 1;i <= m;++i) if(col[i] == col[i + m]) bz = 1; if(bz) puts("NO");else puts("YES"); } return 0; }
bzoj1997 Planar