How to add Binary Variable with condition in LPWhen to use indicator constraints versus big-M approaches in solving (mixed-)integer programsFinding minimum time for vehicle to reach to its destinationReference request: how to model nonlinear regression?How to decide to write an objective function?How to handle real-world (soft) constraints in an optimization problem?Variable bounds in column generationHow to formulate this scheduling problem efficiently?What is this type of scheduling problem called?Labour Model - Resource Allocation based off Product ForecastsLinearize or approximate a square root constraintFinding minimum time for vehicle to reach to its destinationlinearization of objective function

UX writing: When to use "we"?

Find the missing country

How to get maximum number that newcount can hold?

What sort of solar system / atmospheric conditions, if any, would allow for a very cold planet that still receives plenty of light from its sun?

How to avoid a lengthy conversation with someone from the neighborhood I don't share interests with

Can I shorten this filter, that finds disk sizes over 100G?

Overprovisioning SSD on ubuntu. How? Ubuntu 19.04 Samsung SSD 860

A wiild aanimal, a cardinal direction, or a place by the water

Is there a general term for the items in a directory?

Went to a big 4 but got fired for underperformance in a year recently - Now every one thinks I'm pro - How to balance expectations?

Were there any unmanned expeditions to the moon that returned to Earth prior to Apollo?

Why are sugars in whole fruits not digested the same way sugars in juice are?

Why have both: BJT and FET transistors on IC output?

Partial Fractions: Why does this shortcut method work?

How do people drown while wearing a life jacket?

speaker impedence

Do the rules for the "Buying a Magic Item" downtime activity allow a character an opportunity to purchase the item later?

Gold Battle KoTH

A small reformulation of the Cosmological Argument

How does Rust's 128-bit integer `i128` work on a 64-bit system?

Can birds evolve without trees?

Is Norway in the Single Market?

What is time? Does it flow linearly? If so, how are we sure?

Why do my fried eggs start browning very fast?



How to add Binary Variable with condition in LP


When to use indicator constraints versus big-M approaches in solving (mixed-)integer programsFinding minimum time for vehicle to reach to its destinationReference request: how to model nonlinear regression?How to decide to write an objective function?How to handle real-world (soft) constraints in an optimization problem?Variable bounds in column generationHow to formulate this scheduling problem efficiently?What is this type of scheduling problem called?Labour Model - Resource Allocation based off Product ForecastsLinearize or approximate a square root constraintFinding minimum time for vehicle to reach to its destinationlinearization of objective function













3












$begingroup$


$src_h,s$, $dst_h,s$, $ch_h,s$ are constants.



$a_h,s$, $x_i,j,s$ are binary variables.



$wt_h,s$ are continuous variables.



$mini.$
$$
sum_h in H sum_s in S (src_h,s + ch_h,s + dst_h,s + wt_h,s) times a_h,s
$$



$s.t.$



$$
forall i in H hspace0.3cm forall j in H hspace0.3cm forall s in S hspace0.3cm
$$

$$
wt_j,s geq ((src_i,s + ch_i,s+wt_i,s) - src_j,s) times x_i,j,s
$$



Now $x_i,j,s = 1$ only when vehicle $i$ charges before vehicle $j$. (Finding minimum time for vehicle to reach to its destination) for reference.



Vehicle $i$ charges before $j$ only when $src_i,s < src_j,s$ so how could I force $x_i,j,s = 1$ when this condition meets.










share|improve this question









$endgroup$









  • 2




    $begingroup$
    If $src$ are constants, then you know in advance whether $i$ charges before $j$, and you can just force $x_ijs = 1$ in this case (via a constraint or via treating it like a constant) — or am I missing something?
    $endgroup$
    – LarrySnyder610
    8 hours ago















3












$begingroup$


$src_h,s$, $dst_h,s$, $ch_h,s$ are constants.



$a_h,s$, $x_i,j,s$ are binary variables.



$wt_h,s$ are continuous variables.



$mini.$
$$
sum_h in H sum_s in S (src_h,s + ch_h,s + dst_h,s + wt_h,s) times a_h,s
$$



$s.t.$



$$
forall i in H hspace0.3cm forall j in H hspace0.3cm forall s in S hspace0.3cm
$$

