Table of Contents
Fetching ...

Mechanism Design in Max-Flows

Shengyuan Huang, Wenjun Mei, Xiaoguang Yang, Zhigang Cao

TL;DR

This work addresses revenue allocation in max-flow games with privately owned edge capacities. It proves that core-selection mechanisms cannot guarantee truthful reporting and introduces five desirable mechanism properties: DSIC, SIR, SP, MP, and CM. The Shapley value mechanism is DSIC and SIR but fails SP, MP, and CM, motivating a minimal-cut based mechanism (MC) that satisfies all five properties by allocating stand-alone values to $s$-$t$ edges and distributing the remainder across minimal cuts with proportional edge shares. The MC mechanism thus offers a robust, structure-aware approach to truthful revenue sharing in flow networks, with discussion of CM implications and computational considerations for minimal cuts.

Abstract

This paper studies allocation mechanisms in max-flow games with players' capacities as private information. We first show that no core-selection mechanism is truthful: there may exist a player whose payoff increases if she under-reports her capacity when a core-section mechanism is adopted. We then introduce five desirable properties for mechanisms in max-flow games: DSIC (truthful reporting is a dominant strategy), SIR (individual rationality and positive payoff for each player contributing positively to at least one coalition), SP (no edge has an incentive to split into parallel edges), MP (no parallel edges have incentives to merge), and CM (a player's payoff does not decrease as another player's capacity and max-flow increase). While the Shapley value mechanism satisfies DSIC and SIR, it fails to meet SP, MP and CM. We propose a new mechanism based on minimal cuts that satisfies all five properties.

Mechanism Design in Max-Flows

TL;DR

This work addresses revenue allocation in max-flow games with privately owned edge capacities. It proves that core-selection mechanisms cannot guarantee truthful reporting and introduces five desirable mechanism properties: DSIC, SIR, SP, MP, and CM. The Shapley value mechanism is DSIC and SIR but fails SP, MP, and CM, motivating a minimal-cut based mechanism (MC) that satisfies all five properties by allocating stand-alone values to - edges and distributing the remainder across minimal cuts with proportional edge shares. The MC mechanism thus offers a robust, structure-aware approach to truthful revenue sharing in flow networks, with discussion of CM implications and computational considerations for minimal cuts.

Abstract

This paper studies allocation mechanisms in max-flow games with players' capacities as private information. We first show that no core-selection mechanism is truthful: there may exist a player whose payoff increases if she under-reports her capacity when a core-section mechanism is adopted. We then introduce five desirable properties for mechanisms in max-flow games: DSIC (truthful reporting is a dominant strategy), SIR (individual rationality and positive payoff for each player contributing positively to at least one coalition), SP (no edge has an incentive to split into parallel edges), MP (no parallel edges have incentives to merge), and CM (a player's payoff does not decrease as another player's capacity and max-flow increase). While the Shapley value mechanism satisfies DSIC and SIR, it fails to meet SP, MP and CM. We propose a new mechanism based on minimal cuts that satisfies all five properties.

Paper Structure

This paper contains 18 sections, 5 theorems, 8 equations, 9 figures, 1 table.

Key Result

Proposition 1

The Shapley value mechanism is DSIC and SIR for max-flow games.

Figures (9)

  • Figure 1: Core violates NEIC and SIR
  • Figure 2: Shapley value violates SP
  • Figure 3: Shapley value violates MP
  • Figure 4: Shapley value violates CM
  • Figure 5: Two types of constant complementarity
  • ...and 4 more figures

Theorems & Definitions (22)

  • Example 1: Core violates NEIC and SIR
  • Remark 1
  • Remark 2
  • Proposition 1
  • proof
  • Remark 3
  • Example 2: Shapley value violates SP
  • Example 3: Shapley value violates MP
  • Example 4: Shapley value violates CM
  • Definition 1: Constant Complementarity/Substitutability
  • ...and 12 more