>>277で読める分だけ読んだけど、別に矛盾しないような
探索範囲である長方形を再帰的に分割・縮小していくアルゴリズムで、
その過程で現れるサイズm*nの領域を探索するコストの話をしてるんだから、おかしいところはないはず