Gym - 102001H Lexical Sign Sequence（ 树状数组 + 构造 ）

题目链接：点击进入

题目

题意

让你构造一个长度为 n 的值为 1 / -1 的数组，有的位置固定了，有的位置没固定，你需要构造没固定的那部分。同时，这个数组需要满足 k 个约束条件，即区间 [ ai , bi ] 的和 >= ci 。

思路

我们将没确定的位置赋值 - 1，然后对约束按照右边界升序排序，然后我们对于每个约束区间，若此时区间和不满足条件，我们就从右边界开始往前将那些没固定的位置修改为1，直到区间和满足条件，或者不可能满足条件输出 -1 。修改过的位置，默认为固定。

代码

// Problem: Lexical Sign Sequence
// Contest: Virtual Judge - Gym
// URL: https://vjudge.net/problem/Gym-102001H
// Memory Limit: 262 MB
// Time Limit: 1000 ms
// 
// Powered by CP Editor (https://cpeditor.org)

//#pragma GCC optimize(3)//O3
//#pragma GCC optimize(2)//O2
#include<iostream>
#include<string>
#include<map>
#include<set>
//#include<unordered_map>
#include<queue>
#include<cstdio>
#include<vector>
#include<cstring>
#include<stack>
#include<algorithm>
#include<iomanip>
#include<cmath>
#include<fstream>
#define X first
#define Y second
#define base 233 
#define pb push_back
#define INF 0x3f3f3f3f3f3f3f3f
#define pii pair<int,int>
#define lowbit(x) x & -x
#define inf 0x3f3f3f3f
//#define int long long
//#define double long double
//#define rep(i,x,y) for(register int i = x; i <= y;++i)
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
const double pai=acos(-1.0);
const int maxn=1e6+10;
const int mod=1e9+7;
const double eps=1e-9;
const int N=5e3+10;
/*--------------------------------------------*/
inline int read()
{
    int k = 0, f = 1 ;
    char c = getchar() ;
    while(!isdigit(c)){if(c == '-') f = -1 ;c = getchar() ;}
    while(isdigit(c)) k = (k << 1) + (k << 3) + c - 48 ,c = getchar() ;
    return k * f ;
}
/*--------------------------------------------*/

int n,k,p[maxn],flag,c[maxn];
bool vis[maxn];

struct node
{
	int a;
	int b;
	int c;
}q[maxn];

bool cmp(node x,node y)
{
	return x.b<y.b;
}

void add(int x,int d)
{
	for(int i=x;i<=n;i+=lowbit(i)) c[i]+=d;
}
int getsum(int x)
{
	int sum=0;
	for(int i=x;i>=1;i-=lowbit(i)) sum+=c[i];
	return sum;
}

int main() 
{
//	ios::sync_with_stdio(false);
//	cin.tie(0);cout.tie(0);
	cin>>n>>k;
	for(int i=1;i<=n;i++)
	{
		cin>>p[i];
		if(p[i]==0)
			p[i]=-1;
		else
			vis[i]=1;
		add(i,p[i]);
	}
	for(int i=1;i<=k;i++)
		cin>>q[i].a>>q[i].b>>q[i].c;
	sort(q+1,q+k+1,cmp);
	for(int i=1;i<=k;i++)
	{
		int a=q[i].a,b=q[i].b,c=q[i].c;
		int sum=getsum(b)-getsum(a-1);
		int sk=0;
		for(int j=b;j>=a&&sum<c;j--)
		{
			if(vis[j]) continue;
			vis[j]=1;
			p[j]=1;
			sum+=2;
			add(j,2);
		}
		if(sum<c)
		{
			flag=1;
			break;
		}
	}
	if(flag)
		cout<<"Impossible"<<endl;
	else 
	{
		for(int i=1;i<=n;i++)
			cout<<p[i]<<' ';
	}	
    return 0;
}