40 research outputs found

    Self-Specifying Machines

    Full text link
    We study the computational power of machines that specify their own acceptance types, and show that they accept exactly the languages that \manyonesharp-reduce to NP sets. A natural variant accepts exactly the languages that \manyonesharp-reduce to P sets. We show that these two classes coincide if and only if \psone = \psnnoplusbigohone, where the latter class denotes the sets acceptable via at most one question to \sharpp followed by at most a constant number of questions to \np.Comment: 15 pages, to appear in IJFC

    Query Order and the Polynomial Hierarchy

    Full text link
    Hemaspaandra, Hempel, and Wechsung [cs.CC/9909020] initiated the field of query order, which studies the ways in which computational power is affected by the order in which information sources are accessed. The present paper studies, for the first time, query order as it applies to the levels of the polynomial hierarchy. We prove that the levels of the polynomial hierarchy are order-oblivious. Yet, we also show that these ordered query classes form new levels in the polynomial hierarchy unless the polynomial hierarchy collapses. We prove that all leaf language classes - and thus essentially all standard complexity classes - inherit all order-obliviousness results that hold for P.Comment: 14 page

    Query complexity of membership comparable sets

    Get PDF
    AbstractThis paper investigates how many queries to k-membership comparable sets are needed in order to decide all (k+1)-membership comparable sets. For k⩾2 this query complexity is at least linear and at most cubic. As a corollary, we obtain that more languages are O(logn)-membership comparable than truth-table reducible to P-selective sets

    AND and/or OR: Uniform Polynomial-Size Circuits

    Get PDF
    We investigate the complexity of uniform OR circuits and AND circuits of polynomial-size and depth. As their name suggests, OR circuits have OR gates as their computation gates, as well as the usual input, output and constant (0/1) gates. As is the norm for Boolean circuits, our circuits have multiple sink gates, which implies that an OR circuit computes an OR function on some subset of its input variables. Determining that subset amounts to solving a number of reachability questions on a polynomial-size directed graph (which input gates are connected to the output gate?), taken from a very sparse set of graphs. However, it is not obvious whether or not this (restricted) reachability problem can be solved, by say, uniform AC^0 circuits (constant depth, polynomial-size, AND, OR, NOT gates). This is one reason why characterizing the power of these simple-looking circuits in terms of uniform classes turns out to be intriguing. Another is that the model itself seems particularly natural and worthy of study. Our goal is the systematic characterization of uniform polynomial-size OR circuits, and AND circuits, in terms of known uniform machine-based complexity classes. In particular, we consider the languages reducible to such uniform families of OR circuits, and AND circuits, under a variety of reduction types. We give upper and lower bounds on the computational power of these language classes. We find that these complexity classes are closely related to tallyNL, the set of unary languages within NL, and to sets reducible to tallyNL. Specifically, for a variety of types of reductions (many-one, conjunctive truth table, disjunctive truth table, truth table, Turing) we give characterizations of languages reducible to OR circuit classes in terms of languages reducible to tallyNL classes. Then, some of these OR classes are shown to coincide, and some are proven to be distinct. We give analogous results for AND circuits. Finally, for many of our OR circuit classes, and analogous AND circuit classes, we prove whether or not the two classes coincide, although we leave one such inclusion open.Comment: In Proceedings MCU 2013, arXiv:1309.104

    Sparse reduces conjunctively to tally

    Get PDF
    corecore