$$
wt_j,s geq ((src_i,s + ch_i,s+wt_i,s) - src_j,s) times x_i,j,s
$$



Now $x_i,j,s = 1$ only when vehicle $i$ charges before vehicle $j$. (Finding minimum time for vehicle to reach to its destination) for reference.



Vehicle $i$ charges before $j$ only when $src_i,s < src_j,s$ so how could I force $x_i,j,s = 1$ when this condition meets.










share|improve this question









$endgroup$









  • 2




    $begingroup$
    If $src$ are constants, then you know in advance whether $i$ charges before $j$, and you can just force $x_ijs = 1$ in this case (via a constraint or via treating it like a constant) — or am I missing something?
    $endgroup$
    – LarrySnyder610
    8 hours ago













3












3








3





$begingroup$


$src_h,s$, $dst_h,s$, $ch_h,s$ are constants.



$a_h,s$, $x_i,j,s$ are binary variables.



$wt_h,s$ are continuous variables.



$mini.$
$$
sum_h in H sum_s in S (src_h,s + ch_h,s + dst_h,s + wt_h,s) times a_h,s
$$



$s.t.$



$$
forall i in H hspace0.3cm forall j in H hspace0.3cm forall s in S hspace0.3cm
$$

$$
wt_j,s geq ((src_i,s + ch_i,s+wt_i,s) - src_j,s) times x_i,j,s
$$



Now $x_i,j,s = 1$ only when vehicle $i$ charges before vehicle $j$. (Finding minimum time for vehicle to reach to its destination) for reference.



Vehicle $i$ charges before $j$ only when $src_i,s < src_j,s$ so how could I force $x_i,j,s = 1$ when this condition meets.










share|improve this question









$endgroup$




$src_h,s$, $dst_h,s$, $ch_h,s$ are constants.



$a_h,s$, $x_i,j,s$ are binary variables.



$wt_h,s$ are continuous variables.



$mini.$
$$
sum_h in H sum_s in S (src_h,s + ch_h,s + dst_h,s + wt_h,s) times a_h,s
$$



$s.t.$



$$
forall i in H hspace0.3cm forall j in H hspace0.3cm forall s in S hspace0.3cm
$$

$$
wt_j,s geq ((src_i,s + ch_i,s+wt_i,s) - src_j,s) times x_i,j,s
$$



Now $x_i,j,s = 1$ only when vehicle $i$ charges before vehicle $j$. (Finding minimum time for vehicle to reach to its destination) for reference.



Vehicle $i$ charges before $j$ only when $src_i,s < src_j,s$ so how could I force $x_i,j,s = 1$ when this condition meets.







linear-programming optimization






share|improve this question













share|improve this question











share|improve this question




share|improve this question










asked 9 hours ago









anoop yadavanoop yadav

1104 bronze badges




1104 bronze badges










  • 2




    $begingroup$
    If $src$ are constants, then you know in advance whether $i$ charges before $j$, and you can just force $x_ijs = 1$ in this case (via a constraint or via treating it like a constant) — or am I missing something?
    $endgroup$
    – LarrySnyder610
    8 hours ago












  • 2




    $begingroup$
    If $src$ are constants, then you know in advance whether $i$ charges before $j$, and you can just force $x_ijs = 1$ in this case (via a constraint or via treating it like a constant) — or am I missing something?
    $endgroup$
    – LarrySnyder610
    8 hours ago







2




2




$begingroup$
If $src$ are constants, then you know in advance whether $i$ charges before $j$, and you can just force $x_ijs = 1$ in this case (via a constraint or via treating it like a constant) — or am I missing something?
$endgroup$
– LarrySnyder610
8 hours ago




$begingroup$
If $src$ are constants, then you know in advance whether $i$ charges before $j$, and you can just force $x_ijs = 1$ in this case (via a constraint or via treating it like a constant) — or am I missing something?
$endgroup$
– LarrySnyder610
8 hours ago










1 Answer
1






active

oldest

votes


















4












$begingroup$

Add two indicator constraints:



  • when $x_i,j,s = 1$, the condition must be true ($i$ charges before $j$)

  • when $x_i,j,s = 0$, the condition must be false ($i$ charges after $j$)

Most commercial solvers have simple APIs that allow you to add indicator constraints directly, without reformulation. For example, here's the documentation for Gurobi's addGenConstrIndicator function.






