# Exact Identification of Read-Once Formulas Using Fixed Points of Amplification Functions

@article{Goldman1993ExactIO, title={Exact Identification of Read-Once Formulas Using Fixed Points of Amplification Functions}, author={Sally A. Goldman and Michael Kearns and Robert E. Schapire}, journal={SIAM J. Comput.}, year={1993}, volume={22}, pages={705-726} }

In this paper a new technique is described for exactly identifying certain classes of read-once Boolean formulas. The method is based on sampling the input-output behavior of the target formula on a probability distribution that is determined by the fixed point of the formula’s amplification function (defined as the probability that a one is output by the formula when each input bit is one independently with probability p). By performing various statistical tests on easily sampled variants of…

## 41 Citations

### Read-Once Functions Revisited and the Readability Number of a Boolean Function

- Computer Science, MathematicsElectron. Notes Discret. Math.
- 2005

### INTERPOLATING ARITHMETIC READ-ONCE FORMULAS

- Computer Science, Mathematics
- 1998

A randomized (Las Vegas) parallel algorithm for the exact interpolation of arithmetic read-once formulas over sufficiently large fields and fields of size 3(n + 3n − 2), which complements some results from [N.H. Bshouty and R. Cleve].

### Learning arithmetic read-once formulas

- Mathematics, Computer ScienceSTOC '92
- 1992

An algorithm for exactly learning (or interpolating) arithmetic read-once formulas computing functions over a field and an algorithm that uses randomized membership queries (or substitutions) to identify such formulas over large finite fields and infinite fields are presented.

### Locating Errors in Faulty Formulas

- Computer Science, MathematicsACM Trans. Algorithms
- 2019

Under a fault model, it is shown that there is an efficient algorithm that makes a linear number of probes to the blackbox implementation and determines if the blueprint and implementation are identical, and it is proved that if the implementation has a property called polynomial balance, then it is possible to do this efficiently.

### On Using Extended Statistical Queries to Avoid Membership Queries

- Computer ScienceJ. Mach. Learn. Res.
- 2001

It is shown that the characterization of the KM algorithm when applied to SQ-Dρ is tight in terms of learning parity functions, and a characterization for learnability with these extended statistical queries is developed.

### Factoring and recognition of read-once functions using cographs and normality and the readability of functions associated with partial k-trees

- Computer ScienceDiscret. Appl. Math.
- 2006

### Computational Aspects of Parallel Attribute-Efficient Learning

- Computer ScienceALT
- 1998

This work addresses the problem of nonadaptive learning of Boolean functions with few relevant variables by membership queries by introducing algorithms where also the computational complexity is reasonable, rather than the query number only.

### Attribute-Efficient and Non-adaptive Learning of Parities and DNF Expressions

- Computer ScienceJ. Mach. Learn. Res.
- 2007

It is shown that attribute-efficient learning of parities with respect to the uniform distribution is equivalent to decoding high-rate random linear codes from low number of errors, a long-standing open problem in coding theory.

### Oracles and queries that are sufficient for exact learning (extended abstract)

- Computer Science, MathematicsCOLT '94
- 1994

There is a randomized polynomial-time algorithm that learns any class that is learnable from membership queries with unlimited computational power.

### Efficiency and computational limitations of learning algorithms

- Computer Science
- 2007

This thesis presents new positive and negative results concerning the learnability of several well-studied function classes in the Probably Approximately Correct (PAC) model of learning, and shows that agnostic learning of parities reduces to learning parities with random classification noise.