If you know that the first bit of y is 1, you only need to consider half of the columns (where y can equal 100, 101, 110, or 111).
y {\displaystyle y} の最初のビットが 1 であると知っている場合、列の半分だけを考慮すればよい（ y {\displaystyle y} は 100, 101, 110, 111 のいずれかになる）。