死端消除法

dead-end elimination