How an algorithm helps convert empty offices into housing. In the wake of the shift to working at home, many cities want to transform depopulated buildings into residences.