Проблема разрешения описана в главе модульности основной спецификации OSGi R4 . Это проблема удовлетворения ограничений и, безусловно, сложная задача для решения эффективно, то есть не грубой силой. Основными осложнениями являются ограничение использования, которое имеет нелокальные эффекты, и возможность отказаться от необязательного импорта для достижения успешного разрешения.
NP-полнота рассматривается в в другом месте в StackOverflow.
Уже было много размышлений о ответе на этот вопрос, поэтому, пожалуйста, избегайте предположений. Хорошие ответы будут включать доказательство или, в противном случае, непреодолимый неофициальный аргумент.
Ответ на этот вопрос будет полезен для тех проектов, которые создают решения для OSGi, включая проекты Eclipse Equinox и Apache Felix с открытым исходным кодом, а также для более широкого сообщества OSGi.