Algebraic methods in the theory of lower bounds for Boolean circuit complexity
STOC '87 Proceedings of the nineteenth annual ACM symposium on Theory of computing
Finite monoids and the fine structure of NC1
Journal of the ACM (JACM)
Bounded-width polynomial-size branching programs recognize exactly those languages in NC1
Journal of Computer and System Sciences - 18th Annual ACM Symposium on Theory of Computing (STOC), May 28-30, 1986
Learning Nested Differences of Intersection-Closed Concept Classes
Machine Learning
Non-uniform automata over groups
Information and Computation
Learning read-once formulas with queries
Journal of the ACM (JACM)
Superlinear lower bounds for bounded-width branching programs
Journal of Computer and System Sciences
Representing Boolean functions as polynomials modulo composite numbers
Computational Complexity - Special issue on circuit complexity
Learning sparse multivariate polynomials over a field with queries and counterexamples
Journal of Computer and System Sciences
On Learning Read-k-Satisfy-j DNF
SIAM Journal on Computing
A lower bound on the MOD 6 degree of the or function
Computational Complexity
Learning functions represented as multiplicity automata
Journal of the ACM (JACM)
Constructing Ramsey Graphs from Boolean Function Representations
CCC '06 Proceedings of the 21st Annual IEEE Conference on Computational Complexity
3-query locally decodable codes of subexponential length
Proceedings of the forty-first annual ACM symposium on Theory of computing
An algebraic perspective on Boolean function learning
ALT'09 Proceedings of the 20th international conference on Algorithmic learning theory
The Coin Problem and Pseudorandomness for Branching Programs
FOCS '10 Proceedings of the 2010 IEEE 51st Annual Symposium on Foundations of Computer Science
Pseudorandom Generators for Regular Branching Programs
FOCS '10 Proceedings of the 2010 IEEE 51st Annual Symposium on Foundations of Computer Science
Pseudorandom generators for group products: extended abstract
Proceedings of the forty-third annual ACM symposium on Theory of computing
Hi-index | 0.00 |
Boolean functions that have constant degree polynomial representation over a fixed finite ring form a natural and strict subclass of the complexity class ACC0. They are also precisely the functions computable efficiently by programs over fixed and finite nilpotent groups. This class is not known to be learnable in any reasonable learning model. In this paper, we provide a deterministic polynomial time algorithm for learning Boolean functions represented by polynomials of constant degree over arbitrary finite rings from membership queries, with the additional constraint that each variable in the target polynomial appears in a constant number of monomials. Our algorithm extends to superconstant but low degree polynomials and still runs in quasipolynomial time.