20/10/18 19:56:50.58 /kBBPumO.net
計算機でも近似解の出し方しか知らないにんげんはもちろん近似解しか出せないけどちゃんと高2で習う整式の割り算の理論がわかってる人間は厳密解が計算可能である場合には厳密回が出せる
しかしそれだけではアルゴリズムとはいえない
その段階では機能的枚挙可能recursively enurrmatative)でしかない
アルゴリズム(=帰納的recursive)と言えるためには代数的には解けない場合には代数的に解けない判定を下しせないといけない
そこまで理解するのは大学でガロア理論を勉強しないとわからない
しかしそこまでの高級な話ではない
厳密解答が出せる場合に厳密解をだす(高校数学の範囲)すらクリアできてない