整数の(多重)集合を総和が等しくなるように3分割する問題は強NP完全なのか
(つまり長方形のパッキングは強NP完全)