Questions tagged [relaxation]

For questions related to optimization problems that are obtained from other optimization problems by increasing the feasible region, typically by removing one or more constraints or changing their right-hand sides.

Filter by
Sorted by
Tagged with
2 votes
2 answers
99 views

How can I relax the equality constraint in this problem?

Consider the following problem \begin{equation} \begin{aligned} \min_{x,y} \quad & f(x,y), \\ \textrm{s.t.} \quad & \exp(x) + \exp(y) = 1 \end{aligned} \tag{1} \end{...
mhdadk's user avatar
  • 455
4 votes
1 answer
126 views

Does minimizing the upper bound due to Jensen's inequality yield an equivalent solution?

$\DeclareMathOperator*{\argmin}{\arg\!\min}$Consider the convex function $f : X \to \mathbb R$, where $X \subseteq \mathbb R^n$ is a convex set. Define the functions $g_\ell : X^m \times \Delta \to \...
mhdadk's user avatar
  • 455
1 vote
2 answers
64 views

Relaxing non-affine equality constraints in convex optimization

Consider the convex function $f$. In section 4.2.1 in these lecture notes, the author writes: 4.2.1 Relaxing non-affine equality constraints For functions $g_i(x)$, $i \in \{1,\dots,d\}$ that are ...
mhdadk's user avatar
  • 455
1 vote
0 answers
34 views

Convex quadratic maximization over cartesian product of simplices

Suppose we are maximizing $f(x^1,\ldots,x^t)= \begin{bmatrix}{x^1}^\top & \ldots & {x^t}^\top \end{bmatrix}^\top Q \begin{bmatrix}{x^1}^\top & \ldots & {x^t}^\top \end{bmatrix}$ ...
independentvariable's user avatar
2 votes
1 answer
83 views

Lifting a 3rd order polynomial into a higher dimensional space

An MINLP from a paper I am reading has the following expression in its constraints: Where from left to right: $p_{l,s}$: continuous variable $z_l$: binary variable $b_l$: constant $\Delta \theta_{l,s}...
Ahmed's user avatar
  • 103
3 votes
1 answer
733 views

Solving a MIP by Relaxation

I have tried to understand the method of relaxing an integer program. I am in the process of implementing and solving a MIP for the FJSSP. For this I use the python-MIP package to solve it. From my ...
user18609205's user avatar
2 votes
1 answer
274 views

KKT conditions analysis for binary constraints

I am wondering if boolean constraints in a linear program can be solved (after linear relaxation from $x\in\{0,1\}$ to both $x\ge0$ and $x\le1$) using KKT analysis. Most of the algorithms that I have ...
amr zaki's user avatar
3 votes
1 answer
218 views

Linear Relaxation of Boolean Constraint for Solving Integer Linear Program Using KKT

I am trying to convert a boolean LP to LP using LP relaxation by converting $x \in {0,1}$ to both $x \ge 0$ and $x \le 1$. Then to use it in my problem analysis, I am trying to build the KKT ...
amr zaki's user avatar
6 votes
1 answer
159 views

Two equivalent soft constraint implementations

Take the following optimization problem: \begin{align}\min_x&\quad f(x)\\\text{s.t.}&\quad g(x)\le0\end{align} with $f$ and $g$ nonlinear functions. Suppose I want to relax the constraint by ...
MDescamps's user avatar
3 votes
1 answer
189 views

"Rank 1" type constraint $X=vw^\top$: MILP representation? Convex relaxation? Other tractable approach?

Suppose $X\in\mathbb{R}^{m\times n}$, $v\in\mathbb{R}^m$, $w\in\mathbb{R}^n$ are variables from an optimization problem, which also includes the constraints: $$0\le v\le a$$ $$0\le w\le 1$$ $$w_1+\...
cfp's user avatar
  • 235
3 votes
2 answers
141 views

Relaxation and complexity of two formulations

I have two different MILP formulations for the same scheduling problem with the same complexity but with different running times. Why it is recommended to compare the relaxed versions of each ...
fathese's user avatar
  • 413
2 votes
0 answers
109 views

how to convert type of variable in CPLEX

I have an Integer Linear Problem which is solved quickly when I change my variable type to double. now I'm developing a fix and relax algorithm and I used conversion to change data type which takes a ...
fhm.ider's user avatar
6 votes
2 answers
529 views

What is a general procedure to prove that the LP relaxation of an IP delivers the optimal IP solution?

Say that I have a binary IP $$z=\max_x \{c^\top x: Ax=b, x\in B^n\}$$ where $B^n$ is the set of $n$-dimensional $0-1$ vectors. Its LP relaxation will be $$z^{LP}=\max_x \{c^\top x: Ax=b, 0\leq x\leq 1\...
k88074's user avatar
  • 1,641
3 votes
0 answers
146 views

SDP relaxation with greater-than and less-than inequalities at the same time

I am dealing with the following nonconvex fractional quadratic optimization problem \begin{align} & \min_{\boldsymbol{x}} && \max_{t \in \mathcal{T}} \frac{\boldsymbol{a}_t^T \boldsymbol{...
Antonio Albanese's user avatar
6 votes
1 answer
686 views

Linearize a product of an integer variable (not just binary) and a continuous variable?

I have a constraint in my formulation that contains multiplication of an integer variable $y$ and a continuous variable $x$, which is $xy=q$ where $y$ is the number of units in which $q$ gets equally ...
optimizationguy's user avatar
8 votes
3 answers
219 views

Ways to strengthen QCQP relaxations

I was wondering what types of methods can be used to strengthen QCQP relaxations. Our solver has all the standard stuff, like constraint propagation, presolving, etc., but some QCQP problems seem to ...
Nikos Kazazakis's user avatar
7 votes
2 answers
3k views

The general meaning of "constraint relaxation" in the context of the Shortest Path Problem

I've read that in the context of the Shortest Path Problem, the use of the term "relaxation" ("relaxing edges") [...][the use of the term "relaxation"] is historical. The outcome of a relaxation ...
Alexey's user avatar
  • 169
21 votes
5 answers
637 views

Tightness of an LP relaxation without using objective function

How can we measure the tightness of a linear programming relaxation for a mixed integer linear program without using the objective value? I would like to get a measure in terms of the feasible set and ...
Mertcan Yetkin's user avatar