Optional service dependencies only

[Paul Sandoz]

Hi,

On Jun 22, 2012, at 6:41 PM, Jaroslav Tulach wrote:

> Hello Paul,
> I smell a little misunderstanding. When I titled the message "optinal service dependencies only" I really ment it!
> 
> If you want to get rid of the NP-Complete problem, remove "requires service xyz" concept and allow only "requires service optional xyz".

As i said i am shoving the NP-Complete problem under the rug for now. Forgive me! 

IIUC the resolving of the root module dependency and the service provider module dependencies although performed separately, in the webrev, is still NP-Complete.


> In your algorithm it would be equal to commenting out call to "ensureServicesPresent();" unless I am mistaken.
> 

"ensureServicesPresent" is validating constraints, post resolving, on the set of resolved modules so it does not affect the resolving algorithm.



> Would you accept that?

Not sure :-) it depends on your response. I think a source of misunderstand is the getting rid of the NP-Complete problem, which i am currently ignoring.

Paul.