字典序部分说长度为 $2^n$，但是下文写的是 $2n$，应该改为: $\exists i\in [1,2^n]$满足以下两个条件：

$\exists i\in [1,2^n] $满足以下两个条件：