Abstract
Gomory (Linear Algebra Appl 2:451–558, 1969) gave a subadditive characterization of the facets of the group polyhedron. Although there are exponentially many facets (see Gomory and Johnson in Math Program 3:359–389, 1972, Example 4.6) and exponentially many vertices for the group polyhedron for the master cyclic group problem, Gomory’s characterization of the non-trivial facets has polynomially many subadditive inequalities, in fact of order |G|2 for a finite Abelian group G. We reduce this subadditive inequality system to its minimal representation by a triple system of the same order and show the dimensionality of the polytope of non-trivial facets. The system of all triples corresponds to all solution vectors of length three into which every solution vector can be decomposed. Our minimal representation leads to a characterization of the vertices of length three. Gomory et al. (Math Program 96:321–339, 2003) introduced a shooting experiment involving solving the shooting linear program repeatedly to find important facets. We develop a topological network flow model of the dual problem of the shooting linear program in a reverse procedure from the decomposition of solution vectors into triples. Hunsaker (2003) gave a knapsack shooting experiment, which we use to find a simple pattern for the most hit knapsack facets.
Similar content being viewed by others
References
Aráoz, J.: Polyhedral Neopolarities. Ph.D. Dissertation, University of Waterloo, Department of Computer Science (1974)
Aráoz J., Evans L., Gomory R., Johnson E.: Cyclic group and knapsack facets. Math. Program. 96, 377–408 (2003)
Chopra S., Johnson E.L.: Dual row modules and polyhedra of blocking group problems. Math. Program. 38, 229–270 (1987)
Even S., Goldreich O.: The minimal-length generating sequence problem is NP-hard. J. Algorithms 2, 311–313 (1981)
Fulkerson D.R.: Blocking polyhedra. In: Harris, B. (ed) Graph Theory and Its Applications., pp. 93–112. Academic Press, New York (1970)
Gomory R.E.: Some polyhedra related to combinatorial problems. Linear Algebra Appl. 2, 451–558 (1969)
Gomory R.E., Johnson E.L.: Some continuous functions related to corner polyhedra, II. Math. Program. 3, 359–389 (1972)
Gomory R.E., Johnson E.L., Evans L.: Corner polyhedra and their connection with cutting planes. Math. Program. 96, 321–339 (2003)
Gross J.L., Tucker T.W.: Topological Graph Theory. Wiley, New York (1987)
Heydemann M.-C.: Cayley graphs and interconnection networks. In: Hahn, G., Sabidussi, G. (eds) Graph Symmetry, pp. 167–224. Kluwer, The Netherlands (1997)
Hunsaker, B.: Measuring Facets of Polyhedra to Predict Usefulness in Branch-and-Cut Algorithms. Ph.D. Thesis, Georgia Institute of Technology (2003)
Jerrum M.: The complexity of finding minimal-length generating sequence. Theor. Comput. Sci. 36, 265–289 (1985)
Shim, S.: Large Scale Group Network Optimization, Ph.D. Thesis, Georgia Institute of Technology (2009)
Shim S., Johnson E.L., Cao W.: Primal-dual simplex method for shooting. Electronic Notes in Discrete Mathematics. 36, 719–726 (2010)
Wong C.K., Coppersmith D.: A combinatorial problem related to multimodule memory organization. J. Assoc. Comput. Mach. 21, 392–402 (1974)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Shim, S., Johnson, E.L. Cyclic group blocking polyhedra. Math. Program. 138, 273–307 (2013). https://doi.org/10.1007/s10107-012-0536-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10107-012-0536-9
Mathematics Subject Classification
- 90C10 Integer programming
- 90C27 Combinatorial optimization
- 90C57 Polyhedral combinatorics, branch-and-bound, branch-and-cut
- 90C60 Abstract computational complexity for mathematical programming problems
- 52B05 Combinatorial properties
- 52B11 n-dimensional polytopes
- 52B12 Special polytopes
- 52B55 Computational aspects related to convexity
- 05C21 Flows in graphs
- 05C25 Graphs and abstract algebra
- 20C40 Computational methods
- 20F65 Geometric group theory
- 57M10 Covering spaces
- 68R10 Graph theory
- 68R05 Combinatorics
- 68U20 Simulation