Testing Computability by Width Two OBDDs


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


  • Presentations referencing similar topics