Generating all maximal independent sets of bounded-degree hypergraphs
COLT '97 Proceedings of the tenth annual conference on Computational learning theory
On polynomial-time preference elicitation with value queries
Proceedings of the 4th ACM conference on Electronic commerce
Interpolation of depth-3 arithmetic circuits with two multiplication gates
Proceedings of the thirty-ninth annual ACM symposium on Theory of computing
Read-once polynomial identity testing
STOC '08 Proceedings of the fortieth annual ACM symposium on Theory of computing
Efficient learning algorithms yield circuit lower bounds
Journal of Computer and System Sciences
Improved Polynomial Identity Testing for Read-Once Formulas
APPROX '09 / RANDOM '09 Proceedings of the 12th International Workshop and 13th International Workshop on Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
On the relation between polynomial identity testing and finding variable disjoint factors
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming
Arithmetic Circuits: A survey of recent results and open questions
Foundations and Trends® in Theoretical Computer Science
Efficient learning algorithms yield circuit lower bounds
COLT'06 Proceedings of the 19th annual conference on Learning Theory
Hi-index | 0.00 |
A formula is read-once if each variable appears at most once in it. An arithmetic read-once formula is one in which the operators are addition, subtraction, multiplication, and division. We present polynomial time algorithms for exact learning of arithmetic read-once formulas over a field. We present a membership and equivalence query algorithm that identifies arithmetic read-once formulas over an arbitrary field. We present a randomized membership query algorithm (i. e. a randomized black box interpolation algorithm) that identifies such formulas over finite fields with at least $2n+5$ elements (where $n$ is the number of variables), and over infinite fields. We also show the existence of non-uniform deterministic membership query algorithms for arbitrary read-once formulas over fields of characteristic 0, and for division-free read-once formulas over fields that have at least $2n^3+1$ elements. For our algorithms, we assume we are able to efficiently perform arithmetic operations on field elements and to compute square roots in the field. It is shown that the ability to compute square roots is necessary, in the sense that the problem of computing $n-1$ square roots in a field can be reduced to the problem of identifying an arithmetic formula over $n$ variables in that field. Our equivalence queries are of a slightly non-standard form, in which counterexamples are required not to be inputs on which the formula evaluates to $0/0$. This assumption is shown to be necessary for fields of size $o(n/\log {n})$, in the sense that we prove there exists no polynomial time identification algorithm that uses just membership and standard equivalence queries.