Computing Shapley Values for Mean Width in 3-D

The Shapley value is a common tool in game theory to evaluate the importance of a player in a cooperative setting. In a geometric context, it provides a way to measure the contribution of a geometric object in a set towards some function on the set. Recently, Cabello and Chan (SoCG 2019) presented algorithms for computing Shapley values for a number of functions for point sets in the plane. More formally, a coalition game consists of a set of players $N$ and a characteristic function $v: 2^N \to \mathbb{R}$ with $v(\emptyset) = 0$. Let $\pi$ be a uniformly random permutation of $N$, and $P_N(\pi, i)$ be the set of players in $N$ that appear before player $i$ in the permutation $\pi$. The Shapley value of the game is defined to be $\phi(i) = \mathbb{E}_\pi[v(P_N(\pi, i) \cup \{i\}) - v(P_N(\pi, i))]$. More intuitively, the Shapley value represents the impact of player $i$'s appearance over all insertion orders. We present an algorithm to compute Shapley values in 3-D, where we treat points as players and use the mean width of the convex hull as the characteristic function. Our algorithm runs in $O(n^3\log^2{n})$ time and $O(n)$ space. Our approach is based on a new data structure for a variant of the dynamic convolution problem $(u, v, p)$, where we want to answer $u\cdot v$ dynamically. Our data structure supports updating $u$ at position $p$, incrementing and decrementing $p$ and rotating $v$ by $1$. We present a data structure that supports $n$ operations in $O(n\log^2{n})$ time and $O(n)$ space. Moreover, the same approach can be used to compute the Shapley values for the mean volume of the convex hull projection onto a uniformly random $(d - 2)$-subspace in $O(n^d\log^2{n})$ time and $O(n)$ space for a point set in $d$-dimensional space ($d \geq 3$).

[1]  Daniel A. Klain A short proof of Hadwiger's characterization theorem , 1995 .

[2]  R. Schneider Convex Bodies: The Brunn–Minkowski Theory: Minkowski addition , 1993 .

[3]  Pankaj K. Agarwal,et al.  Convex Hulls Under Uncertainty , 2016, Algorithmica.

[4]  Subhash Suri,et al.  On the Most Likely Convex Hull of Uncertain Points , 2013, ESA.

[5]  Hans Raj Tiwary,et al.  On Computing the Centroid of the Vertices of an Arrangement and Related Problems , 2007, WADS.

[6]  Jian Li,et al.  epsilon-Kernel Coresets for Stochastic Points , 2016, ESA.

[7]  Ferenc Fodor,et al.  Mean width of random polytopes in a reasonably smooth convex body , 2009, J. Multivar. Anal..

[8]  Boris Aronov,et al.  Batched Point Location in SINR Diagrams via Algebraic Tools , 2015, ICALP.

[9]  Eyal Winter Chapter 53 The shapley value , 2002 .

[10]  On the mean width of random polytopes , 1989 .

[11]  Peter Bro Miltersen,et al.  Lower Bounds for Dynamic Algebraic Problems , 1998, Inf. Comput..

[12]  Stefan Langerman On the complexity of halfspace area queries , 2001, SCG '01.

[13]  Abbas Edalat,et al.  An Extension Result for Continuous Valuations , 2000, COMPROX.

[14]  L. Shapley,et al.  The Shapley Value , 1994 .

[15]  R. Huber Continuous valuations , 1993 .

[16]  Palash Sarkar,et al.  A Course on Cooperative Game Theory , 2014 .

[17]  Timothy M. Chan,et al.  Computing Shapley Values in the Plane , 2018, Discrete & Computational Geometry.

[18]  R. E. Miles Poisson flats in Euclidean spaces Part I: A finite number of random uniform flats , 1969, Advances in Applied Probability.

[19]  Maarten Löffler,et al.  Largest and Smallest Convex Hulls for Imprecise Points , 2010, Algorithmica.

[20]  Yuan Li,et al.  On the Expected Diameter, Width, and Complexity of a Stochastic Convex-Hull , 2017, WADS.

[21]  Subhash Suri,et al.  Hyperplane Separability and Convexity of Probabilistic Point Sets , 2016, Symposium on Computational Geometry.

[22]  D. Alonso-Gutiérrez,et al.  On the Gaussian behavior of marginals and the mean width of random polytopes , 2012, 1205.6174.

[23]  H. Hadwiger Vorlesungen über Inhalt, Oberfläche und Isoperimetrie , 1957 .

[24]  Roger B. Myerson,et al.  Game theory - Analysis of Conflict , 1991 .

[25]  Stephen R. Tate,et al.  On Dynamic Algorithms for Algebraic Problems , 1997, J. Algorithms.

[26]  Timothy M. Chan A (slightly) faster algorithm for klee's measure problem , 2008, SCG '08.