複素係数の一般の多項式が1度でも因数分解できるかどうかを判定するアルゴリズムって存在する?
(一般の多項式の解を加減乗除や開根で求めるアルゴリズムは存在しないけど、因数分解であって因数定理じゃないからね。そこは注意)