想請問一下例如在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
感謝…