share|improve this answer









$endgroup$










  • 4




    $begingroup$
    Here is an earlier OR.SE post on using indicator constraints, with answers focusing on a couple of different packages: or.stackexchange.com/questions/231/…
    $endgroup$
    – dxb
    8 hours ago













Your Answer








StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "700"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: false,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: null,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);













draft saved

draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2for.stackexchange.com%2fquestions%2f1149%2fhow-to-add-binary-variable-with-condition-in-lp%23new-answer', 'question_page');

);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









4












$begingroup$

Add two indicator constraints:



  • when $x_i,j,s = 1$, the condition must be true ($i$ charges before $j$)

  • when $x_i,j,s = 0$, the condition must be false ($i$ charges after $j$)

Most commercial solvers have simple APIs that allow you to add indicator constraints directly, without reformulation. For example, here's the documentation for Gurobi's addGenConstrIndicator function.






share|improve this answer









$endgroup$










  • 4




    $begingroup$
    Here is an earlier OR.SE post on using indicator constraints, with answers focusing on a couple of different packages: or.stackexchange.com/questions/231/…
    $endgroup$
    – dxb
    8 hours ago















4












$begingroup$

Add two indicator constraints:



  • when $x_i,j,s = 1$, the condition must be true ($i$ charges before $j$)

  • when $x_i,j,s = 0$, the condition must be false ($i$ charges after $j$)

Most commercial solvers have simple APIs that allow you to add indicator constraints directly, without reformulation. For example, here's the documentation for Gurobi's addGenConstrIndicator function.






share|improve this answer









$endgroup$










  • 4




    $begingroup$
    Here is an earlier OR.SE post on using indicator constraints, with answers focusing on a couple of different packages: or.stackexchange.com/questions/231/…
    $endgroup$
    – dxb
    8 hours ago













4












4








4





$begingroup$

Add two indicator constraints:



  • when $x_i,j,s = 1$, the condition must be true ($i$ charges before $j$)

  • when $x_i,j,s = 0$, the condition must be false ($i$ charges after $j$)

Most commercial solvers have simple APIs that allow you to add indicator constraints directly, without reformulation. For example, here's the documentation for Gurobi's addGenConstrIndicator function.






share|improve this answer









$endgroup$



Add two indicator constraints:



  • when $x_i,j,s = 1$, the condition must be true ($i$ charges before $j$)

  • when $x_i,j,s = 0$, the condition must be false ($i$ charges after $j$)

Most commercial solvers have simple APIs that allow you to add indicator constraints directly, without reformulation. For example, here's the documentation for Gurobi's addGenConstrIndicator function.







share|improve this answer












share|improve this answer



share|improve this answer










answered 9 hours ago









SimonSimon

4721 silver badge13 bronze badges




4721 silver badge13 bronze badges










  • 4




    $begingroup$
    Here is an earlier OR.SE post on using indicator constraints, with answers focusing on a couple of different packages: or.stackexchange.com/questions/231/…
    $endgroup$
    – dxb
    8 hours ago












  • 4




    $begingroup$
    Here is an earlier OR.SE post on using indicator constraints, with answers focusing on a couple of different packages: or.stackexchange.com/questions/231/…
    $endgroup$
    – dxb
    8 hours ago







4




4




$begingroup$
Here is an earlier OR.SE post on using indicator constraints, with answers focusing on a couple of different packages: or.stackexchange.com/questions/231/…
$endgroup$
– dxb
8 hours ago




$begingroup$
Here is an earlier OR.SE post on using indicator constraints, with answers focusing on a couple of different packages: or.stackexchange.com/questions/231/…
$endgroup$
– dxb
8 hours ago

















draft saved

draft discarded
















































Thanks for contributing an answer to Operations Research Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid


  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.

Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2for.stackexchange.com%2fquestions%2f1149%2fhow-to-add-binary-variable-with-condition-in-lp%23new-answer', 'question_page');

);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

19. јануар Садржај Догађаји Рођења Смрти Празници и дани сећања Види још Референце Мени за навигацијуу

