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("");
}