Auction Algorithm

The auction algorithm is an algorithm in optimal transport in which a set of buyers exchange goods for varied prices until an eventual equilibrium is reached. It is an iterative approach. The algorithm pertains to the discrete formulation of optimal transport, as well as provides a connection to the dual problem. The algorithm is useful in the field of economics because of its ability to find an equilibrium. The algorithm was invented by Bertsekas, but it was eventually updated.

The Assignment Problem

It is necessary to introduce the assignment problem because it applies a context in which we may apply our algorithm to find such an optimal equilibrium. Suppose we have both $N$ buyers as well as $N$ goods. We introduce $a_{ij}$ to quantify the notion of some sort of utility, benefit, or happiness the buyer receives from their corresponding good. The assignment problem therefore seeks a way to maximize $\sum _{i}a_{i\sigma (i)}$, i.e., we hope to maximize the total utility. Note this is different from maximizing the utility of a particular buyer, because we seek to benefit the whole group the most. We use the index $i$ to denote a particular buyer we use the second index $j=\sigma (i)$ to denote the good, where $\sigma$ is some permutation of the goods among all of the buyers. A final thing to note is that the assignment of people to goods is one-to-one, i.e. there is one distinct good for every distinct buyer.

We've established what the aim of the assignment problem is, but we have yet to establish a sense of equilibrium that the auction algorithm hopes to achieve. First, we must define a price system. Use a function $\phi (x)$ to denote a variable price of a good, where $x$ represents the goods that are available. We will reduce this function to say more simply that a good $j$ has price $p_{j}$, which can be rewritten $p=(p_{j})_{j}$. Next, we define the equilibrium condition. The equilibrium is that all buyers are content with their purchases if

$a_{i\sigma (i)}-p_{\sigma (i)}=\max _{j=1,...N}{a_{ij}-p_{j}}$

is satisfied.