Re: CLP(FD): what is necessary?



A.L. wrote:
On Thu, 13 Mar 2008 17:50:54 +0000, Joachim Schimpf
<jschimpf@xxxxxxxxx> wrote:
Having propagators wake up with different priority can be
quite important, so i think it is an important feature for
a constraint system. Probably it is more relevant for a
system like ECLiPSe that aims at combining different solution
methods, than for a system that just wants to do FD.

OK, I am bot familiar with current version of ECLIPSE... Are
priorities defined for each constraint separately, or across teh
system?

It's a simple scheme of a small number (12) of priorities
across the system.


> And what happens if I am using 2 custom constraints, each with
its own priorities numbered from 1 to 5?...

We've had endless discussions about an improved priority scheme
within the ECLiPSe team and with users, but never arrived at a
satisfactory proposal. We considered float-priorities, partially
ordered ones, priority vectors, you name it...
There is some risk of trying to do things via priorities that are
better done via data-driven dependencies or localised computations.

The current, simple system allows you to assign priorities roughly
according to propagator complexity or effectiveness, to give debugging
and visualisation goals high priority, and a few other tricks.
A principle is that priority choice should not affect correctness,
only efficiency.


-- Joachim
.



Relevant Pages

  • Re: CLP(FD): what is necessary?
    ... so i think it is an important feature for ... I am bot familiar with current version of ECLIPSE... ... priorities defined for each constraint separately, ... its own priorities numbered from 1 to 5?... ...
    (comp.lang.prolog)
  • Re: Its all in the Leveling(?)
    ... "Open" the summary tasks to show the details, ... The problems I am facing is this: (Keep in mind I have to use Priorities ... resource hours must of course be taken into account in Project Planning. ... Our development are done on a feature by feature basis. ...
    (microsoft.public.project)
  • Re: Its all in the Leveling(?)
    ... companion products and other useful ... Priorities as our featurelist and feature priorities are very dynamic) ... resource doing the tracking needs a variable amount of time each day ... Our development are done on a feature by feature basis. ...
    (microsoft.public.project.pro_and_server)
  • Re: Its all in the Leveling(?)
    ... companion products and other useful Project information ... amount of projects running concurrently I have to use Resource ... Priorities as our featurelist and feature priorities are very dynamic) ... Our development are done on a feature by feature basis. ...
    (microsoft.public.project)
  • Its all in the Leveling(?)
    ... Priorities as our featurelist and feature priorities are very dynamic) ... resource doing the tracking needs a variable amount of time each day of ... Our development are done on a feature by feature basis. ... these tasks or splitting of these tasks, untill all work on the feature ...
    (microsoft.public.project.pro_and_server)