---
title: Stochastic Boolean Function Evaluation
url: https://www.emergentmind.com/topics/stochastic-boolean-function-evaluation-sbfe
type: topic
---

# Stochastic Boolean Function Evaluation

Searching arXiv for recent and foundational papers on SBFE.
Stochastic Boolean Function Evaluation (SBFE) is the problem of determining the value of a known Boolean function \(f\) on an unknown input \(x\in\{0,1\}^n\) by sequentially testing variables, where each test incurs a cost and \(x\) is drawn from a known probability distribution. In the standard formulation, the bits are independent and the objective is to minimize expected total testing cost; the process stops as soon as the observed partial assignment is sufficient to determine \(f(x)\) [2208.03810]. The problem has also been studied in Operations Research as “sequential testing” of Boolean functions and in learning theory in the context of learning with attribute costs [1303.0726]. More general formulations replace the product distribution by a conditional probability model over truth assignments and represent adaptive strategies as decision diagrams rather than trees [2606.24672].

## 1. Formal model and certificate semantics

In the standard SBFE model, one is given a Boolean function
\[
f:\{0,1\}^n\to\{0,1\},
\]
a positive cost vector
\[
c=[c_1,\ldots,c_n], \qquad c_i>0,
\]
and a probability vector
\[
p=[p_1,\ldots,p_n], \qquad 0<p_i<1,
\]
with an unknown random input \(x=(x_1,\ldots,x_n)\in\{0,1\}^n\) whose bits are independent and satisfy \(\Pr(x_i=1)=p_i\) [2208.03810]. Writing \(x\sim p\), the corresponding product distribution is
\[
\Pr(x)=\prod_{i:x_i=1} p_i \prod_{i:x_i=0}(1-p_i).
\]
The only way to learn \(x_i\) is to test variable \(x_i\), paying cost \(c_i\) [2208.03810].

