命题公式的结构熵在信息传播算法求解SAT问题中的应用研究