对于k-SAT，目前已知最快的算法是PPSZ，以其发明者Paturi，Pudlak，Saks和Zane命名[7]。 对于具有唯一令人满意的赋值的输入公式，分析其运行时间要容易得多。.在本文中，我们实现了三个目标。 首先，我们简化了Hertli在2011年的分析[1]，其中输入公式具有多个令人满意的赋值。 其次，我们显示一个“翻译结果”：如果您对k-CNF公式的PPSZ进行改进以使其具有唯一的令人满意的赋值，您将立即获得对k-CNF常规公式的（较弱）改进。 2014年[2]，他给出了一个独特的3-