区块在排除法中的进阶应用