From MAILER-DAEMON Wed Jan 06 15:06:39 2016 Received: from list by lists.gnu.org with archive (Exim 4.71) id 1aGuLv-00027c-QP for mharc-help-glpk@gnu.org; Wed, 06 Jan 2016 15:06:39 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:49684) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aGuLt-00027S-UA for help-glpk@gnu.org; Wed, 06 Jan 2016 15:06:38 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aGuLo-0006Jq-VJ for help-glpk@gnu.org; Wed, 06 Jan 2016 15:06:37 -0500 Received: from blu004-omc2s18.hotmail.com ([65.55.111.93]:50618) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aGuLo-0006Jl-RK for help-glpk@gnu.org; Wed, 06 Jan 2016 15:06:32 -0500 Received: from BLU436-SMTP260 ([65.55.111.71]) by BLU004-OMC2S18.hotmail.com over TLS secured channel with Microsoft SMTPSVC(7.5.7601.23008); Wed, 6 Jan 2016 12:06:32 -0800 X-TMN: [FnKAI+Oh62HBSbGvKJRlD9uWESLYfO9m] X-Originating-Email: [neillclift@live.com] Message-ID: To: Help Glpk From: Neill Clift Date: Wed, 6 Jan 2016 12:06:46 -0800 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:38.0) Gecko/20100101 Thunderbird/38.5.0 MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 7bit X-OriginalArrivalTime: 06 Jan 2016 20:06:31.0574 (UTC) FILETIME=[BC4E9360:01D148BD] X-detected-operating-system: by eggs.gnu.org: Windows 7 or 8 [fuzzy] X-Received-From: 65.55.111.93 Subject: [Help-glpk] Hit an assert X-BeenThere: help-glpk@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Users list for GLPK \(GNU Linear Programming Kit\)" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 06 Jan 2016 20:06:38 -0000 Is this likely a problem with my code or a bug in glpk? Looks to be reproducible. I can dump more info if needed. Assertion failed: tcol[csa->p] != 0.0 Error detected in file ..\src\simplex\spydual.c at line 999 /* FIXME: tcol[p] and trow[q] should be close to each other */ xassert(tcol[csa->p] != 0.0); glpk_4_57.dll!abort() Line 88 C glpk_4_57.dll!errfunc(const char * fmt, ...) Line 55 C > glpk_4_57.dll!dual_simplex(csa * csa) Line 999 C glpk_4_57.dll!_glp_spy_dual(glp_prob * P, const glp_smcp * parm) Line 1158 C glpk_4_57.dll!solve_lp(glp_prob * P, const glp_smcp * parm) Line 250 C glpk_4_57.dll!glp_simplex(glp_prob * P, const glp_smcp * parm) Line 459 C glpk_4_57.dll!_glp_ios_solve_node(glp_tree * tree) Line 1359 C glpk_4_57.dll!_glp_ios_driver(glp_tree * T) Line 1036 C glpk_4_57.dll!solve_mip(glp_prob * P, const glp_iocp * parm, glp_prob * P0, NPP * npp) Line 252 C glpk_4_57.dll!glp_intopt(glp_prob * P, const glp_iocp * parm) Line 627 C split.exe!DoSimplex(_BLIST * List, unsigned long n, unsigned long index, _OPERATION operation, unsigned long min, unsigned char * Feasable) Line 1086 C From MAILER-DAEMON Thu Jan 07 07:29:10 2016 Received: from list by lists.gnu.org with archive (Exim 4.71) id 1aH9gj-0002pb-UO for mharc-help-glpk@gnu.org; Thu, 07 Jan 2016 07:29:09 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:46016) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aH9ge-0002kx-Dz for help-glpk@gnu.org; Thu, 07 Jan 2016 07:29:08 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aH9gb-0006Iy-6w for help-glpk@gnu.org; Thu, 07 Jan 2016 07:29:04 -0500 Received: from nm14-vm1.bullet.mail.ir2.yahoo.com ([212.82.96.189]:50309) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aH9ga-0006Is-Ry for help-glpk@gnu.org; Thu, 07 Jan 2016 07:29:01 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.fr; s=s2048; t=1452169739; bh=TLutM4Ex+ERVu8ukzfTus+jqxv9p7L81TgRpMpkXI5o=; h=Date:From:Reply-To:To:Subject:References:From:Subject; b=uBLKvYs8dyV4S9oZJID94lGx/8n7Lqsat6hA9kmI6yPrYS9hFkltWrINXPDq2cscsUogYhl/Dnfm6p9oNK/aN0tH78UHKL2sMZbzuMENOWa4ccSdLGQkL2BF4a0HJpvcchj5Z+SMLel213s5E4FaHXIkv3BAU8/lOTHFJ3Gw3dXCZCn3qy0X04iMz3v4MhEytjB8loaQR5JjG1XigJdmKi/tcCdk7J4HGUIcnx8izu3YolGqKLWo13Ifd/WyyAY/JFLjDjadv6bXcTu3eNYpfHoPjOkvl+I0yDAW3uUOW/I1GU7wuMXOcbzGI1HCXrLCQtNs/uh01fj/1yuLGkvvYQ== Received: from [212.82.98.56] by nm14.bullet.mail.ir2.yahoo.com with NNFMP; 07 Jan 2016 12:28:59 -0000 Received: from [212.82.98.83] by tm9.bullet.mail.ir2.yahoo.com with NNFMP; 07 Jan 2016 12:28:59 -0000 Received: from [127.0.0.1] by omp1020.mail.ir2.yahoo.com with NNFMP; 07 Jan 2016 12:28:59 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 319800.65712.bm@omp1020.mail.ir2.yahoo.com X-YMail-OSG: XtVItekVM1mWcUUePqi2LW6NDD.NO0NlT7_GNPAh0EYajHq_xrMtI6YiVFLQtzy aTqw7Pjs3auk9LQBqSiACX1XRSz9OcDV8XVxYDCzrra3qt6JHe8Alqm8w.O4HwkefQaHqsyboI.O e3awE6rQdoIQc7VoDoSl7gHFryvNXA7toPjlCWqjmzRgMN1sm.5VFuv75s_zpzq4l1kw9b52Rwg4 EDOK7euxrvxYz57748b.o06P7y29sE9H.TahlpA3o713FjhCjYtwvI3uyze.KTtu0KjwFoIiw6f_ RyNxMeftv60poCzIvdMP94ao4CRu4CPLzPCVC7G8Ks7t38XhGDTYUXh_pmth1H1mJ_DtRGGMA9t5 vMIjywYN.8zz14yafkW0M6YZWEoA9iwW2tQHztvzs4Verv1i69DuRjqYSOX6ioF3EWvmOWOr7aYI ylv8eQN831TL1iZVEEUsrcJAQ__ZYWTdKsQM3o6TmAsBvo.yI4MwfKLrhdihxCpLJCZ9M9pbXUwa 1lr8HbS_2zKvxFO4ebHwyashLRxhD._7EPA-- Received: by 212.82.98.120; Thu, 07 Jan 2016 12:28:58 +0000 Date: Thu, 7 Jan 2016 12:28:58 +0000 (UTC) From: esma mehiaoui To: GLPK Help List Message-ID: <379692572.2252913.1452169738214.JavaMail.yahoo@mail.yahoo.com> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_2252912_1000589630.1452169738211" References: <379692572.2252913.1452169738214.JavaMail.yahoo.ref@mail.yahoo.com> Content-Length: 3075 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 212.82.96.189 Subject: [Help-glpk] Improving the execution time of the MILP program X-BeenThere: help-glpk@gnu.org X-Mailman-Version: 2.1.14 Precedence: list Reply-To: esma mehiaoui List-Id: "Users list for GLPK \(GNU Linear Programming Kit\)" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 07 Jan 2016 12:29:08 -0000 ------=_Part_2252912_1000589630.1452169738211 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hello everyone, Is it true that the expression of the logical constraint (a and b) with the= following constraints { x <=3Da=C2=A0; x <=3D b=C2=A0; a+b <=3D x+1} is le= ss time consuming then its expression with the only constraint 0 <=3D a + b= =E2=80=93 2x <=3D 1 ?=C2=A0 Another question, in my program i have a constraint that computes the value= of the variable V as the sum of variables V1, V2 and V3 (V=3DV1+V2+V3 ). M= y problem is that the value of V is integer and it sould be real. For insta= nce, V=3D 23 rather than 23.3. Do you have any suggestion for the origin of= the problem ? Best regardsEsma ------=_Part_2252912_1000589630.1452169738211 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hell= o everyone,

Is it true that the exp= ression of the logical constraint (a and b) with the following constraints = { x <=3Da ; x <=3D b ; a+b <=3D x+1} is less ti= me consuming then its expression with the only constraint 0= <=3D a + b =E2=80=93 2x <=3D 1 ? 

Another question, in= my program i have a constraint that computes the value of the variable V a= s the sum of variables V1, V2 and V3 (V=3DV1+V2+V3 ). My problem is that th= e value of V is integer and it sould be real. For instance, V=3D 23 rather = than 23.3. Do you have any suggestion for the origin of the problem ?


