bug-glpk
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Bug-glpk] Model causes glpk to hang


From: Heinrich Schuchardt
Subject: Re: [Bug-glpk] Model causes glpk to hang
Date: Sat, 11 Jul 2015 18:57:08 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.7.0

>> -------- Forwarded Message --------
>> From: Yori Zwols <address@hidden>
>> To: address@hidden
>> Subject: Model causes glpk to hang
>> Date: Sun, 17 May 2015 22:43:10 +0100
>>
>> The following model causes glpk to hang at the preprocessing stage. To
>> reproduce this behavior, save this to a file, say, model.mod, and run:
>> glpsol --math model.mod
>>
>>
>> var x1 >= 0, integer;
>> var x2 >= 0, integer;
>>
>>
>> subject to c1: x1 - x2 >= 0.9;
>> subject to c2: x1 - x2 <= 0.8;
>>
>>
>> I have verified that this is still a bug in GLPK 4.55.
>>
>> Yori
>>
>>
>>

var x1 >= 0, integer;
var x2 >= 0, integer;

subject to c1: x1 - x2 >= 0.9;
subject to c2: x1 - x2 <= 0.8;

Obviously the problem is infeasable.

Preprocessing in npp_process_row() does the following:

c1 results in an implied lower bound of .9 for x1. which is rounded to
1. Row c2 is activated.
c2 results in an implied lower bound of .8 for x2, which is rounded to
1. Row c1 is activated.

c1 results in an implied lower bound of 1.9 for x1. which is rounded to
2. Row c2 is activated.
c2 results in an implied lower bound of 1.8 for x2, which is rounded to
2. Row c1 is activated.

...

Due to rounding c1 and c2 never reaches DBL_MAX so even after
1.7976931348623157e+308
iterations the loop will not exit.

I guess the only reasonable possibility to improve the coding here would
be observing some time limit.

Best regards

Heinrich Schuchardt



reply via email to

[Prev in Thread] Current Thread [Next in Thread]