逆向分析法与辅助函数的构造

本文通过题例说明，一般构造辅助函数的证地是一种特殊的逆向分析法。