区间检验的乘法复杂度
The multiplicative complexity of interval checking
摘要：
我们确定检查是否为$a\leq x < b$的确切与门成本，其中$a$和$b$是常数整数。也许令人惊讶的是，我们发现，间隔检查的成本从来没有超过一个单一的比较，在某些情况下，它甚至更低。
英文摘要：
We determine the exact AND-gate cost of checking if $a\leq x < b$, where $a$ and $b$ are constant integers. Perhaps surprisingly, we find that the cost of interval checking never exceeds that of a single comparison and, in some cases, it is even lower.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
