Since an exponential lower bound was proven in a general case, we
consider a special but practical case, in which the maximal
in-degree is bounded by a constant D. First, we consider the
case D=2.
Proposition
experiments are
necessary for identification even if the maximum in-degree is 2
and all nodes are AND nodes, where we assume that the maximum
cost is bounded by a fixed constant C.
If C is not bounded, the above proposition does not hold. It is
possible to identify the above pair (x,y) by
experiments of maximum cost n, using a strategy based on binary
search. Although this strategy might be generalized for other
cases, we do not investigate it because experiments with high cost
are not realistic. (The cells simply die if they are heavily
mutated.)
Next, we consider the upper bound.
Proposition O(n4) experiments with maximum
cost 4 are sufficient for identification if the maximum in-degree
is 2.