解决问题在OSGi R4 core specification的模块化章节中有所描述。这是一个约束满足问题，当然也是一个有效解决的挑战性问题，即不是蛮力。主要的复杂因素是使用约束，它具有非局部效应，并且可以自由地删除可选导入以获得成功的解决方案。
NP-Completeness在StackOverflow上处理elsewhere。
关于这个问题的答案已经有很多猜测，所以请避免猜测。好的答案将包括一个证据，或者，如果没有这个，那就是一个引人注目的非正式论证。
这个问题的答案对于构建OSGi解析器的项目很有价值，包括Eclipse Equinox和Apache Felix开源项目，以及更广泛的OSGi社区。
答案 0 :(得分：26)
答案 1 :(得分：2)
答案 2 :(得分：0)
从记忆中我认为这篇论文包含了演示，很抱歉以前没有检查过。这是我打算复制的其他链接，我确信会在第48页提供演示：http://www.edos-project.org/bin/download/Main/Deliverables/edos%2Dwp2d1.pdf