传送门

题意：

你需要确定一个长度为$n$的数组$a$，满足给定的$m$个$[l,r]$限制，需要保证构造出来的$a$数组对于每个$[l,r]$的$mex$最小值最大。

$n,m\le 1e5$

思路：

直接构造很难，想了好久。

但是如果能得到$a$的最大的最小值是多少，那么这个题能容易点。

考虑对于每个$[l,r]$，他的$mex$最大值为$r-l+1$，可以发现，我们要求的最大的最小值就是$min(r_1-l_1+1,r_2-l_2+1,...)$，所以答案就是长度最小值。

我们知道答案了，构造起来就比较简单了，直接让$a$数组等于这种形式$0,1,...,len-1,0,1,...,len-1,0,1....$，这个数组对于每个长度$\ge len$的子区间的$mex$都是$len$，所以这个题就解决啦。

// Problem: A. Alyona and mex
// Contest: Codeforces - Codeforces Round #381 (Div. 1)
// URL: https://codeforces.com/problemset/problem/739/A
// Memory Limit: 256 MB
// Time Limit: 2000 ms
// 
// Powered by CP Editor (https://cpeditor.org)//#pragma GCC optimize("Ofast,no-stack-protector,unroll-loops,fast-math")
//#pragma GCC target("sse,sse2,sse3,ssse3,sse4.1,sse4.2,avx,avx2,popcnt,tune=native")
//#pragma GCC optimize(2)
#include<cstdio>
#include<iostream>
#include<string>
#include<cstring>
#include<map>
#include<cmath>
#include<cctype>
#include<vector>
#include<set>
#include<queue>
#include<algorithm>
#include<sstream>
#include<ctime>
#include<cstdlib>
#include<random>
#include<cassert>
#define X first
#define Y second
#define L (u<<1)
#define R (u<<1|1)
#define pb push_back
#define mk make_pair
#define Mid ((tr[u].l+tr[u].r)>>1)
#define Len(u) (tr[u].r-tr[u].l+1)
#define random(a,b) ((a)+rand()%((b)-(a)+1))
#define db puts("---")
using namespace std;//void rd_cre() { freopen("d://dp//data.txt","w",stdout); srand(time(NULL)); }
//void rd_ac() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//AC.txt","w",stdout); }
//void rd_wa() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//WA.txt","w",stdout); }typedef long long LL;
typedef unsigned long long ULL;
typedef pair<int,int> PII;const int N=1000010,mod=1e9+7,INF=0x3f3f3f3f;
const double eps=1e-6;int n,m;
int a[N],d[N];int main()
{
//	ios::sync_with_stdio(false);
//	cin.tie(0);int ans=INF;scanf("%d%d",&n,&m);for(int i=1;i<=m;i++) {int l,r; scanf("%d%d",&l,&r);ans=min(ans,r-l+1);}printf("%d\n",ans);for(int i=1,j=0;i<=n;i++) {printf("%d ",j);j=(j+1)%ans;}return 0;
}
/**/