北大・日立新概念コンピューティングコンテスト2018の参考文献を読んだのでコンテストに関係ありそうなところを雑にまとめました。 Reduction by substitution を に置換することで次元を下げることを考えます。 この時、元の数式をに依存する部分と依存しな…