CF1119G. Get Ready for the Battle

题目描述

Solution

妙妙构造题。
考虑这样一个过程：所有人一起打第一个怪，每次打 $n$ ，最后剩下 $k_1<n$ ，就找一些加起来正好为 $k_1$ 的组打掉 $k_1$ ，剩下的 $n-k_1$ 打第二个怪，然后重复打 $n$ ，余数 $k_2$ 找一些组正好打掉这样一个过程，直到剩下最后一个怪，打玩 $n-k_{m-1}$ ，再一直打 $n$ 到非正。

若能够构造 $s_{1..m}$ ，满足可以配成 $k_1...k_{m-1}$ 中的任意数。
即可求出答案为 $⌈∑ain⌉\lceil \frac{\sum a_i}{n} \rceil$ 。

于是我们将 $k$ 排序，令 $s_i=k_{i+1}-k_{i}$ ， $s_m=n-k_{m-1}$ ，可以满足任意 $k_i$ 为 $s$ 前缀和中的一个。

构造完 $s_i$ 之后，事实上只需要用 $a_1$ 依次减 $s [1 . . . m]$ ，减完 $s [m]$ 之后再从 $s [1]$ 开始减。若减的过程中 $a1≤0a_1\leq 0$ ，则用 $a_2$ 继续减，直到 $am≤0a_m\leq 0$ 。

事实上这样做， $a_{1..(m-1)}$ 都会减为0，达到最优解。
原因参照下例：
$a_1-n-n-...-n-k_1=0$
$a_2-(n-k1)\%n-n-n-...-n-k_2=0$
$a_3-(n-k2)\%n-n-n-...-n-k_3=0$
$. . . . . .$
$am−(n−km−1)%n−n−n−...−n≤0a_m-(n-k_{m-1})\%n-n-n-...-n\leq0$
$k_i$ 与 $n-k_i)$ 配成一段连续的 $s [1 . . m]$ 。

且不可能出现如下情况：
$a_1-n-n-...-n-k_1=0$
$a_2-k_2=0\;\;(a_2<(n-k1)\%n)$
$. . . . . .$

因为 $k_2=(a_1+a_2)\%n$ ，因此 $k_2=(k_1+k_2)\%n$ ，则 $k_1\%n=0$ ，则 $k_1=0$ 。

因此按此过程一定是按 $s [1 . . m]$ 连续减下去，减完 $s [m]$ ，从 $s [1]$ 继续减下去。

Code（讲述凌乱，理解代码体验极佳）

#include <vector>
#include <list>
#include <map>
#include <set>
#include <deque>
#include <queue>
#include <stack>
#include <bitset>
#include <algorithm>
#include <functional>
#include <numeric>
#include <utility>
#include <sstream>
#include <iostream>
#include <iomanip>
#include <cstdio>
#include <cmath>
#include <cstdlib>
#include <cctype>
#include <string>
#include <cstring>
#include <ctime>
#include <cassert>
#include <string.h>
//#include <unordered_set>
//#include <unordered_map>
//#include <bits/stdc++.h>#define MP(A,B) make_pair(A,B)
#define PB(A) push_back(A)
#define SIZE(A) ((int)A.size())
#define LEN(A) ((int)A.length())
#define FOR(i,a,b) for(int i=(a);i<(b);++i)
#define fi first
#define se secondusing namespace std;template<typename T>inline bool upmin(T &x,T y) { return y<x?x=y,1:0; }
template<typename T>inline bool upmax(T &x,T y) { return x<y?x=y,1:0; }typedef long long ll;
typedef unsigned long long ull;
typedef long double lod;
typedef pair<int,int> PR;
typedef vector<int> VI;const lod eps=1e-11;
const lod pi=acos(-1);
const int oo=1<<30;
const ll loo=1ll<<62;
const int MAXN=1000005;
const ll INF=1ll<<60;
/*--------------------------------------------------------------------*/
inline int read()
{int f=1,x=0; char c=getchar();while (c<'0'||c>'9') { if (c=='-') f=-1; c=getchar(); }while (c>='0'&&c<='9') { x=(x<<3)+(x<<1)+(c^48); c=getchar(); }return x*f;
}
VI Ans;
int a[MAXN],b[MAXN],s[MAXN];
int main()
{int n=read(),m=read(),sum=0; b[1]=n;for (int i=1;i<=m;i++) sum+=(a[i]=read()),b[i+1]=sum%n;sort(b+1,b+m+1);for (int i=1;i<=m;i++) s[i]=b[i]-b[i-1];for (int i=1,id=0;i<=m;i++){int t=a[i];while (t>0) Ans.PB(i),t-=s[id%m+1],id++;}printf("%d\n",(sum-1)/n+1);while (Ans.size()%m) Ans.PB(1);for (int i=1;i<=m;i++) printf("%d%c",s[i]," \n"[i%m==0]);for (int i=0;i<Ans.size();i++) printf("%d%c",Ans[i]," \n"[(i+1)%m==0]);return 0;
}