<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:Wingdings;
panose-1:5 0 0 0 0 0 0 0 0 0;}
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph
{mso-style-priority:34;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
p.msonormal0, li.msonormal0, div.msonormal0
{mso-style-name:msonormal;
mso-margin-top-alt:auto;
margin-right:0cm;
mso-margin-bottom-alt:auto;
margin-left:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
span.EmailStyle19
{mso-style-type:personal-reply;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 70.85pt 70.85pt;}
div.WordSection1
{page:WordSection1;}
/* List Definitions */
@list l0
{mso-list-id:1027408094;
mso-list-template-ids:-802379000;}
@list l0:level1
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level2
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level5
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level8
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l1
{mso-list-id:1795441943;
mso-list-type:hybrid;
mso-list-template-ids:-1852789990 -1169925142 68419587 68419589 68419585 68419587 68419589 68419585 68419587 68419589;}
@list l1:level1
{mso-level-start-at:0;
mso-level-number-format:bullet;
mso-level-text:-;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:20.25pt;
text-indent:-18.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-font-family:Calibri;}
@list l1:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:56.25pt;
text-indent:-18.0pt;
font-family:"Courier New";}
@list l1:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:92.25pt;
text-indent:-18.0pt;
font-family:Wingdings;}
@list l1:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:128.25pt;
text-indent:-18.0pt;
font-family:Symbol;}
@list l1:level5
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:164.25pt;
text-indent:-18.0pt;
font-family:"Courier New";}
@list l1:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:200.25pt;
text-indent:-18.0pt;
font-family:Wingdings;}
@list l1:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:236.25pt;
text-indent:-18.0pt;
font-family:Symbol;}
@list l1:level8
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:272.25pt;
text-indent:-18.0pt;
font-family:"Courier New";}
@list l1:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:308.25pt;
text-indent:-18.0pt;
font-family:Wingdings;}
ol
{margin-bottom:0cm;}
ul
{margin-bottom:0cm;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="NO-BOK" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal"><span lang="EN-US" style="mso-fareast-language:EN-US">Such as / which do you recommend ?<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="mso-fareast-language:EN-US">Will they provide better solutions through “intelligent” mapping to CBC, or “only” a simpler interface?<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<ul style="margin-top:0cm" type="disc">
<li class="MsoNormal" style="margin-left:-15.75pt;mso-list:l1 level1 lfo3"><span lang="EN-US" style="mso-fareast-language:EN-US">Bjorn<o:p></o:p></span></li></ul>
<p class="MsoNormal"><span lang="EN-US" style="mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><b><span lang="EN-US">From:</span></b><span lang="EN-US"> Cbc [mailto:cbc-bounces@coin-or.org]
<b>On Behalf Of </b>Gleb Belov<br>
<b>Sent:</b> torsdag 5. oktober 2017 03:13<br>
<b>To:</b> cbc@coin-or.org<br>
<b>Subject:</b> Re: [Cbc] Cbc Digest, Vol 122, Issue 7<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<div>
<p class="MsoNormal"><span lang="EN-US">Hi Bjorn,<o:p></o:p></span></p>
<div>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span lang="EN-US">you can use high-level modeling languages which interface CBC and take care of non-linearities and global constraints.<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span lang="EN-US">Gleb<o:p></o:p></span></p>
</div>
</div>
<div>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<div>
<p class="MsoNormal"><span lang="EN-US">On 4 October 2017 at 20:57, <</span><a href="mailto:cbc-request@coin-or.org" target="_blank"><span lang="EN-US">cbc-request@coin-or.org</span></a><span lang="EN-US">> wrote:<o:p></o:p></span></p>
<blockquote style="border:none;border-left:solid #CCCCCC 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-top:5.0pt;margin-right:0cm;margin-bottom:5.0pt">
<p class="MsoNormal" style="mso-margin-top-alt:5.0pt;margin-right:0cm;margin-bottom:5.0pt;margin-left:11.55pt">
<span lang="EN-US">Send Cbc mailing list submissions to<br>
</span><a href="mailto:cbc@list.coin-or.org"><span lang="EN-US">cbc@list.coin-or.org</span></a><span lang="EN-US"><br>
<br>
To subscribe or unsubscribe via the World Wide Web, visit<br>
</span><a href="https://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=DwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=mzJGkRorCZhAPHf4MlJyeoRAi8yNupLG9ozyA0Rd30E&m=_AD7u3OUeb40-EliVN64p_sXwLKeFKvM8nWTNNCZmps&s=9nqWEkDUvEKmyVubWMJftRwLb3f8Uot_Z69jNiToikY&e=" target="_blank"><span lang="EN-US">https://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=DwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=mzJGkRorCZhAPHf4MlJyeoRAi8yNupLG9ozyA0Rd30E&m=_AD7u3OUeb40-EliVN64p_sXwLKeFKvM8nWTNNCZmps&s=9nqWEkDUvEKmyVubWMJftRwLb3f8Uot_Z69jNiToikY&e=</span></a><span lang="EN-US"><br>
or, via email, send a message with subject or body 'help' to<br>
</span><a href="mailto:cbc-request@list.coin-or.org"><span lang="EN-US">cbc-request@list.coin-or.org</span></a><span lang="EN-US"><br>
<br>
You can reach the person managing the list at<br>
</span><a href="mailto:cbc-owner@list.coin-or.org"><span lang="EN-US">cbc-owner@list.coin-or.org</span></a><span lang="EN-US"><br>
<br>
When replying, please edit your Subject line so it is more specific<br>
than "Re: Contents of Cbc digest..."<br>
<br>
<br>
Today's Topics:<br>
<br>
1. Re: Multiplying two binary variables in the objective<br>
function (John Forrest)<br>
2. Re: Multiplying two binary variables in the objective<br>
function (John Forrest)<br>
3. Re: Increase number of digits in solution file<br>
(</span><a href="mailto:nicolas.derhy@engie.com"><span lang="EN-US">nicolas.derhy@engie.com</span></a><span lang="EN-US">)<br>
<br>
<br>
----------------------------------------------------------------------<br>
<br>
Message: 1<br>
Date: Wed, 4 Oct 2017 09:57:57 +0100<br>
From: John Forrest <</span><a href="mailto:john.forrest@fastercoin.com"><span lang="EN-US">john.forrest@fastercoin.com</span></a><span lang="EN-US">><br>
To: </span><a href="mailto:cbc@list.coin-or.org"><span lang="EN-US">cbc@list.coin-or.org</span></a><span lang="EN-US"><br>
Subject: Re: [Cbc] Multiplying two binary variables in the objective<br>
function<br>
Message-ID: <</span><a href="mailto:97638c11-e95d-8cbc-9754-c13e559f35b7@fastercoin.com"><span lang="EN-US">97638c11-e95d-8cbc-9754-c13e559f35b7@fastercoin.com</span></a><span lang="EN-US">><br>
Content-Type: text/plain; charset=utf-8; format=flowed<br>
<br>
Bjorn,<br>
<br>
Probably simplest/best to make into Special Ordered Set of type 1 with 4<br>
variables<br>
<br>
B1_0_B2_0, B1_1_B2_0, B1_0_B2_1, B1_1_B2_1<br>
<br>
with objective values 0.0, 12.3, 12.3, 151.29<br>
<br>
and constraint<br>
B1_0_B2_0+B1_1_B2_0+B1_0_B2_1+B1_1_B2_1 == 1.0<br>
(you could leave out B1_0_B2_0 and make <=, but probably better<br>
branching with ==)<br>
<br>
and corresponding changes to coefficients in constraints.<br>
<br>
That way you add 2 variables and 1 row which is probably better than<br>
adding 1 variable and 3 rows - and will be better for branching.<br>
<br>
Depending on what you are trying to model, you could give weights to<br>
give better branching decisions.<br>
<br>
John Forrest<br>
On 02/10/17 07:10, Bj?rn Sigurd Johansen (Spider Solutions AS) wrote:<br>
> Dear CBC list,<br>
><br>
> Is it possible to multiply two binary variables in the objective function scaled with the same factor?<br>
> E.g.<br>
> MINIMIZE Obj:<br>
> +12.3 B1 * 12.3 B2<br>
> or<br>
> +12.3 B1 * + 12.3 B2<br>
><br>
> If binary variables are set through some sort of branching algorithm, perhaps it is possible? But if the binary variables are set/estimated through some other mechanism, it might not be possible?<br>
><br>
> If possible, what is the exact syntax for doing this?<br>
><br>
> If not possible, I guess the option is to introduce a third binary B3, and set up the following constraints:<br>
> B3 <= B1<br>
> B3 <= B2<br>
> B3 >= B1 + B2 - 1<br>
> And then in the objective function use:<br>
> +12.3 B3<br>
> Correct / best option?<br>
><br>
><br>
> Best regards,<br>
> Bjorn<br>
><br>
> _______________________________________________<br>
> Cbc mailing list<br>
> </span><a href="mailto:Cbc@list.coin-or.org"><span lang="EN-US">Cbc@list.coin-or.org</span></a><span lang="EN-US"><br>
> </span><a href="https://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=DwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=hM8BKlgl1z5yzxrZnxtYfw_AEAZDyQOjfvWFs39qJLk&s=DDn3zh-jLSVoNRCQal3m7LVGxVLHAnUxaImDCAH-088&e=" target="_blank"><span lang="EN-US">https://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=DwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=hM8BKlgl1z5yzxrZnxtYfw_AEAZDyQOjfvWFs39qJLk&s=DDn3zh-jLSVoNRCQal3m7LVGxVLHAnUxaImDCAH-088&e=</span></a><span lang="EN-US"><br>
><br>
><br>
<br>
<br>
<br>
------------------------------<br>
<br>
Message: 2<br>
Date: Wed, 4 Oct 2017 10:01:37 +0100<br>
From: John Forrest <</span><a href="mailto:john.forrest@fastercoin.com"><span lang="EN-US">john.forrest@fastercoin.com</span></a><span lang="EN-US">><br>
To: </span><a href="mailto:cbc@list.coin-or.org"><span lang="EN-US">cbc@list.coin-or.org</span></a><span lang="EN-US"><br>
Subject: Re: [Cbc] Multiplying two binary variables in the objective<br>
function<br>
Message-ID: <</span><a href="mailto:086502f6-03b7-ad48-9753-a23ef7381638@fastercoin.com"><span lang="EN-US">086502f6-03b7-ad48-9753-a23ef7381638@fastercoin.com</span></a><span lang="EN-US">><br>
Content-Type: text/plain; charset=utf-8; format=flowed<br>
<br>
Whoops - ignore this post - I was not thinking.<br>
<br>
However this will make sense if it is more complicated.<br>
<br>
Special Ordered Sets are very powerful.<br>
<br>
John Forrest<br>
<br>
On 04/10/17 09:57, John Forrest wrote:<br>
> Bjorn,<br>
><br>
> Probably simplest/best to make into Special Ordered Set of type 1 with<br>
> 4 variables<br>
><br>
> B1_0_B2_0, B1_1_B2_0, B1_0_B2_1, B1_1_B2_1<br>
><br>
> with objective values 0.0, 12.3, 12.3, 151.29<br>
><br>
> and constraint<br>
> B1_0_B2_0+B1_1_B2_0+B1_0_B2_1+B1_1_B2_1 == 1.0<br>
> (you could leave out B1_0_B2_0 and make <=, but probably better<br>
> branching with ==)<br>
><br>
> and corresponding changes to coefficients in constraints.<br>
><br>
> That way you add 2 variables and 1 row which is probably better than<br>
> adding 1 variable and 3 rows - and will be better for branching.<br>
><br>
> Depending on what you are trying to model, you could give weights to<br>
> give better branching decisions.<br>
><br>
> John Forrest<br>
> On 02/10/17 07:10, Bj?rn Sigurd Johansen (Spider Solutions AS) wrote:<br>
>> Dear CBC list,<br>
>><br>
>> Is it possible to multiply two binary variables in the objective<br>
>> function scaled with the same factor?<br>
>> E.g.<br>
>> MINIMIZE Obj:<br>
>> +12.3 B1 * 12.3 B2<br>
>> or<br>
>> +12.3 B1 * + 12.3 B2<br>
>><br>
>> If binary variables are set through some sort of branching algorithm,<br>
>> perhaps it is possible?? But if the binary variables are<br>
>> set/estimated through some other mechanism, it might not be possible?<br>
>><br>
>> If possible, what is the exact syntax for doing this?<br>
>><br>
>> If not possible, I guess the option is to introduce a third binary<br>
>> B3, and set up the following constraints:<br>
>> B3 <= B1<br>
>> B3 <= B2<br>
>> B3 >= B1 + B2 - 1<br>
>> And then in the objective function use:<br>
>> +12.3 B3<br>
>> Correct / best option?<br>
>><br>
>><br>
>> Best regards,<br>
>> Bjorn<br>
>><br>
>> _______________________________________________<br>
>> Cbc mailing list<br>
>> </span><a href="mailto:Cbc@list.coin-or.org"><span lang="EN-US">Cbc@list.coin-or.org</span></a><span lang="EN-US"><br>
>> </span><a href="https://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=DwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=hM8BKlgl1z5yzxrZnxtYfw_AEAZDyQOjfvWFs39qJLk&s=DDn3zh-jLSVoNRCQal3m7LVGxVLHAnUxaImDCAH-088&e=" target="_blank"><span lang="EN-US">https://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=DwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=hM8BKlgl1z5yzxrZnxtYfw_AEAZDyQOjfvWFs39qJLk&s=DDn3zh-jLSVoNRCQal3m7LVGxVLHAnUxaImDCAH-088&e=</span></a><span lang="EN-US"><br>
>><br>
>><br>
>><br>
><br>
> _______________________________________________<br>
> Cbc mailing list<br>
> </span><a href="mailto:Cbc@list.coin-or.org"><span lang="EN-US">Cbc@list.coin-or.org</span></a><span lang="EN-US"><br>
> </span><a href="https://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=DwIGaQ&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=ru7IvQS__wCzcWuZWyT4Z2N1gBq46p_PvS1qpe7c7kE&s=gid7kHY0HNYvNE3hIAYt-AEm7zAZJgX7A1W17kdk7mQ&e=" target="_blank"><span lang="EN-US">https://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=DwIGaQ&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=ru7IvQS__wCzcWuZWyT4Z2N1gBq46p_PvS1qpe7c7kE&s=gid7kHY0HNYvNE3hIAYt-AEm7zAZJgX7A1W17kdk7mQ&e=</span></a><span lang="EN-US"><br>
><br>
><br>
<br>
<br>
<o:p></o:p></span></p>
</blockquote>
</div>
</div>
</div>
</body>
</html>