AT_abc335_e [ABC335E] Non-Decreasing Colorful Path

给定一个有 $N$ 个顶点、$M$ 条边的连通无向图，第 $i$ 条边连接顶点 $U_i$ 和顶点 $V_i$（双向）。 此外，每个顶点上都写有一个整数，顶点 $v$ 上写着整数 $A_v$。 对于从顶点 $1$ 到顶点 $N$ 的所有简单路径（即不重复经过同一顶点的路径），定义如下得分方式： - 将路径上经过的顶点所写的整数，按经过顺序排列成一个数列 $S$。 - 如果 $S$ 不是广义单调递增的，则该路径的得分为 $0$。 - 否则，$S$ 中包含的不同整数的个数即为该路径的得分。 请在所有从顶点 $1$ 到顶点 $N$ 的简单路径中，输出得分最高的路径的得分。 什么是广义单调递增？长度为 $l$ 的数列 $S=(S_1,S_2,\dots,S_l)$ 被称为广义单调递增，当且仅当对于所有整数 $1 \le i < l$，都有 $S_i \le S_{i+1}$。

输入按以下格式从标准输入读入。 > $N$ $M$ > $A_1$ $A_2$ $\dots$ $A_N$ > $U_1$ $V_1$ > $U_2$ $V_2$ > $\vdots$ > $U_M$ $V_M$

请输出一个整数，表示最大得分。

## 限制条件 - 输入均为整数。 - $2 \le N \le 2 \times 10^5$ - $N-1 \le M \le 2 \times 10^5$ - $1 \le A_i \le 2 \times 10^5$ - 图是连通的。 - $1 \le U_i < V_i \le N$ - 若 $i \neq j$，则 $(U_i, V_i) \neq (U_j, V_j)$ ## 样例解释 1 对于路径 $1 \rightarrow 3 \rightarrow 4 \rightarrow 5$，$S=(10,30,40,50)$，该路径的得分为 $4$，这是最大得分。 ## 样例解释 2 不存在从顶点 $1$ 到顶点 $N$ 的简单路径使得 $S$ 是广义单调递增的。这种情况下，最大得分为 $0$。 由 ChatGPT 4.1 翻译