lambda1@tg => YSITD: Actually, there are subtle issues here. We are trying to deal with the worst input possible. It is possible that you discard more than half the choices for any given steps, but this argument does not account for the worst input #5e60df5f2efe4b0369679319

lambda1@tg says to YSITD

Actually, there are subtle issues here. We are trying to deal with the worst input possible. It is possible that you discard more than half the choices for any given steps, but this argument does not account for the worst input

at Thu, Mar 5, 2020 7:15 PM