Great idea Ali - Thanks.

Would the following work :
*) Create companion binary variables to the xp,xn debugging variables,
called bxp,bxn.
*) Each companion variable denotes whether the original debugging variables
are bigger than zero.
*) Try to minimize the sum of bxp + bxn.

That way , we would get the smallest subset of violating constraints, which
might help ease debugging.

Do you think that makes sense?

Thanks
Kretch


On Wed, Jan 14, 2009 at 1:07 PM, Ali Baharev <[email protected]> wrote:

> Hello,
>
> I am afraid it is ambiguous which constraints are causing the trouble.
>
> You could probably try the following. Introduce two new continuous
> variables xp >= 0 and xn >= 0 to each constraint. For example:
>
> x1 + 2 x2 = 3
>
> after introducing the variables
>
> x1 + 2 x2 + (xp - xn) = 3
>
> and change the objective function:
>
> minimize: sum xp + sum xn
>
> This problem must have a solution. For those constraints which are
> violated the corresponding xp or xn will not equal zero. Unfortunately
> it may turn out that all constraints are violated... If you are lucky
> there will be only a few constraints with non-zero xp and xn
> variables.
>
> Good luck,
>
> Ali
>
_______________________________________________
Help-glpk mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/help-glpk

Reply via email to