好哦 是独立（并没有）做出来的第一道 *2700

看到前几天的 edu yzhang 切了 F，于是跑去看了看题

发现是个网络流，于是捡起了快一年没碰的网络流复习（

注意到这个有先决条件的选数 以及数据范围都长得很像最大权闭合子图模型，于是用这个模型去做。

大力分类讨论：

• 没有 $\texttt{*}$
  • 显然
• 有 $\texttt{*}$：
  • 没有 $\texttt{+}$
    • 没有 $\texttt{-}$：显然
    • 有 $\texttt{-}$：找到第一个 $0$（如果存在的话）并在这个 $0$ 前面一个位置填上 $\texttt{-}$，其他全部填 $\texttt{*}$。
  • 有 $\texttt{+}$ 的情况是接下来的讨论重点

纪念第一道自己写出来的 *2500

我也不知道是不是自己写出来的 也许以前看过题解但是忘了（x

也许你应该在阅读这篇题解之前读一读 E1的题解

限制从 $n+2$ 减少到了 $n+1$，于是考虑把 $3$ 次 $\operatorname{AND}$ 操作减少至 $2$ 次。

交互题好玩