RAND 法の定式化

方程式数を減らす
元素保存式をうまく利用
方程式数: 相の数 x 化学種の数 + 元素数 --> 元素数 + 相の数