构造性思维——树的构造

     树和图的遍历是一种典型的序关系。在某些情况下，可以利用这种序关系简化问题。

    原题：一棵含有n个结点的树，所有的结点依次编号为1,2,3,……,n，每个结点v有一个权值s(v)，也分别是1,2,3,……,n。对于编号为v的结点，定义t(v)为v后代中所有权值小于s(v)的结点个数。现给出这棵树及t(1), t(2), t(3),……,t(n)，求出这棵树每个结点的权值（多组解只需输出一组）。 

    这道题看起来似乎跟这道树的统计 有点类似，但是仔细想想，其实是不太一样的。树的统计那道题，主要是要有目标意识，从树的DFS和逆DFS的性质结合图形挖掘出目标函数，从而各个击破，求出最后的解。

    而这道题，我们稍微想一下就能发现，绝对是有多组解的（比如同一个结点的两个子节点都为叶子结点，则这两个叶子结点可以互换权值），那这就暗示我们要用构造法，构造出一个满足的解出来！

    t(v)的定义暗示我们利用DFS来处理这个问题，因为先序遍历的一个重要特性就是每个结点的后代都紧跟在其后面被遍历。因此我们可以构造一个这样的权值集合：根据树的DFS序列，在插入一个节点v时，每次在其前面保留恰好连续t[v]个空位置。按照这种方式构造出来的解，能够满足题目要求。

树的DFS序列为：  1 2 4 5 7 3 6 8 9

对应的t值分别为： 3 1 0 0  0 3 1 0 0

原始状态：

1.插入节点1，t[1]=3,故将其插在第4个位置

2.插入节点2，t[2]=1，故插入在第2个位置

3.依次插入4,5,7得到：

4.这时要插入3，应在其前面留下连续3各空档，故插在最后一个空位

5.按照此法依次插入剩下的节点，得到权值序列：

    将index和节点序号依次对应

即可得到各个节点对应的权值：

1：4， 2：2， 3：9 , 4：1， 5：3， 6：7， 7：5， 8：6， 9：8

这里我们也可以看到：节点8和9的权值是可以互换、4、5、7的权值也是可以自由组合的，因此也验证了此题的解的不唯一性。

     如何实现将一个节点插入恰好连续t[v]个空格之后呢？将《树的统计》一题中的线段树稍加变形，维护一个区间最大的连续空格以及，区间左、右最大的连续空格数，每次插入或删除节点的时候，对区间的各个最大值进行更新即可。

c++代码如下：

