BIROn - Birkbeck Institutional Research Online

    Testing formula satisfaction

    Fischer, E. and Goldhirsh, Y. and Lachish, Oded (2012) Testing formula satisfaction. In: Fomin, F.V. and Kaski, P. (eds.) Algorithm Theory – SWAT 2012. Lecture Notes in Computer Science 7357. Berlin, Germany: Springer, pp. 376-387. ISBN 9783642311550.

    [img]
    Preview
    Text
    Formula.pdf - Author's Accepted Manuscript

    Download (412kB) | Preview

    Abstract

    We study the query complexity of testing for properties defined by read once formulae, as instances of massively parametrized properties, and prove several testability and non-testability results. First we prove the testability of any property accepted by a Boolean read-once formula involving any bounded arity gates, with a number of queries exponential in \epsilon and independent of all other parameters. When the gates are limited to being monotone, we prove that there is an estimation algorithm, that outputs an approximation of the distance of the input from satisfying the property. For formulae only involving And/Or gates, we provide a more efficient test whose query complexity is only quasi-polynomial in \epsilon. On the other hand we show that such testability results do not hold in general for formulae over non-Boolean alphabets; specifically we construct a property defined by a read-once arity 2 (non-Boolean) formula over alphabets of size 4, such that any 1/4-test for it requires a number of queries depending on the formula size.

    Metadata

    Item Type: Book Section
    Additional Information: 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings - The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-31155-0_33
    Keyword(s) / Subject(s): Query, Complexity, Property, Testing, Formula
    School: Birkbeck Schools and Departments > School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Dr Oded Lachish
    Date Deposited: 02 Jun 2014 09:42
    Last Modified: 27 Jul 2019 07:35
    URI: http://eprints.bbk.ac.uk/id/eprint/9835

    Statistics

    Downloads
    Activity Overview
    229Downloads
    169Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item