[論文レビュー] Competitive Equilibria in Matching Markets with Budgets

Ning Chen, Xiaotie Deng+1 more|arXiv (Cornell University)|Apr 15, 2010

Auction Theory and Applications参考文献 24被引用数 4

ひとこと要約

本稿では、非分割財、単位需要型バイヤー、予算制約を伴うマッチング市場における競争均衡の存在を特定し、最小均衡を計算する強多項式時間アルゴリズムを提示する。予算制約によって生じる根本的な不連続性が、標準的な安定性の概念を無効にするのを解消し、競争均衡がこれらの制約下で強く安定なマッチングと正確に一致することを確立する。

ABSTRACT

We study competitive equilibria in the classic Shapley-Shubik assignment model with indivisible goods and unit-demand buyers, with budget constraints: buyers can specify a maximum price they are willing to pay for each item, beyond which they cannot afford the item. This single discontinuity introduced by the budget constraint fundamentally changes the properties of equilibria: in the assignment model without budget constraints, a competitive equilibrium always exists, and corresponds exactly to a stable matching. With budgets, a competitive equilibrium need not always exist. In addition, there are now two distinct notions of stability, depending on whether both or only one of the buyer and seller can strictly benefit in a blocking pair, that no longer coincide due to the budget-induced discontinuity. We define weak and strong stability for the assignment model with transferable utilities, and show that competitive equilibria correspond exactly to strongly stable matchings. We consider the algorithmic question of efficiently computing competitive equilibria in an extension of the assignment model with budgets, where each buyer specifies his preferences over items using utility functions $u_{ij}$, where $u_{ij}(p_j)$ is the utility of buyer $i$ for item $j$ when its price is $p_j$. Our main result is a strongly polynomial time algorithm that decides whether or not a competitive equilibrium exists and if yes, computes a minimum one, for a general class of utility functions $u_{ij}$. This class of utility functions includes the standard quasi-linear utility model with a budget constraint, and in addition, allows modeling marketplaces where, for example, buyers only have a preference ranking amongst items subject to a maximum payment limit for each item, or where buyers want to optimize return on investment (ROI) instead of a quasi-linear utility and only know items' relative values.

研究の動機と目的

• バイヤーが予算制約に直面する際、シャープレー＝シュービックの割り当てモデルにおける競争均衡の存在と特徴付けの欠如に対処すること。
• 予算に起因する不連続性によって生じる、競争均衡と安定マッチングの間の同等性の崩壊を解消すること。
• 一般の効用関数と予算制約を伴う状況下で、競争均衡を効率的に計算するアルゴリズムの開発。
• 最小均衡メカニズムにおいて、真実の報酬を提示することがナッシュ均衡となる条件の特徴付け。
• 準線形効用モデルを超えて、競争均衡計算の理論的基盤を拡張すること。

提案手法

• アルゴリズムは、選好と予算制約に基づいて有向グラフ H を構築し、可能な割り当てと価格調整をモデル化する。
• 価格引き下げとマッチングの確認を繰り返すことで、最小競争均衡を特定し、強多項式時間手順を活用する。
• 任意の競争均衡が構築されたグラフ H 内で表現可能であることを示す重要な補題に依存する。
• 価格範囲に対して二分探索に類似したアプローチを用い、妥当なマッチングを支持する最小の均衡価格を特定する。
• アルゴリズムは、入力サイズの対数的要因に依存しない強多項式時間で終了することが証明されている。
• 対称的な価格上昇手順を用いて、最大均衡を計算するようにアプローチを拡張する。

実験結果

リサーチクエスチョン

• RQ1 バイヤーが予算制約に直面する場合、シャープレー＝シュービックの割り当てモデルにおいて、常に競争均衡が存在するか？
• RQ2 予算制約は、競争均衡と安定マッチングの関係をどのように変化させるか？
• RQ3 一般の効用関数と予算制約を伴う状況下で、競争均衡を効率的に計算できるか？
• RQ4 予算制約下で、強い安定性と競争均衡の関係は何か？
• RQ5 最小均衡メカニズムにおいて、真実の報酬提示がナッシュ均衡であるか？

主な発見

• 古典的モデルとは異なり、予算制約付きの割り当てモデルでは、競争均衡が常に存在するとは限らない。
• 予算によって生じる不連続性のため、競争均衡は強く安定なマッチングに正確に一致するが、弱く安定なマッチングとは一致しない。
• 存在する場合、提案されたアルゴリズムは強多項式時間で最小競争均衡を計算する。
• アルゴリズムは正しく動作し、バイヤー数とアイテム数の多項式関数で時間的に上限が定まるが、予算や価値の大きさに依存しない。
• 真実の報酬を提示することが、真の効用下で競争均衡が存在する場合、最小均衡メカニズムにおいてナッシュ均衡である。
• メカニズムは支配戦略の真実性を満たさない。真実の報酬提示の最適性は、均衡の存在に依存しており、戦略的に相互に依存する。