Description：

给出一组数 $d_i$ ，求一个字典序最小的 $0$ 到 $n-1$ 的排列 $T$ 满足 $d_i=min(|i-T_i|,N-|i-T_i|)(i\in[0,n-1])$ 。

$n\le 10^4$

Solution：

当 $i\ge T_i$ 时， $T_i=i+d_i-N$ 或 $i-d$ ，当 $i<T_i$ 时， $T_i=i-d+N$ 或 $i+d$ ，但是发现这中间一定只有两个是合法的，于是取个模就得到了每个 $i$ 可能对应的 $T_i=(i+d_i)\%N$ 和 $(i-d_i)\%N$ ，建边跑匈牙利即可。

但题目要求字典序最小，发现如果每次都沿最小字典序路径增广，那么只要能增广，最后增广的一定字典序最小，于是在匈牙利时倒序增广，让靠前的把靠后的挤掉，就能保证字典序最小了。

Code：

#include<algorithm>

#include<iostream>

#include<cstdlib>

#include<cstdio>

#include<cmath>

#include<cstring>

using namespace std;

int n;

#define MAXN 10010

struct edge

{

    int to,nxt;

}e[MAXN << 1];

int edgenum = 0;

int lin[MAXN] = {0};

void add(int a,int b)

{

    ++edgenum;e[edgenum].to = b;e[edgenum].nxt = lin[a];lin[a] = edgenum;

    return;

}

int v[MAXN],cnt = 0;

int match[MAXN];

int ans[MAXN];

bool find(int k)

{

    for(int i = lin[k];i != 0;i = e[i].nxt)

    {

        if(v[e[i].to] != cnt)

        {

            v[e[i].to] = cnt;

            if(match[e[i].to] == -1 || find(match[e[i].to]))

            {

                match[e[i].to] = k;

                return true;

            }

        }

    }

    return false;

}

int main()

{

    scanf("%d",&n);

    int a,b,d;

    for(int i = 0;i < n;++i)

    {

        scanf("%d",&d);

        a = (i + d) % n;b = (i - d + n) % n;

        if(a < b)swap(a,b);

        add(i,a);add(i,b);

    }

    memset(match,-1,sizeof(match));

    bool tag = true;

    for(int i = n - 1;i >= 0;--i)

    {

        ++cnt;

        if(!find(i))

        {

            tag = false;

            break;

        }

    }

    if(!tag)puts("No Answer");

    else

    {

        for(int i = 0;i < n;++i)

        {

            ans[match[i]] = i;

        }

        for(int i = 0;i < n;++i)cout << ans[i] << " ";

    }

    return 0;

}