20171002清北

题目：n个点（用n-1条边）组成一棵树，每个点有一个权值vi，现在有m条询问，每条询问给两个点p1,p2，两点之间会有一条路径相连接（事实证明在树中是只有一条的）。询问内容是路径上的所有点权，能否组出至少一个三元组(a,b,c)，使以a,b,c为边长能形成一个三角形。（对于每个询问，输出yes或no）

范围：1<=n,m<=100000 1<=vi<2^31 1<=p1,p2<=100000

这道题就相当于把路径上的点从小到大与斐波那契数列相对照。设a<=b<=c，由常识可知a+b<c时，三遍才能组成三角形。由于只要有一组a,b,c满足条件就输出yes，那我们直接看看什么情况下才输出no（因为情况少）。当路径上的点从小到大排序后，从第三项起每项大于等于斐波那契数列对应项的时候（1,1,2,3,5,8...)，这些边就刚好组不成三角形。最坏情况下，就是刚好等于斐波那契数列。而斐波那契数列大约在第46项的时候就超过int最大值（2^31），而点权都是int范围的，因此当路径上有超过45个点的时候，第46大的数肯定小于int最大值（2^31），达不到斐波那契数列的第46项，而这样的话第46大的数就一定小于第44大的数加第45大的数（假设前45个数为斐波那契数列），那么将至少有三条边就能组成一个三角形。因此路径上点数>45时直接输出yes，否则暴力一下，毕竟 100000*(45*log(45)+45)≈100000*(45*6+45)=100000*45*7=31500000 的时间复杂度还是能接受的。（用sort排序的话时间复杂度最大是是45*log(45)）

另外两个结点的最短距离（也就是两节点最短路径之间的节点数量）需要通过两点LCA求得。这里建议倍增。