<= span class=3D"" id=3D"yui_3_16_0_1_1452169225916_2239" style=3D"font-size:1= 1.0pt;">
Best regards
Esma
------=_Part_2252912_1000589630.1452169738211-- From MAILER-DAEMON Thu Jan 07 13:14:15 2016 Received: from list by lists.gnu.org with archive (Exim 4.71) id 1aHF4h-00034P-BN for mharc-help-glpk@gnu.org; Thu, 07 Jan 2016 13:14:15 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:53661) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aHF4e-00033G-Gz for help-glpk@gnu.org; Thu, 07 Jan 2016 13:14:13 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aHF4b-0005VV-3n for help-glpk@gnu.org; Thu, 07 Jan 2016 13:14:12 -0500 Received: from mail.cs.ndsu.nodak.edu ([134.129.125.92]:60019) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aHF4a-0005SI-Tc for help-glpk@gnu.org; Thu, 07 Jan 2016 13:14:09 -0500 Received: from mail.cs.ndsu.nodak.edu (localhost [127.0.0.1]) by mail.cs.ndsu.NoDak.edu (8.14.2/8.14.2/Debian-2build1) with ESMTP id u07IKxqb025429; Thu, 7 Jan 2016 12:20:59 -0600 Received: from localhost (hennebry@localhost) by mail.cs.ndsu.nodak.edu (8.14.2/8.14.2/Submit) with ESMTP id u07IKxgO025426; Thu, 7 Jan 2016 12:20:59 -0600 X-Authentication-Warning: mail.cs.ndsu.nodak.edu: hennebry owned process doing -bs Date: Thu, 7 Jan 2016 12:20:59 -0600 (CST) From: Michael Hennebry X-X-Sender: hennebry@mail.cs.ndsu.nodak.edu To: esma mehiaoui In-Reply-To: <379692572.2252913.1452169738214.JavaMail.yahoo@mail.yahoo.com> Message-ID: References: <379692572.2252913.1452169738214.JavaMail.yahoo.ref@mail.yahoo.com> <379692572.2252913.1452169738214.JavaMail.yahoo@mail.yahoo.com> User-Agent: Alpine 1.00 (DEB 882 2007-12-20) MIME-Version: 1.0 Content-Type: MULTIPART/MIXED; BOUNDARY="-2121900931-2047305559-1452190859=:24581" X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 134.129.125.92 Cc: GLPK Help List Subject: Re: [Help-glpk] Improving the execution time of the MILP program X-BeenThere: help-glpk@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Users list for GLPK \(GNU Linear Programming Kit\)" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 07 Jan 2016 18:14:13 -0000 This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. ---2121900931-2047305559-1452190859=:24581 Content-Type: TEXT/PLAIN; format=flowed; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-MIME-Autoconverted: from 8bit to quoted-printable by mail.cs.ndsu.NoDak.edu id u07IKxqb025429 On Thu, 7 Jan 2016, esma mehiaoui wrote: > Is it true that the expression of the logical constraint (a and b) with= the following constraints { x <=3Da=C2=A0; x <=3D b=C2=A0; a+b <=3D x+1}= is less time consuming then its expression with the only constraint 0 <=3D= a + b =E2=80=93 2x <=3D 1 ?=C2=A0 It took me a while to suspect the by "logical constraint" you meant that a, b and x were binary variables. Quite probably, it is true. The linear relaxation of the former is tighter than that of the latter. Assuming the linear relaxation includes 0<=3Da,b,x<=3D1, The first set of constraints defines the convex hull. Tighter is not possible with linear constraints. The second set of constraints allows a=3D1=3Db, x=3D0.5 , but the first does not. > Another question, in my program i have a constraint that computes the v= alue of the variable V as the sum of variables V1, V2 and V3 (V=3DV1+V2+V= 3 ). My problem is that the value of V is integer and it sould be real. F= or instance, V=3D 23 rather than 23.3. Do you have any suggestion for the= origin of the problem ? Perhaps you have a flag that says all variables are integer. --=20 Michael hennebry@web.cs.ndsu.NoDak.edu "Sorry but your password must contain an uppercase letter, a number, a haiku, a gang sign, a heiroglyph, and the blood of a virgin." -- someeec= ards ---2121900931-2047305559-1452190859=:24581-- From MAILER-DAEMON Sat Jan 09 19:16:52 2016 Received: from list by lists.gnu.org with archive (Exim 4.71) id 1aI3gi-0000gX-0A for mharc-help-glpk@gnu.org; Sat, 09 Jan 2016 19:16:52 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:48691) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aI3gf-0000g7-BQ for help-glpk@gnu.org; Sat, 09 Jan 2016 19:16:50 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aI3gb-0006cL-9G for help-glpk@gnu.org; Sat, 09 Jan 2016 19:16:49 -0500 Received: from blu004-omc2s34.hotmail.com ([65.55.111.109]:64048) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aI3gb-0006cH-4J for help-glpk@gnu.org; Sat, 09 Jan 2016 19:16:45 -0500 Received: from BLU436-SMTP1 ([65.55.111.73]) by BLU004-OMC2S34.hotmail.com over TLS secured channel with Microsoft SMTPSVC(7.5.7601.23008); Sat, 9 Jan 2016 15:52:46 -0800 X-TMN: [O5UPhavA2lZjTMJQo2SX4nRXh6LdhmUl] X-Originating-Email: [neillclift@live.com] Message-ID: To: help-glpk@gnu.org References: From: Neill Clift Date: Sat, 9 Jan 2016 15:52:44 -0800 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:38.0) Gecko/20100101 Thunderbird/38.5.1 MIME-Version: 1.0 In-Reply-To: Content-Type: multipart/mixed; boundary="------------040809090407020305000605" X-OriginalArrivalTime: 09 Jan 2016 23:52:45.0992 (UTC) FILETIME=[D687A280:01D14B38] X-detected-operating-system: by eggs.gnu.org: Windows 7 or 8 [fuzzy] X-Received-From: 65.55.111.109 Subject: Re: [Help-glpk] Hit an assert X-BeenThere: help-glpk@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Users list for GLPK \(GNU Linear Programming Kit\)" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 10 Jan 2016 00:16:51 -0000 --------------040809090407020305000605 Content-Type: text/plain; charset="windows-1252"; format=flowed Content-Transfer-Encoding: 7bit Hi, My code calls glpk with an integer program to solve hundreds of thousands of times. I tried writing out the problematic problem with glp_write_prob but it wouldn't read that back in. Using glp_write_lp or glp_write_mps followed by the read function would create a problem that could be solved. So I got the program to write out some code to reproduce it. See the attached routine. I am running this on Windows 10 x64. Compiled the library with VS 2015. Stack looks like this: glpk_4_57.dll!abort() Line 88 C glpk_4_57.dll!errfunc(const char * fmt, ...) Line 55 C glpk_4_57.dll!_glp_sgf_reduce_nuc(LUF * luf, int * k1_, int * k2_, int * cnt, int * list) Line 185 C glpk_4_57.dll!_glp_sgf_factorize(SGF * sgf, int singl) Line 1343 C glpk_4_57.dll!_glp_lufint_factorize(LUFINT * fi, int n, int(*)(void *, int, int *, double *) col, void * info) Line 146 C glpk_4_57.dll!_glp_fhvint_factorize(FHVINT * fi, int n, int(*)(void *, int, int *, double *) col, void * info) Line 52 C glpk_4_57.dll!_glp_bfd_factorize(BFD * bfd, int m, int(*)(void *, int, int *, double *) col1, void * info1) Line 218 C glpk_4_57.dll!_glp_spx_factorize(SPXLP * lp) Line 56 C glpk_4_57.dll!dual_simplex(csa * csa) Line 745 C glpk_4_57.dll!_glp_spy_dual(glp_prob * P, const glp_smcp * parm) Line 1158 C glpk_4_57.dll!solve_lp(glp_prob * P, const glp_smcp * parm) Line 250 C glpk_4_57.dll!glp_simplex(glp_prob * P, const glp_smcp * parm) Line 459 C glpk_4_57.dll!_glp_ios_solve_node(glp_tree * tree) Line 1359 C glpk_4_57.dll!_glp_ios_driver(glp_tree * T) Line 1036 C glpk_4_57.dll!solve_mip(glp_prob * P, const glp_iocp * parm, glp_prob * P0, NPP * npp) Line 252 C glpk_4_57.dll!preprocess_and_solve_mip(glp_prob * P, const glp_iocp * parm) Line 411 C glpk_4_57.dll!glp_intopt(glp_prob * P, const glp_iocp * parm) Line 630 C split.exe!error() Line 1644 C Thanks. Neill. On 1/6/2016 12:06 PM, Neill Clift wrote: > Is this likely a problem with my code or a bug in glpk? Looks to be > reproducible. I can dump more info if needed. > > Assertion failed: tcol[csa->p] != 0.0 > Error detected in file ..\src\simplex\spydual.c at line 999 > > /* FIXME: tcol[p] and trow[q] should be close to each other */ > xassert(tcol[csa->p] != 0.0); > > glpk_4_57.dll!abort() Line 88 C > glpk_4_57.dll!errfunc(const char * fmt, ...) Line 55 C > > glpk_4_57.dll!dual_simplex(csa * csa) Line 999 C > glpk_4_57.dll!_glp_spy_dual(glp_prob * P, const glp_smcp * parm) > Line 1158 C > glpk_4_57.dll!solve_lp(glp_prob * P, const glp_smcp * parm) Line > 250 C > glpk_4_57.dll!glp_simplex(glp_prob * P, const glp_smcp * parm) > Line 459 C > glpk_4_57.dll!_glp_ios_solve_node(glp_tree * tree) Line 1359 C > glpk_4_57.dll!_glp_ios_driver(glp_tree * T) Line 1036 C > glpk_4_57.dll!solve_mip(glp_prob * P, const glp_iocp * parm, > glp_prob * P0, NPP * npp) Line 252 C > glpk_4_57.dll!glp_intopt(glp_prob * P, const glp_iocp * parm) > Line 627 C > split.exe!DoSimplex(_BLIST * List, unsigned long n, unsigned long > index, _OPERATION operation, unsigned long min, unsigned char * > Feasable) Line 1086 C > > > > _______________________________________________ > Help-glpk mailing list > Help-glpk@gnu.org > https://lists.gnu.org/mailman/listinfo/help-glpk --------------040809090407020305000605 Content-Type: text/plain; charset="UTF-8"; name="error.c" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename="error.c" void error(void) { int ia[] = {0, 1, 2, 2, 2, 3, 3, 4, 4, 5, 5, 6, 6, 7, 7, 8, 8, 9, 9, 10, 10, 10, 11, 11, 12, 12, 12, 13, 13, 14, 14, 14, 15, 15, 16, 16, 16, 17, 17, 18, 18, 19, 19, 20, 20, 21, 21, 22, 22, 23, 23, 24, 24, 25, 25, 26, 26, 27, 27, 28, 28, 29, 29, 30, 30, 31, 31, 32, 32, 33, 33, 34, 34, 35, 35, 36, 36, 37, 37, 38, 38, 39, 39, 40, 40, 40, 41, 41, 42, 42, 43, 43, 44, 44, 45 }; int ja[] = {0, 1, 1, 2, 7, 1, 2, 2, 3, 2, 3, 3, 4, 3, 4, 4, 5, 4, 5, 5, 6, 7, 5, 6, 6, 7, 21, 6, 7, 7, 8, 9, 7, 8, 8, 9, 24, 8, 9, 9, 10, 9, 10, 10, 11, 10, 11, 11, 12, 11, 12, 12, 13, 12, 13, 13, 14, 13, 14, 14, 15, 14, 15, 15, 16, 15, 16, 16, 17, 16, 17, 17, 18, 17, 18, 18, 19, 18, 19, 19, 20, 19, 20, 20, 22, 23, 20, 21, 21, 22, 22, 23, 23, 24, 24 }; double ar[] = {0.0, 1.0, 1.0, -1.0, -1.0, 1.0, -1.0, 1.0, -2.0, 1.0, -1.0, 1.0, -2.0, 1.0, -1.0, 1.0, -2.0, 1.0, -1.0, 1.0, -1.0, -1.0, 1.0, -1.0, 1.0, -1.0, -1.0, 1.0, -1.0, 1.0, -1.0, -1.0, 1.0, -1.0, 1.0, -1.0, -1.0, 1.0, -1.0, 1.0, -2.0, 1.0, -1.0, 1.0, -2.0, 1.0, -1.0, 1.0, -2.0, 1.0, -1.0, 1.0, -2.0, 1.0, -1.0, 1.0, -2.0, 1.0, -1.0, 1.0, -2.0, 1.0, -1.0, 1.0, -2.0, 1.0, -1.0, 1.0, -2.0, 1.0, -1.0, 1.0, -2.0, 1.0, -1.0, 1.0, -2.0, 1.0, -1.0, 1.0, -2.0, 1.0, -1.0, 1.0, -1.0, -1.0, 1.0, -1.0, 1.0, -1.0, 1.0, -1.0, 1.0, -1.0, 1.0}; glp_prob *lp = glp_create_prob(); glp_set_prob_name(lp, "Addition Chain Bounds"); glp_set_obj_dir(lp, GLP_MIN); glp_add_rows(lp, 45); glp_add_cols(lp, 24); glp_set_row_bnds(lp, 1, GLP_FX, 1000001.0, 1000001.000000); glp_set_row_bnds(lp, 2, GLP_FX, 0.0, 0.0); glp_set_row_bnds(lp, 3, GLP_LO, 1.0, 0.0); glp_set_row_bnds(lp, 4, GLP_FX, 0.0, 0.0); glp_set_row_bnds(lp, 5, GLP_LO, 1.0, 0.0); glp_set_row_bnds(lp, 6, GLP_FX, 0.0, 0.0); glp_set_row_bnds(lp, 7, GLP_LO, 1.0, 0.0); glp_set_row_bnds(lp, 8, GLP_FX, 0.0, 0.0); glp_set_row_bnds(lp, 9, GLP_LO, 1.0, 0.0); glp_set_row_bnds(lp, 10, GLP_FX, 0.0, 0.0); glp_set_row_bnds(lp, 11, GLP_LO, 1.0, 0.0); glp_set_row_bnds(lp, 12, GLP_FX, 0.0, 0.0); glp_set_row_bnds(lp, 13, GLP_LO, 1.0, 0.0); glp_set_row_bnds(lp, 14, GLP_FX, 0.0, 0.0); glp_set_row_bnds(lp, 15, GLP_LO, 1.0, 0.0); glp_set_row_bnds(lp, 16, GLP_FX, 0.0, 0.0); glp_set_row_bnds(lp, 17, GLP_LO, 1.0, 0.0); glp_set_row_bnds(lp, 18, GLP_FX, 0.0, 0.0); glp_set_row_bnds(lp, 19, GLP_LO, 1.0, 0.0); glp_set_row_bnds(lp, 20, GLP_FX, 0.0, 0.0); glp_set_row_bnds(lp, 21, GLP_LO, 1.0, 0.0); glp_set_row_bnds(lp, 22, GLP_FX, 0.0, 0.0); glp_set_row_bnds(lp, 23, GLP_LO, 1.0, 0.0); glp_set_row_bnds(lp, 24, GLP_FX, 0.0, 0.0); glp_set_row_bnds(lp, 25, GLP_LO, 1.0, 0.0); glp_set_row_bnds(lp, 26, GLP_FX, 0.0, 0.0); glp_set_row_bnds(lp, 27, GLP_LO, 1.0, 0.0); glp_set_row_bnds(lp, 28, GLP_FX, 0.0, 0.0); glp_set_row_bnds(lp, 29, GLP_LO, 1.0, 0.0); glp_set_row_bnds(lp, 30, GLP_FX, 0.0, 0.0); glp_set_row_bnds(lp, 31, GLP_LO, 1.0, 0.0); glp_set_row_bnds(lp, 32, GLP_FX, 0.0, 0.0); glp_set_row_bnds(lp, 33, GLP_LO, 1.0, 0.0); glp_set_row_bnds(lp, 34, GLP_FX, 0.0, 0.0); glp_set_row_bnds(lp, 35, GLP_LO, 1.0, 0.0); glp_set_row_bnds(lp, 36, GLP_FX, 0.0, 0.0); glp_set_row_bnds(lp, 37, GLP_LO, 1.0, 0.0); glp_set_row_bnds(lp, 38, GLP_FX, 0.0, 0.0); glp_set_row_bnds(lp, 39, GLP_LO, 1.0, 0.0); glp_set_row_bnds(lp, 40, GLP_FX, 0.0, 0.0); glp_set_row_bnds(lp, 41, GLP_LO, 1.0, 0.0); glp_set_row_bnds(lp, 42, GLP_LO, 1.0, 0.0); glp_set_row_bnds(lp, 43, GLP_LO, 1.0, 0.0); glp_set_row_bnds(lp, 44, GLP_LO, 1.0, 0.0); glp_set_row_bnds(lp, 45, GLP_LO, 1.0, 0.0); glp_set_col_bnds(lp, 1, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 1, GLP_IV); glp_set_col_bnds(lp, 2, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 2, GLP_IV); glp_set_col_bnds(lp, 3, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 3, GLP_IV); glp_set_col_bnds(lp, 4, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 4, GLP_IV); glp_set_col_bnds(lp, 5, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 5, GLP_IV); glp_set_col_bnds(lp, 6, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 6, GLP_IV); glp_set_col_bnds(lp, 7, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 7, GLP_IV); glp_set_col_bnds(lp, 8, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 8, GLP_IV); glp_set_col_bnds(lp, 9, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 9, GLP_IV); glp_set_col_bnds(lp, 10, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 10, GLP_IV); glp_set_col_bnds(lp, 11, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 11, GLP_IV); glp_set_col_bnds(lp, 12, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 12, GLP_IV); glp_set_col_bnds(lp, 13, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 13, GLP_IV); glp_set_col_bnds(lp, 14, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 14, GLP_IV); glp_set_col_bnds(lp, 15, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 15, GLP_IV); glp_set_col_bnds(lp, 16, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 16, GLP_IV); glp_set_col_bnds(lp, 17, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 17, GLP_IV); glp_set_col_bnds(lp, 18, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 18, GLP_IV); glp_set_col_bnds(lp, 19, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 19, GLP_IV); glp_set_col_bnds(lp, 20, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 20, GLP_IV); glp_set_col_bnds(lp, 21, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 21, GLP_IV); glp_set_col_bnds(lp, 22, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 22, GLP_IV); glp_set_col_bnds(lp, 23, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 23, GLP_IV); glp_set_col_bnds(lp, 24, GLP_LO, 1.0, 0.0); glp_set_col_kind(lp, 24, GLP_IV); glp_set_obj_coef(lp, 21, 1.0); glp_term_out(GLP_OFF); int iai = sizeof(ia) / sizeof(ia[0]) - 1; glp_load_matrix(lp, iai, ia, ja, ar); glp_iocp param; glp_init_iocp(¶m); param.presolve = GLP_ON; if (glp_intopt(lp, ¶m) == 0 && glp_mip_status(lp) == GLP_OPT) { double z = glp_mip_obj_val(lp); } } --------------040809090407020305000605-- From MAILER-DAEMON Mon Jan 11 03:11:45 2016 Received: from list by lists.gnu.org with archive (Exim 4.71) id 1aIXZp-0007rn-IX for mharc-help-glpk@gnu.org; Mon, 11 Jan 2016 03:11:45 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:43696) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aIXZm-0007rP-P1 for help-glpk@gnu.org; Mon, 11 Jan 2016 03:11:44 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aIXZi-00028M-LG for help-glpk@gnu.org; Mon, 11 Jan 2016 03:11:42 -0500 Received: from nm27.bullet.mail.ir2.yahoo.com ([212.82.96.51]:60987) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aIXZi-000282-B5 for help-glpk@gnu.org; Mon, 11 Jan 2016 03:11:38 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.fr; s=s2048; t=1452499896; bh=uIuI+wbUAAHSzai6WhBhFlYruBPTngYDOOtWJfYv//4=; h=Date:From:Reply-To:To:In-Reply-To:References:Subject:From:Subject; b=mzh/nMJQ5D5TVJft0mBroxLcj3q82BrWjJbIAotEZkjFEpFAQXFcqwL7zGaiDvavjO+M4lY2+V4VxeXQE+Jr3Ne5xtmQOO+t/SZNh7qrJE9aX43Oa/8IehMA/Jy6VOEH7euUh8S93ZVzdOVOdKSwpZAmdtzYnu21uau+7TS/BexvCJOPg2dau+1mdT2AC3ap7c3+EoLbY+nkj6KrW1O2CvxScMPXj4I7iFj2Ap6BGCb9SgRQwW3nn5sCK8svX4+DxFVWUBco8i8A15XmOj5nMTXITLOekoRw49ObmfiFIF6vLivCF5jI5+fqATqPxGREgalxuoBPxqXaGe3NEWcEew== Received: from [212.82.98.125] by nm27.bullet.mail.ir2.yahoo.com with NNFMP; 11 Jan 2016 08:11:36 -0000 Received: from [212.82.98.99] by tm18.bullet.mail.ir2.yahoo.com with NNFMP; 11 Jan 2016 08:11:36 -0000 Received: from [127.0.0.1] by omp1036.mail.ir2.yahoo.com with NNFMP; 11 Jan 2016 08:11:36 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 174749.6515.bm@omp1036.mail.ir2.yahoo.com X-YMail-OSG: LLxT.VsVM1nzJrX750OR4M457nzovCLHNyBT_Mgm61d41l6SXWrK5ZxZJ4trwf5 pYxovIqVAPCWGDpyruUebz3E8PJFBmmdXMG05xUy.73z2DwBIs7yB5BSSIekDTxRZnJRWvsct8_M 83bHLqO2aKKSyM9QvHDg6c.SuCFXVpccKQxRVRQ0HygVrcafAnHSm3E764.7xcoX9Mb8T237v7nX BgeFeSjaY6hSCbF6izXBl4fibkSjxXGQEJSW0Du4BJHZoF6svBr8ySD4BDsLmUfrtBIrMvy3N0lT HW61XDRvYFJS7ZpETAob_6oNY4IjN8z5RtRSL6DGJK5CIvOLGkCO5Rzn8Hd_3gbaECtq90LSWNdW MWQJTfBXD5TJFfLzO9yH0tAuRgxDE8Rk4PfFDeGmO2SmjQM4EnnE5k679Cfe2x2sBmdMMuUDjXse VW8yivKDyOD3j8d.yKt7BCb99S749DM1gdG3MVaypB5StJTRqnTuehQOfck_oqJJ5tc7UFu09Cup cjk.tq9yI_LLDpER9JinfDR3lVhDNO.8PwOl3mI61MdvZfUxy31fuE3aETuFBTbYpyNpOo7oQ Received: by 212.82.98.117; Mon, 11 Jan 2016 08:11:35 +0000 Date: Mon, 11 Jan 2016 08:11:34 +0000 (UTC) From: esma mehiaoui To: Michael Hennebry , GLPK Help List Message-ID: <1099591669.4793438.1452499894849.JavaMail.yahoo@mail.yahoo.com> In-Reply-To: References: MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_4793437_1349987365.1452499894845" Content-Length: 8668 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 212.82.96.51 Subject: Re: [Help-glpk] Improving the execution time of the MILP program X-BeenThere: help-glpk@gnu.org X-Mailman-Version: 2.1.14 Precedence: list Reply-To: esma mehiaoui List-Id: "Users list for GLPK \(GNU Linear Programming Kit\)" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 11 Jan 2016 08:11:44 -0000 ------=_Part_4793437_1349987365.1452499894845 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable No, i do not see any other reasons. Esma Le Vendredi 8 janvier 2016 17h56, Michael Hennebry a =C3=A9crit : =20 =20 The quoting is horrible. Is there any other reason you did not send to the list? On Fri, 8 Jan 2016, esma mehiaoui wrote: > > > >=C2=A0 =C2=A0 Le Jeudi 7 janvier 2016 19h14, Michael Hennebry a =C3=A9crit : > > > On Thu, 7 Jan 2016, esma mehiaoui wrote: > >> Is it true that the expression of the logical constraint (a and b) with = the following constraints { x <=3Da=C2=A0; x <=3D b=C2=A0; a+b <=3D x+1} is= less time consuming then its expression with the only constraint 0 <=3D a = + b =E2=80=93 2x <=3D 1 ?=C2=A0 > > It took me a while to suspect the by "logical constraint" > you meant that a, b and x were binary variables. >>> YES, I MEANT BINARY VARIABLES. SORRY > > Quite probably, it is true. > The linear relaxation of the former is tighter than that of the latter. > Assuming the linear relaxation includes 0<=3Da,b,x<=3D1, > The first set of constraints defines the convex hull. > Tighter is not possible with linear constraints. > The second set of constraints allows a=3D1=3Db, x=3D0.5 , > but the first does not. >>> THANK YOU FOR YOUR EXPLANATION > >> Another question, in my program i have a constraint that computes the va= lue of the variable V as the sum of variables V1, V2 and V3 (V=3DV1+V2+V3 )= . My problem is that the value of V is integer and it sould be real. For in= stance, V=3D 23 rather than 23.3. Do you have any suggestion for the origin= of the problem ? > > Perhaps you have a flag that says all variables are integer. >>> =C2=A0 NO, THIS IS NOT THE CASE BUT I NOTICED SOMETHING.>> WHEN MY SUM = SHOULD BE EQUAL TO 200021.3, IT IS EQUAL TO 200021.=C2=A0>> AND WHEN I REDU= CED THE VALUES OF V1,V2 AND V3, MY SUM IS CORRECT IT IS FOR INSTANCE 20021.= 3. >>> Best regards >>> Esma > > -- > Michael=C2=A0 hennebry@web.cs.ndsu.NoDak.edu > "Sorry but your password must contain an uppercase letter, a number, > a haiku, a gang sign, a heiroglyph, and the blood of a virgin." > =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 --=C2= =A0 someeecards > > --=20 Michael=C2=A0 hennebry@web.cs.ndsu.NoDak.edu "Sorry but your password must contain an uppercase letter, a number, a haiku, a gang sign, a heiroglyph, and the blood of a virgin." =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 --=C2= =A0 someeecards ------=_Part_4793437_1349987365.1452499894845 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
No, i do not see= any other reasons.


