うむ。更に言うとNP-completeだな。