想请问一下例如在witness(f, 0)的时候, f = a & b
因为0是non-controlling value
所以照投影片的作法是去呼叫Restrict(~a, b)
若建成功 代表有一组input assignment使得(a, b) = (0, 1)
若失败 再呼叫Restrict(a, ~b)
同理若成功代表有input assignment使(a, b) = (1, 0)
进而使得f = 0
我想请问 会不会就刚好(a, b)能够同时为零
却没有一组input assignment使得a ^ b = 1呢？
因为同时为零的时候(careSpace = 0) → f = 0, 已经达成目标
但Restrict遇到careSpace为零时会喷error…
但不是应该careSpace为零时就代表任务完成可以return吗 为何要喷error呢QQ
感谢…