Esma


Le Vend= redi 8 janvier 2016 17h56, Michael Hennebry <hennebry@web.cs.ndsu.nodak.= edu> a =C3=A9crit :



The quoting= is horrible.
Is there any other reason you did not send = to the list?

On Fri, 8 Jan 2016, esma = mehiaoui wrote:

>
>
>
>    Le Jeudi 7= janvier 2016 19h14, Michael Hennebry <hennebry@web.cs.ndsu.nodak.edu> a =C3=A9crit :
>
>
> On Thu, 7 Jan 2016, = esma mehiaoui wrote:
>
>> Is i= t true that the expression of the logical constraint (a and b) with the fol= lowing constraints { x <=3Da ; x <=3D b ; a+b <=3D x+1} = is less time consuming then its expression with the only constraint 0 <= =3D a + b =E2=80=93 2x <=3D 1 ? 
>
> It took me a while to suspect the by "logical constraint"
> you meant that a, b and x were binary variables.
>>> YES, I MEANT BINARY VARIABLES. SORRY
>
> Quite probably, it is true.
> The linear relaxation of the former is tighter than that of the latt= er.
> Assuming the linear relaxation includes 0<=3D= a,b,x<=3D1,
> The first set of constraints defines = the convex hull.
> Tighter is not possible with linear= constraints.
> The second set of constraints allows a= =3D1=3Db, x=3D0.5 ,
> but the first does not.
>>> THANK YOU FOR YOUR EXPLANATION
>= ;
>> Another question, in my program i have a const= raint that computes the value of the variable V as the sum of variables V1,= V2 and V3 (V=3DV1+V2+V3 ). My problem is that the value of V is integer an= d it sould be real. For instance, V=3D 23 rather than 23.3. Do you have any= suggestion for the origin of the problem ?
>
> Perhaps you have a flag that says all variables are integer.=
>>>   NO, THIS IS NOT THE CASE BUT I NOTIC= ED SOMETHING.>> WHEN MY SUM SHOULD BE EQUAL TO 200021.3, IT IS EQUAL = TO 200021. >> AND WHEN I REDUCED THE VALUES OF V1,V2 AND V3, MY = SUM IS CORRECT IT IS FOR INSTANCE 20021.3.
>>> B= est regards
>>> Esma
>
> --
> Michael  hennebry@web.cs.ndsu.NoDak.edu
> "Sorry but your password must contain an uppercase letter, a number,=
> a haiku, a gang sign, a heiroglyph, and the blood o= f a virgin."
>           &nbs= p;                     &n= bsp;                     =         --  someeecards

