wannafly 挑战赛9 E 组一组 （差分约束）

链接：https://www.nowcoder.com/acm/contest/71/E

时间限制：C/C++ 3秒，其他语言6秒

空间限制：C/C++ 65536K，其他语言131072K
Special Judge, 64bit IO Format: %lld

题目描述

有一个长为 n 的数列 A，其中有 m 个限制条件，条件有两种：
1、对于区间 [l,r]，其区间元素按位或和等于 x
2、对于区间 [l,r]，其区间元素按位与和等于 x
求出一个数列 A，使得满足给定的 m 个条件，保证有解。

输入描述:

输入第一行两个正整数 n,m，意义如上
接下来 m 行，每行四个整数 op,l,r,x，表示一组限制
op = 1 表示是限制 1，op = 2 表示是限制 2

输出描述:

输出仅一行，n 个整数 ai表示数列 A。要求 0 <= ai< 1e9

输入例子:

4 3
1 1 2 9
2 3 4 2
1 2 3 11

输出例子:

1 9 2 6

-->

示例1

输入

4 3
1 1 2 9
2 3 4 2
1 2 3 11

输出

1 9 2 6

备注:

1<=n,m<=10^5, 1<=l<=r<=n, 0<=x<2^20
////////////////////////////////////////////////////////////////////////////////////////

//////////////////////////////////////////////////////////////////////////////////////////

 #include <bits/stdc++.h>
 #define mst(a,b)    memset((a),(b), sizeof a)
 #define lowbit(a)   ((a)&(-a))
 #define IOS         ios::sync_with_stdio(0);cin.tie(0);
 using namespace std;
 typedef long long ll;
 typedef unsigned long long ull;
 typedef pair<int,int> pii;
 const int mod=1e9+;
 const int maxn=1e5+;
 int od[maxn],l[maxn],r[maxn],x[maxn];
 int ans[maxn];
 bool vis[maxn];
 int head[maxn],dist[maxn];
 int s[maxn];
 struct edge{
     int to,nx,val;
 }ed[maxn<<];int cnt;

 void addedge(int from,int to,int val){
     ed[++cnt].to=to;ed[cnt].val=val;
     ed[cnt].nx=head[from];head[from]=cnt;
 }

 void init(int n){
     cnt=;
     mst(head,);mst(s,);
     for(int i=;i<n;++i){
         addedge(i+,i,);
         addedge(i,i+,);
     }
 }

 void spfa(int n){
     mst(vis,false);
     mst(dist,0x3f);
     vis[]=true;dist[]=;
     stack<int>sta;
     sta.push();
     while(!sta.empty()){
         int u=sta.top();sta.pop();
         vis[u]=false;
         for(int i=head[u];i;i=ed[i].nx){
             int v=ed[i].to;
             if(dist[v]>dist[u]+ed[i].val){
                 dist[v]=dist[u]+ed[i].val;
                 if(!vis[v]){
                     vis[v]=true;
                     sta.push(v);
                 }
             }
         }
     }
 }

 int main() {
 #ifdef local
     freopen("inpp","r",stdin);
 //    freopen("outpp","w",stdout);
 #endif
     int n,m;scanf("%d%d",&n,&m);
     for(int i=;i<=m;++i)scanf("%d%d%d%d",&od[i],&l[i],&r[i],&x[i]);
     for(int d=;d>=;--d){
         init(n);
         for(int i=;i<=m;++i){
             if(od[i]==){
                 if((x[i]>>d)&)addedge(l[i]-,r[i],-);
                 else addedge(r[i],l[i]-,);
             }else{
                 if((x[i]>>d)&)addedge(l[i]-,r[i],l[i]--r[i]),++s[l[i]],--s[r[i]+];
                 else addedge(r[i],l[i]-,r[i]-l[i]);
             }
         }
         for(int i=;i<=n;++i)s[i]+=s[i-];
         for(int i=;i<=n;++i)s[i]=s[i]?:;
         for(int i=;i<=n;++i)s[i]+=s[i-],addedge(,i,-s[i]);
         spfa(n);
         for(int i=;i<=n;++i){
             ans[i]<<=;
             if(dist[i]-dist[i-])ans[i]|=;
         }
     }
     for(int i=;i<=n;++i)printf("%d\n",ans[i]);
     return ;
 }

很神奇，，，，代码一直超时，然后对比了了别人的代码，加了这几行，就过了，不是很理解为什么会快那么多

 for(int i=;i<=n;++i)s[i]+=s[i-];
 for(int i=;i<=n;++i)s[i]=s[i]?:;
 for(int i=;i<=n;++i)s[i]+=s[i-],addedge(,i,-s[i]);    

然后把queue换成stack也确实变快了