貪欲法を丁寧に証明してみた  CODE THANKS FESTIVAL 2017(Parallel) C問題編

貪欲法の証明は難しいことが多い。(学科のレポート課題で死んだトラウマ) こういうときは問題を解いた後丁寧に証明を書くことで、理解が深まるらしい。そこで、AtCoderで貪欲法の問題を解いたらたまに証明をなるべく丁寧に書いて載せてみようと思う。 今回の問題 atcoder.jp 概要:機械が$N$台あり、$i$番目の機械は初め…