Extension Complexity of Formal Languages
Computational Complexity
2019-08-29 v5 Formal Languages and Automata Theory
Abstract
In this article we undertake a study of extension complexity from the perspective of formal languages. We define a natural way to associate a family of polytopes with binary languages. This allows us to define the notion of extension complexity of formal languages. We prove several closure properties of languages admitting compact extended formulations. Furthermore, we give a sufficient machine characterization of compact languages. We demonstrate the utility of this machine characterization by obtaining upper bounds for polytopes for problems in nondeterministic logspace; lower bounds in streaming models; and upper bounds on extension complexities of several polytopes.
Cite
@article{arxiv.1603.07786,
title = {Extension Complexity of Formal Languages},
author = {Hans Raj Tiwary},
journal= {arXiv preprint arXiv:1603.07786},
year = {2019}
}
Comments
Final version for TOCS