POLIP

library for polynomially constrained
mixed-integer programming


polip :: contents / contributors / instances / archive / bibliography

Hard  bernasconi.45.45

Namebernasconi.45.45
Classificationnc|bc|d4
Problem typeautocorrelated_sequences
Descriptiondegree-four model for low autocorrelated binary sequences
Objective sensemin
Variables46  (45 binary, 0 general integer, 1 continuous)
Nonlinear variables1
Constraints0
Nonlinear constraints1
Linear nonzeros0
Nonlinear nonzeros21994
Download bernasconi.45.45.pip.gz bernasconi.45.45.gms.gz bernasconi.45.45.mod.gz bernasconi.45.45.zpl.gz
Best known solutionbernasconi.45.45.sol.gz
Best known objective-112764
Best known bound-1510172
OriginatorFrauke Liers, Enzo Marinari, Ulrike Pagacz, Federico Ricci-Tersenghi, Vera Schmitz
FormulatorUlrike Pagacz
DonatorUlrike Pagacz
References LiersMarinariPagaczEtal2010
Links
Additional informationThis instance arises in theoretical physics. Determining a ground state in the so-called Bernasconi model amounts to minimizing a degree-four energy function over variables taking values in {+1,-1}. Here, the energy function is expressed in 0/1 variables. The model contains symmetries, leading to multiple optimum solutions.

© by maintainers  |     |  imprint