Article collection "Mathematical Problems of Cybernetics" №12, Moscow, 2003
On a method of computing partial Boolean functions
The article studies the average time of computation for values
of a partial Boolean function with given weight by non-branching programs with a conditional stop operator. We suggest a new method for computing such functions, using consecutive approximations by partial functions that
are in a sense simpler. New upper and lower bounds of the corresponding Shannon function are obtained that are of matching order. These bounds imply that the average computation time for almost all considered functions up to a constant multiple depends on the weight w of the computed function, does not depend on the size of the function domain, and equals θ(w/log2w).
complexity, Shannon function, Boolean function, partial function