字典序的定义第一行应改为

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