13307130370_lisizhe_assignment3[ except BM]

这里错了。没有理解到KR算法的精髓。