Английская Википедия:Evasive Boolean function

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

In mathematics, an evasive Boolean function <math>f</math> (of <math>n</math> variables) is a Boolean function for which every decision tree algorithm has running time of exactly <math>n</math>. Consequently, every decision tree algorithm that represents the function has, at worst case, a running time of <math>n</math>.

Definition

The type of algorithms considered in the definition of evasive Boolean function are decision trees in which each internal node tests the value of one of the given Boolean variables, and branches accordingly. Each leaf node of the tree specifies the value of the function for inputs that reach that node. The worst case decision tree complexity of a given decision tree is the number of variables examined on the longest root-to-leaf path of the tree. Every <math>n</math>-variable function has a decision tree algorithm that examines exactly <math>n</math> variables on all inputs, using a decision tree in which all nodes at level <math>i</math> test the <math>i</math>th variable. A function is evasive if no other decision tree for the same function has smaller complexity. For an evasive function, any decision tree must have at least one input that leads to a path in the tree along which all input variables are examined.[1]

Examples

It is trivial to construct non-evasive functions by constructing decision trees on which every branch terminates before testing all variables. For instance, the always-true function has a decision tree with no tests. For a less trivial example, in which all variables are used to determine the function value, consider the function of three variables <math>x</math>, <math>y</math>, and <math>z</math> that returns either <math>y</math> or <math>z</math> according to whether <math>x</math> is true or false respectively. It has a decision tree that first tests <math>x</math>, and then tests only one of <math>y</math> or <math>z</math> on each branch.

If a branch of a decision tree terminates before testing all variables, then it gives the function value for an even number of combinations of arguments: <math>2^{n-t}</math> combinations, where <math>n</math> is the number of variables and <math>t</math> is the number tested along that branch. Therefore, if a Boolean function has an odd number of combinations of arguments for which it is true, then it must be evasive.[1] For instance, the logical and and logical or functions are true for 1 and <math>2^n-1</math> combinations of arguments, respectively, both of which are odd numbers (for <math>n > 0</math>), so they are evasive.

History

The concept of an evasive function was introduced in connection with the study of graph algorithms for graphs defined in an implicit graph model, where an algorithm has access to the graph only through a subroutine for testing the adjacency of vertices. In this application, a graph property can be described as a Boolean function whose input variables are true if an edge is present between two vertices, and a property is evasive if every algorithm must (on some inputs) test the existence of each potential edge. Early work in this area proved that a constant fraction of edges must be tested for any nontrivial monotone graph property; here "nontrivial" means that the function has more than one value, and "monotone" means that adding edges to a graph cannot change the function value from true to false. These partial results motivated the formulation of the Aanderaa–Karp–Rosenberg conjecture, still unproven, according to which all nontrivial monotone graph properties are evasive.[1]

The Aanderaa–Karp–Rosenberg conjecture would follow from a more general conjecture on the evasiveness of Boolean functions: that every nontrivial monotone Boolean function that has symmetries taking any variable to any other variable is evasive. This conjecture also remains unproven, but it is known to be true for certain values of <math>n</math>, including the prime powers.[1][2] It has been called the evasiveness conjecture.[3]

References

Шаблон:Reflist

  1. 1,0 1,1 1,2 1,3 Шаблон:Citation. This reference calls evasive properties "exhaustive", but mentions that the word "evasive" is used instead by several other earlier unpublished works.
  2. Шаблон:Citation
  3. Шаблон:Citation