# multiplication of binary variable and semicontinuous variables

 0 Hi all, I am trying to linearize Xy where X is binary variable and y is a semi-continuous variable. whenever X=0, M<=y<=2M (M is big M), if X=1 then 1<=y<=5. any hint to help me to linearize X*y would be appreciated. Thank you Hesam asked 22 Feb '13, 15:22 hesameivazy 71●6 accept rate: 0% 1 If you want y between either 1 and 5 or M and 2M, depending on x, then y is not semicontinuous. A semicontinuous variable is either 0 or falls within a specified range (such as [1, 5]). So which do you mean? (23 Feb '13, 16:23) Paul Rubin ♦ Another question: What is y representing and why does it make sense to have y between two effectively arbitrary large values in the one case? (I have to say, that sounds like the sort of logic puzzle that might come up in a homework problem on logical conditions in mixed integer programming class.) (24 Feb '13, 17:29) Matthew Salt... ♦ Hi Paul, sorry I used a wrong term for y. y is not a semi-continuous variable, it is between either 1 and 5 or M and 2M, depending on x. (25 Feb '13, 00:41) hesameivazy @ Matthew Saltzman: X represents a binary variable deciding to/not to select an activity in a resource constrained project scheduling problem. y is the start time of one activity. If X=0, then y should be very large (it means that the activity would start at very much far from now, then no resource would be used by this activity in the project life time). that's why y is between M and 2M. Right now I think I have already linearized Xy. This is not a homework or part of a homework, it is part of my research to formulate an underground mine scheduling problem. (25 Feb '13, 00:51) hesameivazy 1 Thanks for clarifying. It does seem that simply y >= M would serve the purpose of the first constraint, with any upper bound being arbitrary. (25 Feb '13, 08:52) Matthew Salt... ♦ @ Matthew Saltzman: No problem. Yes any arbitrary upper bound more than M would work. (25 Feb '13, 09:31) hesameivazy showing 5 of 6 show 1 more comments

 1 $$1 + (M-1)(1-x)\le y \le 5 + (2M-5)(1-x)$$ answered 25 Feb '13, 08:40 Paul Rubin ♦ 11.6k●4●12 accept rate: 18% 1 Or just 1 + M(1-x) <= y <= 5 + 2M(1-x) as M is arbitrary. (25 Feb '13, 08:54) Matthew Salt... ♦ 2 True. I decided to give the overly precise answer in case someone else stumbled on this and had a less arbitrary alternative interval in mind. Plus, this "M-1, M, what the heck" attitude is how we get such large budget deficits. :-) (25 Feb '13, 08:58) Paul Rubin ♦ I write here what I have, I am not pretty sure if it is true, but it may give some idea to other people: define WP=X*y. Upper bound and lower bound of y are as follows: UPPER BOUND =U= 2M(1-X)+5X LOWER BOUND =L= M(1-X)+1X Now: X*[M(1-X)+1*X]≤WP≤X*[2M(1-X)+5*X] y-(1-X)*[2M(1-X)+5X]≤WP≤y-(1-X)*[M(1-X)+1.X] Since (1-X)*(1-X)=(1-X), (1-X)*X=0, and X*X=X, then above two equations are rearranged as follows: 1.X≤WP≤5.X y-2M.(1-X)≤WP≤y-M.(1-X) (∀i=1…N) (25 Feb '13, 09:47) hesameivazy
 toggle preview community wiki

By Email:

Markdown Basics

• *italic* or _italic_
• **bold** or __bold__
• image?![alt text](/path/img.jpg "Title")
• numbered list: 1. Foo 2. Bar
• to add a line break simply add two spaces to where you would like the new line to be.
• basic HTML tags are also supported

Tags:
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 1, "mathjax_asciimath": 1, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9156386852264404, "perplexity": 2934.9447139090694}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2015-11/segments/1424936460577.67/warc/CC-MAIN-20150226074100-00032-ip-10-28-5-156.ec2.internal.warc.gz"}