Source author record

Gérard Cornuéjols

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

3works
2topics
4close collaborators

Published work

3 publications

preprint2022arXiv

Testing idealness in the filter oracle model

A filter oracle for a clutter consists of a finite set VV along with an oracle which, given any set X⊆VX\subseteq V, decides in unit time whether or not XX contains a member of the clutter. Let A2n\mathfrak{A}_{2n} be an algorithm that, given any clutter C\mathcal{C} over 2n2n elements via a filter oracle, decides whether or not C\mathcal{C} is ideal. We prove that in the worst case, A2n\mathfrak{A}_{2n} must make at least 2n2^n calls to the filter oracle. Our proof uses the theory of cuboids.

preprint2022arXiv

Total dual dyadicness and dyadic generating sets

A vector is \emph{dyadic} if each of its entries is a dyadic rational number, i.e. of the form a2k\frac{a}{2^k} for some integers a,ka,k with k≥0k\geq 0. A linear system Ax≤bAx\leq b with integral data is \emph{totally dual dyadic} if whenever min⁡{b⊤y:A⊤y=w,y≥0}\min\{b^\top y:A^\top y=w,y\geq {\bf 0}\} for ww 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, TT-joins, cycles, and perfect matchings of a graph.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.