Questions tagged [presolve-preprocessing]
The presolve-preprocessing tag has no usage guidance.
10
questions
3
votes
1
answer
572
views
SCIP do not branch
I am trying to solve Nurse scheduling problem using SCIP. The SCIP solve it in pre-solving stage itself and gives optimal solution. I don't want that to happen., because I want to use the branching ...
- 31
8
votes
1
answer
655
views
Good references for reduced cost fixing?
Reduced cost fixing is a technique used by mixed integer programming (MIP) solvers to safely fix variables to certain values. While this technique is well-known among the MIP community, I don't know ...
- 606
4
votes
1
answer
248
views
Standard Form for LP and MPS
Is there any way I could have Gurobi/CPLEX or any other package write/export MPS and LP files in the standard LP construct loaded with slack variables and transformations required for unsigned vars?
...
- 394
11
votes
2
answers
898
views
Do LP solvers convert LPs to standard form?
To solve a linear program (LP) using the simplex method one first needs to bring the LP to standard form. This requires replacing every equality constraint with two inequalities and replacing every ...
- 2,325
9
votes
3
answers
314
views
Objective Integrality Cuts
Consider a mixed integer linear program with an objective function that includes only integer variables. Objective integrality cuts are known as a class of valid inequalities that can be added to ...
- 2,170
6
votes
1
answer
226
views
Obtaining the system of irredundant inequalities from a set of inequalities using CPLEX
Given a linear system of inequalities $Ax \geq b$, I would ideally like to compute the irredundant set for those set of inequalities. I know how to do so mathematically, but I was wondering if there ...
- 1,583
2
votes
1
answer
259
views
How to detect unbounded problems
How can I algorithmically detect whether an (MI)NLP problem is unbounded or not?
Finding a source for this has proven tricky, because people in the literature seem to talk a lot about what to do if ...
- 12.2k
6
votes
0
answers
187
views
Benefits of removing slack variables during presolve
I was reading Tobias Achterberg's thesis, and on page 138 he mentions the following presolving technique for linear equations (I'm slightly paraphrasing Example 10.2):
Consider the equation $4x_1+...
- 12.2k
6
votes
0
answers
651
views
Cplex is stuck after root node relaxation solution
I am solving an MIP through Benders decomposition (coded both generic and legacy callback versions), by employing Java with Cplex 12.9. For some of the instances, Cplex is stuck for two hours (time ...
- 61
18
votes
3
answers
1k
views
Variable fixing based on a good feasible solution
Suppose you have a combinatorial optimization problem that is formulated as a mixed integer linear program (minimization). The problem size is denoted $n$ and the expected $n$ is around $100$. The ...
- 2,170