一个必要条件$\lfloor a/b\rfloor = \lfloor c/d\rfloor$是$|ad-bc| < db$. 然而，这还不够，所以如果这个测试结果为真（或者如果其中一个乘法溢出），您仍然必须进行整数除法。根据您的数字a、b、c、d的概率分布以及乘法与除法相比的运行时复杂性，平均而言，这仍然可以改善运行时。