为什么0-1型整数规划能筛选出最优解

为什么令变量为0或1就能筛到不应该是可行解的解呢？是依靠什么来确定0或1就能完成这个筛选的