牛客网【每日一题】Alliances里的证明

这篇写的比较正确
https://blog.csdn.net/qq_35975367/article/details/107232540
注意：LCA，lca在本文中不一样
补充一下第三个状态的证明：

1. 一个点的长辈和子辈都被占领了，则该点被占领了

证明：已知长辈和后继的点可以练成一条链
   a.因为长辈，所以该点可以和长辈的点连成一条链
   b.因为子辈，所以该点可以和子辈的点连成一条链
   c.这两条链连在一起成为一条新的链
   d.已知长辈和子辈的点可以练成一条链 ，这条链如果不是和3所说的那条链则整个形状就形成回路，不符合树的定义

2.如果首都到LCA的路径上存在一个点x（x被占领），那么答案就是首都到最近一个符合被占领的点，这个点就是遍历所有被占领的点 与首都的lca与首都距离最小的点
解释：
   a.如果首都到LCA的路径上存在一个点x（x被占领），那么答案就是首都到最近一个符合被占领的点：这个为显而易见的，即已知。
   b.那就只需证明lca（被占领的点，首都）为被占领的
证明：
   因为LCA为所有lca（被占领的点，首都）的根，并且由lca
（被占领的点，首都）可知，长辈和字辈都被占领了，由1可知lca（被占领的点，首都）也被占领，所以符合被占领这个条件。
   

3.如何找到最近点
思路/优化：
  显然不可能将整个联盟的点一个个的求与首都的lca。那么可以想到要取一些特征点。
操作：
1.找首都dfs序左右两点的帮派占领的点（这里的dfs序指的是区间左端点，便于在实际写代码中记录节点的dfs序）
2.更新帮派左点，右点的lca与首都的距离的最小值
前提：
   通过观察知道，只要在一棵树（连续的dfs序）下，求深度最深的，被占领的点与首都的lca就能得到所想要的最近点（x）。
证明：
   因为占领的末端必定是帮派占领的实际点，也就是深度最低的点也被囊括进去，所以整个联盟的点可以减少到帮派的点。
前提：
   dfs序的前驱（-1）后继（+1）：
   前驱：dfs序左边的第一个。就求出左边深度最大的节点。
   后继：a.这个点为字辈节点，求的lca就是首都，距离为0，显然最近。此时就是首都被占领的情况，所以可以把那篇博客的第二种情况包括进来。
      b.这个点为往上走再往下走一步的点，这个点显然为后继里的最近。