Impose constraint sum of square of elements

K Lian
  • 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


    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.



Log in to post a comment.

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

Sign up for the SourceForge newsletter:

JavaScript is required for this form.

No, thanks