AtCoder Regular Contest 102D - All Your Paths are Different Lengths

题解：
我们不妨总是令$n=20$。
对于$2<=i<=19$的结点，我们$i$与$i+1$之间连两条边，一条权值为$0$，一条权值为$2^{20}−i−1$。
这样，如果$1$号结点向$i$号结点连一条权值为$w$的边，那么从$1$到$20$就会出现$w+[0...2^{20}−i−1]$的所有数。
假设将$L$转化成二进制形式，即令$L=\sum_{i=0}^i∗b[i]_L$。一个小于$L$的数$x$应该具有什么特征呢？如果存在一个$p$，使得：
$（1）$$\sum_{i=p+1}2^i∗b[i]_L=\sum_{i=p+1}2^i∗b[i]_x$（前面所有数位相同）
$（2）$$b[p]_L>b[p]_x$（当前数位$L>x$）
两个条件成立，则$x < L$。这个时候我们发现如果$（2）$成立，则$b[p]_L=1$。
所有小于L的数应该是如下形式的集合并：
$\sum_{i=p+1}2^i∗b[i]_L+0+[0...2^{p−1}](b[p]_L=1)$（前面所有数位相同，当前数位为$0$，后面的数位随便选）
构造方法就出来了：如果$b[p]_L=1$，则由$1$向$(20-p)$连一条边权为$\sum_{i=p+1}2^i∗b[i]_L$ 的边。
但是我们发现如果完全按照上面的思路构造，当$p=19$时，我们将会$1$向$1$连边……
所以我们必须特判$p=19$的情况。对于这种情况，我们将$1$与$2$之间连两条边，边权为$0$与$2^{18}$。
$Code：$

#include<cmath>
#include<cstdio>
#include<vector>
using namespace std;
struct node
{
    int u,v,w;
    node(int _u,int _v,int _w):u(_u), v(_v), w(_w){}
};
vector<node>ans;
inline int lowbit(int x)
{
    return x&-x;
}
int main()
{
    int L;
    scanf("%d",&L);
    for(int i=19;i>1;i--)
    {
        ans.push_back(node(i,i+1,0));
        ans.push_back(node(i,i+1,(1<<(20-i-1))));
    }
    while(L)
    {
        int p=int(log2(lowbit(L)));
        if(p==19)
        {
            ans.push_back(node(1,2,0));
            ans.push_back(node(1,2,1<<18));
        }else ans.push_back(node(1,20-p,L^lowbit(L)));
        L^=lowbit(L);
    }
    printf("%d %d\n",20,ans.size());
    for(int i=0;i<ans.size();i++)
        printf("%d %d %d\n", ans[i].u,ans[i].v,ans[i].w);
}