可重构器件的最优空闲空间管理与路由感知动态布局

我们描述了在具有部分可重构性的计算硬件设备上分配资源的两个关键方面的算法结果。通过使用计算几何领域的方法，我们推导出一种方法，能够在最优时间 $\Theta(n \log n)$ 内正确维护 $n$ 个矩形模块集合的空闲与占用空间；先前的方法需要 $O(n^2)$ 的时间才能获得正确结果，而启发式方法需要 $O(n)$ 的时间。我们还表明，寻找最优的可行通信感知布局（即最小化新模块与现有需求点之间的总加权Manhattan距离）可以在 $\Theta(n \log n)$ 时间内计算得出。两种最终算法在实际中都易于实现，并展现出令人信服的实验表现。