豪小被覆問題を解くアルゴリズム・