Total dual dyadicness and dyadic generating sets
From MaRDI portal
Publication:2164668
Abstract: A vector is emph{dyadic} if each of its entries is a dyadic rational number, i.e. of the form for some integers with . A linear system with integral data is emph{totally dual dyadic} if whenever for integral, has an optimal solution, it has a dyadic optimal solution. In this paper, we study total dual dyadicness, and give a co-NP characterization of it in terms of emph{dyadic generating sets for cones and subspaces}, the former being the dyadic analogue of emph{Hilbert bases}, and the latter a polynomial-time recognizable relaxation of the former. Along the way, we see some surprising turn of events when compared to total dual integrality, primarily led by the emph{density} of the dyadic rationals. Our study ultimately leads to a better understanding of total dual integrality and polyhedral integrality. We see examples from dyadic matrices, -joins, cycles, and perfect matchings of a graph.
This article considers totally dyadic linear systems, which are those having integer coefficients with optimal solution vector with entries of the form \(a/2^k\). The authors consider the problem of determining when a linear program admits an optimal dyadic solution via the use of dyadic generating sets. Several interesting results are proven which provide a better insight on polyhedral internality. An extension to \(T\)-joins and perfect matchings concludes this paper. For the entire collection see [Zbl 1492.90008].
Recommendations
Cites work
- A characterisation of the matroids representable over GF(3) and the rationals
- An exact rational mixed-integer programming solver
- Blocking and anti-blocking pairs of polyhedra
- Clean clutters and dyadic fractional packings
- Combinatorial optimization. Packing and covering
- Combinatorial optimization. Polyhedra and efficiency (3 volumes)
- scientific article; zbMATH DE number 3580570 (Why is no real title available?)
- scientific article; zbMATH DE number 1234104 (Why is no real title available?)
- scientific article; zbMATH DE number 475604 (Why is no real title available?)
- scientific article; zbMATH DE number 1102774 (Why is no real title available?)
- Integer Programming
- Matching structure and the matching lattice
- Matroids and multicommodity flows
- On Multi-Colourings of Cubic Graphs, and Conjectures of Fulkerson and Tutte
- Polyhedral decompositions of cubic graphs
- Polynomial Algorithms for Computing the Smith and Hermite Normal Forms of an Integer Matrix
- Rational and integral \(k\)-regular matrices.
- Recognizing conic TDI systems is hard
- Subspaces with well-scaled frames
- The complexity of recognizing linear systems with certain integrality properties
- Total dual integrality and integer polyhedra
- Total dual integrality implies local strong unimodularity
Cited in
(9)- On a conjecture concerning dyadic oriented matroids
- On a complete set of generators for dot-depth two
- Dyadic polygons
- scientific article; zbMATH DE number 1017396 (Why is no real title available?)
- Duality for dyadic triangles
- On dyadic fractional packings of T-joins
- Finitely generated dyadic convex sets
- Total dual dyadicness and dyadic generating sets
- Dyadic linear programming and extensions
This page was built for publication: Total dual dyadicness and dyadic generating sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2164668)