>
>

--
Michael  hennebry@web.cs.ndsu.NoDak.edu
"Sorry but your password must contain an uppercase letter, a numb= er,
a haiku, a gang sign, a heiroglyph, and the blood of = a virgin."
            &nbs= p;                     &n= bsp;                     =       --  someeecards


------=_Part_4793437_1349987365.1452499894845-- From MAILER-DAEMON Tue Jan 12 07:11:43 2016 Received: from list by lists.gnu.org with archive (Exim 4.71) id 1aIxnb-0007zs-3b for mharc-help-glpk@gnu.org; Tue, 12 Jan 2016 07:11:43 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:54190) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aIxnY-0007zi-Az for help-glpk@gnu.org; Tue, 12 Jan 2016 07:11:41 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aIxnT-0003ib-Ih for help-glpk@gnu.org; Tue, 12 Jan 2016 07:11:40 -0500 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:35747) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aIxnT-0003iX-Fe for help-glpk@gnu.org; Tue, 12 Jan 2016 07:11:35 -0500 Received: from [195.9.86.104] (port=40895 helo=[192.168.1.66]) by fencepost.gnu.org with esmtpa (Exim 4.82) (envelope-from ) id 1aIxnS-0000aZ-T7 for help-glpk@gnu.org; Tue, 12 Jan 2016 07:11:35 -0500 Message-ID: <1452600750.3464.0.camel@corvax> From: Andrew Makhorin To: help-glpk@gnu.org Date: Tue, 12 Jan 2016 15:12:30 +0300 Content-Type: text/plain; charset="UTF-8" X-Mailer: Evolution 3.4.4-3 Mime-Version: 1.0 Content-Transfer-Encoding: 8bit X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e Subject: [Help-glpk] [Fwd: glp_intopt conversion of solutions via callback] X-BeenThere: help-glpk@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Users list for GLPK \(GNU Linear Programming Kit\)" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 12 Jan 2016 12:11:42 -0000 -------- Forwarded Message -------- From: Sascha Brügmann To: help-glpk@gnu.org Subject: glp_intopt conversion of solutions via callback Date: Mon, 11 Jan 2016 22:05:35 +0100 Hi, I use GLPKs glp_intopt. As I always have an (mostly non-optimal) feasible solution to all of my problem-LPs I need a way to inject these initial solutions. I've tried the callback-way like described here https://lists.gnu.org/archive/html/help-glpk/2012-02/msg00031.html. Question 1: Documentation for GLPK 4.57 chapter "5.2.7 glp_ios_heur_sol" talks about 'original problem' such that one can think that glp_ios_heur_sol accepts a solution for the non-preprocessed-mip which is then converted to preprocessed-mip automatically. This contrasts to what has been written on the upper link i've posted. Who is right? Question 2: If glp_ios_heur_sol requires the provided solution in presolved-mip-format, how can I convert a solution from non-presolved-mip-format (the original LP-problem) to presolved-mip-format? Thanks From MAILER-DAEMON Thu Jan 14 14:10:44 2016 Received: from list by lists.gnu.org with archive (Exim 4.71) id 1aJnIC-0007yJ-JS for mharc-help-glpk@gnu.org; Thu, 14 Jan 2016 14:10:44 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:37114) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aJnIA-0007xz-Ft for help-glpk@gnu.org; Thu, 14 Jan 2016 14:10:43 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aJnI6-0008SB-75 for help-glpk@gnu.org; Thu, 14 Jan 2016 14:10:42 -0500 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:53700) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aJnI6-0008S5-3Z for help-glpk@gnu.org; Thu, 14 Jan 2016 14:10:38 -0500 Received: from [195.9.86.104] (port=58041 helo=[192.168.1.66]) by fencepost.gnu.org with esmtpa (Exim 4.82) (envelope-from ) id 1aJnI5-0007uV-Hc for help-glpk@gnu.org; Thu, 14 Jan 2016 14:10:37 -0500 Message-ID: <1452798695.3793.1.camel@corvax> From: Andrew Makhorin To: help-glpk@gnu.org Date: Thu, 14 Jan 2016 22:11:35 +0300 Content-Type: text/plain; charset="UTF-8" X-Mailer: Evolution 3.4.4-3 Mime-Version: 1.0 Content-Transfer-Encoding: 8bit X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e Subject: [Help-glpk] [Fwd: Help] X-BeenThere: help-glpk@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Users list for GLPK \(GNU Linear Programming Kit\)" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 14 Jan 2016 19:10:43 -0000 -------- Forwarded Message -------- From: L. Felipe Castañeda G. To: help-glpk@gnu.org Subject: Help Date: Thu, 14 Jan 2016 10:35:31 -0500 Hi. In a GLPK model I have the following constraint CHd {(i,t) in GH: t-1 != 0}: V[i,t] = V[i,t-1] + g[i,t]*r[i,t] - S[i,t] - g[i,t]*k[i,t]; But I need to set an initial value for V[i,t]. I mean, I want to set V[i,1] = 60. How can I do that? Thanks for any support. -- L. Felipe Castañeda G. C.C. 75084890 From MAILER-DAEMON Thu Jan 14 22:28:12 2016 Received: from list by lists.gnu.org with archive (Exim 4.71) id 1aJv3b-0002Mf-VJ for mharc-help-glpk@gnu.org; Thu, 14 Jan 2016 22:28:11 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:48452) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aJv3a-0002MV-KO for help-glpk@gnu.org; Thu, 14 Jan 2016 22:28:11 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aJv3Z-0002ox-Q9 for help-glpk@gnu.org; Thu, 14 Jan 2016 22:28:10 -0500 Received: from mail.cs.ndsu.nodak.edu ([134.129.125.92]:43155) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aJv3W-0002o8-11; Thu, 14 Jan 2016 22:28:06 -0500 Received: from mail.cs.ndsu.nodak.edu (localhost [127.0.0.1]) by mail.cs.ndsu.NoDak.edu (8.14.2/8.14.2/Debian-2build1) with ESMTP id u0F3ZqwZ021074; Thu, 14 Jan 2016 21:35:52 -0600 Received: from localhost (hennebry@localhost) by mail.cs.ndsu.nodak.edu (8.14.2/8.14.2/Submit) with ESMTP id u0F3ZqqX021071; Thu, 14 Jan 2016 21:35:52 -0600 X-Authentication-Warning: mail.cs.ndsu.nodak.edu: hennebry owned process doing -bs Date: Thu, 14 Jan 2016 21:35:52 -0600 (CST) From: Michael Hennebry X-X-Sender: hennebry@mail.cs.ndsu.nodak.edu To: Andrew Makhorin In-Reply-To: <1452798695.3793.1.camel@corvax> Message-ID: References: <1452798695.3793.1.camel@corvax> User-Agent: Alpine 1.00 (DEB 882 2007-12-20) MIME-Version: 1.0 Content-Type: MULTIPART/MIXED; BOUNDARY="-2121900931-262262904-1452828952=:21030" X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 134.129.125.92 Cc: help-glpk@gnu.org Subject: Re: [Help-glpk] [Fwd: Help] X-BeenThere: help-glpk@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Users list for GLPK \(GNU Linear Programming Kit\)" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 15 Jan 2016 03:28:11 -0000 This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. ---2121900931-262262904-1452828952=:21030 Content-Type: TEXT/PLAIN; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable X-MIME-Autoconverted: from 8bit to quoted-printable by mail.cs.ndsu.NoDak.edu id u0F3ZqwZ021074 On Thu, 14 Jan 2016, L. Felipe Casta=C3=B1eda G. wr= ote: > CHd {(i,t) in GH: t-1 !=3D 0}: V[i,t] =3D V[i,t-1] + g[i,t]*r[i,t] -= =20 > S[i,t] - g[i,t]*k[i,t]; > > But I need to set an initial value for V[i,t]. I mean, I want to set=20 > V[i,1] =3D 60. > > How can I do that? You mean fred { (i,t) in GH: t=3D1 } : V[i,1] =3D 60 ? --=20 Michael hennebry@web.cs.ndsu.NoDak.edu "Sorry but your password must contain an uppercase letter, a number, a haiku, a gang sign, a heiroglyph, and the blood of a virgin." -- someeec= ards ---2121900931-262262904-1452828952=:21030-- From MAILER-DAEMON Fri Jan 15 14:21:15 2016 Received: from list by lists.gnu.org with archive (Exim 4.71) id 1aK9vv-0008Kh-UQ for mharc-help-glpk@gnu.org; Fri, 15 Jan 2016 14:21:15 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:46029) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aK9vu-0008KP-BO for help-glpk@gnu.org; Fri, 15 Jan 2016 14:21:15 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aK9vq-00049S-4D for help-glpk@gnu.org; Fri, 15 Jan 2016 14:21:14 -0500 Received: from mout.gmx.net ([212.227.17.21]:61339) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aK9vp-00049O-RV; Fri, 15 Jan 2016 14:21:10 -0500 Received: from [192.168.123.49] ([37.24.8.189]) by mail.gmx.com (mrgmx101) with ESMTPSA (Nemesis) id 0LrrRi-1aAulx0RAM-013i1z; Fri, 15 Jan 2016 20:21:07 +0100 To: =?UTF-8?Q?Sascha_Br=c3=bcgmann?= , help-glpk@gnu.org, Andrew Makhorin References: <1452600750.3464.0.camel@corvax> From: Heinrich Schuchardt X-Enigmail-Draft-Status: N1110 Message-ID: <56994699.8010208@gmx.de> Date: Fri, 15 Jan 2016 20:20:57 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Icedove/38.5.0 MIME-Version: 1.0 In-Reply-To: <1452600750.3464.0.camel@corvax> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Provags-ID: V03:K0:vpmdy4Tz4gMaCAh93oKnAwVvk0tvvrE2wEUfDpy6d1ElildEPnE ZmUzKDFtgSIvwWG+9BwMUV/UCifWHQJURv6nkAi7xGcC8/+140q/rZacA4vCQSP9pahsoYP LaevdbiSfTG8Z3DKNP57AlhDwdLPjJ1Cb7lfYaGSiWNnHcUIvT1UqQDPsjDBrXf9IYHs2oe spmk1OuZLW0R/7k5XFhXQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:qZStN3In3aE=:OxV37f6yBFRbT7cEq3z3CD 3EBBzZP1Vk0eRbtKO+K4gFrNx333H8C6m48IVyLvXLxfoJo1WYuSFmmgctG/IgUbs/Kb9zESH WcV6Ofem+QXfn8Hz+PrQrnN+qHoKIxc0sHwnAUcDwKcSxeqdc2kZNMu1ePgyLv8yotkkgQo8p HNCvsuvLvQm/HRQjaYLxFmc7rG3JohKLGrdQp/OadTqLrg7miRa4yxZuyaykClKuduohs4MsK JgXLJyNxAUsmpiBAkNtrurJ88BdsYRa7uEb+JXe2HzW/rjphiOVGrQOts8YbmZSxfESX+psrz VUb/l4zXYVThpgo6Zh84N7D5vM7Kq+/gZEVhchKVw2pBhHZJm0x0reWBA58chboIimaUgjer7 z9tdVtEInNutegWM8QUZ7hl2k3uu20Byvo+okDY8o/ntBSJpn0A++w+t4xzYwS0S1jCLtD9Im ukOijrvmSlWLZBNWQSbB0KTiY1443uWZMi0ZlYGHNnmbadye8Ycg1Bgt1IKYiLV6GacQqR41j +89L/+G4Q18LMG6c7MjXjhNGwERWmeAbVSQtzG1F4li3RR9OD9uCLURC9r23/j9Krg5OEd55G riJUL4oCSQH8IvwtLpgCSPaK7WufRo6dFrF7XFietf3c8+nUTT8Vssli1uZYsa+LW2NiFnPXL rpq4neD+22uuO+QAIALcCcww1blOgMD97vNUHg37Iyv5cGuIhmO/yS2f8YDWrG+Jultxz8/wY U7WhJU85UIOYnnT7H1KGMUVBqWE0v95d9fgjNSb0KrfUtevrE7wYlauh4AL6m6b26oz6TOMOv ztO43KJ X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 212.227.17.21 Subject: Re: [Help-glpk] [Fwd: glp_intopt conversion of solutions via callback] X-BeenThere: help-glpk@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Users list for GLPK \(GNU Linear Programming Kit\)" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 15 Jan 2016 19:21:15 -0000 Hello Sascha, your mail had to be forwarded manually because you are not subscribed to the GLPK help list, cf. https://lists.gnu.org/mailman/listinfo/help-glpk Looking at the code in src/glpkapi09.c and glpapi13.c the documentation is wrong. The problem accessible in the MIP callback is the presolved and scaled problem. So if you have a heuristic solution expressed in your original variables you should switch off presolving and scaling. When presolving and scaling is switched off you could use glp_create_index and glp_find_col to identify the column numbers to be used when specifying the solution. Best regards Heinrich Schuchardt On 01/12/2016 01:12 PM, Andrew Makhorin wrote: > -------- Forwarded Message -------- > From: Sascha Brügmann > To: help-glpk@gnu.org > Subject: glp_intopt conversion of solutions via callback > Date: Mon, 11 Jan 2016 22:05:35 +0100 > > Hi, > I use GLPKs glp_intopt. As I always have an (mostly non-optimal) > feasible solution to all of my problem-LPs I need a way to inject these > initial solutions. I've tried the callback-way like described > here https://lists.gnu.org/archive/html/help-glpk/2012-02/msg00031.html. > > > Question 1: Documentation for GLPK 4.57 chapter "5.2.7 glp_ios_heur_sol" > talks about 'original problem' such that one can think > that glp_ios_heur_sol accepts a solution for the non-preprocessed-mip > which is then converted to preprocessed-mip automatically. This > contrasts to what has been written on the upper link i've posted. Who is > right? > > > Question 2: If glp_ios_heur_sol requires the provided solution in > presolved-mip-format, how can I convert a solution from > non-presolved-mip-format (the original LP-problem) > to presolved-mip-format? > > > Thanks > > > > _______________________________________________ > Help-glpk mailing list > Help-glpk@gnu.org > https://lists.gnu.org/mailman/listinfo/help-glpk > From MAILER-DAEMON Fri Jan 15 21:28:35 2016 Received: from list by lists.gnu.org with archive (Exim 4.71) id 1aKGbT-0001eJ-B5 for mharc-help-glpk@gnu.org; Fri, 15 Jan 2016 21:28:35 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:42612) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aKGbR-0001eB-DU for help-glpk@gnu.org; Fri, 15 Jan 2016 21:28:34 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aKGbN-00012Q-VC for help-glpk@gnu.org; Fri, 15 Jan 2016 21:28:33 -0500 Received: from mail.cs.ndsu.nodak.edu ([134.129.125.92]:41589) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aKGbN-00012E-PT; Fri, 15 Jan 2016 21:28:29 -0500 Received: from mail.cs.ndsu.nodak.edu (localhost [127.0.0.1]) by mail.cs.ndsu.NoDak.edu (8.14.2/8.14.2/Debian-2build1) with ESMTP id u0G2aP83023536; Fri, 15 Jan 2016 20:36:25 -0600 Received: from localhost (hennebry@localhost) by mail.cs.ndsu.nodak.edu (8.14.2/8.14.2/Submit) with ESMTP id u0G2aPrV023533; Fri, 15 Jan 2016 20:36:25 -0600 X-Authentication-Warning: mail.cs.ndsu.nodak.edu: hennebry owned process doing -bs Date: Fri, 15 Jan 2016 20:36:25 -0600 (CST) From: Michael Hennebry X-X-Sender: hennebry@mail.cs.ndsu.nodak.edu To: Heinrich Schuchardt In-Reply-To: <56994699.8010208@gmx.de> Message-ID: References: <1452600750.3464.0.camel@corvax> <56994699.8010208@gmx.de> User-Agent: Alpine 1.00 (DEB 882 2007-12-20) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 134.129.125.92 Cc: help-glpk@gnu.org Subject: Re: [Help-glpk] [Fwd: glp_intopt conversion of solutions via callback] X-BeenThere: help-glpk@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Users list for GLPK \(GNU Linear Programming Kit\)" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 16 Jan 2016 02:28:34 -0000 On Fri, 15 Jan 2016, Heinrich Schuchardt wrote: > Looking at the code in src/glpkapi09.c and glpapi13.c the documentation > is wrong. > > The problem accessible in the MIP callback is the presolved and scaled > problem. So if you have a heuristic solution expressed in your original > variables you should switch off presolving and scaling. Perhaps it would be a good idea to make the presolving and scaling transformation available to the user program. It could just be a matter of documentation. The information must already be somewhere, otherwise glpsol could not invert it. -- Michael hennebry@web.cs.ndsu.NoDak.edu "Sorry but your password must contain an uppercase letter, a number, a haiku, a gang sign, a heiroglyph, and the blood of a virgin." -- someeecards From MAILER-DAEMON Sat Jan 16 10:20:11 2016 Received: from list by lists.gnu.org with archive (Exim 4.71) id 1aKSeB-0006QO-Sj for mharc-help-glpk@gnu.org; Sat, 16 Jan 2016 10:20:11 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:51481) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aKSe9-0006QG-Tu for help-glpk@gnu.org; Sat, 16 Jan 2016 10:20:10 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aKSe6-0002d9-NX for help-glpk@gnu.org; Sat, 16 Jan 2016 10:20:09 -0500 Received: from plane.gmane.org ([80.91.229.3]:37776) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aKSe6-0002d5-GQ for help-glpk@gnu.org; Sat, 16 Jan 2016 10:20:06 -0500 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1aKSe4-0007Hg-FJ for help-glpk@gnu.org; Sat, 16 Jan 2016 16:20:04 +0100 Received: from HSI-KBW-095-208-155-068.hsi5.kabel-badenwuerttemberg.de ([95.208.155.68]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sat, 16 Jan 2016 16:20:04 +0100 Received: from sascha.bruegmann by HSI-KBW-095-208-155-068.hsi5.kabel-badenwuerttemberg.de with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sat, 16 Jan 2016 16:20:04 +0100 X-Injected-Via-Gmane: http://gmane.org/ To: help-glpk@gnu.org From: Sascha =?utf-8?b?QnLDvGdtYW5u?= Date: Sat, 16 Jan 2016 15:17:20 +0000 (UTC) Lines: 16 Message-ID: References: <1452600750.3464.0.camel@corvax> <56994699.8010208@gmx.de> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: sea.gmane.org User-Agent: Loom/3.14 (http://gmane.org/) X-Loom-IP: 95.208.155.68 (Mozilla/5.0 (Windows NT 6.1; WOW64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/47.0.2526.111 Safari/537.36) X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 80.91.229.3 Subject: Re: [Help-glpk] =?utf-8?q?=5BFwd=3A_glp=5Fintopt_conversion_of_soluti?= =?utf-8?q?ons_via_callback=5D?= X-BeenThere: help-glpk@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Users list for GLPK \(GNU Linear Programming Kit\)" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 16 Jan 2016 15:20:11 -0000 Heinrich Schuchardt gmx.de> writes: > When presolving and scaling is switched off you could use > glp_create_index and glp_find_col > to identify the column numbers to be used when specifying the solution. As presolving reduces calculation time it is not an option to deactivate it. Using simplex instead of the presolver is also kindof senseless when I already have some solution if my understanding is correct. Michael Hennebry web.cs.ndsu.nodak.edu> writes: > Perhaps it would be a good idea to make the presolving and > scaling transformation available to the user program. > It could just be a matter of documentation. > The information must already be somewhere, > otherwise glpsol could not invert it. Yes, thats what I'm talking about! From MAILER-DAEMON Sat Jan 16 12:24:59 2016 Received: from list by lists.gnu.org with archive (Exim 4.71) id 1aKUax-0007AE-UF for mharc-help-glpk@gnu.org; Sat, 16 Jan 2016 12:24:59 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:42770) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aKUav-0007A5-9a for help-glpk@gnu.org; Sat, 16 Jan 2016 12:24:58 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aKUau-0005DX-9J for help-glpk@gnu.org; Sat, 16 Jan 2016 12:24:57 -0500 Received: from mail-yk0-x22b.google.com ([2607:f8b0:4002:c07::22b]:33949) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aKUau-0005DI-28 for help-glpk@gnu.org; Sat, 16 Jan 2016 12:24:56 -0500 Received: by mail-yk0-x22b.google.com with SMTP id a85so497112292ykb.1 for ; Sat, 16 Jan 2016 09:24:55 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=FoSjLipGgSIp+b09PXvkFMXyhGrSr+WJ0o+ANsmrmVU=; b=jrfIpXkEf8wlK96LK8hebwX3Haetfj7PRkfeLTqciLCBdBN4MO7rH+K6m01ljTGFzz FNDxSvBn+Kwr/H7rKKdIRt+3cMNqN5grI+E8a2VpEfb1VBrQ9LRU8zAfPybP0xZLaOdy 170umIWx7nBnadJ9s9p9rYbiA9Dpv+823YIucYgmmqQQDCi6VCpA/GYsx8qVDUXHSSQr If2XHVLs2Us0G5XaDUk5DqR7U+f5l1uEpm9i/WdXDgdYKMQzQ3mayOSkxhTYR/hgMT2D s/gwMJds1wCGFgBrbmQvYHoRPBsHDxsVbUo3UKnyZLZy5Lx0Vk5F/Xaja8MmBKb4eFpH pUqw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=FoSjLipGgSIp+b09PXvkFMXyhGrSr+WJ0o+ANsmrmVU=; b=PLJGf+e1byqs636cn931AA9n+Vj5aiv5xauKw6V76CBx+RXqE+74GzRqKmNO+zW0xC CSU/+2CrVuuubX3RW7A/t5R6wmQXzefL95VtoFnuLnXw/FxHWdGb9RLZ18sUI3fu1dTB oOBEN78Y5FwObFFqzHWHL1l1PO9Q4DKuYiErDdG3v+NTEkjuk7FxwHSUQDPj5mgOenId 93a7HKz5DEdDdgFZf9pDCPZr/3MvtgwgtQsA6Ve2qdswYg/6B8aAfi1Qqqxje4SvFcZS qMlbdjCmQuRdsD4mQPj9k4Wh5nP1QnsxEfZxcDVVPz2ToIlf9YZw3W87P0xygmkYicrv ZmTQ== X-Gm-Message-State: ALoCoQkkrK6RsbP9GlzghUyrciLbhG4QaGqjXXyHWtY5bW92DfAcbM0K31+3dqxWBLa0mV03ZLrx1Re3FLBXwv+vc3cjsOuB6Q== MIME-Version: 1.0 X-Received: by 10.37.56.211 with SMTP id f202mr2804785yba.1.1452965095306; Sat, 16 Jan 2016 09:24:55 -0800 (PST) Received: by 10.129.33.198 with HTTP; Sat, 16 Jan 2016 09:24:55 -0800 (PST) In-Reply-To: References: <1452600750.3464.0.camel@corvax> <56994699.8010208@gmx.de> Date: Sat, 16 Jan 2016 19:24:55 +0200 Message-ID: From: Chris Matrakidis To: =?UTF-8?Q?Sascha_Br=C3=BCgmann?= Content-Type: multipart/alternative; boundary=94eb2c09d7f4607c13052976ccaf X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2607:f8b0:4002:c07::22b Cc: help-glpk@gnu.org Subject: Re: [Help-glpk] [Fwd: glp_intopt conversion of solutions via callback] X-BeenThere: help-glpk@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Users list for GLPK \(GNU Linear Programming Kit\)" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 16 Jan 2016 17:24:58 -0000 --94eb2c09d7f4607c13052976ccaf Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On 16 January 2016 at 17:17, Sascha Br=C3=BCgmann wrote: > Michael Hennebry web.cs.ndsu.nodak.edu> writes: > > Perhaps it would be a good idea to make the presolving and > > scaling transformation available to the user program. > > It could just be a matter of documentation. > > The information must already be somewhere, > > otherwise glpsol could not invert it. > Yes, thats what I'm talking about! Unfortunately it's not just a matter of documentation: internally, only the transformations to convert solutions of the preprocessed problem back to the original problem are available. Presumably, you want to use the solution you have to accelerate the solution process. There is a way to do that, but it involves using an undocumented option, so there may be some side effects. You have to set the mip solution values and status for the original problem, which can be done using a file and glp_read_mip() and then set the undocumented option use_sol before calling glp_intopt(), like in this C example: glp_read_mip(mip, "solution_file"); parm.use_sol =3D GLP_ON; glp_intopt(mip, &parm); Beware: the solution will not be correct for the preprocessed problem until a new one is found. Best Regards, Chris Matrakidis --94eb2c09d7f4607c13052976ccaf Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

