AT_jsc2024_final_f Max of Sum of Reachable Min
题目描述
给定一个包含 $N$ 个顶点的有向无环图(DAG),顶点编号为 $1$ 到 $N$。图中有 $M$ 条边,第 $i$ 条边是从顶点 $U_i$ 到顶点 $V_i$,并且保证 $U_i < V_i$。每个顶点 $i$ 上都写有一个整数 $A_i$。
对于顶点的子集 $s$,定义 $f(s)$ 如下:
- $f(s)=\sum_{v \in s} \min\{A_u\mid u \in s$ 且在 DAG 中可以从顶点 $u$ 到达顶点 $v$的 $ \}$。
对于每个整数 $K=1,2,\cdots,N$,请回答下列问题。
请将顶点集合 $\{1,2,\cdots,N\}$ 分成 $K$ 个(可以为空)子集,记为 $X_1,X_2,\cdots,X_K$。分割时应保证每个顶点恰好属于一个子集。求所有 $\sum_{1 \leq i \leq K}f(X_i)$ 的最大可能值。
输入格式
输入以如下格式从标准输入读取:
> $N$ $M$
> $A_1$ $A_2$ $\cdots$ $A_N$
> $U_1$ $V_1$
> $U_2$ $V_2$
> $\vdots$
> $U_M$ $V_M$
输出格式
请按顺序输出每个 $K=1,2,\cdots,N$ 的答案。
说明/提示
### 样例解释 1
对于每个 $K$,最优方案(举例)如下:
- $K=1$ : $X_1=\{1,2,3,4\}$
- $K=2$ : $X_1=\{1\},X_2=\{2,3,4\}$
- $K=3$ : $X_1=\{1\},X_2=\{2,3\},X_3=\{4\}$
- $K=4$ : $X_1=\{1\},X_2=\{2\},X_3=\{3\},X_4=\{4\}$
### 数据范围
- $1 \leq N \leq 80$
- $0 \leq M \leq 160$
- $1 \leq A_i \leq 80$
- $1 \leq U_i < V_i \leq N$
- $(U_i,V_i) \neq (U_j,V_j)$($i \neq j$)
- 所有输入值均为整数。
由 ChatGPT 5 翻译