The Stochastic Boolean Function Evaluation Problem for Symmetric Boolean Functions

11/16/2021
by   Dimitrios Gkenosis, et al.
0

We give two approximation algorithms solving the Stochastic Boolean Function Evaluation (SBFE) problem for symmetric Boolean functions. The first is an O(log n)-approximation algorithm, based on the submodular goal-value approach of Deshpande, Hellerstein and Kletenik. Our second algorithm, which is simple, is based on the algorithm solving the SBFE problem for k-of-n functions, due to Salloum, Breuer, and Ben-Dov. It achieves a (B-1) approximation factor, where B is the number of blocks of 0's and 1's in the standard vector representation of the symmetric Boolean function. As part of the design of the first algorithm, we prove that the goal value of any symmetric Boolean function is less than n(n+1)/2. Finally, we give an example showing that for symmetric Boolean functions, minimum expected verification cost and minimum expected evaluation cost are not necessarily equal. This contrasts with a previous result, given by Das, Jafarpour, Orlitsky, Pan and Suresh, which showed that equality holds in the unit-cost case.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/17/2022

Minimum Cost Adaptive Submodular Cover

We consider the problem of minimum cost cover of adaptive-submodular fun...
research
08/07/2022

Adaptivity Gaps for the Stochastic Boolean Function Evaluation Problem

We consider the Stochastic Boolean Function Evaluation (SBFE) problem wh...
research
07/03/2017

On Blockwise Symmetric Matchgate Signatures and Higher Domain #CSP

For any n≥ 3 and q≥ 3, we prove that the Equality function (=_n) on n ...
research
12/05/2022

Two 6-approximation Algorithms for the Stochastic Score Classification Problem

We study the arbitrary cost case of the unweighted Stochastic Score Clas...
research
02/05/2023

Level-p-complexity of Boolean functions using Thinning, Memoization, and Polynomials

This paper describes a purely functional library for computing level-p-c...
research
11/13/2018

Approximating minimum representations of key Horn functions

Horn functions form a subclass of Boolean functions and appear in many d...
research
01/10/2018

Distribution of the absolute indicator of random Boolean functions

The absolute indicator is one of the measures used to determine the resi...

Please sign up or login with your details

Forgot password? Click here to reset