new-thyroid_q
POLIPlibrary for polynomially constrained
| ||
new-thyroid_q| Name | new-thyroid_q |
| Classification | nc|bc|d2 |
| Problem type | maxfs |
| Description | Bilinear model for the MaxFS instance new-thyroid_q |
| Objective sense | min |
| Variables | 651 (215 binary, 0 general integer, 436 continuous) |
| Nonlinear variables | 436 |
| Constraints | 430 |
| Nonlinear constraints | 215 |
| Linear nonzeros | 1797 |
| Nonlinear nonzeros | 215 |
| Download | new-thyroid_q.pip.gz new-thyroid_q.gms.gz new-thyroid_q.mod.gz |
| Best known solution | |
| Best known objective | |
| Best known bound | |
| Originator | Marc Pfetsch |
| Formulator | Marc Pfetsch |
| Donator | Marc Pfetsch |
| References | AmaldiBruglieriCasale2008 Pfetsch2008 FrankAsuncion2010 |
| Links | The Maximum Feasible Subsystem problem Home page UCI Machine Learning Repository |
| Additional information | This is a bilinear (quadratic, complementary) model for the
complementary problem of the maximum feasible subsystem problem
(MaxFS). Given an infeasible linear inequality system, the MaxFS
problem consists of finding a subsystem of largest cardinality that is
feasible. The complementary problem removes the least number of
inequalities such that the resulting system is feasible.
The model introduces a slack variable for each linear inequality and a
binary variable that indicates whether a certain inequality is
fulfilled or not. For each inequality the corresponding two variables
are coupled via a complementary constraint, i.e., at least one of them
must be 0. This is a classical formulation. It has been used, for
instance, in Amaldi
et al. [2008]. A description of a branch-and-cut algorithm and
more information about the problem can be found in Pfetsch [2008].
The original instances can be accessed through the Maximum Feasible
Subsystem problem Home page. Some instances are based on data from the
UCI Machine Learning Repository.
|
© by maintainers | | imprint