Virtual surplus (source code)

= Virtual surplus
{title2=$\sum_i\phi_i(v_i)x_i(v)$}

Virtual surplus weights allocation amounts by the corresponding <virtual valuations>. Under the hypotheses of the <virtual-surplus revenue identity>, maximizing it subject to implementability and feasibility yields a revenue-optimal mechanism when lowest-type utilities can be normalized to zero.