Problem:
つらら

問題

カナダに住む JOI 君の家の軒下には,立派なつららが出来ている.せっかくなので,JOI 君はつららについて調べてみることにした.

JOI 君の家の軒下には N 本(2 ≤ N ≤ 100000 = 105 )のつららが出来ている.これらのつららは一直線上に並んでおり,軒下の左端から i cm(1 ≤ i ≤ N )の位置に i 本目のつららが出来ている.i 本目のつららの長さは最初 ai cm(ai は 1 以上の整数)である.これらのつららは,次のような規則によって伸びていく:

i 本目のつららは,i − 1 本目のつららと i + 1 本目のつららの両方よりも長い場合にのみ,1 時間につき 1 cm ずつ伸びる(ただし,両端のつららに関しては片方の隣のみ考える.すなわち,1 本目のつららは 2 本目のつららより長ければ伸び,N 本目のつららは N − 1 本目のつららより長ければ伸びる).

どのつららも,L cm(2 ≤ L ≤ 50000)に達した瞬間に,根元から折れる(折れたつららは,以後長さ 0 cm のつららとみなす)
.

最初の段階で,隣り合う 2 本のつららの長さはすべて異なっている.このとき,十分な時間が経過すれば,N 本すべてのつららが折れて長さ 0 cm となる.JOI 君は,つららがこのような状態になるまでの時間を知りたくなった.

N 本のつららの最初の長さとつららの限界の長さ L が与えられると,すべてのつららが折れるまでにかかる時間を求めるプログラムを作成せよ.

入力

入力の 1 行目には,つららの本数を表す整数 N とつららの限界の長さを表す整数
L が,空白を区切りとしてこの順に書かれている.入力の i + 1 行目 (1 ≤ i ≤ N) に
は, i 本目のつららの最初の長さを表す整数 ai (1 ≤ ai < L) が書かれている.

採点用データのうち,配点の 30% 分については,N ≤
500 かつ L ≤
1000 を満
たす.

出力

出力 は,すべてのつららが折れるまでにかかる時間を表す 1 つの整数のみを含む 1 行からなる.

入出力例

入力例 1

4 6
4
2
3
5

出力例 1

8

例 1 の場合,1, 2, 3, 4 本目のつららは,それぞれ 2, 8, 4, 1 時間後に折れる.した
がって,すべてのつららが折れるまでにかかる時間は 8 時間であるので,8 を出力
する.

入力例 2

6 10
3
4
1
9
5
1

出力例 2

15

上記問題文と自動審判に使われるデータは、情報オリンピック日本委員会が作成し公開している問題文と採点用テストデータです。

Solution in C (judge verdict: Accepted)

// Aizu 0551: Icicles
// 2017.9.22 bal4u@uu

#include <stdio.h>

/* ????????????????????????????????\????????????????????? */
#define QSIZE 100010
#define PARENT(i) ((i)>>1)
#define LEFT(i)   ((i)<<1)
#define RIGHT(i)  (((i)<<1)+1)

typedef struct { int key, a; } QUE;	// ???????????????????§??????????????´????????????????t?????????????±?
QUE que[QSIZE + 5];
int qsize;

void max_heapify(int i)
{
	int l, r, max;
	l = LEFT(i), r = RIGHT(i);
	if (l < qsize && que[l].key > que[i].key) max = l; else max = i;
	if (r < qsize && que[r].key > que[max].key) max = r;
	if (max != i) {
		QUE t = que[i]; que[i] = que[max], que[max] = t;
		max_heapify(max);
	}
}

int deq(int *a)
{
	if (qsize == 0) return 0;
	*a = que[0].a;
	que[0] = que[--qsize];
	max_heapify(0);
	return 1;
}

void enq(int t, int a)
{
	int i, max;
	i = qsize++;
	que[i].key = t, que[i].a = a;
	while (i > 0 && que[max = PARENT(i)].key < que[i].key) {
		QUE t = que[i]; que[i] = que[max], que[max] = t;
		i = max;
	}
}
/* ????????????????????????????????\????????????????????? */


#define MAX 100010
typedef struct { int a, b; } T;
T len[MAX]; int n;

int check(int k)
{
	if (k < 0 || k >= n) return 0;
	if (k == 0   && len[0].a > len[1].a) return 1;
	if (k == n-1 && len[n-1].a > len[n-2].a) return 1;
	if (len[k].a > len[k-1].a && len[k].a > len[k+1].a) return 1;
	return 0;
}

int main(void)
{
	int l, i, t, ans;

	scanf("%d%d", &n, &l);
	qsize = 0; for (i = 0; i < n; i++) scanf("%d", &t), len[i].a = len[i].b = t;
	for (i = 0; i < n; i++) if (check(i)) enq(len[i].b, i);
	ans = 0;
	while (deq(&i)) {
		if (l - len[i].b > ans) ans = l - len[i].b;
		len[i].a = 0;
		if (check(i-1)) len[i-1].b -= ans, enq(len[i-1].b, i-1);
		if (check(i+1)) len[i+1].b -= ans, enq(len[i+1].b, i+1);
	}
	printf("%d\n", ans);
	return 0;
}