Impose constraint sum of square of elements

Help
K Lian
2013-02-10
2013-05-30
  • K Lian

    K Lian - 2013-02-10

    Hello, I'm new to constraint satisfaction problems. I have no experience in prolog but I know java and thus jacop is the perfect tool for me. So, congratulations for the good job!
    I have a question.

    Constraint ctr = new Sum(v, sum);
    

    is for imposing a constraint over the sum of IntVar v.But, how can impose a constraint over the sum of square of v elements?
    For example, if v=, I want a^2+b^2+c^2=1000. How can I impose this constraint?
    Thank you in advance!

     
  • Radoslaw Szymanek

    Hi,

    You need to create an auxiliary variable aSquare that will be constrained to hold square of a.

    store.impose(new XmulYeqZ(a, a, aSquare));

    The same for bSquare and cSquare

    later on you use Sum constraints with *Square variables.

    best,
    Radek

     

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks