そもそも、正整数解を求める問題を、非負整数解を求める問題に帰着して重複組み合わせで解くのは、個人的にはあんま好きじゃないなぁ。