eldorado.tu-dortmund.de/server/api/core/bitstreams/f43ccd0a-8a95-43e7-83f6-fd6b8cd3d2cb/content
explicit bound in [3] gives a lower bound better than 2n−1 is n = 128.
n W1, . . . , Wn
1 1 2 1, 2 3 1, 2, 4 2, 3, 4 4 2, 3, 4, 10 2, 6, 7, 10
2, 3, 6, 10 3, 4, 8, 10 2, 4, 7, 10 3, 6, 8, 10
5 4, 6, 11 [...] enum. 4 matr. # feas. IPs 1 1 1 1 2 1 1 2 3 3 3 8 4 125 22 46 5 1.2 · 105 372 442 6 3.4 · 109 10.936 6.395 7 4.2 · 1015 479.064 131.711 8 2.4 · 1023 30.846.418 3.658.432 9 8.5 · 1032 2.953.407.869 130.833 [...] 188
Table 3. Total number of triangular matrices, number of enumerated triangular matrices and number of feasible IPs.
n W1, . . . , Wn
1 1, 2 1, 2, 3 1, 2, 4
2, 3, 4 4 2, 3, 4, 8
2, 4, 5, 8 3, 4, 6, 8 …