Israel Cuprins Etimologie | Istorie | Geografie | Politică | Demografie | Educație | Economie | Cultură | Note explicative | Note bibliografice | Bibliografie | Legături externe | Meniu de navigaresite web oficialfacebooktweeterGoogle+Instagramcanal YouTubeInstagramtextmodificaremodificarewww.technion.ac.ilnew.huji.ac.ilwww.weizmann.ac.ilwww1.biu.ac.ilenglish.tau.ac.ilwww.haifa.ac.ilin.bgu.ac.ilwww.openu.ac.ilwww.ariel.ac.ilCIA FactbookHarta Israelului"Negotiating Jerusalem," Palestine–Israel JournalThe Schizoid Nature of Modern Hebrew: A Slavic Language in Search of a Semitic Past„Arabic in Israel: an official language and a cultural bridge”„Latest Population Statistics for Israel”„Israel Population”„Tables”„Report for Selected Countries and Subjects”Human Development Report 2016: Human Development for Everyone„Distribution of family income - Gini index”The World FactbookJerusalem Law„Israel”„Israel”„Zionist Leaders: David Ben-Gurion 1886–1973”„The status of Jerusalem”„Analysis: Kadima's big plans”„Israel's Hard-Learned Lessons”„The Legacy of Undefined Borders, Tel Aviv Notes No. 40, 5 iunie 2002”„Israel Journal: A Land Without Borders”„Population”„Israel closes decade with population of 7.5 million”Time Series-DataBank„Selected Statistics on Jerusalem Day 2007 (Hebrew)”Golan belongs to Syria, Druze protestGlobal Survey 2006: Middle East Progress Amid Global Gains in FreedomWHO: Life expectancy in Israel among highest in the worldInternational Monetary Fund, World Economic Outlook Database, April 2011: Nominal GDP list of countries. Data for the year 2010.„Israel's accession to the OECD”Popular Opinion„On the Move”Hosea 12:5„Walking the Bible Timeline”„Palestine: History”„Return to Zion”An invention called 'the Jewish people' – Haaretz – Israel NewsoriginalJewish and Non-Jewish Population of Palestine-Israel (1517–2004)ImmigrationJewishvirtuallibrary.orgChapter One: The Heralders of Zionism„The birth of modern Israel: A scrap of paper that changed history”„League of Nations: The Mandate for Palestine, 24 iulie 1922”The Population of Palestine Prior to 1948originalBackground Paper No. 47 (ST/DPI/SER.A/47)History: Foreign DominationTwo Hundred and Seventh Plenary Meeting„Israel (Labor Zionism)”Population, by Religion and Population GroupThe Suez CrisisAdolf EichmannJustice Ministry Reply to Amnesty International Report„The Interregnum”Israel Ministry of Foreign Affairs – The Palestinian National Covenant- July 1968Research on terrorism: trends, achievements & failuresThe Routledge Atlas of the Arab–Israeli conflict: The Complete History of the Struggle and the Efforts to Resolve It"George Habash, Palestinian Terrorism Tactician, Dies at 82."„1973: Arab states attack Israeli forces”Agranat Commission„Has Israel Annexed East Jerusalem?”original„After 4 Years, Intifada Still Smolders”From the End of the Cold War to 2001originalThe Oslo Accords, 1993Israel-PLO Recognition – Exchange of Letters between PM Rabin and Chairman Arafat – Sept 9- 1993Foundation for Middle East PeaceSources of Population Growth: Total Israeli Population and Settler Population, 1991–2003original„Israel marks Rabin assassination”The Wye River Memorandumoriginal„West Bank barrier route disputed, Israeli missile kills 2”"Permanent Ceasefire to Be Based on Creation Of Buffer Zone Free of Armed Personnel Other than UN, Lebanese Forces"„Hezbollah kills 8 soldiers, kidnaps two in offensive on northern border”„Olmert confirms peace talks with Syria”„Battleground Gaza: Israeli ground forces invade the strip”„IDF begins Gaza troop withdrawal, hours after ending 3-week offensive”„THE LAND: Geography and Climate”„Area of districts, sub-districts, natural regions and lakes”„Israel - Geography”„Makhteshim Country”Israel and the Palestinian Territories„Makhtesh Ramon”„The Living Dead Sea”„Temperatures reach record high in Pakistan”„Climate Extremes In Israel”Israel in figures„Deuteronom”„JNF: 240 million trees planted since 1901”„Vegetation of Israel and Neighboring Countries”Environmental Law in Israel„Executive branch”„Israel's election process explained”„The Electoral System in Israel”„Constitution for Israel”„All 120 incoming Knesset members”„Statul ISRAEL”„The Judiciary: The Court System”„Israel's high court unique in region”„Israel and the International Criminal Court: A Legal Battlefield”„Localities and population, by population group, district, sub-district and natural region”„Israel: Districts, Major Cities, Urban Localities & Metropolitan Areas”„Israel-Egypt Relations: Background & Overview of Peace Treaty”„Solana to Haaretz: New Rules of War Needed for Age of Terror”„Israel's Announcement Regarding Settlements”„United Nations Security Council Resolution 497”„Security Council resolution 478 (1980) on the status of Jerusalem”„Arabs will ask U.N. to seek razing of Israeli wall”„Olmert: Willing to trade land for peace”„Mapping Peace between Syria and Israel”„Egypt: Israel must accept the land-for-peace formula”„Israel: Age structure from 2005 to 2015”„Global, regional, and national disability-adjusted life years (DALYs) for 306 diseases and injuries and healthy life expectancy (HALE) for 188 countries, 1990–2013: quantifying the epidemiological transition”10.1016/S0140-6736(15)61340-X„World Health Statistics 2014”„Life expectancy for Israeli men world's 4th highest”„Family Structure and Well-Being Across Israel's Diverse Population”„Fertility among Jewish and Muslim Women in Israel, by Level of Religiosity, 1979-2009”„Israel leaders in birth rate, but poverty major challenge”„Ethnic Groups”„Israel's population: Over 8.5 million”„Israel - Ethnic groups”„Jews, by country of origin and age”„Minority Communities in Israel: Background & Overview”„Israel”„Language in Israel”„Selected Data from the 2011 Social Survey on Mastery of the Hebrew Language and Usage of Languages”„Religions”„5 facts about Israeli Druze, a unique religious and ethnic group”„Israël”Israel Country Study Guide„Haredi city in Negev – blessing or curse?”„New town Harish harbors hopes of being more than another Pleasantville”„List of localities, in alphabetical order”„Muncitorii români, doriți în Israel”„Prietenia româno-israeliană la nevoie se cunoaște”„The Higher Education System in Israel”„Middle East”„Academic Ranking of World Universities 2016”„Israel”„Israel”„Jewish Nobel Prize Winners”„All Nobel Prizes in Literature”„All Nobel Peace Prizes”„All Prizes in Economic Sciences”„All Nobel Prizes in Chemistry”„List of Fields Medallists”„Sakharov Prize”„Țara care și-a sfidat "destinul" și se bate umăr la umăr cu Silicon Valley”„Apple's R&D center in Israel grew to about 800 employees”„Tim Cook: Apple's Herzliya R&D center second-largest in world”„Lecții de economie de la Israel”„Land use”Israel Investment and Business GuideA Country Study: IsraelCentral Bureau of StatisticsFlorin Diaconu, „Kadima: Flexibilitate și pragmatism, dar nici un compromis în chestiuni vitale", în Revista Institutului Diplomatic Român, anul I, numărul I, semestrul I, 2006, pp. 71-72Florin Diaconu, „Likud: Dreapta israeliană constant opusă retrocedării teritoriilor cureite prin luptă în 1967", în Revista Institutului Diplomatic Român, anul I, numărul I, semestrul I, 2006, pp. 73-74MassadaIsraelul a crescut in 50 de ani cât alte state intr-un mileniuIsrael Government PortalIsraelIsraelIsraelmmmmmXX451232cb118646298(data)4027808-634110000 0004 0372 0767n7900328503691455-bb46-37e3-91d2-cb064a35ffcc1003570400564274ge1294033523775214929302638955X146498911146498911

Кастелфранко ди Сопра Становништво Референце Спољашње везе Мени за навигацију43°37′18″ СГШ; 11°33′32″ ИГД / 43.62156° СГШ; 11.55885° ИГД / 43.62156; 11.5588543°37′18″ СГШ; 11°33′32″ ИГД / 43.62156° СГШ; 11.55885° ИГД / 43.62156; 11.558853179688„The GeoNames geographical database”„Istituto Nazionale di Statistica”проширитиууWorldCat156923403n850174324558639-1cb14643287r(подаци)