Skip to main content
Article thumbnail
Location of Repository

IMPROVED UPPER BOUNDS IN NC FOR MONOTONE PLANAR CIRCUIT VALUE AND SOME RESTRICTIONS AND GENERALIZATIONS

By Nutan Limaye, Meena Mahajan and Jayalal Sarma M. N

Abstract

and for the special case of upward stratified circuits, it is known to be in LogDCFL. In this paper we re-examine the complexity of MPCVP, with special attention to circuits with cylindrical embeddings. We characterize cylindricality, which is stronger than planarity but strictly generalizes upward planarity, and make the characterization partially constructive. We use this construction, and four key reduction lemmas, to obtain several improvements. We show that stratified cylindrical monotone circuits can be evaluated in LogDCFL, and arbitrary cylindrical monotone circuits can be evaluated in AC 1 (LogDCFL), while monotone circuits with one-input-face planar embeddings can be evaluated in LogCFL. For monotone circuits with focused embeddings, we show an upper bound of AC 1 (LogDCFL). We re-examine the NC 3 algorithm for general MPCVP, and note that it is in AC 1 (LogCFL) = SAC 2. Finally, we consider extensions beyond MPCVP. We show that monotone circuits with toroidal embeddings can, given such an embedding, be evaluated in NC. Also, special kinds of arbitrary genus circuits can also be evaluated in NC. We also show that planar non-monotone circuits with polylogarithmic negation-height can be evaluated in NC

Topics: monotone, planar, NC Subject classification. Computational and Structural Complexity
Year: 2009
OAI identifier: oai:CiteSeerX.psu:10.1.1.135.7659
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.imsc.res.in/~meena/... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.