解説
この問題は，DAアルゴリズム（受入留保アルゴリズム/Gale-Shapleyアルゴリズム）によって解くことができます．
児童側応募DAアルゴリズム
- 全児童・保育園について，仮内定なしの状態とする．
- 仮内定のない児童が1人以上いる場合，以下を繰り返す．
- 仮内定のない児童を1人選び， とする．
- 児童 がまだ応募していない保育園のうち，最も希望度の高い保育園を とする．
- 児童 は保育園 に応募する．
- 保育園 に仮内定している児童数が 未満である場合
- 児童 を保育園 に仮内定とする．
- 保育園 に仮内定している児童数が に等しい場合
- 保育園 に仮内定している児童の中で最も優先順序の低い児童を とする．
- 児童 の優先順序が より高い場合， の仮内定を取り消し， を新たに保育所 へ仮内定とする
- 児童 の優先順序が より低い場合， は に仮内定したまま， は仮内定なしのままとする．
- 上記の繰り返しが終了した時点において，各児童 が仮内定している保育園を とする．
証明
- 有限回のステップで終了することの証明
- 仮内定のない児童がいる場合，その児童がまだ応募してない保育園が存在することを示します（それが示されれば，メインループにおいて児童が1人が1園に応募するので，繰り返しは最大で 回で終了します）．背理法のため，仮内定のない児童 がいて， がすでに全保育園に応募してしまっているとします．児童 が各保育園 に断られた（応募して仮内定しなかったor仮内定を取り消された）とき， はすでに 人を他に受け入れています．アルゴリズムのステップ内において， に仮内定している児童数が 人に達した場合，以後仮内定している児童数が減ることはありません．したがって，終了時においてすべての保育園は 人を仮内定させています．しかし，1人の児童が同時に複数の保育園に仮内定することはなく，児童 は仮内定を得ていないため， に矛盾します．
- 返されるマッチングが，受入人数制約を満たすことの証明
- アルゴリズム実行中において，各園 に仮内定している児童数は常に 以下であるため，終了時においても園 に入園する児童数は 以下です．また，アルゴリズム終了時には，すべての児童がいずれかの保育園に入園しています．したがって， より，すべての園 について入園児童数は となります．
- すべての児童が不満を持たないことの証明
- 背理法のため，ある児童 が不満を持つと仮定し，条件に合う園を とします．児童 は園 より希望度の低い園に入園しているため，アルゴリズムのステップ中どこかで園 に断られています．この時に代わりに仮内定している他の児童のうち，園 の優先基準において最も低い児童を とします．児童 よりは の方が優先順序が高いです．以後のアルゴリズムのステップにおいて，園 は， よりも優先度の低い児童を受け入れることはありません．したがって，終了時に児童 よりも優先度の低い児童 が園 に入園していることはなく，矛盾します．
よって，この児童側応募DAアルゴリズムが必ず良いマッチングを返すことが示されました．計算量は，メインループが最大 回であり，ループの内側は各園に仮内定してる児童の優先順序番号を優先度付きキューなどで管理することで1回 で処理できるため，適切な実装のもとで全体で で実行でき十分高速です．
本解説では児童側応募DAアルゴリズムを説明しましたが，同様に保育園側応募DAアルゴリズムを考えることもでき，そちらでも良いマッチングを得ることができます．ただし，児童側応募DAアルゴリズムと保育園側応募DAアルゴリズムは，異なるマッチングを返す場合もあります12．