Domain Reduction for Monotonicity Testing: A o(d) Tester for Boolean Functions on Hypergrids.
Hadley BlackDeeparnab ChakrabartyC. SeshadhriPublished in: CoRR (2018)
Keyphrases
- boolean functions
- uniform distribution
- test cases
- threshold functions
- software testing
- functional properties
- prime implicants
- binary decision diagrams
- membership queries
- polynomial size
- domain independent
- statistical queries
- linear threshold
- relevant variables
- dnf formulas
- disjunctive normal form
- learning algorithm