#include <iostream> #include <cstdio> #include <cstdlib> #include <vector> using namespace std; typedef std::vector<unsigned int> UVEC; const unsigned int MaxNode = 10000; class CSegTree { struct stSegTreeNode { unsigned int uiStart, uiEnd; unsigned int uiMaxNone, uiLeftNone, uiRightNone; stSegTreeNode() { memset(&uiStart, 0, sizeof(stSegTreeNode)); } }; public: CSegTree(unsigned int uiCount = MaxNode) :m_uiCount(uiCount) { m_pSegNodes = new stSegTreeNode[m_uiCount]; Make(1, 1, uiCount); } ~CSegTree() { delete[] m_pSegNodes; } void Reset() { Make(1, 1, m_uiCount); } unsigned int Insert(unsigned int uiNode, unsigned int uiPreNoneNum, unsigned int uiPos = 1) { if(m_pSegNodes[uiPos].uiMaxNone < uiPreNoneNum) { throw "Input Is not possible!!!"; } if(m_pSegNodes[uiPos].uiStart == m_pSegNodes[uiPos].uiEnd) { m_pSegNodes[uiPos].uiMaxNone = m_pSegNodes[uiPos].uiLeftNone = m_pSegNodes[uiPos].uiRightNone = 0; return m_pSegNodes[uiPos].uiStart; } unsigned int uiRet = 0; if(m_pSegNodes[uiPos * 2].uiMaxNone >= uiPreNoneNum) { uiRet = Insert(uiNode, uiPreNoneNum, uiPos * 2); } else if(m_pSegNodes[uiPos * 2].uiRightNone + m_pSegNodes[uiPos * 2 + 1].uiLeftNone >= uiPreNoneNum) { uiRet = Insert(uiNode, uiPreNoneNum - m_pSegNodes[uiPos * 2].uiRightNone, uiPos * 2 + 1); } else { uiRet = Insert(uiNode, uiPreNoneNum, uiPos * 2 + 1); } m_pSegNodes[uiPos].uiLeftNone = m_pSegNodes[uiPos * 2].uiLeftNone; if(m_pSegNodes[uiPos * 2].uiLeftNone == m_pSegNodes[uiPos * 2].uiEnd - m_pSegNodes[uiPos * 2].uiStart + 1) { m_pSegNodes[uiPos].uiLeftNone += m_pSegNodes[uiPos * 2 + 1].uiLeftNone; } m_pSegNodes[uiPos].uiRightNone = m_pSegNodes[uiPos * 2 + 1].uiRightNone; if(m_pSegNodes[uiPos * 2 + 1].uiRightNone == m_pSegNodes[uiPos * 2 + 1].uiEnd - m_pSegNodes[uiPos * 2 + 1].uiStart + 1) { m_pSegNodes[uiPos].uiRightNone += m_pSegNodes[uiPos * 2].uiRightNone; } m_pSegNodes[uiPos].uiMaxNone = std::max(m_pSegNodes[uiPos * 2].uiMaxNone, m_pSegNodes[uiPos * 2 + 1].uiMaxNone); m_pSegNodes[uiPos].uiMaxNone = std::max(m_pSegNodes[uiPos].uiMaxNone, m_pSegNodes[uiPos * 2].uiRightNone + m_pSegNodes[uiPos * 2 + 1].uiLeftNone); return uiRet; } private: void Make(unsigned int uiPos, unsigned int uiStart, unsigned int uiEnd) { m_pSegNodes[uiPos].uiStart = uiStart; m_pSegNodes[uiPos].uiEnd = uiEnd; m_pSegNodes[uiPos].uiMaxNone = m_pSegNodes[uiPos].uiLeftNone = m_pSegNodes[uiPos].uiRightNone = uiEnd - uiStart + 1; if(uiStart >= uiEnd) { return; } unsigned int uiMid = (uiStart + uiEnd) >> 1; Make(uiPos * 2, uiStart, uiMid); Make(uiPos * 2 + 1, uiMid + 1, uiEnd); } private: unsigned int m_uiCount; stSegTreeNode* m_pSegNodes; }; unsigned int g_uiCount, g_uiRoot; UVEC g_Edge[MaxNode + 1]; unsigned int g_uiWeight[MaxNode + 1]; unsigned int g_uiT[MaxNode + 1]; bool g_bVisited[MaxNode + 1]; unsigned int g_uiDFSList[MaxNode + 1], g_uiIndex; CSegTree* g_pSegTree; void DFS(unsigned int uiNode) { g_uiDFSList[++g_uiIndex] = uiNode; for(UVEC::const_iterator it = g_Edge[uiNode].begin(); it != g_Edge[uiNode].end(); ++it) { DFS(*it); } } void Init() { scanf("%u", &g_uiCount); for(int i = 1; i <= g_uiCount; ++i) { scanf("%u", g_uiT + i); } unsigned int uiParent, uiChild; for(int i = 1; i < g_uiCount; ++i) { scanf("%u%u", &uiParent, &uiChild); g_Edge[uiParent].push_back(uiChild); g_bVisited[uiChild] = true; } for(int i = 1; i <= g_uiCount; ++i) { if(!g_bVisited[i]) { g_uiRoot = i; break; } } g_pSegTree = new CSegTree(g_uiCount); } void Solve() { DFS(g_uiRoot); for(int i = 1; i <= g_uiCount; ++i) { g_uiWeight[g_uiDFSList[i]] = g_pSegTree->Insert(g_uiDFSList[i], g_uiT[g_uiDFSList[i]] + 1); } for(int i = 1; i <= g_uiCount; ++i) { printf("%d: %u/n", i, g_uiWeight[i]); } } int main() { Init(); Solve(); return 0; }

输入：

 

输出：