要用到kiaft不等式约束条件,最优码长的界