[AGC023F] 01 on Tree

大概是NOIP前最后一场模拟赛了，yj组织的信心赛。

link

---

题目大意：

• 给出一棵 $n$ 个节点的树，以及一个空序列。
• 每个节点上有一个取值在 { 0 , 1 } \{0, 1\} {0,1} 中的数。
• 每次你可以选择没有父亲节点的点删除，并且将这个节点上的数字放在当前数列末尾。
• 请你求出这个数列可能得到的最小逆序对数。
• $n\le 2\times 10^5$。

---

难点在于贪心策略基于整棵树，而不能只通过独立点的子树合并。

很久没做过类似的贪心了，思想很经典，用Exchange Argument的方法来构造正确的贪心策略。在我的理解层面上是先进行假设，通过假设某策略更优，接着得到该策略更优所需具备的条件，最终将贪心策略用权值大小来表示。

题解：题目要求逆序对数最小，首先想到尽量让最终得到接近00...01...11的数列。发现当父节点进行扩展时，先选 $val$ 为 0 的子节点一定不劣。所以可以先将 $val$ 为 0 的节点与其父亲合并再进行贪心。
基于这一想法，可以考虑节点与父亲合并。由于父节点一定在子树前面入队，所以父与子的逆序对数恒定，那么只需考虑子树间合并的先后关系。

这时候就要用到Exchange Argument的思想了，可以发现在原先合并的基础上，（合并后）每个节点都代表了若干 $val=0$ 的点和若干 $val=1$ 的点。考虑此时对于子树 $i,j$ 合并的先后顺序，若先拓展 $i$ 再拓展 $j$，则新增的逆序对数为 $cn{t}_{1}i\times cn{t}_{0}j$，其中 $cn{t}_{0/1}x$ 表示节点 $x$ 代表 $cn{t}_{0/1}$ 的 0/1。同理，若先拓展$i$ 再拓展 $j$，则新增的逆序对数为 $cn{t}_{1}j\times cn{t}_{0}i$。显然，假设先拓展 $i$ 比先拓展 $j$，则应满足 $cn{t}_{1}i\times cn{t}_{0}j<cn{t}_{1}j\times cn{t}_{0}i$，即 $\frac{cnt{1}_i}{cn{t}_{0}i}<\frac{cn{t}_{1}j}{cn{t}_{0}j}$。所以只需将每个点的 $\frac{cn{t}_{1}i}{cn{t}_{0}i}$ 放进优先队列，依次合并即可。

注意到分母可能为0，此时其所代表的权值为 $+\infty$，直接将其赋值为 $+\infty$ 就行。
对答案的贡献可以在合并时完成。

---

这题最重要的点是Exchange Argument构造贪心策略的方法，比如对于一道单纯靠子树合并难以完成的题目（像这题，拓展的过程长得像bfs的），可以尝试假设 $a$ 比 $b$ 优相应需要的条件，后将贪心策略转化为单纯的权值比较、合并，可以解决部分普通贪心不好解决的问题。