We introduce and analyze the concept of generic width of a semialgebraic set, showing that it gives lower bounds for decisional complexities.
Abstract. We introduce and analyze the concept of generic width of a semialgebraic set, showing that it gives lower bounds for decisional complexities.
A note on Rabin's width of a complete proof. Authors: José L. Montaña. José L ... A note on Rabin's width of a complete proof. Theory of computation.
Abstract: We introduce and analyze the concept of generic width of a semialgebraic set, showing that it gives lower bounds for decisional complexities. By means ...
A note on Rabin's width of a complete proof ; ISSN · 1420-8954 ; Year of publication · 1994 ; Volume · 4 ; Issue · 1 ; Pages · 12-36.
Rabin's width of a complete proof and the width of a semialgebraic set ; ISSN · 1611-3349, ; ISBN · 9783540515173 ; Year of publication · 1989 ; Volume · 378 LNCS.
Complete Linear Proofs of Systems of Linear Inequalities*
www.sciencedirect.com › article › pii › pdf
Thus it is of interest to have lower bounds on proof widths under this linear restriction. If linearity is imposed then Rabin's independence condition is ...
By means of the computation of the generic width we are able to solve rigorously the complexity problems posed by M.O. Rabin in [10], such as optimization of ...
A Note on Rabin's Width of a Complete Proof. Article. Mar 1994. José Luis Montaña; Luis M. Pardo; Tomas Recio. We ...
José Luis Montaña, Luis Miguel Pardo, Tomás Recio: A Note on Rabin's Width of a Complete Proof. 12-36 BibTeX · Nader H. Bshouty, Thomas R. Hancock, Lisa ...