参天大树

P7419 「PMOI-2」参天大树
更好的解法

此满二叉树共有 $k$ 层（根节点在第 $k$ 层，叶子节点在第 $1$ 层）
记当前节点 $c$ 在第 $m$ 层，$c$ 的左子树中节点集合为 $L$，右子树中节点集合为 $R$，则：

$LCA(i,j)=c⟺$
① $i\in L,j\in R$
② $i=c,j\in L$
③ $i=c,j\in R$
④ $i=c,j=c$
⑥~⑧：①~③ 交换 $i,j$

每种情况的数量为：

① $(2^{m-1}-1{)}^2=2^{2m-2}+1-2^m$
② $2^{m-1}-1$
③ $2^{m-1}-1$
④ $1$
⑥~⑧：同 ①~③

显然与 $c$ 同一层（第 $m$ 层）的节点都有这一结论，将以上各项相加，记为 $facto{r}_m$：

$facto{r}_m=2^{2m-1}-1$

记第 $i$ 层所有元素之和为 $laye{r}_i$
记 $i$ 层高的满二叉树所有元素之和为 ${\Delta }_i$
则：${\Delta }_k={\sum }_{i=1}^{k}laye{r}_i$

以三层满二叉树为例：
${\Delta }_3=laye{r}_1+laye{r}_2+laye{r}_3$

于是：

${\sum }_{i=1}^n{\sum }_{j=1}^{n}LCA(i,j)$

$={\sum }_{i=1}^{k}laye{r}_i\times facto{r}_i$

由前述，关于 $layer$ 的求和，我们可以转换为关于 $\Delta$ 的求和：
（此图只为说明求和视角转换，不是此题中的真实系数）

$={\sum }_{i=1}^{k}laye{r}_i\times 2^{2i-1}-{\sum }_{i=1}^{k}laye{r}_i$

$=2{\Delta }_k+{\sum }_{i=2}^k{\Delta }_{k-i+1}\times \frac{3}{4}\times 2^{2i-1}-{\Delta }_k$

$=3{\sum }_{i=2}^k{\Delta }_{k-i+1}\times 2^{2i-3}+{\Delta }_k$

其中：
${\Delta }_k={\sum }_{i=1}^{2^k-1}i=\frac{2^k\times (2^k-1)}{2}=2^{2k-1}-2^{k-1}$

${\Delta }_{k-i+1}=2^{2(k-i+1)-1}-2^{k-i+1-1}=2^{2k-2i+1}-2^{k-i}$

于是原式 $=3({\sum }_{i=2}^k{2}^{2k-2}-{\sum }_{i=2}^k{2}^{k+i-3})+2^{2k-1}-2^{k-1}$

$=3(k-1)\times 2^{2k-2}-3\times (2^{2k-2}-2^{k-1})+2^{2k-1}-2^{k-1}$

$=(3k-4)\times 2^{2k-2}+2^k$

#include <stdio.h>
using namespace std;

long long m = 998244353;
long long pow2[2000002];
inline void f1(int k)
{
    long long a = 3 * k - 4;
    long long b = pow2[2 * k - 2];
    long long c = pow2[k];
    printf("%lld\n", (a * b % m + c) % m);
}

int main()
{
    pow2[0] = 1;
    for (int i = 1; i < 2000002; i++)
        pow2[i] = pow2[i - 1] * 2 % m;
    int t;
    scanf("%d", &t);
    for (int i = 0; i < t; i++)
    {
        int k;
        scanf("%d", &k);
        f1(k);
    }
    return 0;
}