LeetCodeの多くの難しい問題は、実は簡単な制約問題である

著者は、動的計画法のスキル不足により、一見簡単な釣銭問題で行き詰まった、フラストレーションの溜まる面接体験を語っています。そして、多くの難しいLeetCodeの問題は、実際にはMiniZinc、Z3、OR-Toolsなどの制約ソルバーを使って簡単に解ける制約問題であると主張しています。この記事では、株の利益最大化やヒストグラムにおける最大長方形の探索など、いくつかの例を示し、制約ソルバーのエレガントなシンプルさと力、特に複雑な制約を扱う際の力を示しています。