Library Header Image
LSE Research Online LSE Library Services

Total dual dyadicness and dyadic generating sets

Abdi, Ahmad ORCID: 0000-0002-3008-4167, Cornuéjols, Gérard, Guenin, Bertrand and Tunçel, Levent (2022) Total dual dyadicness and dyadic generating sets. Mathematical Programming. ISSN 0025-5610

[img] Text (Total dual dyadicness and dyadic generating sets) - Accepted Version
Download (317kB)

Identification Number: 10.1007/s10107-023-01967-z


A vector is dyadic if each of its entries is a dyadic rational number, i.e. of the form a2k for some integers a, k with k≥ 0 . A linear system Ax≤ b with integral data is totally dual dyadic if whenever min { b⊤y: A⊤y= w, y≥ 0} for w 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 dyadic generating sets for cones and subspaces, the former being the dyadic analogue of 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 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 matroids, T-joins, cycles, and perfect matchings of a graph.

Item Type: Article
Additional Information: : © 2023, Springer-Verlag GmbH Germany, part of Springer Nature and Mathematical Optimization Society.
Divisions: Mathematics
Subjects: Q Science > QA Mathematics
Q Science > QA Mathematics > QA76 Computer software
Date Deposited: 27 Sep 2023 15:57
Last Modified: 24 May 2024 23:13

Actions (login required)

View Item View Item


Downloads per month over past year

View more statistics