Approximations of pseudo-Boolean functions; applications to game theory

This paper studies the approximation of pseudo-Boolean functions by linear functions and more generally by functions of (at most) a specified degree. Here a pseudo-Boolean function means a real valued function defined on {0,1}n, and its degree is that of the unique multilinear polynomial that expresses it; linear functions are those of degree at most one. The approximation consists in choosing among all linear functions the one which is closest to a given function, where distance is measured by the Euclidean metric onR2n. A characterization of the best linear approximation is obtained in terms of the average value of the function and its first derivatives. This leads to an explicit formula for computing the approximation from the polynomial expression of the given function. These results are later generalized to handle approximations of higher degrees, and further results are obtained regarding the interaction of approximations of different degrees. For the linear case, a certain constrained version of the approximation problem is also studied. Special attention is given to some important properties of pseudo-Boolean functions and the extent to which they are preserved in the approximation. A separate section points out the relevance of linear approximations to game theory and shows that the well known Banzhaf power index and Shapley value are obtained as best linear approximations of the game (each in a suitably defined sense).ZusammenfassungIn dieser Arbeit wird die Approximation Pseudo-Boole'scher Funktionen lineare Funktionen bzw. allgemeiner durch Funktion kleiner/gleich eines festen Grades studiert. Dabei ist eine Pseudo-Boole'sche Funktion eine reellwertige Funktion definiert auf {0,1}n und ihr Grad ist jener des eindeutig bestimmten multilinearen Polynoms, durch die sie dargestellt werden kann. Lineare Funktionen sind jene mit einem Grad kleiner oder gleich Eins. Die Approximation besteht darin, daß unter allen linearen Funktionen jene mit dem kleinsten Euklidischen Abstand inR2n gewählt wird. Es wird eine Charakterisierung der besten linearen Approximation durch den Mittelwert der Funktion und ihrer ersten Ableitungen angegeben. Sie führt auf eine explizite Formel, um die Approximation aus der Polynomform gegebenen Funktion zu berechnen. Diese Ergebnisse werden später verallgemeinert, um Approximationen höheren Grades zu behandeln. Ferner werden Ergebnisse bezüglich des Zusammenhanges von Approximationen verschiedenen Grades gewonnen. Im linearen Fall wird auch eine im gewissen Sinne eingeschränkte Approximationsaufgabe behandelt. Spezielle Betrachtung wird jenen wichtigen Eigenschaften Pseudo-Boole'scher Funktionen gezollt, die bei der Approximation erhalten bleiben. Ein weiterer Abschnitt zeigt die Relevanz linearer Approximationen in der Spieltheorie auf und zeigt Verbindungen zwischen den hier erzielten Ergebnissen und dem wohlbekannten Banzhaf Index auf.