この前のABC-DみたいにバックトラックDFSで枝狩りすれば定数倍は良くなりそうだけど流石に指数時間から落とすのは苦しそう