A Short Proof of Convexity of Step-out Step-in Sequencing Games
Authors:
Coulter Beeson,
Neil Olver
Abstract:
The Step out-Step in sequencing game is a particular example of a game from the sequencing game framework of Curiel, Perderzoli, and Tijs, where coalitions of players in a queue may reorder themselves to improve the their overall cost, under some restrictions. Musegaas, Borm and Quant proved, in two papers, that a simple greedy algorithm correctly computes the valuation of a coalition, and that th…
▽ More
The Step out-Step in sequencing game is a particular example of a game from the sequencing game framework of Curiel, Perderzoli, and Tijs, where coalitions of players in a queue may reorder themselves to improve the their overall cost, under some restrictions. Musegaas, Borm and Quant proved, in two papers, that a simple greedy algorithm correctly computes the valuation of a coalition, and that the game is convex. These proofs entail rather involved case analyses; in this note, we give short proofs of both results.
△ Less
Submitted 19 December, 2021;
originally announced December 2021.
The Empirical Core of the Multicommodity Flow Game Without Side Payments
Authors:
Coulter Beeson,
Bruce Shepherd
Abstract:
Policy makers focus on stable strategies as the ones adopted by rational players. If there are many such solutions an important question is how to select amongst them. We study this question for the Multicommodity Flow Coalition Game, used to model cooperation between autonomous systems (AS) in the Internet. In short, strategies are flows in a capacitated network. The payoff to a node is the total…
▽ More
Policy makers focus on stable strategies as the ones adopted by rational players. If there are many such solutions an important question is how to select amongst them. We study this question for the Multicommodity Flow Coalition Game, used to model cooperation between autonomous systems (AS) in the Internet. In short, strategies are flows in a capacitated network. The payoff to a node is the total flow which it terminates. Markakis-Saberi show this game is balanced and hence has a non-empty core by Scarf's Theorem. In the transferable utility (TU) version this gives a polynomial-time algorithm to find core elements, but for ASs side payments are not natural. Finding core elements in NTU games tends to be computationally more difficult. For this game, the only previous result gives a procedure to find a core element when the supply graph is a path. We extend their work with an algorithm, Incorporate, which produces many different core elements.
We use our algorithm to evaluate specific instances by generating many core vectors. We call these the Empirical Core for a game. We find that sampled core vectors are more consistent with respect to social welfare (SW) than for fairness (minimum payout). For SW they tend to do as well as the optimal linear program value $LP_{sw}$. In contrast, there is a larger range in fairness for the empirical core; the fairness values tend to be worse than the optimal fairness LP value $LP_{fair}$. We study this discrepancy in the setting of general graphs with single-sink demands. In this setting we give an algorithm which produces core vectors that simultaneously maximize SW and fairness. This leads to the following bicriteria result for general games. Given any core-producing algorithm and any $λ\in (0,1)$, one can produce an approximate core vector with fairness (resp. social welfare) at least $λLP_{fair}$ (resp $(1-λ) LP_{sw}$).
△ Less
Submitted 28 January, 2020; v1 submitted 27 January, 2020;
originally announced January 2020.
