Re: [eclipse-clp-users] Knappsack-Problem Modification

From: Philipp Marcus <marcus_at_cip.ifi.lmu.de>
Date: Tue, 13 Apr 2010 13:47:44 +0200
> Ok. So what is your exact task to do:
> 1) to prove NP-completeness of the problem
That is more a "bonus" task. Do you have any ideas how to prove it? I 
think the best way is to map it to a problem that is known to be 
NP-complete, but I don't know which one is suited best for that..
> 2) write a solver for a problem using ECLiPSe ?
Thats what I have to do. Currently I am working on a version that uses 
ic_symbolic and includes all your hints. I could post it to the list 
when I'm done.

Best regards,
Philipp
Received on Tue Apr 13 2010 - 11:47:51 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET