软硬件划分问题的背包模型与算法

摘要

高效的硬件/软件划分对于实现约束驱动嵌入式系统的最佳解决方案至关重要。对于这个问题，总解决方案空间的大小通常相当大。在本文中，我们证明了背包模型可以用于快速识别硬件组件，从而提供高效的实现。特别地，我们提出了一种将问题分解为标准0-1背包问题的方法，以利用经典方法。该方法依赖于每个背包问题的紧上下界来快速消除子问题，从而保证不会产生最优结果。实验结果表明，对于问题大小在30到3000之间的情况，除了需要解决3个子问题外，只需解决1个子问题即可获得整个问题的最优解。