CF2155C The Ancient Wizards' Capes

题目描述

有 $n$ 位巫师排成一行,从左到右编号为 $1$ 到 $n$。每位巫师都有一件隐形斗篷,可以披在他的左侧或右侧。Harry 从巫师 $1$ 的位置走到巫师 $n$ 的位置($1 \le n \le 10^5$),并记录下他在每个巫师位置能看到多少巫师。对于每个位置 $i$,若巫师 $j$ 满足以下条件,则 $j$ 能被看到: - 若巫师 $j$ 披在左侧,则 $i \geq j$。 - 若巫师 $j$ 披在右侧,则 $i \leq j$。 特别地,巫师 $i$ 总能被自己在第 $i$ 个位置看到。 Harry 的记录很古老,但在经过大量努力后你终于破译了这些数据。记录以长度为 $n$ 的数组 $a$ 给出,$a_i$($1 \leq a_i \leq n$)表示 Harry 在巫师 $i$ 位置能看到的巫师数量。 你的任务是,计算所有满足 Harry 记录的可能斗篷安排的方案数,结果对 $676\,767\,677$ 取模。

输入格式

每组测试包含多组用例。第一行为测试用例个数 $t$($1 \leq t \leq 10^4$)。每组测试用例: 第一行是一个整数 $n$($1 \leq n \leq 10^5$),表示数组 $a$ 的长度。 第二行为 $n$ 个整数 $a_1, a_2, \ldots, a_n$($1 \leq a_i \leq n$),表示 Harry 的记录。 保证所有测试用例中 $n$ 的总和不超过 $10^5$。

输出格式

对于每组测试用例,输出一个整数,表示满足条件的斗篷安排方案数,对 $676\,767\,677$ 取模。

说明/提示

下面的图片展示了在第二组测试用例中满足 Harry 记录的一种斗篷安排方式。 ![](https://cdn.luogu.com.cn/upload/vjudge_pic/CF2155C/2956b5ffa8021e08df968ed5f70bdb1ab8a5d9416b502576d246514c96346818.png) 巫师 1 的斗篷披在左侧,巫师 2、3、4 的斗篷披在右侧。 - 位置 1 能看到巫师 1、2、3、4。 - 位置 2 能看到巫师 1、2、3、4。 - 位置 3 能看到巫师 1、3、4。 - 位置 4 能看到巫师 1、4。 因此 Harry 的记录为 $[4, 4, 3, 2]$。可以证明这是唯一可能的安排。 第三组测试用例中,可以证明没有任何一种斗篷安排能得到该记录。 第五组测试用例中,有两种斗篷安排符合 Harry 的记录: - $1 \mid \quad \mid 2 \quad 3 \, \mid$ - $\mid \, 1 \quad 2 \mid \quad \mid 3$ 由 ChatGPT 5 翻译