The stopping condition is certificate-based rather than full revelation. A set of tested indices determines \(f(x)\) if
\[
f(x)=f(x') \quad \text{for all } x'\in\{0,1\}^n \text{ such that } x'_i=x_i \text{ for every tested } i.
\]
Equivalently, in the partial-assignment language used for symmetric-function SBFE, a partial assignment \(b\in\{0,1,*\}^n\) is a certificate if all full assignments extending \(b\) give the same function value [2208.03810, 2111.08793]. Thus SBFE seeks not necessarily to reveal all bits, but only enough bits to certify the function value.

The distinction between evaluation and related one-sided tasks is significant. In evaluation, the algorithm is not told \(f(x)\) and must continue until the observed partial assignment is a certificate. In verification, the claimed value \(f(x)\in\{0,1\}\) is given in advance, and the algorithm only has to verify that claim. For symmetric Boolean functions, \(\mathcal V(f)\le \mathcal E(f)\) always, equality is known for \(k\)-of-\(n\) functions and for all symmetric functions in the unit-cost case, but arbitrary costs can yield \(\mathcal V(f)<\mathcal E(f)\) [2111.08793].

## 2. Strategy models, objective functions, and representations

An adaptive SBFE strategy is naturally represented by a Boolean decision tree. Each internal node tests some variable, the outgoing edges correspond to observed outcomes, and each leaf is labeled by the determined function value [2111.08793]. For a fixed input \(x\), if \(cost_c(f,x,S)\) denotes the total testing cost incurred by strategy \(S\) until \(f(x)\) is determined, then the expected cost under the product distribution is
\[
cost_{c,p}(f,S):=E_{x\sim p}[cost_c(f,x,S)].
\]
The optimal adaptive cost and optimal non-adaptive cost are
\[
OPT_A(f,c,p):=\min_{S\in A} cost_{c,p}(f,S), \qquad
OPT_N(f,c,p):=\min_{S\in N} cost_{c,p}(f,S),
\]
where \(A\) and \(N\) are the sets of adaptive and non-adaptive strategies, respectively [2208.03810].

A non-adaptive strategy is much more restrictive: it is simply a permutation of the variables. Tests are executed in that fixed order, but evaluation still stops early once \(f(x)\) becomes determined [2208.03810]. In the decision-tree view, every node at the same level tests the same variable. This distinction is algorithmically consequential because adaptive strategies can have lower expected cost, whereas non-adaptive strategies can be stored in linear space and may better exploit parallel resources; by contrast, adaptive strategies may require up to exponential space to store [2208.03810].

More general exact formulations represent strategies as finite rooted DAGs. For a problem instance \(I=(\phi,P,c)\), where \(\phi\) is a Boolean formula, \(P\) is a conditional probability distribution on variables, and \(c\) is a positive cost function, a decision diagram is a directed acyclic graph whose internal nodes query variables and whose leaves are \(\top\) or \(\bot\) once the current partial valuation makes the formula valid or unsatisfiable [2606.24672]. In that setting, the expected cost of a diagram is formally
\[
c(r)+ \sum_{s\in paths(G_{|\phi})} \left( c(n^s_{|s|}) \cdot  \prod_{j=1}^{|s|} P(s(j)\mid s^{j-1})\right),
\]
which generalizes the usual recursive expectation over a product distribution [2606.24672].

## 3. Submodular-goal-value framework

A central algorithmic framework reduces SBFE to Stochastic Submodular Set Cover (SSSC). The key object is a utility function
\[
g:\{0,1,*\}^n\to \mathbb{Z}_{\ge 0}
\]
that is monotone and submodular, starts at \(g(*,\ldots,*)=0\), and reaches a goal value \(Q\) exactly on partial assignments that contain a certificate [1303.0726, 1702.04067]. In this language, a goal function for \(f\) satisfies
\[
g(b)=Q \iff b \text{ contains a certificate of } f,
\]
and the minimum such \(Q\) is the goal value \(\Gamma(f)\) [1702.04067]. Once such a function is available, Adaptive Greedy yields an \(O(\log Q)\)-approximation for the corresponding SBFE instance [1702.04067].

The framework is structurally informative because goal value is tied to several Boolean complexity measures. Deshpande et al.’s basic bounds, recalled in the goal-value paper, include
\[
\Gamma(f)\le \Gamma^1(f)\cdot \Gamma^0(f),\qquad
\Gamma^0(f)\le \ds(f),\qquad
\Gamma^1(f)\le \cs(f),
\]
hence
\[
\Gamma(f)\le \ds(f)\cdot \cs(f).
\]
The same paper proves that if \(f\) depends on \(n'\) variables, then \(\Gamma(f)\ge n'\), and gives exact formulas for several important classes: \(\Gamma(f)=n\) for AND, OR, and XOR; \(\Gamma(f)=k(n-k+1)\) for \(k\)-of-\(n\); and \(\Gamma(f)=\ds(f)\cdot\cs(f)\) for read-once functions [1702.04067]. It also proves the universal upper bound \(\Gamma(f)\le 2^n-1\), while showing that this can still be too large to yield compelling approximation factors [1702.04067].

The same structural lens leads to concrete SBFE algorithms. For CDNF formulas, one constructs separate utility functions for falsified DNF terms and satisfied CNF clauses and combines them to obtain an \(O(\log kd)\)-approximation, where \(k\) is the number of CNF clauses and \(d\) the number of DNF terms; the same argument gives an \(O(\log t)\)-approximation for decision trees with \(t\) leaves [1303.0726]. For linear threshold formulas with integer coefficients, the \(Q\)-value construction gives an \(O(\log D)\)-approximation, where \(D=\sum_i |a_i|\), and Adaptive Dual Greedy strengthens this to a 3-approximation [1303.0726].

For symmetric Boolean functions, the goal-value method is particularly effective. A graph-based goal-function construction implies that the goal value of any symmetric Boolean function is strictly less than \(n(n+1)/2\), which yields a polynomial-time \(O(\log n)\)-approximation via Adaptive Greedy [2111.08793]. The same paper also gives a simple polynomial-time \((B-1)\)-approximation, where \(B\) is the number of blocks of 0’s and 1’s in the value-vector representation of the symmetric function [2111.08793].

The main limitation of the framework is that goal value can be exponentially large even for natural functions. The goal-value paper proves exponential exact values for certain read-once DNFs, and the SBFE/SSSC paper shows that the \(Q\)-value approach cannot yield sublinear approximations for some simple classes because any assignment-feasible utility function must have exponentially large \(Q\) [1702.04067, 1303.0726]. This limitation motivated more specialized algorithms such as Adaptive Dual Greedy for linear threshold evaluation [1303.0726].

## 4. Function classes and algorithmic landscape

The algorithmic landscape of SBFE is highly class-dependent. Some classes admit exact polynomial-time algorithms; others admit only approximation guarantees, and in some cases those guarantees are measured against expected certificate cost rather than optimal evaluation cost [1310.3673].

| Function class | Setting | Representative guarantee |
|---|---|---|
| Linear threshold formulas | Integer coefficients | 3-approximation; also \(O(\log D)\) via goal value [1303.0726] |
| CDNF formulas / decision trees | CNF with \(k\) clauses, DNF with \(d\) terms / \(t\) leaves | \(O(\log kd)\) / \(O(\log t)\) [1303.0726] |
| Symmetric Boolean functions | Arbitrary positive costs, independent \(p_i\) | Polynomial-time \(O(\log n)\)-approximation and \((B-1)\)-approximation [2111.08793] |
| Monotone \(k\)-DNF | Arbitrary costs, arbitrary product distribution | \(4/\rho^k\)-approximation w.r.t. expected certificate cost [1310.3673] |
| Monotone \(k\)-term DNF | Arbitrary costs, arbitrary product distribution | \(\max\{2k,\frac{2}{\rho}(1+\ln k)\}\)-approximation; exact \(O(n^{2^k})\) for constant \(k\) [1310.3673] |
| \(k\)-of-\(n\) non-adaptive | Unit-cost case | PTAS [2507.05877] |

For monotone \(k\)-DNF and monotone \(k\)-term DNF, the DNF-evaluation paper develops a modified round-robin protocol that combines a 0-certificate subroutine and a 1-certificate subroutine under arbitrary costs. For monotone \(k\)-DNF this yields a polynomial-time approximation within \(4/\rho^k\) of expected certificate cost; for monotone \(k\)-term DNF it yields a polynomial-time approximation within
\[
\max\left\{2k,\frac{2}{\rho}(1+\ln k)\right\},
\]
and an exact polynomial-time dynamic program for constant \(k\), with running time \(O(n^{2^k})\) [1310.3673]. In the unit-cost uniform-distribution case, the same paper gives an exact \(O(2^{2^k})\)-time algorithm for monotone \(k\)-term DNF, which is polynomial when \(k=O(\log\log n)\) [1310.3673].

For \(k\)-of-\(n\) functions, the adaptive side is classical: an exact polynomial-time algorithm is known, and both the symmetric-function paper and the 2025 non-adaptive paper treat this as one of the best-understood SBFE special cases [2111.08793, 2507.05877]. The 2025 paper complements this by showing that the unit-cost non-adaptive problem admits a PTAS, stated as the first PTAS for an SBFE problem [2507.05877].

An important methodological caution is that expected certificate cost can be a weak proxy for optimal expected evaluation cost. The DNF-evaluation paper proves that for read-once DNF formulas with sufficiently long terms under the unit-cost uniform-distribution setting,
\[
E_f[OPT] = \Omega(n^\beta), \qquad E_f[CERT] = O(\log n),
\]
for any fixed \(0<\beta<1\) satisfying the stated term-length condition [1310.3673]. This shows that approximation factors relative to \(E[CERT]\) need not directly describe approximation relative to \(OPT\).

## 5. Adaptivity, non-adaptivity, and adaptivity gaps

The adaptivity gap formalizes the benefit of allowing the next test to depend on previous outcomes. For a function class \(F\), it is defined as
\[
\max_{f\in F}\sup_{c,p} \frac{OPT_N(f,c,p)}{OPT_A(f,c,p)},
\]
and every SBFE problem has adaptivity gap at most \(n\), since testing variables in increasing order of \(c_i\) gives a non-adaptive strategy within a factor \(n\) of the optimal adaptive strategy [2208.03810].

The known gap landscape is sharply nonuniform across function classes. For symmetric Boolean functions and linear threshold functions, prior work cited in the adaptivity-gap paper shows \(O(1)\) gaps via the stochastic score classification framework [2208.03810]. By contrast, that paper proves large lower bounds for formula classes. Its summary table gives the following results: for read-once DNF, the gap is \(\Theta(\log n)\) under unit costs and the uniform distribution, \(\Omega(\sqrt n)\) under unit costs, and \(\Omega(n^{1-\epsilon}/\log n)\) under the uniform distribution; for read-once formulas, it proves
\[
\Omega\!\left(\epsilon^3 n^{1-2\epsilon/\ln 2}\right)
\]
for unit costs and equal probabilities; and for general DNF it proves \(\Omega(n/\log n)\) under unit costs and the uniform distribution and \(\Theta(n)\) under the uniform distribution with arbitrary costs [2208.03810].

The \(k\)-of-\(n\) case is again exceptional. The 2025 non-adaptive paper proves that the adaptivity gap of SBFE on \(k\)-of-\(n\) functions is exactly 2, improving the previously known tight lower bound of \(3/2\) for the unit-cost variant [2507.05877]. The same paper shows that despite this worst-case separation, the optimal non-adaptive unit-cost policy can be approximated arbitrarily well in polynomial time via a PTAS [2507.05877].

The practical motivation for studying non-adaptivity is not only theoretical comparison. Non-adaptive strategies use linear space, whereas adaptive strategies may require exponential space to store, and non-adaptive orders may better exploit parallel resources [2208.03810]. The adaptivity-gap results therefore quantify a concrete trade-off between expected-cost optimality and implementational simplicity.

## 6. Generalizations, structured variants, and adjacent topics

Recent work has broadened SBFE beyond the standard independent-product setting. One direction studies exact optimization for arbitrary Boolean formulas under general conditional probability models. In that formulation, an instance is \(I=(\phi,P,c)\), where \(\phi\) is a propositional formula, \(c:X\to\mathbb Q^+\) is a positive observation-cost function, and \(P\) is a conditional probability distribution induced by a joint distribution over truth assignments. The 2026 decision-diagram paper presents what it claims is the first practical exact branch-and-bound algorithm for this level of generality, with pruning, caching, and variable-selection heuristics, and proves that calculating the expected cost of the optimal decision diagram is \(\#P\)-hard, while the function problem is in FPSPACE and the bounded-cost decision problem is in \(\mathrm{PSPACE}\) [2606.24672].

A second direction exploits explicit combinatorial structure. The Limited Query Graph Connectivity Test is a graph-structured sequential-query model in which hidden edge states are queried until one identifies either an \(s\)-\(t\) path of On edges or an \(s\)-\(t\) cut of Off edges, with an additional budget \(B\) after which the process stops regardless of whether connectivity is established. When the query limit is removed, the paper states that the problem is a special case of monotone SBFE. It proves \(\#P\)-hardness of computing the minimum expected number of queries and gives an empirically scalable exact algorithm based on iterative certificate generation and tree growth, together with strong heuristics and anytime lower bounds [2302.13036].

A third direction addresses correlations, though initially in the one-sided certification setting rather than full evaluation. The 2026 SBFC paper studies monotone Boolean function certification under correlated Bernoulli variables and shows that, for \(k\)-of-\(n\), SBFE reduces essentially to two certification problems, one on active elements and one on inactive elements. It gives a polynomial-time non-adaptive \(O(\log n)\)-approximation for arbitrary matroid certification under arbitrary distributions, a polynomial-time non-adaptive 4.642-approximation for both \(k\)-of-\(n\) SBFC and SBFE under arbitrary distributions, a 2-approximation for non-adaptive \(1\)-of-\(n\) SBFE under conditional negative association, and adaptive \(O(\log k)\) and \(O(\rho^2\log k)\) approximations for graph and hypergraph probing models generated by latent independent variables [2604.02611]. A plausible implication is that correlation does not eliminate approximation uniformly; rather, approximation becomes contingent on exploiting either function structure or distribution structure.

Finally, SBFE should not be conflated with exact Boolean-function representation and evaluation in the absence of uncertainty. Tarau’s “Pairing Functions, Boolean Evaluation and Binary Decision Diagrams in Prolog” is not about SBFE in the usual sense of adaptive test sequencing under uncertainty. Instead it studies natural-number encodings of truth tables and binary decision diagrams, proves that Boolean evaluation of the resulting BDD reconstructs exactly the same natural number as the structural inverse encoding, and derives ranking and unranking procedures for BDDs and reduced BDDs [0808.0555]. This makes it adjacent foundational material for exact Boolean-function representation, compact symbolic evaluation, and benchmark generation, but not a contribution to the core stochastic problem of cost-sensitive adaptive variable querying.

Source: https://www.emergentmind.com/topics/stochastic-boolean-function-evaluation-sbfe