We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.DM

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Combinatorics

Title: Extended formulations from communication protocols in output-efficient time

Abstract: Deterministic protocols are well-known tools to obtain extended formulations, with many applications to polytopes arising in combinatorial optimization. Although constructive, those tools are not output-efficient, since the time needed to produce the extended formulation also depends on the number of rows of the slack matrix (hence, on the exact description in the original space). We give general sufficient conditions under which those tools can be implemented as to be output-efficient, showing applications to e.g.~Yannakakis' extended formulation for the stable set polytope of perfect graphs, for which, to the best of our knowledge, an efficient construction was previously not known. For specific classes of polytopes, we give also a direct, efficient construction of extended formulations arising from protocols. Finally, we deal with extended formulations coming from unambiguous non-deterministic protocols.
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
Cite as: arXiv:1811.08529 [math.CO]
  (or arXiv:1811.08529v2 [math.CO] for this version)

Submission history

From: Manuel Aprile [view email]
[v1] Tue, 20 Nov 2018 23:36:11 GMT (28kb)
[v2] Mon, 8 Apr 2019 11:24:27 GMT (27kb)

Link back to: arXiv, form interface, contact.