hadamard_9
POLIPlibrary for polynomially constrained
| ||
hadamard_9| Name | hadamard_9 |
| Classification | nc|b|d9 |
| Problem type | hadamard |
| Description | Maximize determinant of 9 times 9 binary matrix |
| Objective sense | max |
| Variables | 81 (81 binary, 0 general integer, 0 continuous) |
| Nonlinear variables | 81 |
| Constraints | 0 |
| Nonlinear constraints | 0 |
| Linear nonzeros | 0 |
| Nonlinear nonzeros | 362880 |
| Download | hadamard_9.pip.gz |
| Best known solution | |
| Best known objective | 144 |
| Best known bound | 144 |
| Originator | Marc Pfetsch |
| Formulator | Marc Pfetsch |
| Donator | Marc Pfetsch |
| References | |
| Links | |
| Additional information | Let a(n) be the maximal determinant of a 0/1-matrix of size
n by n. Hadamard proved that a(n) ≤
2(-n) (n+1)((n+1)/2). A Hadamard matrix
attains this bound. The Hadamard conjecture states that this is the
case if and only if n+1 is 1 or 2 or a multiple of 4. The
values of a(n) for small n are known. See the on-line encyclopedia of integer
sequences for more information.
|
© by maintainers | last update LAST_CHANGE | imprint