素朴な質問なんだけどそういうのもアルゴリズムって言うの？
アルゴリズムって言うとき、自分の感覚では、証明出来るなら証明し、出来ないなら出来ないと有限ステップでわかるようなものってイメージなんだけど。