Given a set S of nonoverlapping axis-parallel rectangles placed inside
a rectangular region B, a partition of the space B\S is called a 'fre
e space partition'. A simple proof of a formula on the number of recta
ngles in a minimum free space partition is presented. Based on this fo
rmula, it is shown that a minimum free space partition can be computed
using a well known geometric graph search algorithm in O(n(3/2) log n
) time.