= On 16 January 2016 at 17:17, Sascha Br=C3=BCgmann <sascha.bruegma= nn@gmail.com> wrote:
=C2=A0
Michael Hennebry <hennebry <at> web.cs.ndsu.nodak.edu> w= rites:
> Perhaps it would be a good idea to make the presolving and
> scaling transformation available to the user program.
> It could just be a matter of documentation.
> The information must already be somewhere,
> otherwise glpsol could not invert it.
Yes, thats what I'm talking about!

Unfortunately it's not just a matter of documentation: internally, o= nly the transformations to convert solutions of the preprocessed problem ba= ck to the original problem are available.

Presumab= ly, you want to use the solution you have to accelerate the solution proces= s. There is a way to do that, but it involves using an undocumented option,= so there may be some side effects. You have to set the mip solution values= and status for the original problem, which can be done using a file and gl= p_read_mip() and then set the undocumented option use_sol before calling gl= p_intopt(), like in this C example:

glp_read_mip(m= ip, "solution_file");
parm.use_sol =3D GLP_ON;
glp_intopt(mip, &parm);

Beware: the solution= will not be correct for the preprocessed problem until a new one is found.= =C2=A0


Best Regards,

=
Chris Matrakidis

--94eb2c09d7f4607c13052976ccaf-- From MAILER-DAEMON Sun Jan 17 08:57:37 2016 Received: from list by lists.gnu.org with archive (Exim 4.71) id 1aKnpp-0006J0-Ah for mharc-help-glpk@gnu.org; Sun, 17 Jan 2016 08:57:37 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:57167) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aKnpn-0006I2-Bt for help-glpk@gnu.org; Sun, 17 Jan 2016 08:57:36 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aKnpj-00025f-BY for help-glpk@gnu.org; Sun, 17 Jan 2016 08:57:35 -0500 Received: from mail-wm0-x22f.google.com ([2a00:1450:400c:c09::22f]:33802) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aKnpj-00025V-3u for help-glpk@gnu.org; Sun, 17 Jan 2016 08:57:31 -0500 Received: by mail-wm0-x22f.google.com with SMTP id u188so74515728wmu.1 for ; Sun, 17 Jan 2016 05:57:30 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-type:content-transfer-encoding; bh=feeQXwrwavypP6MUSHnrYicE8XpAFdebOKf4+zdTpwE=; b=MkzTGo8X66s2G5+8rUjGdD7qD0J4lZwqPGA8js71b7whmzNVkUNwt3/7obqiyLdpXI 9J96qCVHPdBsSUqqYEn3blcfBWDVYKwx5FQ7JfUXi4pxasjta1NRe66e65QZUzYffLrX nZSpYb79hanGVAuo1kclImF5fddav11obg6+fS1EdkbhjxjrSsLAoWJrz51Qom6c/KmH 0MI5tQ1dBWrc0VidpxheNgakTHzcruiWZKOHA28MvbxhZ4TmImeZZ7Zia07EmJD8+eT4 8NTMRk/v/YZVqCjYWYb6RCm/FlAYtQx7jftge4EFUm21h6/OmQ0GVHYQ99bC4TnXJ/Lj WDrA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-type :content-transfer-encoding; bh=feeQXwrwavypP6MUSHnrYicE8XpAFdebOKf4+zdTpwE=; b=bViNnFpNGfrY6q7qptuH/oG1DjoxYDhCdidJRILz13rk81oiQ6ZAWS+s36TN0zu4w0 wut1KjCNjhokndMJ3DQM27n+EByYUS+M8BU4yCl5AjLvz4G0cGYF5fjbW0STezBwh9wE MhmGqgyYpgv8UmpQWii5zwW6VEPt85Wj5fQpaoy9zrr9AyufTOa5WmqneiXNfBpXVEMJ OqHR7Cg027uI/iihPaAQYggLFbThYLDdvQPJlvlicLxR1eNJSWFWiSw3DRdncdV7yZ0L /eQ5tCKHuQlXHI1nxQvG1LCtQp6VBjGKwMRbAwtffcrySTbYtET6lVosVMYuI8FWcLhu 9diQ== X-Gm-Message-State: AG10YOTG7OaG5f2ZctEJb23J9RZzwlx2APl5YUWwuro5fPK/otmTWQunJDe7baRxvh0+FQ== X-Received: by 10.28.97.11 with SMTP id v11mr8869007wmb.42.1453039049852; Sun, 17 Jan 2016 05:57:29 -0800 (PST) Received: from [192.168.178.38] (HSI-KBW-095-208-155-068.hsi5.kabel-badenwuerttemberg.de. [95.208.155.68]) by smtp.gmail.com with ESMTPSA id e9sm19384670wjp.18.2016.01.17.05.57.28 for (version=TLSv1/SSLv3 cipher=OTHER); Sun, 17 Jan 2016 05:57:29 -0800 (PST) To: help-glpk@gnu.org References: <1452600750.3464.0.camel@corvax> <56994699.8010208@gmx.de> From: =?UTF-8?Q?Sascha_Br=c3=bcgmann?= Message-ID: <569B9DC9.5020603@googlemail.com> Date: Sun, 17 Jan 2016 14:57:29 +0100 User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:38.0) Gecko/20100101 Thunderbird/38.5.1 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2a00:1450:400c:c09::22f Subject: Re: [Help-glpk] [Fwd: glp_intopt conversion of solutions via callback] X-BeenThere: help-glpk@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Users list for GLPK \(GNU Linear Programming Kit\)" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 17 Jan 2016 13:57:36 -0000 Am 16.01.2016 um 18:24 schrieb Chris Matrakidis: > glp_read_mip(mip, "solution_file"); > parm.use_sol = GLP_ON; > glp_intopt(mip, &parm); > Mh, I use GLPK via API from a bigger Java application using java-glpk and SCPSolver. First writing the problem/solution to disk and instantly reading it seems a bit weird. But if this is the only way to provide an inital solution... Overall 'provide initial solution(s)' looks like a currently not supported usecase. From MAILER-DAEMON Sun Jan 17 11:05:58 2016 Received: from list by lists.gnu.org with archive (Exim 4.71) id 1aKpq2-0008Nc-T7 for mharc-help-glpk@gnu.org; Sun, 17 Jan 2016 11:05:58 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:51783) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aKpq0-0008NE-Rj for help-glpk@gnu.org; Sun, 17 Jan 2016 11:05:57 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aKppz-0004mo-Q1 for help-glpk@gnu.org; Sun, 17 Jan 2016 11:05:56 -0500 Received: from mail-yk0-x229.google.com ([2607:f8b0:4002:c07::229]:33620) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aKppz-0004mj-K0 for help-glpk@gnu.org; Sun, 17 Jan 2016 11:05:55 -0500 Received: by mail-yk0-x229.google.com with SMTP id k129so567933644yke.0 for ; Sun, 17 Jan 2016 08:05:55 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=G6PkE5dJ78fJVXA42ACO5fiJGc4/YrtcJ96k0ho9h4Y=; b=P5vb3q4MI5ukGCMuTtXLAuV5WfiIX2d6nJoCa4NSVhTkvybAP5DjML2MU+r7JzqAYE 9xJKnakP5dklg0McDn3b9NEQKZ4PFskX0tln6Cje46mxW4aC3ntjs6jSK61mUZekzSBm JbwO08umgFXvCQdVPckFcqUoMp+XipP2v7otnvbp0+kOyWhzoDPpJbN2w/HQOy3nIsvN c8swKW50jdQytrY3o953L7F1KssN6ZHSqDHl076ngUQK8VPYD8378I+W/1yH/y7Eu2Qq DdY0Sh9Hy/7jelUEvwXJXQ+W0ElrhD4mkoHpQ6cqNB8tgYSWvBdW9k3fob0CvK1A30Dw 5D4g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=G6PkE5dJ78fJVXA42ACO5fiJGc4/YrtcJ96k0ho9h4Y=; b=Y3U/KjXZJyBtvtFmlNLfEDih5Sgk4SA50Kl9WQzAm3IjwC1ABGuPecU0mJkx+eNEus 6HTPFpYaeYyUmGz3X2zCZc443BazXcfS2cglkrXp1PhbvEnmQQ/Sp4QTnA91jAYyr+gz wMIY0YrEn8120J4b4RqNzYMNVWibioxQTWIn5Dal01NF61gmASfTTsjj7sy+wFBN+z3i AWU3Bv54gUQqSuAtGpMBKF/RZALhE7EarK9H8gUikpfyvkqgt7Qxhes1NLeCEKFMdSvR Dw5cpBce94nmrdBuae4/yl+Zpw1ktr0e+fZjC7Rc7+4SCmRoMd2Mio73aNtBUAgWFnq1 aT9w== X-Gm-Message-State: ALoCoQlUWJaf0uUZIHGdSLjeakXSsmpeFmUJebKywJa2JZ84OamwMGilS0mWkLjaeBl5X0pWQr84xTeS+8FwSYj+WnP8EU4Euw== MIME-Version: 1.0 X-Received: by 10.129.37.3 with SMTP id l3mr12809764ywl.128.1453046755242; Sun, 17 Jan 2016 08:05:55 -0800 (PST) Received: by 10.129.33.198 with HTTP; Sun, 17 Jan 2016 08:05:55 -0800 (PST) In-Reply-To: <569B9DC9.5020603@googlemail.com> References: <1452600750.3464.0.camel@corvax> <56994699.8010208@gmx.de> <569B9DC9.5020603@googlemail.com> Date: Sun, 17 Jan 2016 18:05:55 +0200 Message-ID: From: Chris Matrakidis To: =?UTF-8?Q?Sascha_Br=C3=BCgmann?= Content-Type: multipart/alternative; boundary=001a11428100b03a46052989cf26 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2607:f8b0:4002:c07::229 Cc: help-glpk@gnu.org Subject: Re: [Help-glpk] [Fwd: glp_intopt conversion of solutions via callback] X-BeenThere: help-glpk@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Users list for GLPK \(GNU Linear Programming Kit\)" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 17 Jan 2016 16:05:57 -0000 --001a11428100b03a46052989cf26 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On 17 January 2016 at 15:57, Sascha Br=C3=BCgmann < sascha.bruegmann@googlemail.com> wrote: > > First writing the problem/solution to disk and instantly reading it seems > a bit weird. But if this is the only way to provide an inital solution... > The only other way I know to provide an initial solution I find even more awkward... You call glp_intopt(), with presolving disabled, with a callback that calls glp_ios_heur_sol() followed by glp_ios_terminate(). Then you can call glp_intopt() a second time with presolving enabled and the use_sol parameter set. Best Regards, Chris Matrakidis --001a11428100b03a46052989cf26 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
On 1= 7 January 2016 at 15:57, Sascha Br=C3=BCgmann <sascha.bruegm= ann@googlemail.com> wrote:=C2=A0
First writing the problem/solution to disk and instantly reading it seems a= bit weird. But if this is the only way to provide an inital solution...

