Testing Computability by Width Two OBDDs

Abstract

Property testing is concerned with deciding whether an object (e.g. a graph or a function) has a certain property or is “far” (for some definition of far) from every object with that property. In this paper we give lower and upper bounds for testing functions for the property of being computable by a read-once width-2 Ordered Binary Decision Diagram (OBDD… (More)
DOI: 10.1007/978-3-642-03685-9_51

4 Figures and Tables

Topics

  • Presentations referencing similar topics