Codeforces Global Round 6 D. Decreasing Debts
問題概要
人の人がいて、「人 が 人 に 円借りた」という貸し借り履歴が 個与えられる。それらの貸し借り履歴を合計した、人 が人 に借りている金額を と表す。
この貸し借りの状態を、次のような規則で操作することができる。
- 操作規則1: であるような人 について、 を 減らし、 を 増やす。
- ただし である を選ぶ必要がある。つまり になるような操作は許されない。
- 操作規則2:人 について、 を にする。
この操作を繰り返して、全ての人のペア に対しての の総和を最小にしたい。そのような操作後の状態としてあり得るものを1つ求めよ。
制約
- それぞれの貸し借り履歴について、
解法
それぞれの人 について、誰か(自分自身含む)から借りている金額の合計を とします。同様に誰かに貸している金額の合計を とします。
このとき借りている金額をプラス、貸している金額をマイナスとしたときの合計を とします。これはいわばその人の「収支合計」です。問題で示されている規則で移動を行ったとき、各人について収支合計 の値は変わりません。
また問題で最小化すべき値を とすると、 が成立します。つまり を最小化することで も最小化することができます。
そのため理想的な状態は、全ての について
- であるような については、 かつ である。
- であるような については、 かつ である。
- であるような については、 である。
が成り立っている状態です。そして実は、この状態を必ず達成することが可能です。
理想的な状態を言い換えると、「誰かから正の金額を借りていて、かつ誰かに正の金額を貸している」という状態の人が存在しない、ということです。そのような貸し借り関係を1つずつ解消していくことを考えます。
人 について かつ であるようなペア が存在するとします。 または であれば操作規則2で解消できるので、そうではないとします。このときの関係は以下のようになっています。(ただし というパターンも存在します)
このとき操作規則1に従い、 として を 減らし を 増やします。このとき は操作規則2で消去できるので、関係は以下のように変更されます。(もし なら も消去されます)
この操作手順によって、 については がともに 減少します。そして について、 の値が増加することはありません。
つまりこの操作手順について、
- 上記で書いたような の組が存在する限り、操作を行うことで を減少させることができる。
- が減少する操作を無限回数行うことはできないので、この操作は有限回で終了するはずである。
- つまり有限回の操作によって の組として取れるものが存在しなくなり、それはつまり「理想的な状態」になっている。
という議論が成り立ち、必ず有限回の操作で理想的な状態が達成できることが示されました。
あとはこれをシミュレーションしても良いのですが…もっと簡単な解法があります。一度理想的な状態にしてしまった後は、その状態から操作規則1を繰り返すことで任意の理想的な状態に移行することができます。
これを理解するため、以下のように図示してみます。 という状態を、「債務者 が現金を 円借りていて、金貸し が に1円を取り立てできる権利(債権)を 個持っている」とイメージします。
この図において操作規則1を適用することは、金貸しの間で債権を交換するという操作に相当します。任意の回数交換を行えるので、それぞれの金貸しが持っている債権の総数が変わらない限り任意の状態を実現できるということになります。
そうと分かれば出力する答えとしては作りやすいものを1通り作ってしまえば良いです。これは例えば以下のように構成することができます。
- 各人について を計算し、正である人リストと負である人リストを作る。
- リストに人が残っている限り以下を繰り返す。
- 正である人 と負である人 を1人ずつとる。
- として という組を答えに追加する。
- と をともに 減らし、 になった人をリストから除外する。