Distributed Learning Dynamics Converging to the Core of $B$-Matchings

TL;DR

This paper introduces centralized and distributed learning algorithms that converge to the core of bipartite B-matching problems, with the distributed method requiring minimal node state and operating with probabilistic convergence.

Contribution

It presents novel centralized and distributed dynamics for bipartite B-matching that guarantee convergence to the core, with the distributed approach being fully decentralized and probabilistically convergent.

Findings

Centralized dynamics converge in polynomial time.

Distributed dynamics converge with probability one.

Nodes only maintain local state and do not track history.

Abstract

$B$-Matching is a special case of matching problems where nodes can join multiple matchings with the degree of each node constrained by an upper bound, the node's $B$-value. The core solution of a bipartite $B$-matching is both a matching between the nodes respecting the upper bound constraint and an allocation of the weights of the edges among the nodes such that no group of nodes can deviate and collectively gain higher allocation. We present two learning dynamics that converge to the core of the bipartite $B$-matching problems. The first dynamics are centralized dynamics in the nature of the Hungarian method, which converge to the core in a polynomial time. The second dynamics are distributed dynamics, which converge to the core with probability one. For the distributed dynamics, a node maintains only a state consisting of (i) the aspiration levels for all of its possible matches and (ii) the matches, if any, to which it belongs. The node does not keep track of its history nor is it aware of the environment state. In each stage, a randomly activated node proposes to form a new match and changes its aspiration based on the success or failure of its proposal. At this stage, the proposing node inquires about the aspiration of the node it wants to match with to calculate the feasibility of the match. The environment matching structure changes whenever a proposal succeeds. A state is absorbing for the distributed dynamics if and only if it is in the core of the $B$-matching.