第一篇题解中关于正确性证明的理论基础“原理四”与“原理五”有严重性错误，对于下面构造策略的正确性证明的影响极大。

而对于题解区的所有题解，对于第二问下界均未给出严谨证明。

大伙有没有对于下界构造策略和正确性证明的相关资料 / 严谨证明 /kel。