The only other way I know to provide an i= nitial solution I find even more awkward... You call glp_intopt(), with pre= solving disabled, with a callback that calls glp_ios_heur_sol() followed by= glp_ios_terminate(). Then you can call glp_intopt() a second time with pre= solving enabled and the use_sol parameter set.

Best Regards,

Chris Matrakidis
--001a11428100b03a46052989cf26-- From MAILER-DAEMON Mon Jan 18 11:36:23 2016 Received: from list by lists.gnu.org with archive (Exim 4.71) id 1aLCn1-0006Bn-Fh for mharc-help-glpk@gnu.org; Mon, 18 Jan 2016 11:36:23 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:42148) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aLCmy-00067Y-9l for help-glpk@gnu.org; Mon, 18 Jan 2016 11:36:21 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aLCmv-0004sO-3y for help-glpk@gnu.org; Mon, 18 Jan 2016 11:36:20 -0500 Received: from mail.cs.ndsu.nodak.edu ([134.129.125.92]:45416) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aLCmu-0004lk-V9 for help-glpk@gnu.org; Mon, 18 Jan 2016 11:36:17 -0500 Received: from mail.cs.ndsu.nodak.edu (localhost [127.0.0.1]) by mail.cs.ndsu.NoDak.edu (8.14.2/8.14.2/Debian-2build1) with ESMTP id u0IGiOhu001423; Mon, 18 Jan 2016 10:44:24 -0600 Received: from localhost (hennebry@localhost) by mail.cs.ndsu.nodak.edu (8.14.2/8.14.2/Submit) with ESMTP id u0IGiOiw001420; Mon, 18 Jan 2016 10:44:24 -0600 X-Authentication-Warning: mail.cs.ndsu.nodak.edu: hennebry owned process doing -bs Date: Mon, 18 Jan 2016 10:44:24 -0600 (CST) From: Michael Hennebry X-X-Sender: hennebry@mail.cs.ndsu.nodak.edu To: Chris Matrakidis In-Reply-To: Message-ID: References: <1452600750.3464.0.camel@corvax> <56994699.8010208@gmx.de> User-Agent: Alpine 1.00 (DEB 882 2007-12-20) MIME-Version: 1.0 Content-Type: MULTIPART/MIXED; BOUNDARY="-2121900931-341155079-1453135464=:1314" X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 134.129.125.92 Cc: =?ISO-8859-15?Q?Sascha_Br=FCgmann?= , help-glpk@gnu.org Subject: Re: [Help-glpk] [Fwd: glp_intopt conversion of solutions via callback] X-BeenThere: help-glpk@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Users list for GLPK \(GNU Linear Programming Kit\)" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 18 Jan 2016 16:36:21 -0000 This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. ---2121900931-341155079-1453135464=:1314 Content-Type: TEXT/PLAIN; format=flowed; charset=ISO-8859-15 Content-Transfer-Encoding: quoted-printable X-MIME-Autoconverted: from 8bit to quoted-printable by mail.cs.ndsu.NoDak.edu id u0IGiOhu001423 On Sat, 16 Jan 2016, Chris Matrakidis wrote: > On 16 January 2016 at 17:17, Sascha Br=FCgmann > wrote: > > >> Michael Hennebry web.cs.ndsu.nodak.edu> writes: >>> Perhaps it would be a good idea to make the presolving and >>> scaling transformation available to the user program. >>> It could just be a matter of documentation. >>> The information must already be somewhere, >>> otherwise glpsol could not invert it. >> Yes, thats what I'm talking about! > > > Unfortunately it's not just a matter of documentation: internally, only= the > transformations to convert solutions of the preprocessed problem back t= o > the original problem are available. That might be sufficient. I'd be surprised if the transformation were not effectively invertible, i.e. a feasible solution in the original variables could not be transformed to a solution for the proprocessed problem. --=20 Michael hennebry@web.cs.ndsu.NoDak.edu "Sorry but your password must contain an uppercase letter, a number, a haiku, a gang sign, a heiroglyph, and the blood of a virgin." -- someeec= ards ---2121900931-341155079-1453135464=:1314--