C. Vasya And Array

C. Vasya And Array

theme：让你构造一个有n个元素的数组，m个约束条件：

• 1 l r:要求[l,r]之间元素非递减
• 0 l r:要求[l,r]之间元素不是非递减

solution：首先处理1的情况，要求区间非递减，则我们用一个数组Less[i]来标记a[i]是否要<=a[i+1]即满足非递减，这样对于每一个1 l r,将Less[l~r-1]都置为1。接着处理0的情况，如果在0 l r时，Less[l~r-1]都为1，则说明不存在两个数i,j满足i<j且a[i]>a[j]，也就不满足第二种请况，输出NO,否则说明约束条件不矛盾，输出YES。最后构造n时，如果Less[i-1]=1，则a[i]就取a[i-1]，否则取a[i-1]-1

#include<bits/stdc++.h>
#include<vector>
#include<algorithm>
#define far(i,t,n) for(int i=t;i<n;++i)
#define pb(a) push_back(a)
#define lowbit(x) x&(-x)
typedef long long ll;
typedef unsigned long long ull;
using namespace std;
int inf=0x3f3f3f3f;
int mod=998244353;
const int maxn=1010;

int Less[maxn];
int t[maxn],l[maxn],r[maxn];

int main()
{
    int n,m;
    cin>>n>>m;
    far(i,0,m)
    {
        scanf("%d%d%d",&t[i],&l[i],&r[i]);
        l[i]--,r[i]--;
        if(t[i]==1)
        {
            for(int j=l[i];j<r[i];++j)
                Less[j]=1;
        }
    }
    far(i,0,m)
    {
        int flag=0;
        if(!t[i])
        {
            for(int j=l[i];j<r[i];++j)
                if(!Less[j])
                {
                    flag=1;
                    break;
                }
            if(!flag)
            {
                puts("NO");
                return 0;
            }
        }
    }
    puts("YES");
    int ans=n;
    printf("%d ",ans);
    far(i,1,n)
    {
        if(Less[i-1])
            printf("%d ",ans);
        else
            printf("%d ",--ans);
    }
    puts("");
}