コンピューターサイエンスの分野には、NP-hard（エヌピー・ハード）と呼ばれる問題群が存在する。雑に言えばその問題集合に含まれる問題にはある種の困難性が付きまとい、扱う対象の数が増えるに連れてすぐにまともに計算が追いつかなくなるというものだ。宇…