先去考虑找一下无解条件。首先就是有\(d\)关于\(n\)的下界\(L\)，就是弄成一颗完全二叉树的答案。其次有\(d\)关于\(n\)的上界\(R\)，就是成一条链的样子。首先当\(d<L\)或\(R<d\)时显然无解。对于\(L\led\leR\)又如何去判定。能发现没有一个比较好的判定