Skip to main content
Became Hot Network Question
edited body
Source Link
Rainbow
  • 153
  • 4

I have three binary variables $x_{i,j}^{m,r}$ , $y_i^{m,r}$, and $z_i^{m,r}$. There is another integer variable $w_i^r$. And I want to linearize the following logic:

$$ \sum_{m} x_{i,j}^{m,r} \ge 1 \implies w_j^r = w_i^r + \sum_{m} y_i^{m,r} - \sum_{m} z_i^{m,r} \qquad \forall r, i, j $$$$ \sum_{m} x_{i,j}^{m,r} \ge 1 \implies w_j^r = w_i^r + \sum_{m} y_j^{m,r} - \sum_{m} z_j^{m,r} \qquad \forall r, i, j $$

I think to linearize the above I need to introduce another binary. But could we do it without any new variables?

I have three binary variables $x_{i,j}^{m,r}$ , $y_i^{m,r}$, and $z_i^{m,r}$. There is another integer variable $w_i^r$. And I want to linearize the following logic:

$$ \sum_{m} x_{i,j}^{m,r} \ge 1 \implies w_j^r = w_i^r + \sum_{m} y_i^{m,r} - \sum_{m} z_i^{m,r} \qquad \forall r, i, j $$

I think to linearize the above I need to introduce another binary. But could we do it without any new variables?

I have three binary variables $x_{i,j}^{m,r}$ , $y_i^{m,r}$, and $z_i^{m,r}$. There is another integer variable $w_i^r$. And I want to linearize the following logic:

$$ \sum_{m} x_{i,j}^{m,r} \ge 1 \implies w_j^r = w_i^r + \sum_{m} y_j^{m,r} - \sum_{m} z_j^{m,r} \qquad \forall r, i, j $$

I think to linearize the above I need to introduce another binary. But could we do it without any new variables?

added 2 characters in body; edited title
Source Link
RobPratt
  • 34.3k
  • 2
  • 47
  • 90

Is it possibltpossible to do a linearization without introducing new variables?

I have three binary variblesvariables $x_{i,j}^{m,r}$ , $y_i^{m,r}$, and $z_i^{m,r}$. There is another integer variblevariable $w_i^r$. And I want to linearize the following logic:

$$ \sum_{m} x_{i,j}^{m,r} \ge 1 \implies w_j^r = w_i^r + \sum_{m} y_i^{m,r} - \sum_{m} z_i^{m,r} \qquad \forall m,r , i, j $$$$ \sum_{m} x_{i,j}^{m,r} \ge 1 \implies w_j^r = w_i^r + \sum_{m} y_i^{m,r} - \sum_{m} z_i^{m,r} \qquad \forall r, i, j $$

I think to linearize the above I need to introduce another binary. But could we do it without any new variables?

Is it possiblt to do a linearization without introducing new variables?

I have three binary varibles $x_{i,j}^{m,r}$ , $y_i^{m,r}$, and $z_i^{m,r}$. There is another integer varible $w_i^r$. And I want to linearize the following logic:

$$ \sum_{m} x_{i,j}^{m,r} \ge 1 \implies w_j^r = w_i^r + \sum_{m} y_i^{m,r} - \sum_{m} z_i^{m,r} \qquad \forall m,r , i, j $$

I think to linearize the above I need to introduce another binary. But could we do it without any new variables?

Is it possible to do a linearization without introducing new variables?

I have three binary variables $x_{i,j}^{m,r}$ , $y_i^{m,r}$, and $z_i^{m,r}$. There is another integer variable $w_i^r$. And I want to linearize the following logic:

$$ \sum_{m} x_{i,j}^{m,r} \ge 1 \implies w_j^r = w_i^r + \sum_{m} y_i^{m,r} - \sum_{m} z_i^{m,r} \qquad \forall r, i, j $$

I think to linearize the above I need to introduce another binary. But could we do it without any new variables?

Source Link
Rainbow
  • 153
  • 4

Is it possiblt to do a linearization without introducing new variables?

I have three binary varibles $x_{i,j}^{m,r}$ , $y_i^{m,r}$, and $z_i^{m,r}$. There is another integer varible $w_i^r$. And I want to linearize the following logic:

$$ \sum_{m} x_{i,j}^{m,r} \ge 1 \implies w_j^r = w_i^r + \sum_{m} y_i^{m,r} - \sum_{m} z_i^{m,r} \qquad \forall m,r , i, j $$

I think to linearize the above I need to introduce another binary. But could we do it without any new variables?